Embedded Files
Logic, Categories and Decision-making:
algebraic and proof-theoretic methods
VU Amsterdam
LoCaD 2025 brings together algebraic and proof-theoretic methods in logic to discuss new insights into categorization and decision-making.
LoCaD 2025 brings together algebraic and proof-theoretic methods in logic to discuss new insights into categorization and decision-making.
LoCad 2025 is organized on the occasion of the PhD defenses of Ruoding Wang, Krishna Balajirao Manoorkar, Xiaolong Wang, Mattia Panettiere and Andrea De Domenico.
This workshop is made possible by the Kivi grant 2019.001 funded by the Dutch Research Council (NWO) and KPMG and by the grant Rise-MSCA-2020, Project 101007627 funded by the European Union.
Each workshop day below is paired with a view of the Botanic Garden Zuidas, justs steps away from the VU Amsterdam. All event locations are in the main building (HG) on the VU campus.
Monday, 8 Dec
Monday, 8 Dec
Day 1 - Overview
The PhD defence of Ruoding Wang will take place in the Auditorium from 9.45 to 10.45. Title of the thesis: Logical Challenges in Artificial General Intelligence.
The workshop will start at 14:00 in Room HG-14A33.
The PhD defence of Ruoding Wang will take place in the Auditorium from 9.45 to 10.45. Title of the thesis: Logical Challenges in Artificial General Intelligence.
The workshop will start at 14:00 in Room HG-14A33.
Tuesday, 9 Dec
Tuesday, 9 Dec
Day 2 - Overview
The PhD defence of Krishna B. Manoorkar will take place in the Auditorium from 9.45 to 10.45. Title of the thesis: Logics for categorization and decision-making.
The workshop will start at 14:00 in Room HG-12A33.
The PhD defence of Krishna B. Manoorkar will take place in the Auditorium from 9.45 to 10.45. Title of the thesis: Logics for categorization and decision-making.
The workshop will start at 14:00 in Room HG-12A33.
Wednesday, 10 Dec
Wednesday, 10 Dec
Day 3 - Overview
The PhD defence of Xiaolong Wang will take place in the Auditorium from 15.45 to 16.45. Title of the thesis: Algebras and Input/Output logic.
The workshop will start at 9:00 in Room HG-05A33.
The PhD defence of Xiaolong Wang will take place in the Auditorium from 15.45 to 16.45. Title of the thesis: Algebras and Input/Output logic.
The workshop will start at 9:00 in Room HG-05A33.
Thursday, 11 Dec
Thursday, 11 Dec
Day 4 - Overview
The PhD defence of Mattia Panettiere will take place in the Aula from 9.45 to 10.45. Title of the thesis: Unified correspondence, computationally.
The workshop will start at 14:00 in Room HG-15A33.
The PhD defence of Mattia Panettiere will take place in the Aula from 9.45 to 10.45. Title of the thesis: Unified correspondence, computationally.
The workshop will start at 14:00 in Room HG-15A33.
Friday, 12 Dec
Friday, 12 Dec
Day 5 - Overview
The PhD defence of Andrea De Domenico will take place in the Aula from 13.45 to 14.45. Title of the thesis: Unified correspondence, proof-theoretically.
The workshop will start at 9:00 in Room HG-01A33.
The PhD defence of Andrea De Domenico will take place in the Aula from 13.45 to 14.45. Title of the thesis: Unified correspondence, proof-theoretically.
The workshop will start at 9:00 in Room HG-01A33.
A workshop bringing together researchers in logic, algebra, and proof theory to explore formal approaches to reasoning, categorization, and decision-making.
A workshop bringing together researchers in logic, algebra, and proof theory to explore formal approaches to reasoning, categorization, and decision-making.
Main building
Speakers
Speakers
Giancarlo Guizzardi
Giancarlo Guizzardi
Joseph Y. Halpern
Joseph Y. Halpern
Wesley Holliday
Wesley Holliday
Peter Jipsen
Peter Jipsen
Christian List
Christian List
Sara Negri
Sara Negri
Mario Piazza
Mario Piazza
Revantha Ramanayake
Revantha Ramanayake
Venue
Venue
VU Amsterdam
VU Amsterdam
De Boelelaan 1105, 1081 HV Amsterdam
De Boelelaan 1105, 1081 HV Amsterdam
Vrije Universiteit Amsterdam is a leading research university in the Zuidas district. Its modern, well-equipped campus is easily accessible by public transport and from Schiphol Airport.
Vrije Universiteit Amsterdam is a leading research university in the Zuidas district. Its modern, well-equipped campus is easily accessible by public transport and from Schiphol Airport.
Page updated
Google Sites
Report abuse