Logic List Mailing Archive

CfR: Logic as a Tool for Modelling-Course, 7-11 July, Amsterdam (NL)

"Logic as a Tool for Modelling" course at VU Amsterdam summer school, 6-17 July 2026

Course Dates: 6-17 July 2026
Registration deadline: 1 May 2026
Lecturers: Giuseppe Greco, Apostolos Tzimoulis
Guest lecturers: Fei Liang, Andrea De Domenico, Krishna Manoorkar, Brandon Laing
Further information and registration: https://vu.nl/en/education/summerschool/logic-as-a-tool-for-modelling

The course "Logic as a tool for modelling" is part of VU Amsterdam's summer school. The aim of the course is to introduce participants to the study of various types of logical formalisms that have been used to model diverse phenomena. The course starts by introducing classical logic and modal logic, and covers their applications in computer science and the social sciences, addressing notions of agency, and information flow. Then the course discusses non-classical logical formalisms and substructural logics and their applications in the theory of categorization, fuzzy reasoning and formal linguistics.

The course is particularly relevant to BSc, MSc and PhD students in fields such as computer science, philosophy, economics, social sciences, law, who are interested in learning about techniques and tools from logic to be used in their own research, in particularly more so because the content of the course is adjusted based on the interests and backgrounds of the students.



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php