Events
Workshops, conferences and socials
-
The Logic Colloquium 2024
The 2024 Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, will be held in Gothenburg on 24-28 June, 2024 and hosted by the Faculty of Humanities at the University of Gothenburg. The colloquium comprises 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture was delivered at the meeting.
See lc2024.se for full information.
-
World Logic Day 2024
The Logic Group at the University of Gothenburg hosts its annual World Logic Day Pub Quiz. For information of this and other World Logic Day events around the world, see http://wld.cipsh.international/wld2024.html.
-
CLASP Conference on Learning with Small Data (LSD)
There is now an acute need for intensive research on the possibility of effective learning with small data. The conference LSD running 11–12 September, organised by the Centre for Linguistic Theory and Studies in Probability (CLASP) and at the department of Philosophy, Linguistics and Theory of Science is devoted to work on this problem, with application to computational linguistics.
See the conference webpage for details.
-
Licentiate defence: Dominik Wehr (FLoV)
Representation matters in cyclic proof theory
Public defence of Dominik Wehr’s Licentiate thesis.
Opponent Associate Professor Anupam Das, University of Birmingham
Examiner Docent Fredrik Engström, Göteborgs universitet
Thesis available at the Gothenburg University Library Archive. -
Workshop on Fixed Points and Ill-founded Proofs
Held on 27-28 April, 2023 at the University of Gothenburg, this workshop brought together researchers working on various aspects of fixed point logics and ill-founded proofs. The event was sponsored by the Knut and Alice Wallenberg Foundation via the research project Taming Jörmungandr: The Logical Foundations of Circularity and the Department of Philosophy, Linguistics and Theory of Science.
-
Licentiate defence: Tjeerd Fokkens (FLoV)
Modelling the logical mind – Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic ALE
Public defence of Tjeerd Fokkens’ Licentiate thesis.
Opponent Dr Ing Stefan Borgwardt, Technische Universität Dresden
Examiner Professor Simon Dobnik, Göteborgs universitet -
Licentiate defence: Giacomo Barlucchi (FLoV)
Computational content of fixed points
Public defence of Giacomo Barlucchi’s Licentiate thesis.
Opponent Docent Sebastian Enqvist, Stockholms universitet
Examiner Docent Fredrik Engström, Göteborgs universitet -
Departmental Conference (no logic seminar)
-
CLASP Conference on (Dis)embodiment
(Dis)embodiment is a conference organized by the Centre for Linguistic Theory and Studies in Probability (CLASP), at the Department of Philosophy, Linguistics and Theory of Science. The conference will be held between September 14 to September 16. See the conference webpage for more details.
-
Gothenburg–Warsaw Workshop on Truth
The Gothenburg–Warsaw workshop on truth was held on Thursday, 6 December 2018 at the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg. See below for the schedule.
The meeting was sponsored by the research project Reflection and Truth funded by the Knut och Alice Wallenberg Stiftelse and the University of Gothenburg.
Organisers: Graham Leigh and Ali Enayat.