Please note that these newsitems have been archived, and may contain outdated information or links.
Sections
- Past Events
- Calls for Paper
- Past Conferences
- MoL and PhD defenses
- Projects and Awards
- Funding, Grants and Competitions
- Open Positions at ILLC
- Open Positions, General
- Past appointments
- Miscellaneous
- Former Regular Events
Headlines Past Events
- 5 June 2023, Computational Social Choice Seminar, Hugo Gilbert
- (Updated) 2 June 2023, STiHAC Joint Meeting, Juan Aguilera
- 2 June 2023, Talent Scheme information meeting (Rubicon, Veni, Vidi, Vici)
- 31 May 2023, LLAMA seminar, Nick Bezhanishvili
- 26 May 2023, DIP Colloquium cancelled
- 26 May 2023, STiHAC Joint Meeting, Raiean Banerjee
- 25 May 2023, Logic and Interactive Rationality (LIRa), Niccolò Rossi
- 22 May 2023, Nordic Online Logic Seminar, Magdalena Ortiz
- 22 May 2023, Computational Social Choice Seminar, Markus Utke
- 22 May 2023, Workshop "Causation and Modality in Logic and Language"
- 17 May 2023, Meaning, Logic, and Cognition (MLC) Seminar, Eduardo Pérez Navarro
- 17 May 2023, EDDY meetup on Digital Divides
- 16 May 2023, Computational Linguistics Seminar, Lukas Galke
- 16 - 17 May 2023, Workshop on Reasoning about Responsible Agency in AI
- 16 - 17 May 2023, Workshop "Interrogatives and imperatives in the visual modality"
- 12 May 2023, DIP Colloquium, Bridget Copley
- 12 May 2023, STiHAC Joint Meeting, Deborah Kant
- 12 May 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Guido Schäfer
- 12 May 2023, The Lindström Lectures, Rineke Verbrugge
- 11 May 2023, The Lindström Lectures, Rineke Verbrugge
- 11 May 2023, The Utrecht Logic in Progress Series (TULIPS), Hein Duijf
- 11 - 12 May 2023, The Strength of Weak Type Theory
- 10 May 2023, LLAMA seminar, Mojtaba Mojtahedi
- 5 May 2023, STiHAC Joint Meeting, Jonathan Osinski
- 2 May 2023, Computational Social Choice Seminar, Michał Godziszewski
- 26 April 2023, MoL thesis presentations, MoL students
- 26 April 2023, Logic and Interactive Rationality (LIRa), Jon Williamson
- 26 April 2023, VU Inaugural Lecture, Assia Mahboubi
- 24 April 2023, STiHAC Joint Meeting, Artem Khovanov
- 24 April 2023, Nordic Online Logic Seminar, Neil Tennant
- 21 April 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Balder ten Cate
- 20 April 2023, Joint LLAMA and LIRa session, Ekaterina Kubyshkina & Mattia Petrolo
- 19 April 2023, MoL thesis presentations, MoL students
- 19 April 2023, LLAMA seminar cancelled
- 14 April 2023, DIP Colloquium, Deniz Rudin
- 13 April 2023, Logic and Interactive Rationality (LIRa) cancelled
- 13 April 2023, The Utrecht Logic in Progress Series (TULIPS), Sebastian Speitel
- 12 April 2023, LLAMA seminar, Rodrigo Almeida
- 6 April 2023, Logic and Interactive Rationality (LIRa), Emiliano Lorini
- 6 April 2023, Research Facility Visit: Centre for Mathematics & Computer Science
- 4 April 2023, NihiL Seminar, Giorgio Sbardolini
- 3 April 2023, SignLab Open House: Investigating NGT: What, how and why?
- 3 April 2023, A morning with ChatGPT: A discussion of generative language models & its impact on the university
- 31 March 2023, STiHAC Joint Meeting, Tristan van der Vlugt
- 30 March 2023, Logic and Interactive Rationality (LIRa), Hykel Hosni
- 29 March 2023, LLAMA seminar, Tiziano Dalmonte
- 28 March 2023, Computational Linguistics Seminar, Sarenne Wallbridge
- 27 - 28 March 2023, 1st Amsterdam/Saint-Etienne Workshop on Social Choice
- 27 March 2023, Nordic Online Logic Seminar, Ali Enayat
- 24 March 2023, STiHAC Joint Meeting, Valentin Imbach
- 24 March 2023, DIP Colloquium, Corien Bary
- 24 March 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Rebecca Reiffenhäuser
- 23 March 2023, Logic and Interactive Rationality (LIRa) session cancelled
- 21 March 2023, NihiL Seminar, Reinhard Muskens
- 17 March 2023, DIP Colloquium, Daniel Hoek
- 16 March 2023, Logic and Interactive Rationality (LIRa), Vlasta Sikimić
- 16 March 2023, The Utrecht Logic in Progress Series (TULIPS), Jaap van Oosten
- 10 March 2023, STiHAC Joint Meeting, Tristan van der Vlugt
- 10 March 2023, STiHAC Joint Meeting, Clara List
- 10 March 2023, Meaning, Logic, and Cognition (MLC) Seminar, Tom Roberts & Deniz Özyıldız
- 9 March 2023, Joint LLAMA and LIRa session, Johan van Benthem and Nick Bezhanishvili
- 8 March 2023, LLAMA seminar, Lev Beklemishev
- 6 March 2023, Computational Social Choice Seminar, Ehud Shapiro
- 27 February 2023, Nordic Online Logic Seminar, Sven Ove Hansson
- 24 February 2023, COOL Logic, Liam Chung
- 24 February 2023, DIP Colloquium, Michael Wagner
- 24 February 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Gregor Behnke
- 24 February 2023, PEPTalks, Sadjad Soltanzadeh
- 23 February 2023, Logic and Interactive Rationality (LIRa), Søren Knudstorp
- 22 February 2023, LLAMA seminar, Fan Yang
- 20 February 2023, NihiL Seminar, Aleksi Anttila
- 17 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Tamar Johnson
- ILLC Current Affairs Meeting cancelled
- 16 February 2023, Logic and Interactive Rationality (LIRa), Jos Baeten
- 16 February 2023, The Utrecht Logic in Progress Series (TULIPS), Giorgio Lenta
- 16 February 2023, Computational Social Choice Seminar, Mayesha Tasnim
- 14 February 2023, Site Visit by Faculty Boards
- 10 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Takanobu Nakamura
- 8 February 2023, LLAMA seminar, Lingyuan Ye
- 7 February 2023, EXPRESS-Philmath Seminar, Sarah Moss
- 4 February 2023, STiHAC Joint Meeting, Philipp Dreibrodt
- 2 February 2023, Logic and Interactive Rationality (LIRa), Jialiang Yan
- 30 January 2023, Nordic Online Logic Seminar , Vann McGee
- 26 January 2023, The Utrecht Logic in Progress Series (TULIPS), Frederik Van De Putte
- 26 January 2023, Computational Social Choice Seminar, Julian Chingoma
- 25 January 2023, LLAMA seminar, Rosalie Iemhoff
- 24 January 2023, An afternoon with ChatGPT: A discussion of generative language models & its impact on the university
- 24 January 2023, Webinar about causality in economics, computer science, logic and language
- 21 January 2023, STiHAC Joint Meeting, Clara List
- 20 January 2023, Dutch Social Choice Colloquium
- 19 January 2023, Computational Social Choice Seminar, Christian Laußmann
- 17 January 2023, Computational Linguistics Seminar, Giada Pistilli
- 11 January 2023, LLAMA seminar, Leo Lobski
- 9 January 2023, Societal Challenges, Global Mental Health and Humane AI
- 6 - 7 January 2023, ALiAS: Amsterdam Lectures in Artificial Intelligence and Society
Headlines Calls for Paper
- 26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, China (deadline: Monday 15 May 2023)
- 4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain (deadline: Tuesday 23 May 2023)
- 18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia (deadline: Friday 17 March 2023)
- 18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, Norway (deadline: Monday 20 March 2023)
- 15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia (deadline: Monday 1 May 2023)
- 11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia) (deadline: Saturday 15 April 2023)
- 30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the Netherlands (deadline: Saturday 15 April 2023)
- 21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, Austria (deadline: Friday 20 January 2023)
- 7 - 11 August 2023, ESSLLI 2023 Workshop on First-order Modal and Temporal Logics: State of the art and perspectives (deadline: Sunday 16 April 2023)
- 7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation" (deadline: Friday 19 May 2023)
- 7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23) (deadline: Friday 19 May 2023)
- 31 July - 4 August 2023, Procedural and computational models of semantic and pragmatic processes, University of Ljubljana, Slovenia (deadline: Monday 8 May 2023)
- (Updated) 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia (deadline: Friday 13 January 2023)
- (Updated) 24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society" (deadline: Monday 15 May 2023)
- 1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, Italy (deadline: Sunday 23 April 2023)
- 28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K. (deadline: Wednesday 15 March 2023)
- 24 June 2023, DPFO'23: The Decision Problem in First-Order Logic (deadline: Wednesday 19 April 2023)
- 23 June 2023, Dutch Logic PhD Day 2023, Groningen (deadline: Tuesday 30 May 2023)
- 23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the Netherlands (deadline: Wednesday 15 March 2023)
- 18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech Republic (deadline: Monday 27 March 2023)
- 15 June 2023, 2nd International Workshop on Automatic Translation for Signed and Spoken Languages, Tampere, Finland (deadline: Friday 14 April 2023)
- 13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, Georgia (deadline: Wednesday 16 November 2022)
- 16 - 18 May 2023, 15th NASA Formal Methods Symposium (NFM 2023), Houston TX, U.S.A. (deadline: Friday 9 December 2022)
- 22 - 27 April 2023, 26th European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France (deadline: Thursday 13 October 2022)
- 6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual (deadline: Monday 31 October 2022)
- CfP special issue of IJAR on logics for the new AI spring (deadline: Wednesday 1 March 2023)
- 13 - 17 February 2023, Computer Science Logic 2023 (CSL’23), Warsaw, Poland (deadline: Saturday 9 July 2022)
- 18 - 20 January 2023, British Postgraduate Model Theory Conference 2023 (BPGMTC 13), Leeds, England (deadline: Thursday 1 December 2022)
- 16 - 17 January 2023, Conference on Certified Programs & Proofs (CPP 2023), Boston MA, U.S.A. (deadline: Wednesday 14 September 2022)
Headlines Past Conferences
Headlines MoL and PhD defenses
- 23 May 2023, PhD Defense, Dean McHugh
- 15 May 2023, PhD Defense, Robert Paßmann
- 24 April 2023, PhD Defense, Samira Abnar
- 20 April 2023, Master of Logic defense, Dorin Neagoe
- 20 April 2023, Master of Logic defense, Chris Scholz
- 14 April 2023, Master of Logic Defense, Patrik Sestic
- 24 February 2023, Master of Logic defense, Gerson Foks
- 22 February 2023, Master of Logic defense, Alex Keizer
- 9 February 2023, Master of Logic defense, Andrew Fish
- 3 February 2023, Master of Logic defense, Paul Stoeckle
- 3 February 2023, Master of Logic defense, Nathan Malik
- 23 January 2023, Master of Logic defense, Bo Flachs
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
- Amsterdam Science & Innovation Award 2023
- NWO SSH Open Competition XS pilot – round 4
- Call for Nominations: VvL Master's Thesis Award 2023
- NWO Rubicon 2023-1
- ESM Prize for Interdisciplinary Thesis
- 2023 call for the UvA Data Science Centre Accelerate Programme
- Open Competition XS
- Take-off
- Take-off phase 2
- ERC Consolidator Grant
- Call for Nominations: S. Barry Cooper Prize 2023
- FGw Consortium Fund
- Call for Nominations Dov Gabbay Prize for Logic and Foundations
- ETAPS Doctoral Dissertation Award
- Helmut Veith Stipend for Female Master’s Students in Computer Science
Headlines Open Positions at ILLC
- Postdoc in Logic and Cognition
- PhD in Philosophical Logic
- PhD Position on Knowledge-Driven Learning for Explainable AI in Fraud Detection
- PhD position on NLP and IR on legal and financial textual documents.
- PhD Position in Low-Resource NLP
- Scientific Programmer Motion Capture and Animation
- Management/Office-assistent
- Postdoctoral Researcher in Machine Learning with NLP and Computer Vision
- PhD in Machine Learning with NLP and Computer Vision
- PhD on Safety in Conversational AI
- Postdoctoral Researcher Computational Argumentation and Information Quality
- PhD in Theoretical Computer Science
- Assistant Professor in AI and Digital Culture
- Assistant Professor in Computational Methods for Digital Journalism
- Opleidingscoördinator Master of Logic en PhD Programma (0,5fte)
- Assistant Professor in Philosophy of Logic and Language
- Assistant Professor in the Philosophy of AI
- Assistant Professor Virtual Simulation of Human Conversational Behavior
- PhD Position in Explainable AI in Finance
- Scientific Programmer
- PhD in Quantum-Safe Cryptography
- Two Assistant Professors in Mathematical and Computational Logic
- Assistant Professor in Computational Social Science
- Postdoc in Socio-political approach to GANs
- Assistant Professor in Generative AI in the Arts
- PhD Project Digitale Ondersteuning voor het Leren van Nederlandse Gebarentaal
Headlines Open Positions, General
- PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi
- PhD opening in TCS and/or combinatorial optimization, Lund (Sweden)
- Postdoc position (2-3 years) in Computational Linguistics focused on Logic, Gothenburg (Sweden)
- PhD position in History of 20th-Century Philosophy (of Science), ERC Project “Exiled Empiricists”, Tilburg University (the Netherlands)
- Postdoc position (2-3 years) in Digital Humanities, ERC Project “Exiled Empiricists”, Tilburg University (the Netherlands)
- Doctoral position in Logic, Gothenburg (Sweden)
- 12 PhD positions in Philosophy, Politics and Economics at the University of Hamburg (Germany)
- PhD position in Computational Social Choice, University of Warwick (UK)
- PhD position on Automata Learning at the Open Universiteit, Heerlen (the Netherlands)
- PhD position in Algorithmic Game Theory, Paris-Dauphine University (France)
- Postdoc in cognitive science, Aarhus (Denmark)
- Associate Professor in Hybrid Intelligence, VU Amsterdam (The Netherlands)
- Assistant, Associate, and Full Professor positions in Mathematics and Computer Science, TU Eindhoven (the Netherlands)
- PhD position in Algorithms and Mechanisms for Economic Environments, University of Edinburgh (Scotland)
- Two PhD positions in Argumentation Theory, Sorbonne University & Artois University (France)
- PhD position in Computational Social Choice, Paris-Saclay University (France)
- PhD position on Knowledge Engineering for Smart Diagnostics
- PhD position on Model-driven System Engineering for Smart Diagnostics
- Danish Data Science Academy PhD positions
- Full-time Assistant Professor with Tenure Track of Artificial Intelligence Ethics
- PhD position in Computational Social Choice, IRIT, Toulouse (France)
- PhD position in Model Checking and Automated Mechanism Design, IRIT, Toulouse (France)
- Assistant professor position in logic / semantics, Amsterdam (the Netherlands)
- 4 PhD Positions in Logic-based Methods for Data Management , Umeå (Sweden)
- One or more Postdoctoral researcher in Logic, Gothenburg (Sweden)
- 8 Open Positions in Philosophy at Utrecht University, UItrecht (the Netherlands)
- PhD Positions in TCS at Lund University, Lund (Sweden)
- Lecturer in Computational Linguistics in UCL, London (UK)
- PhD Position in the History of Philosophy of Science and Mathematics, Vienna (Austria)
- PhD fellowship in Philosophy, Padua, Italy
- Professorship Theory of Correct Systems, Carl von Ossietzky Universität Oldenburg
- PhD position in Theoretical Philosophy, Stockholm (Sweden)
- Professor of Cognition, Communication and Argumentation, Amsterdam (the Netherlands)
- Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany)
- Postdoc positions in combinatorial optimization, Copenhagen (Denmark)
- PhD opening in TCS and/or combinatorial optimization, Lund (Sweden)
- PhD positions in TCS and/or combinatorial optimization in Copenhagen
- Postdoc positions in TCS, Copenhagen (Denmark)
- Assistant Professor Tenure Track in Theoretical Computer Science, University of Groningen (NL)
- Full Professor in AI, Open Universiteit, the Netherlands
No Past appointments
No Miscellaneous
Headlines Former Regular Events
Past Events
-
5 June 2023, Computational Social Choice Seminar, Hugo Gilbert
Speaker: Hugo GilbertTitle: Measuring a Priori Voting Power — Taking Delegations SeriouslyLocation: Room L2.06, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
(Updated) 2 June 2023, STiHAC Joint Meeting, Juan Aguilera
Speaker: Juan Aguilera (Vienna, Gent, Hamburg)Title: Reflecting ordinals & inductive definitionsLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
2 June 2023, Talent Scheme information meeting (Rubicon, Veni, Vidi, Vici)
Location: Aristo Utrecht LunettenNWO organises an information meeting on Friday afternoon 2 June for researchers who want to apply for a Rubicon, Veni, Vidi or Vici. Besides information on the Talent Scheme, we will share information on various aspects of the rounds, from recognition and rewarding to persuasive writing. There will also be an opportunity to meet NWO staff members involved in the NWO Talent Scheme.For more information, see https://www.nwo.nl/en/meetings/save-date-friday-2-june-2023-talent-scheme-information-meeting-rubicon-veni-vidi-vici or contact talentvoorlichting at nwo.nl. -
31 May 2023, LLAMA seminar, Nick Bezhanishvili
Speaker: Nick Bezhanishvili (ILLC)Title: Degrees of the finite model propertyLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-bezhanishivili-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
26 May 2023, DIP Colloquium cancelled
For more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35214/Natasha-Korotkova-Utrecht. -
26 May 2023, STiHAC Joint Meeting, Raiean Banerjee
Speaker: Raiean Banerjee (Hamburg)Title: More on Willowtree and Matet forcingLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
25 May 2023, Logic and Interactive Rationality (LIRa), Niccolò Rossi
Speaker: Niccolò Rossi (ILLC, University of Amsterdam)Title: Disjunctions, topics and groundsLocation: ILLC seminar room F3.20 in Science Park 107 and onlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2023/02/lira-session-niccolo-rossi/. -
22 May 2023, Nordic Online Logic Seminar, Magdalena Ortiz
Speaker: Magdalena OrtizTitle: A Short Introduction to SHACL for LogiciansLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2023-05-10-NOL-Seminar-Magdalena-Ortiz.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
22 May 2023, Computational Social Choice Seminar, Markus Utke
Speaker: Markus UtkeTitle: Fractional Delegation Rules for Liquid DemocracyLocation: Room L2.07, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
22 May 2023, Workshop "Causation and Modality in Logic and Language"
Location: Room F1.01B, Bushuis, AmsterdamTarget audience: Anyone with an interest in causation and modality in logic, linguistics and/or philosophyOn Monday 22 May the Institute for Logic, Language, and Computation will host a workshop on Causation and Modality in Logic and Language. The workshop will be hybrid. Everyone who is interested in causation in philosophy, linguistics and/or logic is very welcome to attend.
The speakers are Sander Beckers (Amsterdam), Ivano Ciardelli (Padua), Bridget Copley (Paris 8), Angelica Hill (UMass Amherst), Thomas Icard (Stanford), Mingya Liu (Humboldt), Dean McHugh (Amsterdam), and Prerna Nadathur (Ohio).
The workshop is followed by the PhD Defense of Dean McHugh on Tuesday 23 May.
For more information, see https://sites.google.com/site/deanmchugh1/workshop-defense?authuser=0 or contact Dean McHugh at d.m.mchugh at uva.nl. -
17 May 2023, Meaning, Logic, and Cognition (MLC) Seminar, Eduardo Pérez Navarro
Speaker: Eduardo Pérez Navarro(Abstract)Title: Common ground for expressivistsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam -
17 May 2023, EDDY meetup on Digital Divides
Location: OnlineTarget audience: Everyone interested in Digital DemocracyThe European Digital DemocracY network (EDDY) is having its second online meetup on Wednesday, May 17th at 15h00 (Berlin) on the theme of Digital Divides, featuring Eva de Valk (Dutch Policy Officer for Digital Inclusion) and Jan van Dijk (University of Twente).
For more information, see here or at https://sites.google.com/rug.nl/eddynetwork/meet-ups/2-digital-divides or contact Jan Maly at j.f.maly at uva.nl. -
16 May 2023, Computational Linguistics Seminar, Lukas Galke
Speaker: Lukas Galke (Max Planck Institute for Psycholinguistics)Title: What makes a language easy to deep-learn?Location: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on ZoomFor more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
16 - 17 May 2023, Workshop on Reasoning about Responsible Agency in AI
Location: De Doelenzaal (C0.07), University Library, Singel 425, AmsterdamCosts: Free but registration is requiredDeadline: Sunday 30 April 2023As they become increasingly integrated into our lives, autonomous systems are used to execute more and more tasks that have both normative and epistemic relevance. This has led to a growing literature in machine ethics aiming at addressing the question of how to build autonomous systems that can, first, acquire and properly reason about normative and observational information, and, second, use this information to interact with other agents and the environment in a way that is responsible and, at the same time, explainable.
The goal of this workshop is to bring together philosophers, logicians, and computer scientists in order to explore these topics from an interdisciplinary perspective.
For more information, see https://sites.google.com/view/reasoningaboutresponsibility/ or contact Aybüke Özgün at a.ozgun at uva.nl. -
16 - 17 May 2023, Workshop "Interrogatives and imperatives in the visual modality"
Location: Room F0.00, Bushuis, Kloveniersburgwal 48, AmsterdamThe first workshop day focuses on methods, with different sessions devoted to questions and experiences related to elicitation methods/experimental design, annotation, and analysis in studies on imperatives and/or interrogatives in the visual modality. Each session features 10-minute presentations by several research groups on their ongoing work, followed by general discussion.
On the second workshop day, five research groups present (preliminary) results of their recent or ongoing work into imperatives and/or interrogatives in the visual modality.
For more information, see https://sites.google.com/view/iivm-2023/ or contact Floris Roelofsen at f.roelofsen at uva.nl. -
12 May 2023, DIP Colloquium, Bridget Copley
Speaker: Bridget Copley (CNRS/Université Paris 8)Title: Truth, becoming, and other valuesLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35211/Bridget-Copley. -
12 May 2023, STiHAC Joint Meeting, Deborah Kant
Speaker: Deborah Kant (Hamburg)Title: Predicting axioms - The prediction-use of large cardinal axioms in set-theoretic practiceLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
12 May 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Guido Schäfer
Speaker: Guido SchäferTitle: Social Welfare Loss in Hybrid Multi-Unit AuctionsLocation: Room L2.06, ILLC Lab42, Science Park 900, AmsterdamAbstract:
Corruption in auctions, where an auctioneer engages in bid rigging with one (or several) of the bidders, occurs rather frequently in practice, especially in the public sector (e.g., in construction and procurement auctions). We study the social welfare loss caused by corrupt auctioneers, both in single-item and multi-unit auctions.For more information, see https://events.illc.uva.nl/FOAM/posts/talk4/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
12 May 2023, The Lindström Lectures, Rineke Verbrugge
Speaker: Rineke VerbruggeTitle: Aspects of provability and interpretabilityLocation: University of GothenburgThe Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.
Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.For more information, see https://www.gu.se/en/flov/the-lindstrom-lectures or contact Bahareh Afshari at bahareh.afshari at gu.se. -
11 May 2023, The Lindström Lectures, Rineke Verbrugge
Speaker: Rineke VerbruggeTitle: Combining probability and provability logicLocation: University of GothenburgThe Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg launched a lecture series in 2013 to celebrate the singular achievements of Pelle Lindström, former professor of logic at the department.
Annually, a distinguished logician is invited to deliver a general lecture to the public, and a specialized presentation at the logic seminar.
For more information, see https://www.gu.se/en/flov/the-lindstrom-lectures or contact Bahareh Afshari at bahareh.afshari at gu.se. -
11 May 2023, The Utrecht Logic in Progress Series (TULIPS), Hein Duijf
Speaker: Hein Duijf (Utrecht)Title: Individualism, reductive explanations, and logical regularityLocation: Room 1.06, Kromme Nieuwegracht 80, UtrechtThis is a hybrid talk. Contact the organizer for a link.
For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl. -
11 - 12 May 2023, The Strength of Weak Type Theory
Location: Amsterdam Science Park, AmsterdamOn May 11 and 12 we will have an informal workshop devoted to weak type theories. Speakers include: Rafael Bocquet, Matteo Spadetto, Sam Speight and Theo Winterhalter.
For more information, see https://dutchcats.github.io or contact Benno van den Berg at bennovdberg at gmail.com. -
10 May 2023, LLAMA seminar, Mojtaba Mojtahedi
Speaker: Mojtaba Mojtahedi (Ghent University)Title: On provability logic of Heyting ArithmeticLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-mojtahedi-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
5 May 2023, STiHAC Joint Meeting, Jonathan Osinski
Speaker: Jonathan Osinski (Hamburg)Title: Model-Theoretic Characterizations of Weak Vopěnka's PrincipleLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
2 May 2023, Computational Social Choice Seminar, Michał Godziszewski
Speaker: Michał Godziszewski (Warsaw)Title: Complexity of Control Problems in Elections with Euclidean PreferencesLocation: Room L2.06, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
26 April 2023, MoL thesis presentations, MoL students
Speaker: MoL studentsTitle: MoL thesis presentations: Logic and PhilosophyLocation: ILLC Common Room F1.21, Science Park 107, Amsterdam -
26 April 2023, Logic and Interactive Rationality (LIRa), Jon Williamson
Speaker: Jon Williamson (Kent)Title: A decidable class of inferences in first-order objective Bayesian inductive logicLocation: Online via zoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2023/03/lira-session-jon-williamson-2/. -
26 April 2023, VU Inaugural Lecture, Assia Mahboubi
Speaker: Assia Mahboubi (VU/Inria)Title: Computer assisted MathematicsLocation: Aula, Main Building VUOn Wednesday 26 April, Assia Mahboubi will give her inaugural lecture, preceded by a mini symposium. Everything takes place in the main building ("hoofdgebouw") of VU Amsterdam.
For more information, see here or at https://vu.nl/en/events/2023/inaugural-lecture-prof-dr-a-s-mahboubi or contact Sander Dahmen at s.r.dahmen at vu.nl. -
24 April 2023, STiHAC Joint Meeting, Artem Khovanov
Speaker: Artem Khovanov (Cambridge)Title: Intersection models of set theoryLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
24 April 2023, Nordic Online Logic Seminar, Neil Tennant
Speaker: Neil TennantTitle: It's All or Nothing: Explosion v. ImplosionLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2023-04-13-NOL-Seminar-Neil-Tennant.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
21 April 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Balder ten Cate
Speaker: Balder ten CateTitle: Data examplesLocation: Room L2.06, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk3/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
20 April 2023, Joint LLAMA and LIRa session, Ekaterina Kubyshkina & Mattia Petrolo
Speaker: Ekaterina Kubyshkina & Mattia PetroloTitle: Creating new worlds: a PAL for excusable ignoranceLocation: ILLC seminar room F1.15 in Science Park 107 and online -
19 April 2023, MoL thesis presentations, MoL students
Speaker: MoL studentsTitle: MoL thesis presentations: Logic, Language and PhilosophyLocation: ILLC Common Room F1.21, Science Park 107, Amsterdam -
19 April 2023, LLAMA seminar cancelled
For more information, see https://events.illc.uva.nl/llama/ or contact Tobias Kappé at t.kappe at uva.nl. -
14 April 2023, DIP Colloquium, Deniz Rudin
Speaker: Deniz Rudin (USC)Title: Asserting Epistemic ModalsLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35209/Deniz-Rudin. -
13 April 2023, Logic and Interactive Rationality (LIRa) cancelled
For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/03/lira-session-jan-willem-romeijn/. -
13 April 2023, The Utrecht Logic in Progress Series (TULIPS), Sebastian Speitel
Speaker: Sebastian Speitel (Bonn)Title: Logic, Logicality and Arithmetical DeterminacyLocation: Stijlkamer (room 0.06), Janskerkhof 13, UtrechtThis is a hybrid talk, you can contact the organizer for a link to the online meeting.
For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl. -
12 April 2023, LLAMA seminar, Rodrigo Almeida
Speaker: Rodrigo Almeida (ILLC)Title: The Goldblatt Translation between Orthologic and KTB, revisitedLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-almeida-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
6 April 2023, Logic and Interactive Rationality (LIRa), Emiliano Lorini
Speaker: Emiliano LoriniTitle: Non-Classical Logics for Explanations in AI SystemsLocation: online only (i.e. not hybrid!)For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/03/lira-session-emiliano-lorini/. -
6 April 2023, Research Facility Visit: Centre for Mathematics & Computer Science
Location: CWI, Science Park 123, 1098 XG AmsterdamThe UvA campuses Amsterdam Science Park, Roeterseiland and Universiteitskwartier will offer researchers the opportunity to look into each other's (research) kitchens, to encourage the use of each other's facilities. During the first Amsterdam Research Facility Visit on 6 April, researchers in the social sciences and humanities are welcome to visit the Centre for Mathematics and Computer Science (CWI) at the Amsterdam Science Park.
-
4 April 2023, NihiL Seminar, Giorgio Sbardolini
Speaker: Giorgio SbardoliniTitle: Homogeneity and RejectionLocation: Online via ZoomFor more information, see https://projects.illc.uva.nl/nihil/ or contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl. -
3 April 2023, SignLab Open House: Investigating NGT: What, how and why?
Location: SignLab, Bushuis, Kloveniersburgwal 48, Amsterdam, The NetherlandsDeadline: Monday 27 March 2023How does a researcher investigate Sign Language of the Netherlands (NGT)? And why is it important to do this? If you want to know the answers to these questions, come visit SignLab’s open house on Monday, April 3rd, 2023! Both deaf and hearing researchers from SignLab Amsterdam, Hogeschool Utrecht and the Dutch Sign Centre (Nederlands Gebarencentrum) will present about what they have been working on and what they have found. All presentations are about research on NGT. Topics that will be covered include plurals in NGT, different ways to ask a question in NGT, the development of sign language avatars, and different sentence types in NGT. All presentations will be given in NGT, and there will be interpreters present. You’re welcome to drink a cup of coffee or tea from 16:30, the presentations will start at 17:00.For more information, see https://uva.fra1.qualtrics.com/jfe/form/SV_73xGGEIFqQE2lAW or contact c.m.j.vanboven at uva.nl. -
3 April 2023, A morning with ChatGPT: A discussion of generative language models & its impact on the university
Location: Room BH-F0.01, the Humanities Lab, OMHP (Oudemanhuispoort), AmsterdamEveryone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students, and collaborators to a morning on ChatGPT & the university.
How does it work? What can it do, and what can it not do? What are some of the ethical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions. With: Prof Raquel Fernández (dialogue systems), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezzelle (responsible AI), and others.
For more information, see https://amsterdamnlp.github.io/blog/morningwithchatgpt/ or contact Jelke Bloem at j.bloem at uva.nl. -
31 March 2023, STiHAC Joint Meeting, Tristan van der Vlugt
Speaker: Tristan van der Vlugt (Hamburg)Title: Separating \kappa^+ many localisation cardinals, Part IILocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
30 March 2023, Logic and Interactive Rationality (LIRa), Hykel Hosni
Speaker: Hykel HosniTitle: Inference in Scientific InferenceLocation: online only (i.e. not hybrid!)For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/03/lira-session-hykel-hosni/. -
29 March 2023, LLAMA seminar, Tiziano Dalmonte
Speaker: Tiziano Dalmonte (Free University of Bozen-Bolzano)Title: Connecting proof theory and semantics for non-normal modal logicsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-dalmonte-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
28 March 2023, Computational Linguistics Seminar, Sarenne Wallbridge
Speaker: Sarenne Wallbridge (University of Edinburgh)Title: Speech as a multi-channel system: Quantifying perceptual channel valueLocation: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.For more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
27 - 28 March 2023, 1st Amsterdam/Saint-Etienne Workshop on Social Choice
Location: De Doelenzaal, University Library, Singel 425, AmsterdamCosts: freeDeadline: Monday 13 March 2023We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.
Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.
For more information, see https://sites.google.com/view/amsterdam-saint-etienne-2023/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
27 March 2023, Nordic Online Logic Seminar, Ali Enayat
Speaker: Ali EnayatTitle: Arithmetic and set theory through the lens of interpretabilityLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2023-03-16-NOL-Seminar-Ali-Enayat.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
24 March 2023, STiHAC Joint Meeting, Valentin Imbach
Speaker: Valentin Imbach (Cambridge)Title: Transfinite generative grammarsLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
24 March 2023, DIP Colloquium, Corien Bary
Speaker: Corien Bary (Radboud)Title: Present tense: challenges for a semantic accountLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35223/Corien-Bary-Radboud. -
24 March 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Rebecca Reiffenhäuser
Speaker: Rebecca ReiffenhäuserTitle: Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate EquilibriaLocation: Room L2.06, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk2/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
23 March 2023, Logic and Interactive Rationality (LIRa) session cancelled
For more information, see https://projects.illc.uva.nl/lgc/seminar/2022/12/lira-session-erman-acar-2/. -
21 March 2023, NihiL Seminar, Reinhard Muskens
Speaker: Reinhard MuskensTitle: BSML and left-to-right interpretation of natural languageLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/nihil/ or contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl. -
17 March 2023, DIP Colloquium, Daniel Hoek
Speaker: Daniel Hoek (Virginia Tech)Title: Question-Directed Propositions and the Problems of Logical OmniscienceLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35222/Daniel-Hoek-Virginia-Tech-TBA. -
16 March 2023, Logic and Interactive Rationality (LIRa), Vlasta Sikimić
Speaker: Vlasta Sikimić (University of Tubingen)Title: The use of AI in scientific evaluation through the lens of virtue theoryLocation: KdVI Seminar Room F3.20, Science Park 107, Amsterdam / online (Zoom)For more information, see https://projects.illc.uva.nl/lgc/seminar/2023/02/lira-session-vlasta-sikimic/. -
16 March 2023, The Utrecht Logic in Progress Series (TULIPS), Jaap van Oosten
Speaker: Jaap van Oosten (Utrecht)Title: Partial Combinatory Algebras, between realizability and oracle computationLocation: Janskerkhof 13, room 0.06, UtrechtThis is a hybrid event, please contact the organizer for a link to the online meeting.
For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl. -
10 March 2023, STiHAC Joint Meeting, Tristan van der Vlugt
Speaker: Tristan van der Vlugt (Hamburg)Title: Separating \kappa^+ many localisation cardinals, Part ILocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
10 March 2023, STiHAC Joint Meeting, Clara List
Speaker: Clara List (Hamburg)Title: On the predicate modal logic of forcing (with corrections to the last talk)Location: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
10 March 2023, Meaning, Logic, and Cognition (MLC) Seminar, Tom Roberts & Deniz Özyıldız
Speaker: Tom Roberts & Deniz Özyıldız (Konstanz)Title: Bad attitudes: Impossible meanings and the false belief gapLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35221/Tom-Roberts-Deniz-Özyıldız-Konstanz. -
9 March 2023, Joint LLAMA and LIRa session, Johan van Benthem and Nick Bezhanishvili
Speaker: Johan van Benthem and Nick BezhanishviliTitle: Modal Structures in Groups and Vector SpacesLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / Online via Zoom -
8 March 2023, LLAMA seminar, Lev Beklemishev
Speaker: Lev Beklemishev (ILLC)Title: Reflection algebras and conservativity spectra of theoriesLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-beklemishev-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
6 March 2023, Computational Social Choice Seminar, Ehud Shapiro
Speaker: Ehud Shapiro (Weizmann)Title: Equality in Voting, Proposing, Deliberation and Coalition Formation, Constitution Formation and Amendment, and ForkingLocation: Room L1.12, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
27 February 2023, Nordic Online Logic Seminar, Sven Ove Hansson
Speaker: Sven Ove HanssonTitle: How to combine probabilities and full beliefs in a formal systemLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2023-02-06-NOL-Seminar-Sven-Ove-Hansson.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
24 February 2023, COOL Logic, Liam Chung
Speaker: Liam ChungTitle: What is Category Theory and Why Should I Care?Location: Room D0.101, Science Park 904, AmsterdamIn this talk we will explore the basic ideas of category theory as an alternative framework for mathematical thought. We will use CT to help us reframe familiar ideas, and explore some new ones. If you've ever heard one of your peers look at some daunting new concept and say "Oh! This is just..." and say a word you swore you knew the meaning of, but apparently don't, this talk is for you. My goal is not to teach you category theory: there are professionals to do that. My goal is to help you understand what it is, and why it seems to capture the obsession of everyone who studies it.
For more information, see https://coollogic.wixsite.com/website or contact Paul Talma at ptalma at humnet.ucla.edu. -
24 February 2023, DIP Colloquium, Michael Wagner
Speaker: Michael Wagner (McGill)Title: Syntactic Alternative ProjectionLocation: OnlineFor more information, see https://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35218/Michael-Wagner-McGill. -
24 February 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Gregor Behnke
Speaker: Gregor BehnkeTitle: Lifted Classical Planning via Propositional Logic SatisfiabilityLocation: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam / online (Zoom)Abstract:
Planning models are usually defined in lifted, i.e., first order formalisms, while most solvers need (variable-free) grounded representations. Though techniques for grounding prune unnecessary parts of the model, grounding might – nevertheless – be prohibitively expensive in terms of runtime. To overcome this issue, there has been renewed interest in solving planning problems based on the lifted representation in the last years.While these approaches are based on (heuristic) search, we present an encoding of lifted classical planning in propositional logic and use SAT solvers to solve it. Evaluating this approach shows that it is competitive with the heuristic search-based approaches in satisficing planning and even outperforms them if we are looking for (length-)optimal solutions.
For more information, see https://events.illc.uva.nl/FOAM/posts/talk1/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
24 February 2023, PEPTalks, Sadjad Soltanzadeh
Speaker: Sadjad SoltanzadehTitle: PEPTalk #16: From Metaphysics to Ethics, Design and RegulationLocation: Online via ZoomFor more information, see here or at https://www.uva.nl/en/discipline/philosophy/pept/peptalks/peptalks.html or contact Aybüke Özgün at a.ozgun at uva.nl. -
23 February 2023, Logic and Interactive Rationality (LIRa), Søren Knudstorp
Speaker: Søren Knudstorp (ILLC, University of Amsterdam)Title: Modal Information Logics: Axiomatizations and DecidabilityLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://projects.illc.uva.nl/lgc/seminar/2023/01/lira-session-soren-knudstorp/. -
22 February 2023, LLAMA seminar, Fan Yang
Speaker: Fan Yang (Utrecht University)Title: The axiomatization problem of dependence logicLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-yang-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
20 February 2023, NihiL Seminar, Aleksi Anttila
Speaker: Aleksi AnttilaTitle: An Axiomatization of Bilateral State-based Modal LogicLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomAbstract: Bilateral State-based Modal Logic (BSML) is a modal logic employing team/state-based semantics which can be used to model free choice inference and other natural language phenomena. We introduce a natural deduction system for BSML as well as for two extensions: BSML with the inquisitive disjunction and BSML with a novel emptiness operator. We also study the expressive power of these logics—we show that the two extensions are expressively complete.
For more information, contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl. -
17 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Tamar Johnson
Speaker: Tamar JohnsonTitle: Categorization models for the representation of gradable adjectivesLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35220/Tamar-Johnson. -
ILLC Current Affairs Meeting cancelled
On Tuesday the deans of the Faculties of Science and Humanities will visit the ILLC and a programme was sent around earlier this week. Because of this event we decided to not also organise a Current Affairs Meeting that week.
For more information, contact illc at uva.nl. -
16 February 2023, Logic and Interactive Rationality (LIRa), Jos Baeten
Speaker: Jos Baeten (CWI)Title: Pushdown Automata and Context-Free Grammars in Bisimulation SemanticsLocation: ILLC seminar room F1.15 in Science Park 107 and onlineFor more information, see https://projects.illc.uva.nl/lgc/seminar/2023/01/lira-session-jos-baeten/. -
16 February 2023, The Utrecht Logic in Progress Series (TULIPS), Giorgio Lenta
Speaker: Giorgio Lenta (Genoa/FINO)Title: The Hyperintensional Kaplan’s ParadoxLocation: Janskerkhof 13, room 0.06, UtrechtThis is a hybrid talk, please contact the organizer if you are interested in joining the online meeting.
For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl. -
16 February 2023, Computational Social Choice Seminar, Mayesha Tasnim
Speaker: Mayesha TasnimTitle: Combinatorial Optimization in School Allocation and the Impact of Strategic Manipulation of PreferencesLocation: Room L3.33, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
14 February 2023, Site Visit by Faculty Boards
On the 14th of February the boards of the faculties of FNWI and FGw will visit the ILLC.
For more information, contact illc at uva.nl. -
10 February 2023, Meaning, Logic, and Cognition (MLC) Seminar, Takanobu Nakamura
Speaker: Takanobu NakamuraTitle: A dynamic homogeneity approach to cumulative dependenciesLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/LoLa/MLC-Seminar/event/35219/Takanobu-Nakamura. -
8 February 2023, LLAMA seminar, Lingyuan Ye
Speaker: Lingyuan Ye (ILLC)Title: Towards Functorial Model TheoryLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-ye-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
7 February 2023, EXPRESS-Philmath Seminar, Sarah Moss
Speaker: Sarah Moss (University of Michigan)Title: A Synthesis View of CounterfactualsLocation: Online via ZoomThere are two prominent accounts of counterfactuals in the literature---variably strict conditional accounts first developed by Stalnaker and Lewis, and strict conditional accounts defended by von Fintel, Hájek, and others. Unfortunately, both accounts face serious challenges. In the first half of this paper, I argue that existing strict conditional accounts fail to accommodate our probabilistic judgments about counterfactuals. The same goes for several other semantic theories of counterfactuals.
Having presented these challenges, I introduce and defend my own positive account of counterfactuals. The account incorporates a key insight of variably strict accounts--namely, that the antecedent of a counterfactual often influences what worlds are relevant to its truth conditions at a context. But unlike variably strict accounts, my view preserves a strict conditional semantics according to which Antecedent Strengthening is valid, thereby capturing the data that have motivated other strict conditional theorists. By adopting the right account of the pragmatics of counterfactuals, we can endorse a strict conditional semantics and still straightforwardly capture the full range of our intuitive judgments, including probabilistic judgments about counterfactuals.
For more information, see https://inferentialexpressivism.com/seminar/ or contact Luca Incurvati at L.Incurvati at uva.nl. -
4 February 2023, STiHAC Joint Meeting, Philipp Dreibrodt
Speaker: Philipp Dreibrodt (Hamburg)Title: Two proofs of the fact that AD implies that aleph_1 is measurableLocation: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
2 February 2023, Logic and Interactive Rationality (LIRa), Jialiang Yan
Speaker: Jialiang YanTitle: Knowing and believing an epistemic possibilityLocation: Fully online (i.e. not hybrid)For more information, see https://projects.illc.uva.nl/lgc/seminar/2022/12/lira-session-jialiang-yan/. -
30 January 2023, Nordic Online Logic Seminar , Vann McGee
Speaker: Vann McGeeTitle: Boolean Degrees of Truth and Classical Rules of InferenceLocation: ZoomThe Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.
For more information, see https://scandinavianlogic.org/2023-01-10-NOL-Seminar-Vann-McGee.html or contact Val Goranko at valentin.goranko at philosophy.su.se. -
26 January 2023, The Utrecht Logic in Progress Series (TULIPS), Frederik Van De Putte
Speaker: Frederik Van De Putte (Rotterdam)Title: Deontic Game Multiplication, Reduction Theorems, and Acceptability VoidsLocation: Kromme Nieuwegracht 80, room 1.06, UtrechtThis is a hybrid seminar, please contact the organizer if you would like to lister to the seminar online.
For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at c.r.caret at uu.nl. -
26 January 2023, Computational Social Choice Seminar, Julian Chingoma
Speaker: Julian Chingoma (ILLC)Title: Proportionality in Complex DomainsLocation: Room L1.17, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.fnwi.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
25 January 2023, LLAMA seminar, Rosalie Iemhoff
Speaker: Rosalie Iemhoff (Utrecht University)Title: Interpolation and terminationLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-iemhoff-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
24 January 2023, An afternoon with ChatGPT: A discussion of generative language models & its impact on the university
Location: Room L1.01, Lab42, Science Park, AmsterdamEveryone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students and collaborators to an afternoon on ChatGPT & the university.
How does it work? What can it do, and what can it not do? What are some of the ehtical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions.With: Prof Raquel Fernández (dialogue systems), Prof Robert van Rooij (semantics), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezelle (responsible AI), Ece Takmaz (vision-language models), Mario Guilianelli (language generation), and others.
For more information, see https://amsterdamnlp.github.io/blog/An-afternoon-with-ChatGPT/ or contact cllab.assist at gmail.com. -
24 January 2023, Webinar about causality in economics, computer science, logic and language
Location: OnlineTarget audience: Broad audienceCosts: FreeReasoning about causal relationships is an important theme throughout science. The Nobel Prize in Economics was awarded last year to Guido Imbens and Joshua Angrist, for their role in the development of methods to investigate how researchers understand and analyze causal relationships. This webinar, which the Academy organizes together with the Association for Logic (VvL), brings together various experts in the field of reasoning about causality from different disciplines.
Speakers: Guido Imbens, Sara Magliacane, Thomas Icard and Katrin Schulz. The evening will be chaired by Rineke Verbrugge, professor of logic and cognition at the University of Groningen, and Balder ten Cate, associate professor of logic and theoretical computer science at the University of Amsterdam. The language will be English.
For more information, see https://www.knaw.nl/en/events/causality-economics-computer-science-logic-and-language or contact Balder ten Cate at b.d.tencate at uva.nl. -
21 January 2023, STiHAC Joint Meeting, Clara List
Speaker: Clara List (Hamburg)Title: Canonical models for quantified S4.2Location: Online via ZoomFor more information, see https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html. -
20 January 2023, Dutch Social Choice Colloquium
Location: Room T3-14, Mandeville Building, Campus Woudestein, Erasmus University RotterdamThis session of the DSCC is organised jointly with the ENCODE project. Speakers will include Richard Pettigrew (Bristol), Marcus Pivato (Cergy) and Peter Wakker (Rotterdam).
For more information, see http://events.illc.uva.nl/DSCC/meetings.php. -
19 January 2023, Computational Social Choice Seminar, Christian Laußmann
Speaker: Christian Laußmann (Düsseldorf)Title: Dealing with the Uncertain: Why Participatory Budgeting Needs Sophisticated PlanningLocation: Room L1.17, Lab42, Science Park 900, AmsterdamFor more information, see here or at https://staff.science.uva.nl/u.endriss/seminar/ or contact Ulle Endriss at ulle.endriss at uva.nl. -
17 January 2023, Computational Linguistics Seminar, Giada Pistilli
Speaker: Giada Pistilli (Sorbonne Université and HuggingFace)Title: Ethics of Large Language Models: considerations and case studiesLocation: Room L3.36 at LAB42, Amsterdam Science Park, plus live streaming on Zoom.For more information, see https://projects.illc.uva.nl/LaCo/CLS/. -
11 January 2023, LLAMA seminar, Leo Lobski
Speaker: Leo Lobski (University College London)Title: String diagrams for layered structuresLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via ZoomFor more information, see https://events.illc.uva.nl/llama/#talk-lobski-2023 or contact Tobias Kappé at t.kappe at uva.nl. -
9 January 2023, Societal Challenges, Global Mental Health and Humane AI
Location: Spui 25-27 1012 WX AmsterdamAt this year’s Dies Natalis of the University of Amsterdam, Professor dr. Vikram Patel (Harvard University) and Prof. dr. Chris Manning (Stanford University) will be awarded Honorary Doctorates. During this symposium, a panel of expert speakers will join our honorees to discuss pertinent topics within the fields of mental health and the use of artificial intelligence on a global scale.
For more information, see https://spui25.nl/programma/societal-challenges-global-mental-health-and-humane-ai or contact Khalil Sima`an at k.simaan at uva.nl. -
6 - 7 January 2023, ALiAS: Amsterdam Lectures in Artificial Intelligence and Society
Location: Lab42, Science Park 900, Amsterdam. Room 1.02 and Singel 425, Amsterdam, room 0.07 (Doelenzaal)A small-scall satelite event of this year's Dies Natalis "Societal Challenges, Global Mental Health and Humane AI".For more information, see https://staff.fnwi.uva.nl/w.zuidema/alias-2023/ or contact Jelle Zuidema at w.h.zuidema at uva.nl.
Calls for Paper
-
26 - 29 October 2023, 9th International Conference on Logic, Rationality and Interaction (LORI-2023) , Shandong University, China
Location: Shandong University, ChinaDeadline: Monday 15 May 2023The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.
Papers should be submitted via EasyChair for LORI-IX.
For more information, see http://golori.org/lori2023/. -
4 - 6 October 2023, PhDs in Logic 2023, Granada, Spain
Location: Granada, SpainDeadline: Tuesday 23 May 2023PhDs in Logic is an annual graduate conference organised by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. This edition of the congress will take place from 4 to 6 October at the Institute of Mathematics of the University of Granada (IMAG).
All participants are encouraged to submit an abstract (1000 words). The scientific committee will decide between two possibilities: 20 minutes presentation and poster session, or poster session. Submissions can be uploaded here: submission
For more information, see here or at https://phdsinlogicxiv.com/ or contact Organising Committee at phdsinlogic at gmail.com. -
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia
Location: Telavi, GeorgiaDeadline: Friday 17 March 2023The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
- Language: Peter Sutton (UPF, Barcelona)
- Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
- Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
- Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
- "The Semantics of Hidden Meanings"
- "Learning and Logic"The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.
Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system. All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium.
After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process.
For more information, see https://events.illc.uva.nl/Tbilisi/Tbilisi2023/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl. -
18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, Norway
Location: Oslo, NorwayDeadline: Monday 20 March 2023The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.
The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.
We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning.
We accept the following submission formats for papers:
* Long papers (up to 15 pages in LNCS style including references)
* Short papers (up to 8 pages in LNCS style including references)
Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style.Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Papers can be submitted using EasyChair.
For more information, see https://2023.declarativeai.net/events/ruleml-rr or contact Raoul Koudijs at raoulxluoar at gmail.com. -
15 - 16 September 2023, 5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia
Location: Tbilisi, GeorgiaDeadline: Monday 1 May 2023Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations.
In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/).
Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to):
- Dynamic logic, foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logicsSubmissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages (12 pages of main text + 3 pages of appendix and references), are invited through Easychair. The submissions should be *anonymous* and should follow the LNCS formatting style. LaTeX users (preferred) can download the LNCS template directly ; Word users can do the same. A post-proceedings volume and a special issue of a journal are planned, and will be confirmed in the next CfP.
For more information, see https://dali2023.compute.dtu.dk/ or contact Nina Gierasimczuk at nigi at dtu.dk. -
11 - 15 September 2023, Logic, Algebra and Truth Degrees 2023 (LATD 2023), Tbilisi (Georgia)
Location: Tbilisi (Georgia)Deadline: Saturday 15 April 2023The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).
We invite contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal and quantum logics), in particular:
• Proof theory and computational complexity;
• Algebraic semantics and abstract algebraic logic;
• First-order, higher-order and modal formalisms;
• Applications and foundational issues;
• Geometric and game theoretic aspects.
Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair: https://easychair.org/conferences/?conf=latd2023
The deadline for contributions is 15 April 2023 and the notification of acceptance will be sent by 1 June 2023.For more information, see https://sites.google.com/view/latd-2023/. -
30 August - 1 September 2023, The Eleventh Workshop on Combining Probability and Logic (Progic 2023), Utrecht, the Netherlands
Location: Utrecht, the NetherlandsTarget audience: Anybody interested in combining probabilistic and logical tools (including philosophers, computer scientists, economists, mathematicians..)Deadline: Saturday 15 April 2023The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.
Invited Speakers: Didier Dubois (IRIT, France), Joe Halpern (Cornell University), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).
We solicit submissions that bridge these two perspectives. These could, for instance, apply probabilistic or other quantitative tools to the study of logical systems or use logical frameworks, classical or substructural, for understanding probabilistic approaches. They may also apply to specific sub-areas, such as game theory, network theory, causal modelling or machine learning. We especially invite submissions that combine probability and logic for knowledge representation and reasoning broadly construed.
Submissions should consist of a short abstract (~200 words) and an *extended abstract* (~1000 words, pdf format). The submission portal is at https://progic23.sciencesconf.org/. Submission deadline: April 15, 2023. Notification of acceptance: May 15, 2023.
For more information, see https://progic2023.sites.uu.nl/ or contact Dominik Klein, Dragan Doder at d.klein at uu.nl d.doder at uu.nl. -
21 - 25 August 2023, 11th European Congress of Analytic Philosophy (ECAP 11), Vienna, Austria
Location: Vienna, AustriaTarget audience: Analytic PhilosophersDeadline: Friday 20 January 2023The European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna. The current president of the ESAP is Prof. Katalin Farkas (CEU).
The European Society for Analytic Philosophy (ESAP) invites contributed papers and proposals for symposia to be presented at ECAP11. The total time allocated to each contributed paper at the conference will be 35 minutes and the time allocated to each symposium/panel discussion (3-5 discussants) will be 115 minutes. Submissions must be made via EasyChair in the format specified in the CFP (available at the ESAP website).
For more information, see https://analyticphilosophy.eu/ecap-11/ or contact Nikhil Mahant at ecap11 at ceu.edu. -
7 - 11 August 2023, ESSLLI 2023 Workshop on First-order Modal and Temporal Logics: State of the art and perspectives
Location: LjubljanaTarget audience: researchers and graduate studentsCosts: Registration fee at ESSLLI 2023Deadline: Sunday 16 April 2023The workshop will comprise five 90-min sessions, one per day, with invited and contributed talks. It is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.Topics of interest include, but are not limited to the following for first-order modal and temporal logics:- languages, models, and semantics;- proof theory, deductive systems, and completeness/incompleteness results;- decidability, undecidability, complexity;- problems and applications in philosophy, mathematics, computer science and artificial intelligence.
We invite submissions of extended abstracts (2 to 4 pages long) on recent or ongoing research in the scope of the workshop. The submissions should be in PDF format, preferably prepared with LaTeX, and must be done via EasyChair: https://easychair.org/conferences/?conf=fomtl2023
Important dates:
Deadline for submission of abstracts: April 16
Final decision and notification: May 16
Deadline for registration at the workshop: June 30
Workshop: August 7-11See further details in Call for submissions on the Workshop webpage.
For more information, see https://dshkatov.github.io/fomtl2023/ or contact Dmitry Shkatov at Dmitry.Shkatov at wits.ac.za. -
7 - 8 August 2023, ESSLLI2023 Workshop "Modalities in substructural logics: Applications at the interfaces of logic, language and computation"
Location: Ljubljana, SloveniaTarget audience: Logicians, Linguists, Computer ScientistsCosts: ESSLLI Registration FeeDeadline: Friday 19 May 2023Substructural logics have brought to the fore new forms of reasoning and provided applications for a variety of disciplines. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.The focus of this workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning.
The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.
Submissions are invited through EasyChair at https://easychair.org/cfp/content.cgi?a=30697061. Topics for submissions included but are not limited to:
- Modalities in extended typelogical grammars
- Refinements of the linear exponential: prooftheoretic and semantic aspects
- Modalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolution
- Substructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logic
- Epistemic substructural logics, e.g. Epistemic Separation Logic
- Intuitionistic Modal Logics
- Quantum Dynamic LogicFor more information, see https://2023.esslli.eu/courses-workshops-accepted/course-information.html#2-13 or contact Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.ac.uk. -
7 - 8 August 2023, ESSLLI Workshop "Modalities in substructural logics: applications at the interfaces of logic, language and computation" (AMSLO23)
Location: Ljubljana, SloveniaTarget audience: Logicians, Linguists, Computer ScientistsCosts: ESSLLI Registration FeeDeadline: Friday 19 May 2023By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management.
The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop welcomes contributions on topics including, but not limited to,
Modalities in extended typelogical grammarsRefinements of the linear exponential: prooftheoretic and semantic aspectsModalities and the dynamics of NL interpretation: ellipsis, gapping, pronoun resolutionSubstructural Dynamic Epistemic Logic, Intuitionistic Public Announcement logicEpistemic substructural logics, e.g. Epistemic Separation LogicIntuitionistic Modal LogicsQuantum Dynamic Logic
We invite anonymized submissions of either (1) short papers of up to 4 pages, or (2) full articles of up to 12 pages. Short papers can be reporting on existing or in progress work. Full articles should be original work that has not been published or submitted elsewhere. Each submission will be refereed by three PC members. Accepted full articles will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS), available at the workshop.
For more information, see https://easychair.org/cfp/AMSLO23 or contact Mehrnoosh Sadrzadeh at m.sadrzadeh at ucl.ac.uk. -
31 July - 4 August 2023, Procedural and computational models of semantic and pragmatic processes, University of Ljubljana, Slovenia
Location: University of Ljubljana, SloveniaDeadline: Monday 8 May 2023Procedural and computational modeling frameworks have been applied successfully to various aspects of semantic and pragmatic processes, yielding not only a good fit to empirical data but also insights of theoretical relevance. On the one hand, computational (e.g., Bayesian or information theoretic) models rationalize speaker behavior and explain how a listener can use given information efficiently to infer the intended meaning from an utterance. However, these models often leave the stepwise processing of linguistic information unspecified. On the other hand, procedural (e.g., automata or ACT-R) models explain step-by-step cognitive processes behind meaning-related computations, e.g., the process of building sentence representations. However, they often lack the means to combine different information types in an interactive fashion. The goal of this workshop is to bring together researchers applying these two modeling methodologies to discuss their strengths and weaknesses and work towards an integrated approach.
We invite submissions that present state-of-the-art applications of computational and procedural models or discuss strengths and limitations of each of the mentioned methodologies. Moreover, because we see great potential for integrated computational and procedural models, we strongly encourage submissions that propose hybrid approaches. Such hybrid approaches may, for example, include sequential sampling decision models (e.g. Schlotterbeck et al., 2020; Ramotowska et al., 2023) or models of incremental interpretation (e.g. Cohn-Gorden et al., 2019; Waldon & Degen, 2021) as procedural extensions of Bayesian approaches.
Abstracts should be anonymous and not exceed 2 pages (plus one extra page for figures, tables, glosses, references, etc.) with 11 pt font size. Submissions can be made at the workshop’s EasyChair site.
For more information, see https://prosandcomps.github.io/ or contact Sonia Ramotowska at prosandcomps at gmail.com. -
(Updated) 31 July - 11 August 2023, 34th European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia
Location: Ljubljana, SloveniaDeadline: Friday 13 January 2023Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.
Registration is now open. Early bird registration deadline: June 14th (extended).
Proposals for courses and workshops at ESSLLI 2023 are invited in all areas of Logic, Linguistics and Computer Sciences. Cross-disciplinary and innovative topics are particularly encouraged.
Course proposals should fall under one of the categories Foundational Courses, Introductory Courses, Advanced Courses or Workshops. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one.
Course and Workshop proposals can be submitted by no more than two lecturers/organizers and they are presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline.
For more information, see https://2023.esslli.eu/ or contact Ivano Ciardelli at sobekal at hotmail.com. -
(Updated) 24 - 25 July 2023, MCMP Workshop "Causality for Ethics and Society"
Location: Munich (Germany)Deadline: Monday 15 May 2023Sander Beckers (ILLC, Amsterdam) and Naftali Weinberger (MCMP/LMU Munich) are organising an interdisciplinary workshop on all topics that relate causal models, and causality more broadly, to ethical and/or societal issues. This workshop will bring together participants from a range of academic fields in order to present and discuss the most recent developments on employing formal causal reasoning in ethics and in social contexts.
We welcome contributions debating the applicability of causal concepts within a particular domain as well as proposals for modifying existing causal frameworks for addressing novel problems. As the workshop will include speakers from a wide range of academic fields, we encourage contributions that address problems arising in interdisciplinary contexts. If you are interested in presenting at the workshop, please submit a blinded abstract of no more than 1000 words to Causalityforsociety+submission at gmail.com by May 15th.
For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/causality_ethics_society_2023/index.html or contact Sander Beckers at srekcebrednas at gmail.com. -
1 July 2023, 7th Women in Logic Workshop (WiL 2023), Rome, Italy
Location: Rome, ItalyDeadline: Sunday 23 April 2023Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.
The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.
Abstracts should be written in English (1-2 pages), and prepared using the Easychair style. The abstracts should be uploaded to the WiL 2023 Easychair page as a PDF file before the submission deadline.
For more information, see here or at https://sites.google.com/view/wil2023/ or contact Tephilla Prince at wil2023 at easychair.org. -
28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K.
Location: Oxford, U.K.Target audience: CS, logic, game theory, philosophyDeadline: Wednesday 15 March 2023The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org
Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.Submissions are invited to TARK 2023. Extended abstracts can be submitted at: https://easychair.org/conferences/?conf=tark2023. Deadline for abstract registrations: March 15, 2023, anywhere on earth. Deadline for submissions: March 22, 2023, anywhere on earth.
Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. Extended abstracts should be no longer than 10 pages. Optional technical details such as proofs may be included in an appendix. To format your paper, please use the EPTCS LaTeX style from: http://style.eptcs.org/. TARK reviewing is not double-anonymised, so author names can be included in the submission.
For more information, see https://sites.google.com/view/tark-2023 or contact Rineke Verbrugge (PC chair), Mike Wooldridge (OC chair) at tark.oxford at gmail.com. -
24 June 2023, DPFO'23: The Decision Problem in First-Order Logic
Location: Boston, United StatesDeadline: Wednesday 19 April 2023[LICS Affiliated Workshop] Nearly a century has now passed since D. Hilbert and W. Ackermann asked if there an algorithm which, when given a formula of first-order logic, determines whether that formula is satisfiable. The negative answer provided by A. Church and A. Turing only a decade later transformed this question into a classification programme: for which fragments of first-order logic, we ask, is the problem of determining the satisfiability of a given formula decidable? Can we chart, in the words of W.V.O. Quine, the limits of decision in first-order logic? Indeed, logicians now typically set themselves a more ambitious goal: given a fragment of first order logic, if its satisfiability (and/or its finite satisfiability problem) is decidable, what is its computational complexity?
From early work on quantifier-prefix fragments, the study of the satisfiability problem (and finite satisfiability problem) for fragments of first-order logic, and indeed of its non-first-order extensions,has now become a central topic in Computational Logic. The aim of the workshop, affiliated with LICS 2023, is to highlight recent developments in this area, with particular emphasis on those fragments which have been the focus of recent interest. These include, for example: Modal and description logics; Logics for ontology-based data access; The negation-guarded fragment; The fluted fragment; Separation logics; Logics of dependence and independence; Combinations of existing fragments.
We invite contributions in the form of 30-minute talks on any topic covered by the workshop title (not confined to the list above). Those interested in giving a contributed talk should submit a short abstract of no more than 2 normally spaced A4/letter pages via via Easy chair.
Deadline for submission of abstracts: (April 19th, 2023).
Final decision by organizers and notification: April 28th, 2023For more information, see http://www.cs.man.ac.uk/~ipratt/DPFO2023/dpfo2023.html or contact Ian Prattt-Hartmann at ian.pratt at manchester.ac.uk. -
23 June 2023, Dutch Logic PhD Day 2023, Groningen
Location: GroningenTarget audience: PhD students in logic (and related areas) in the Netherlands (if places are available, the event is also open to master's students).Costs: FreeDeadline: Tuesday 30 May 2023The Dutch Logic PhD Day 2023 is a VvL event that brings together PhD students in Logic and related areas (Philosophy, Computer Science and AI) with the aim of fostering exchanges of ideas and collaborations between young researchers from all over the Netherlands.
The event is planned as a full-day event, during which PhDs students will have the possibility to present their research in the form of contributed talks.
We invite the submission of works from any areas of Logic or related fields. Depending on the preference of the speaker, contributed talks can be shorter (15 minutes, including Q&A) or longer (30 minutes, including Q&A).
For more information, see here or at https://www.verenigingvoorlogica.nl/en/PhD-Day/ or contact dutch.logic.phd.day at gmail.com. -
23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the Netherlands
Location: Leiden, the NetherlandsDeadline: Wednesday 15 March 2023In higher education, curricula and courses are often not cast in stone. They need adaptations regularly, for instance because another course in the curriculum changes. In secondary education, changes are less common. However, in the Netherlands, a curriculum reform is planned to be implemented in the next years, also concerning foreign languages. A question that arises in this context is how reforms are best effectuated, and how courses in existing curricula can be changed?
On June 23rd, 2023, LLRC will organize a one-day conference on precisely this topic. We are very happy to announce that Dr. Marjon Tammenga-Helmantel (SLO) has agreed to give the keynote lecture. She is a specialist in foreign language teaching and currently involved in facilitating the process of curriculum reform in secondary education. Her keynote will start the day with a brief overview about curriculum development at national, school and classroom levels. Concrete tools to facilitate curriculum changes or adaptations in foreign language education will be discussed.
We invite foreign language teachers and researchers to send in an abstract for the conference. The following topics would fit the theme:
- Research on language teaching course design
- Research on curriculum design including foreign language teaching
- Research on changes in language teaching
- Good practice in language teaching course design
- Good practice in curriculum design including foreign language teaching
- Good practice in changes in language teaching
We welcome abstracts for a variety of presentation types: research presentations, good practice presentations, or workshops.
-
18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech Republic
Location: Tepla Monastery, Czech RepublicCosts: 500 EUR for participants, 370 EUR for accompanying persons.Deadline: Monday 27 March 2023The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)
If you are interested in presenting a paper at the symposium, please submit a two-page blinded abstract via EasyChair by 27 March 2023. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for philosophically and mathematically oriented logicians.
Simultaneous submission to other conferences or journals is allowed,
and we will also consider submissions based on recently published
papers. However, such submissions will not be considered for the
post-proceedings volume.For more information, see https://logika.flu.cas.cz/en/events/logica/23-dokumenty/588-logica-2026 or contact Vit Puncochar & Igor Sedlar at logica at flu.cas.cz. -
15 June 2023, 2nd International Workshop on Automatic Translation for Signed and Spoken Languages, Tampere, Finland
Location: Tampere, FinlandDeadline: Friday 14 April 2023Machine Translation (MT) is a core technique for reducing language barriers for spoken languages. Although MT has come a long way since its inception in the 1950s, it still has a long way to go to successfully cater to all communication needs and users. When it comes to the deaf and hard of hearing communities, MT is in its infancy. The complexity of the task to automatically translate between SLs or sign and spoken languages, requires a multidisciplinary approach.
The rapid technological and methodological advances in deep learning, and in AI in general, that we see in the last decade, have not only improved MT, recognition of image, video and audio signals, the understanding of language, the synthesis of life-like 3D avatars, etc., but have also led to the fusion of interdisciplinary research innovations that lays the foundation of automated translation services between sign and spoken languages.
The AT4SSL workshop aims to open a (guided) discussion between participants about current challenges, innovations and future developments related to the automatic translation between sign and spoken languages. To this extent, AT4SSL will host a moderated round table around the following three topics: (i) quality of recognition and synthesis models and user-expectations; (ii) co-creation - deaf, hearing and hard-of-hearing people joining forces towards a common goal and (iii) sign-to-spoken and spoken-to-sign translation technology in media.
Submissions related to the workshop topics are sollicited. However, submissions related to the general topic of automatic translation between signed and spoken languages that deviate from these topics are also welcome.
Two types of submissions are going to be accepted for the AT4SSL workshop: Research, review, position and application papers (4-8 pages) and Extended abstracts presenting original, ongoing work or innovative ideas (4 pages). Both papers should be formatted according to the official EAMT 2023 style templates. Accepted papers and extended abstracts will be published in the EAMT 2023 proceedings and will be presented at the conference.
For more information, see https://sites.google.com/tilburguniversity.edu/at4ssl2023/ or contact Floris Roelofsen at f.roelofsen at uva.nl. -
13 - 16 June 2023, The 13th International Symposium on Algorithms and Complexity (CIAC 2023), Batumi, Georgia
Location: Batumi, GeorgiaDeadline: Wednesday 16 November 2022The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.
Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).
Authors are invited to submit papers presenting original and unpublished research on algorithms and complexity. Authors are invited to submit an extended abstract or full paper with at most 15 pages, excluding the title page and the references. The paper should contain a succinct statement of the issues and their motivation a summary of the results, a brief explanation of their significance and a comparison to related work, accessible to non-specialists. Proofs omitted due to space constraints must be put into an appendix, to be read by the PC members at their discretion.
Submissions will be through EasyChair. The usage of the LNCS style file is mandatory. Simultaneous submission to other conferences with published proceedings or to journals is not allowed.
For more information, contact mavronic at ucy.ac.cy, or bdundua at gmail.com. -
16 - 18 May 2023, 15th NASA Formal Methods Symposium (NFM 2023), Houston TX, U.S.A.
Location: Houston TX, U.S.A.Deadline: Friday 9 December 2022The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
There are two categories of submissions sollicited: Regular papers describing fully developed work and complete results (15 pages + references), and Short papers: (6 pages + references), either (a) Tool Papers describing novel, publicly-available tools, or (b) Case Studies detailing complete applications of formal methods to real systems with publicly-available artifacts. All papers should be in English and describe original work that has not been published or submitted elsewhere. We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.
For more information, see https://conf.researchr.org/home/nfm-2023. -
22 - 27 April 2023, 26th European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France
Location: Paris, FranceDeadline: Thursday 13 October 2022ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
accompanied by satellite workshops.
ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:
- The SPIN symposium will be co-located with ETAPS.
- TACAS will use a double-blind reviewing process.
- ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
- Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
- A plenary session for TOOLympics will be organised.
- There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.
ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.
The four main conferences of ETAPS 2023 solicit contributions of the following types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp). Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere.
Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artefact submitted shortly after the paper. The artefact will be evaluated, and the outcome will be considered in the paper's acceptance decision. Authors of research papers and case study papers submitted to TACAS may submit an artefact for evaluation after receiving the acceptance notifications. ESOP, FASE, and FoSSaCS will also accept artefact submissions (participation in it is voluntary). In either of the latter cases, the outcome of the artefact evaluation will not change the paper acceptance decision.
For more information, see https://etaps.org/2023. -
6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual
Location: Tehran (Iran) & VirtualDeadline: Monday 31 October 2022The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.
Conference Scope:
A. Pre-Avicennan Logic
B. Avicenna’s Logic
C. Post-Avicennan Logic
D. Comparative logicOn behalf of the organizing committee, we kindly invite all researchers in logic, history, and philosophy to contribute to the conference with papers on the conference topics.
For more information, see http://logic.irip.ac.ir/ or contact logicconf2023 at gmail.com. -
CfP special issue of IJAR on logics for the new AI spring
Deadline: Wednesday 1 March 2023We invite submissions for a Special Issue on Logics for the new AI Spring, to be published with the International Journal of Approximate Reasoning.
The development of logics capable of representing human-like reasoning has always been one of the central objectives of logic-based Artificial Intelligence. In addition to providing very successful tools for knowledge representation and reasoning, logic-based AI is now facing the new and pressing challenge related to the integration of symbolic and sub-symbolic AI. In pursuing it, logic can once again shape significantly the future developments of AI. The primary goal of this special issue is to gather cutting-edge contributions which will jointly provide a comprehensive state-of-the-art in the subject.
To achieve this, the scope of the special issue focuses on, but is not limited to, the following topics: (1) Logical methods in symbolic AI; (2) Logical methods in machine learning; (3) Machine learning in a logical setting; (4) Reasoning and (interactive) decision making under uncertainty.
For more information, see https://www.sciencedirect.com/journal/international-journal-of-approximate-reasoning/about/forthcoming-special-issues or contact tommaso at iiia.csic.es. -
13 - 17 February 2023, Computer Science Logic 2023 (CSL’23), Warsaw, Poland
Location: Warsaw, PolandDeadline: Saturday 9 July 2022Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair.
For more information, see https://csl2023.mimuw.edu.pl/. -
18 - 20 January 2023, British Postgraduate Model Theory Conference 2023 (BPGMTC 13), Leeds, England
Location: Leeds, EnglandDeadline: Thursday 1 December 2022The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!
We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.
If you would like to contribute a talk, please indicate this in your registration form, or, in case you have already registered and changed your mind, e-mail the organisers.
For more information, see https://conferences.leeds.ac.uk/bpgmtc2023/. -
16 - 17 January 2023, Conference on Certified Programs & Proofs (CPP 2023), Boston MA, U.S.A.
Location: Boston MA, U.S.A.Deadline: Wednesday 14 September 2022Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.
We welcome submissions in research areas related to formal certification of programs and proofs. Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system. The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format. The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration.
For more information, see https://popl23.sigplan.org/home/CPP-2023 or contact Steve Zdancewic at stevez at seas.upenn.edu, or Brigitte Pientka at bpientka at cs.mcgill.ca.
Past Conferences
-
6 - 17 February 2023, The São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information (SpLogIC 2023), Campinas, Brazil
Location: Campinas, BrazilAfter having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.
The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.
The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.
For more information, see https://www.cle.unicamp.br/splogic/ or contact splogic at unicamp.br. -
3 February 2023, UU National Conference on Responsible AI, Utrecht, the Netherlands
Location: Spoorwegmuseum, Utrecht, the NetherlandsCosts: freeFeaturing renowned international keynote speakers, the conference will highlight the importance of the theme of responsible AI by approaching it from different perspectives (AI, data science, governance). Registration is open now and will remain open until 18 January.
For more information, see https://www.uu.nl/en/events/uu-national-conference-on-responsible-ai. -
14 January 2023, UNESCO World Logic Day 2023
UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.
The coordination of World Logic Day 2023 is -- for the third time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2023 to celebrate this day. Events will be listed on the CIPSH website.
The Covid pandemic still has an effect on international travel and the question whether in person meetings are appropriate; in addition, we have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world.
For more information, see http://wld.cipsh.international/ or contact wld.assistantcoordinator at cipsh.international..
MoL and PhD defenses
-
23 May 2023, PhD Defense, Dean McHugh
Title: Causation and Modality: models and meaningsLocation: Aula, Agnietenkapel, Oudezijds Voorburgwal 229-231, AmsterdamSupervisor: Katrin SchulzPromotor: Sonja SmetsThis thesis aims to answer two questions about causal claims (such as sentences containing cause or because). Firstly, the modelling question: what kind of information do we use when we judge that a causal claim holds? Secondly, the meaning question: under what conditions do we judge that a causal claim is true?
For more information, see https://www.uva.nl/en/content/events/2023/05/causation-and-modality.html or contact Dean McHugh at d.m.mchugh at uva.nl. -
15 May 2023, PhD Defense, Robert Paßmann
Title: Logical Structure of Constructive Set TheoriesLocation: Aula, Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamPromotor: Benedikt LöweCopromotor: Rosalie IemhoffFor more information, see https://www.uva.nl/en/content/events/2023/05/logical-structure-of-constructive-set-theories.html or contact Robert Paßmann at r.passmann at uva.nl. -
24 April 2023, PhD Defense, Samira Abnar
Title: Inductive Biases For Learning Natural LanguageLocation: Aula, Agnietenkapel, Oudezijds Voorburgwal 231, AmsterdamSupervisor: Jelle ZuidemaPromotor: Jelle ZuidemaCopromotor: Wilker AzizSamira's dissertation studies LSTMs, Transformers and other deep language models, inductive biases that facilitate learning, and connections with the cognitive (neuro)science of language.
For more information, see https://samiraabnar.github.io/ or contact Jelle Zuidema at zuidema at uva.nl. -
20 April 2023, Master of Logic defense, Dorin Neagoe
Title: Confirmation Holism, Communication and Conceptual AlignmentLocation: Online (closed session)Supervisor: Martin Stokhof -
20 April 2023, Master of Logic defense, Chris Scholz
Title: Imaginability as Representability: A Wittgensteinian Approach to AphantasiaLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamSupervisor: Martin Stokhof -
14 April 2023, Master of Logic Defense, Patrik Sestic
Title: Unique Characterisability of Linear Temporal LogicLocation: Room L1.17, Lab42, Science Park 900, AmsterdamSupervisor: Balder ten CateMentor: Dick de Jongh -
24 February 2023, Master of Logic defense, Gerson Foks
Title: Towards Efficient Minimum Bayes Risk DecodingLocation: Room L2.06, Lab 42, Science Park 100, AmsterdamSupervisor: Wilker Ferreira Aziz and Bryan Eikema -
22 February 2023, Master of Logic defense, Alex Keizer
Title: Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functorsLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Jasmin Blanchette and Benno van den Berg -
9 February 2023, Master of Logic defense, Andrew Fish
Title: Extensional Realism: Interesting and Uninteresting TruthsLocation: Room L3.35, Lab 42, Science Park 100, AmsterdamSupervisor: Sebastian De Haro Ollé -
3 February 2023, Master of Logic defense, Paul Stoeckle
Title: An Event Calculus based approach to Kant's Cognitive ArchitectureLocation: Online (closed session)Supervisor: Michiel van Lambalgen -
3 February 2023, Master of Logic defense, Nathan Malik
Title: Morphology and Compositional InterpretationLocation: Room L3.35, Lab 42, Science Park 100, AmsterdamSupervisor: Maria Aloni and Tom Roberts -
23 January 2023, Master of Logic defense, Bo Flachs
Title: Neglect-Zero Effects on Indicative Conditionals: Extending BSML and BiUS with an implicationLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Maria Aloni
Projects and Awards
-
Sanne Vergouwen awarded Hanneke Janssen Memorial Prize for MSc thesis
Sanne Vergouwen has been awarded the prestigious Hanneke Janssen Memorial Prize for her MSc thesis on Emergent Solitons and the Philosophy of Non-Perturbative Quantum Field Theory.
For more information, see here or at https://www.ru.nl/imapp/news/@1366744/hanneke-janssen-memorial-prize-2022/ or contact Sebastian De Haro at s.deharo at uva.nl.
Funding, Grants and Competitions
-
Amsterdam Science & Innovation Award 2023
Deadline: Sunday 7 May 2023The Innovation Award is the Amsterdam competition for research based innovative ideas that contribute to a better world. It is open to ideas to all research disciplines and domains, no matter at what stage your idea is in. The innovation award will give you a kick-start in turning your idea into reality. Submit your idea and compete to win € 10,000!
For more information, see https://www.amsia.nl/innovation-award/innovation-award-2023-2/ or contact info at ixa.nl. -
NWO SSH Open Competition XS pilot – round 4
Deadline: Thursday 20 April 2023The NWO Domain Social Sciences and Humanities (SSH) has three different funding programmes in the Open Competition. There are small-scale grants, large-scale grants, and grants for ideas that hold great promise. The SSH-XS grants are available for projects with a maximum budget of 50,000 euro to enable proposals for curiosity-driven, fundamental research in the research fields covered by the NWO SSH. This Call for proposals has four rounds. This information concerns the fourth round.
For more information, see https://www.nwo.nl/en/calls/ssh-open-competition-xs-pilot-round-4 or contact sgw-ocxs at nwo.nl. -
Call for Nominations: VvL Master's Thesis Award 2023
Deadline: Friday 31 March 2023The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the VvL Master's Thesis Award 2023.
Any Master's thesis from the calendar year 2022 with a topic in logic or in philosophy of the exact sciences written as part of a Master's program at a Dutch university is eligible to be nominated for the Award. A thesis is eligible if the corresponding Master's graduation date lies between 1 January 2022 and 31 December 2022. A thesis must be nominated by the supervisor(s). Submissions will be selected for the prize by the VvL Master’s thesis award committee based on their academic qualities. More than one prize may be awarded per edition.
We are looking forward to receiving many high-quality submissions on a broad range of topics within logic and philosophy of the exact sciences!
For more information, see http://www.verenigingvoorlogica.nl/en/Thesis-Prize/. -
NWO Rubicon 2023-1
Deadline: Tuesday 28 March 2023International research experience is often essential for building up one’s scientific career. Rubicon offers talented researchers who have completed their doctorates in the past year the chance to gain experience at a research institution outside the Kingdom of the Netherlands, as international research experience is likely to be an advantage at a later stage in the applicant’s academic career.For more information, see https://www.nwo.nl/en/calls/rubicon-2023-1 or contact rubicon at nwo.nl. -
ESM Prize for Interdisciplinary Thesis
Deadline: Wednesday 15 March 2023The Royal Holland Society of Sciences and Humanities (KHMV) announces that, with effect from 2023, the Dr Elizabeth Schram-Mulley (ESM) Foundation will annually award a prize of €10,000 to reward research of a particularly interdisciplinary nature that bridges the boundaries between the classical alpha/science/grammar science fields
For more information, see https://khmw.nl/category/prijzen/ or contact Saskia van Manen at secretaris at khmw.nl. -
2023 call for the UvA Data Science Centre Accelerate Programme
Deadline: Friday 24 February 2023The Accelerate programme stimulates the hiring of data scientists and data engineers within faculties through the provision of matching funding. This funding helps support the costs of hiring a new or existing staff member in these roles.For more information, see https://dsc.uva.nl/content/news/2022/11/accelerate-programme-call-2023.html or contact dsc at uva.nl. -
Open Competition XS
Deadline: Thursday 9 February 2023The NWO Domain Social Sciences and Humanities (SSH) has three different funding programmes in the Open Competition. There are small-scale grants, large-scale grants, and grants for ideas that hold great promise. The SSH-XS grants are available for projects with a maximum budget of 50,000 euro to enable proposals for curiosity-driven, fundamental research in the research fields covered by the NWO SSH. This Call for proposals has four rounds. This information concerns the third round.For more information, see https://www.nwo.nl/en/calls/ssh-open-competition-xs-pilot-ronde-3 or contact Ninja Rijnks-Kleikamp at sgw-ocxs at nwo.nl. -
Take-off
Deadline: Tuesday 7 February 2023Take-off, the funding instrument available to all scientific fields, encourages activity and entrepreneurship within the Dutch knowledge institutions. With this instrument, academic entrepreneurs – but also starters from universities of applied sciences (HBO) and starters who are making use of knowledge from institutions for Applied Research Organisations (TO2) – can bring their innovative research results to the market. Take-off is one of the instruments for knowledge utilisation which NWO implements together with ZonMw (The Netherlands Organisation for Health Research and Development).For more information, see https://www.nwo.nl/en/researchprogrammes/take or contact Daan Brocken at aanvragentake-off at NWO.nl. -
Take-off phase 2
Deadline: Tuesday 7 February 2023Founders of a start-up company that have taken over or owned by Dutch
universities, recognized by NWO research institutes, recognized TO2 institutions and
Dutch universities of applied sciences, can take out a loan applications for a maximum of 250,000 euros. This can be done via Take-off phase 2, a program aimed at
stimulating and supporting activity and entrepreneurship from (applied) science.For more information, see https://www.nwo.nl/en/calls/take-phase-2-vroegefasetrajecten-wo/hbo/to2-0 or contact Daan Brocken at aanvragentake-off at NWO.nl. -
ERC Consolidator Grant
Deadline: Thursday 2 February 2023Are you a scientist who wants to consolidate your independence by establishing a research team and continuing to develop a success career in Europe? The ERC Consolidator Grant could be for you. You can also apply if you have recently created an independent, excellent research team and want to strengthen it.
For more information, see https://erc.europa.eu/apply-grant/consolidator-grant. -
Call for Nominations: S. Barry Cooper Prize 2023
Deadline: Tuesday 31 January 2023The S. Barry Cooper Prize is awarded to a researcher who has contributed to a broad understanding and foundational study of computability by outstanding results, by seminal and lasting theory building, by exceptional service to the research communities involved, or by a combination of these. This award is presented every two to three years, with the presentation taking place at the International Conference Computability in Europe (CiE). The Prize is named in honor of S. Barry Cooper, the founding President of the Association Computability, in recognition of his vision of the fundamental concept of computability that brought together several different research communities.
Nominations may be made by any member of the scientific community and any such member can be nominated. Nomination letters can have multiple signatories and should provide a motivation for awarding the prize to the nominee, precisely stating their outstanding results, their seminal and lasting theory building, and/or their exceptional service to the research communities involved.
For more information, see https://www.acie.eu/2022/10/03/call-for-nominations-for-2023-s-barry-cooper-prize/ or contact Anuj Dawar at anuj.dawar at cl.cam.ac.uk. -
FGw Consortium Fund
Deadline: Tuesday 31 January 2023The FGw Consortium Fund supports research events aimed at network/consortium building and activities benefitting the submission of a grant application for research consortia.For more information, see https://aihr.uva.nl/about-aihr/funding/fgw-consortium-fund/consortium-fund.html?cb or contact Simon Speksnijder at aihr-fgw at uva.nl. -
Call for Nominations Dov Gabbay Prize for Logic and Foundations
Deadline: Tuesday 31 January 2023The Dov Gabbay Prize for Logic and Foundations is an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday. This initiative is meant to honour the extraordinary and multi-faceted scientific and editorial work of Dov Gabbay, known in particular for his creation of dozens of specialized Logic Handbooks.
For more information, see https://www.iloaf.org/ or contact dgp at iloaf.org. -
ETAPS Doctoral Dissertation Award
Deadline: Monday 16 January 2023The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the degree of reproducibility (where this applies). The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet.
Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2022 to December 31st, 2022. Award candidates should be nominated by their supervisor.
For more information, see https://etaps.org/about/doctoral-dissertation-award or contact Caterina Urban at caterina.urban at inria.fr. -
Helmut Veith Stipend for Female Master’s Students in Computer Science
Deadline: Monday 16 January 2023The VCLA invites applications for the Helmut Veith Stipend. The Helmut Veith Stipend is awarded annually to exceptionally talented and motivated female students in the field of computer science who pursue (or plan to pursue) one of the master's programs in Computer Science at TU Wien taught in English and have (or have the interest to develop) a solid mathematical and technical background in at least one of the areas in which Austrian scientist Helmut Veith worked.
For more information, see http://www.vcla.at/helmut-veith-stipend/ or contact master at logic-cs.at.
Open Positions at ILLC
-
Postdoc in Logic and Cognition
Deadline: Wednesday 31 May 2023The Institute for Logic, Language and Computation (ILLC) currently has a vacant Postdoc researcher position as part of the Nothing is Logical (Nihil) project, led by dr. M.D. Aloni. The ILLC is a research institute at the UvA in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoc-in-Logic-and-Cognition/769734502/ or contact Maria Aloni at M.D.Aloni at uva.nl. -
PhD in Philosophical Logic
Deadline: Monday 22 May 2023Are you looking for a challenging position in an interdisciplinary environment? The Institute for Logic, Language and Computation (ILLC) currently has a vacant 4-year PhD position in Philosophical Logic / Philosophy of Logic as part of the ERC funded project “Generalisation into sentence and predicate positions”, led by Dr. Thomas Schindler. The ILLC is a research institute at the University of Amsterdam (UvA) in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.For more information, see here or at https://vacatures.uva.nl/UvA/job/Promovendus-Position-in-Philosophical-Logic-in-ERC-Project-GENERALISE/769913002/ or contact Dr. Thomas Schindler at t.schindler at uva.nl. -
PhD Position on Knowledge-Driven Learning for Explainable AI in Fraud Detection
Deadline: Sunday 21 May 2023We have a PhD position in ILLC on combining formal reasoning and machine learning for Explainable AI in Fraud detection, supervised by Erman Acar (Official title: "Knowledge-Driven Learning for XAI in Fraud Detection”). More specifically, the goal is to develop a novel neuro-symbolic framework that mainly combines the strengths of both the data-driven approaches (which comes with adaptability, autonomy, and good qualitative performance) and the knowledge-driven approaches (which comes with interpretability, maintainability, and well-understood computational characteristics) to provide explanations for experts in terms of relevant features and the structures in-between.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Seven-PhD-positions-in-AI-for-Fintech/768660802/ or contact Erman Acar at e.acar at uva.nl. -
PhD position on NLP and IR on legal and financial textual documents.
Deadline: Sunday 21 May 2023There is ILLC PhD position on natural language processing and information retrieval applied to legal and financial textual documents. In the Artificial Intelligence for Due-diligence Analysis (AIDA) project, we aim to develop IR and NLP technology for e-discovery and due diligence analysis, and to support legal professionals searching for very specific information in huge sets of disclosed documents. Any strong NLP and/or IR candidate is encouraged to apply for this PhD position!
This opening is part of the new AI for FinTech lab hiring 7 new PhD's. You may also want to look at the ILLC project on Knowledge-Driven Learning for XAI in Fraud Detection.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Seven-PhD-positions-in-AI-for-Fintech/768660902/ or contact Jaap Kamps at kamps at uva.nl. -
PhD Position in Low-Resource NLP
Deadline: Monday 15 May 2023Do you get excited by the prospect of scientific exploration? Are you seeking a PhD position at the crossroads of Language Technology and Machine Learning? If you imagine yourself conducting cutting-edge research in AI, in an interdisciplinary and international environment, then you should apply for this position.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-Position-in-Low-Resource-NLP/768917002/ or contact Prof. Khalil Sima`an at k.simaan at uva.nl. -
Scientific Programmer Motion Capture and Animation
Deadline: Monday 15 May 2023Are you an enthusiastic and skilled software developer with an interest in motion capture and XR technology and are you looking for an opportunity to interact with scientists to enable exciting new applications? Then you might be a great addition to our teamFor more information, see here or at https://vacatures.uva.nl/UvA/job/Scientific-Programmer-Motion-Capture-and-Animation/769110502/ or contact Floris Roelofsen at F.Roelofsen at uva.nl. -
Management/Office-assistent
Deadline: Friday 12 May 2023Het Institute for Logic, Language and Computation (ILLC) zoekt een nieuwe management-/office assistent om het team van het bedrijfsbureau te versterken. Kan jij goed in teamverband werken? Hou jij van een dynamische omgeving in een uniek interfacultair, internationaal georiënteerd instituut? Binnen een interdisciplinair onderzoeksinstituut van de Faculteiten FGw en FNWI? Dan is deze positie misschien geschikt voor jou!
For more information, see here or at https://vacatures.uva.nl/UvA/job/ManagementOffice-assistent/765460402/ or contact Peter van Ormondt at P.vanOrmondt at uva.nl. -
Postdoctoral Researcher in Machine Learning with NLP and Computer Vision
Deadline: Monday 1 May 2023Are you passionate about machine learning, natural language processing, or computer vision? We are seeking a postdoctoral researcher to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group of the Institute for Logic, Language and Computation (ILLC).
For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-Researcher-in-Machine-Learning-with-NLP-and-Computer-Vision/768462602/ or contact Dr. Ivan Titov at titov at uva.nl. -
PhD in Machine Learning with NLP and Computer Vision
Deadline: Monday 1 May 2023Are you passionate about machine learning, natural language processing, or computer vision? We are seeking a Ph.D. candidate to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group at the Institute for Logic, Language and Computation (ILLC).For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Machine-Learning-with-NLP-and-Computer-Vision/768463402/ or contact Dr. Ivan Titov at titov at uva.nl. -
PhD on Safety in Conversational AI
Deadline: Wednesday 12 April 2023Are you looking for a PhD position where you can contribute to making conversational agents safer? If you are excited about doing this kind of research within a diverse team, then you may want to join us. We are looking for a PhD candidate with knowledge of Natural Language Processing to join the Dialogue Modelling Group led by Raquel Fernández at the Institute for Logic, Language and Computation, University of Amsterdam. If you are passionate about doing research that leads to AI systems that are useful for society, we would be happy to have you on board.For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-on-Safety-in-Conversational-AI/767595402/ or contact Prof. Raquel Fernández at raquel.fernandez at uva.nl. -
Postdoctoral Researcher Computational Argumentation and Information Quality
Deadline: Friday 7 April 2023Are you interested in computational argumentation and reasoning? Do you have experience with working with formal approaches to the study of argumentation and information quality?
The Institute for Logic, Language, and Computation (ILLC) currently has a vacancy for a postdoctoral research position as part of the broader field Human(e) AI. Within this field the focus is on data and platforms for social, cultural and economic innovation. ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoctoral-Researcher-Computational-Argumentation-and-Information-Quality/764209902/ or contact dr. Federica Russo at f.russo at uva.nl. -
PhD in Theoretical Computer Science
Deadline: Thursday 9 March 2023Do you enjoy working in an interdisciplinary research setting on intellectually challenging questions? The Institute for Logic, Language and Computation (ILLC) is looking for an ambitious PhD candidate for the research unit Theoretical Computer Science (https://www.illc.uva.nl/Research/Organisation/Research-Units/TCS).
For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Theoretical-Computer-Science/764408302/ or contact Ronald de Haan at r.dehaan at uva.nl. -
Assistant Professor in AI and Digital Culture
Deadline: Sunday 5 March 2023In the context of the sector plan for the Humanities titled ‘Tradition in transition’, the faculty currently has a vacant Assistant Professor position as part of the research theme Humane AI. Within this research theme the focus is on data and platforms for social, cultural and economic innovation.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-AI-and-Digital-Culture/764180802/ or contact Prof. Misha Kavka at m.kavka at uva.nl. -
Assistant Professor in Computational Methods for Digital Journalism
Deadline: Sunday 5 March 2023You will provide education in a dynamic context with ample opportunities for the development of innovative teaching methods. Your research will be part of the Institute for Logic, Language and Computation, one of the five research schools of the Amsterdam Institute for Humanities Research.
You will join the New Media & Digital Culture team in the Department of Media Studies. New Media & Digital Culture specialises in research strategies for developing critical media theory as well as digital research methods. Its emphasis is on internet studies.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Computational-Methods-for-Digital-Journalism/764552802/ or contact Prof. Misha Kavka at m.kavka at uva.nl. -
Opleidingscoördinator Master of Logic en PhD Programma (0,5fte)
Deadline: Friday 3 March 2023Heb jij ervaring met het ondersteunen van het onderwijs op de universiteit? Ben jij een organisatorisch talent, een echte multitasker die tegelijkertijd het overzicht bewaart? Heb je een ondersteunende instelling en vind je het leuk om binnen de dynamiek van een interdisciplinair onderzoeksinstituut te werken? En trekt werken binnen een complexe organisatie je aan?
Het Institute for Logic, Language and Computation is op zoek naar een coördinator van haar Master en PhD Programma.
In deze veelzijdige functie coördineer je een van de meest gewaardeerde masteropleidingen van Nederland, en een van de weinige logicaopleidingen ter wereld. Voor beide programma’s heb je te maken met studenten, promovendi, docenten, begeleiders en ondersteunende staf en fungeer jij als vraagbaak voor deze medewerkers.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Opleidingsco%C3%B6rdinator-Master-of-Logic-en-PhD-Programma-%280%2C5fte%29/765216402/ or contact Peter van Ormondt at p.vanormondt at uva.nl. -
Assistant Professor in Philosophy of Logic and Language
Deadline: Thursday 2 March 2023We are looking for a strong candidate in philosophy of logic and language with a proven track-record of expertise in formal semantics and a broad background in philosophy. A successful candidate is expected to be able to offer teaching in philosophy of language, philosophy of logic, and theoretical philosophy.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Philosophy-of-Logic-and-Language/764194002/ or contact Prof. Arianna Betti at a.betti at uva.nl. -
Assistant Professor in the Philosophy of AI
Deadline: Thursday 2 March 2023Artificial Intelligence (AI) has recently become very successful and has made a huge impact in our lives. However, this success has an important downside as well: the novel machine-learning methods on which this success depends behave (for us) like a black box. The reason behind the predictions and decisions made by AI-products are rarely well-understood, not even by experts. Worse, such predictions and decisions are well-known to be biased as well. All of this leads to unwelcome consequences, typically to the disadvantage of members of underrepresented social groups. For this reason and more, we are looking for a colleague who can reflect upon these recent developments in AI and teach on its philosophical foundations.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-the-Philosophy-of-AI/764406102/ or contact prof. A. Betti at a.betti at uva.nl. -
Assistant Professor Virtual Simulation of Human Conversational Behavior
Deadline: Wednesday 15 February 2023Research on human communication has mostly focused on text and speech. In face-to-face communication, however, gestures, facial expressions, eye gaze, and body postures also play an essential role. This is especially true in sign languages, which are entirely non-vocal in nature. But in spoken languages, too, gestures and facial expressions play an important role.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-Virtual-Simulation-of-Human-Conversational-Behavior/761489402/ or contact Floris Roelofsen at F.Roelofsen at uva.nl. -
PhD Position in Explainable AI in Finance
Deadline: Wednesday 15 February 2023Are you interested in doing a PhD in Explainable AI (XAI) with applications on financial services? Do you want to make a substantial scientific contribution to field of algorithmic fairness while being part of the University of Amsterdam’s new AI4Fintech hub?
At the Socially Intelligent Artificial Systems (SIAS) group of the Informatics Institute (IvI), and the Cognition, Language and Computation (CLC) lab of the Institute of Logic, Language and Computation (ILLC), we are interested in both advancing fundamental AI research and developing novel solutions for concrete problems from the Fintech Industry; targeting, in particular, explainability and fairness. As a part of this research, we are seeking a highly motivated PhD candidate, with a strong computational background and curiosity and passion for scientific research, to be part of these groups, and to help us push the boundary of explainability and fairness in algorithmic decision making, together with the Fintech industry.
We offer a temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation it will be extended for a total duration of 4 years). The preferred starting date is March 2023. Your work should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We also expect you to assist in teaching undergraduates and master students.
For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-Position-in-Explainable-AI-in-Finance/761750602/ or contact Erman Acar at e.acar at uva.nl. -
Scientific Programmer
Deadline: Friday 10 February 2023Are you an enthusiastic and creative software developer who cares about user experience, and are you looking for an opportunity to interact directly with scientists trying to make their research accessible to the general public? Then you might be a great addition to our team!For more information, see here or at https://vacatures.uva.nl/UvA/job/Scientific-Programmer/763006402/ or contact Ulle Endriss at u.endriss at uva.nl. -
PhD in Quantum-Safe Cryptography
Deadline: Tuesday 31 January 2023Do you enjoy working in an interdisciplinary research setting on intellectually challenging and societally relevant questions? The Informatics Institute is looking for an ambitious PhD candidate. Your research is part of the NWO-funded research project ‘Quantum Impact on Societal Security’.
As the potential risks and consequences of cybersecurity breaches of existing cryptography by future quantum computers would be devastating, there is an urgent need to prepare for a transition to quantum-safe cryptography (QSC). Addressing the many complexities of this transition requires a multidisciplinary collaboration of scientists, financial and governmental institutions, and civil society groups. The ‘Quantum Impact on Societal Security’ (QISS) consortium will analyse the technical, ethical, legal and societal impact of this upcoming society-wide transition. QISS’s objective is to contribute to the creation of a Dutch ecosystem where quantum-safe cryptography can thrive, and mobilize this ecosystem to align technological applications with ethical, legal, and social values.
For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-in-Quantum-Safe-Cryptography/748964502/ or contact Christian Schaffner at c.schaffner at uva.nl. -
Two Assistant Professors in Mathematical and Computational Logic
Deadline: Sunday 22 January 2023Are you working at the forefront of mathematical and computational logic and are you passionate about research and teaching in this field? Are you looking forward to take the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to hire two new faculty members in this area. These appointments are envisaged at the assistant professor level, but, in the case of an exceptionally strong candidate, one of the appointments could be made at the associate professor level.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Two-Assistant-Professors-in-Mathematical-and-Computational-Logic/761212602/ or contact Prof.dr. Yde Venema at y.venema at uva.nl. -
Assistant Professor in Computational Social Science
Deadline: Friday 20 January 2023Are you a passionate and committed teacher and researcher in computational social science who also is well-versed in cutting-edge methods in AI? Would you like to be involved in innovative computational social science teaching and research, working with leading researchers in an interdisciplinary academic environment?For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Computational-Social-Science/760348902/ or contact Ulle Endriss at U.Endriss at uva.nl. -
Postdoc in Socio-political approach to GANs
Deadline: Tuesday 17 January 2023Are you looking for a challenging position in an interdisciplinary environment? The Institute for Logic, Language, and Computation currently has a vacant Postdoc researcher position as part of the HORIZON – SOLARIS project, led by main researcher Dr Federica Russo. ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Postdoc-in-Socio-political-approach-to-GANs/761306002/ or contact Federica Russo at f.russo at uva.nl. -
Assistant Professor in Generative AI in the Arts
Deadline: Thursday 12 January 2023Generative AI in the past decade has changed the field of artistic creativity, making us ask new questions that are relevant not only for scientific research but also for musicians and artists of all kinds. With this position, we are seeking to broaden our profile with respect to AI-assisted music generation and how AI-generated art can be positioned within the humanities and cognitive science more generally.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Generative-AI-in-the-Arts/758827502/ or contact dr. John Ashley Burgoyne at j.a.burgoyne at uva.nl. -
PhD Project Digitale Ondersteuning voor het Leren van Nederlandse Gebarentaal
Deadline: Thursday 12 January 2023Wist je dat de meeste dove kinderen horende ouders hebben die nog nooit in aanraking zijn geweest met gebarentaal op het moment dat hun kind geboren wordt? Wil jij bijdragen aan het ontwerpen, ontwikkelen en testen van nieuwe technologieën om deze ouders te ondersteunen bij het leren van gebarentaal, zodat zij beter met hun kinderen kunnen communiceren?
For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-Project-Digitale-Ondersteuning-voor-het-Leren-van-Nederlandse-Gebarentaal/759525302/ or contact Floris Roelofsen at F.ROELOFSEN at UVA.NL.
Open Positions, General
-
PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi
Deadline: Thursday 1 June 2023Candidates interested in a PhD in formal and algebraic methods for concurrent, reversible computation in Augusta University (Georgia, USA), starting in January 2024 are invited to apply by June 1st, 2023. A post-doctoral position will open shortly after, but interested candidates should feel encouraged to reach out informally.
In addition to accepting applications, I will be very happy to respond to informal inquiries about any aspect of the position, from technical ones to ones about life in the US "Garden City".
For more information, see https://spots.augusta.edu/caubert/research/cinrc/phd_ad.html or contact Clément Aubert at clement.aubert at math.cnrs.fr. -
PhD opening in TCS and/or combinatorial optimization, Lund (Sweden)
Deadline: Thursday 1 June 2023The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.
This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be during the autumn of 2023. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.
For more information, see http://www.jakobnordstrom.se/openings/PhD-Lund-230601.html or contact Jakob Nordstrom at jakob.nordstrom at cs.lth.se. -
Postdoc position (2-3 years) in Computational Linguistics focused on Logic, Gothenburg (Sweden)
Deadline: Thursday 1 June 2023The department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg (Sweden) invites applications for a postdoc position (2-3 years) in Computational Linguistics focused on Logic. The postdoc will be working within The Centre for Linguistic Theory and Studies in Probability (CLASP), which is funded by a 10-year grant from the Swedish Research Council (2015-2025). CLASP is devoted to research and advanced training in the application of probabilistic modeling and machine learning methods to core issues in linguistic theory and cognition.
The focus for this position is on combining symbolic and machine learning approaches for Natural Language Inference. Specifically, we aim to investigate what kind of logic existing leading deep learning model are capable of learning, through probing for structural properties of the learned entailment relation, such as reflexivity and monotonicity; and design new kinds of deep learning models that are specifically attuned to certain logical/algebraic structures, through using compositional unitary representations.
For more information, see https://web103.reachmee.com/ext/I005/1035/main?site=7&validator=9b89bead79bb7258ad55c8d75228e5b7&lang=UK&rmpage=job&rmjob=30126 or contact Rasmus Blanck at rasmus.blanck at gu.se. -
PhD position in History of 20th-Century Philosophy (of Science), ERC Project “Exiled Empiricists”, Tilburg University (the Netherlands)
Deadline: Monday 8 May 2023PhD position (0.8-1.0 fte, 4-5 years) in History of 20th-Century Philosophy (of Science), ERC Project “Exiled Empiricists”, Tilburg University (the Netherlands)
Summary: In the 1930s, hundreds of European academics fled to the United States, escaping the quickly deteriorating political situation on the continent. Among them were a few dozen philosophers from a variety of schools: logical empiricists, critical theorists, and phenomenologists. Especially the first group would have a tremendous impact on American philosophy. Whereas the local intellectual climate had been dictated by American traditions like pragmatism, U.S. philosophers soon began to advance views that were heavily indebted to the empiricists. In fact, much of academic philosophy today is still shaped by the discussions and practices first instigated in this disruptive period.
Although historians have reconstructed the fate of the exiled empiricists, little attention has been paid to the American context in which their movement came to full bloom. This is surprising, since any account of the empiricists’ success requires an explanation of why the Americans were so receptive to their views. To what extent did developments in American philosophy pave the way for logical empiricism? And why was the American community more receptive to empiricism than to critical theory or phenomenology? This project shifts the perspective from the refugees to the local philosophical climate by 1) quantitatively analyzing thousands of American journal publications and 2) qualitatively examining the archives of dozens of key American philosophers and institutions.
For more information, see https://exiledempiricists.wordpress.com/job-openings/ or contact Sander Verhaegh at A.A.Verhaegh at tilburguniversity.edu.. -
Postdoc position (2-3 years) in Digital Humanities, ERC Project “Exiled Empiricists”, Tilburg University (the Netherlands)
Deadline: Monday 8 May 2023Postdoc position (2-3 years, 0.8-1.0 fte) in Digital Humanities, ERC StG/NWO Vidi Project “Exiled Empiricists”, Tilburg University (the Netherlands)
Summary: In the 1930s, hundreds of European academics fled to the United States, escaping the quickly deteriorating political situation on the continent. Among them were a few dozen philosophers from a variety of schools: logical empiricists, critical theorists, and phenomenologists. Especially the first group would have a tremendous impact on American philosophy. Whereas the local intellectual climate had been dictated by American traditions like pragmatism, U.S. philosophers soon began to advance views that were heavily indebted to the empiricists. In fact, much of academic philosophy today is still shaped by the discussions and practices first instigated in this disruptive period.
Although historians have reconstructed the fate of the exiled empiricists, little attention has been paid to the American context in which their movement came to full bloom. This is surprising, since any account of the empiricists’ success requires an explanation of why the Americans were so receptive to their views. To what extent did developments in American philosophy pave the way for logical empiricism? And why was the American community more receptive to empiricism than to critical theory or phenomenology? This project shifts the perspective from the refugees to the local philosophical climate by 1) quantitatively analyzing thousands of American journal publications and 2) qualitatively examining the archives of dozens of key American philosophers and institutions.
For more information, see https://exiledempiricists.wordpress.com/job-openings/ or contact Sander Verhaegh at A.A.Verhaegh at tilburguniversity.edu.. -
Doctoral position in Logic, Gothenburg (Sweden)
Deadline: Tuesday 2 May 2023The Department of Philosophy, Linguistics, and Theory of Science at the University of Gothenburg invites applications for one PhD position in Logic. The position is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group.
* Duration: 4 years fully-funded
* Starting date: September 2023 or by agreement
* Deadline: 2 May 2023
For more information, see https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=28991 or contact Bahareh Afshari at b.afshari at uva.nl. -
12 PhD positions in Philosophy, Politics and Economics at the University of Hamburg (Germany)
Deadline: Sunday 30 April 2023The DFG-funded group "Collective Decision-Making" at the University of Hamburg has announced a call for applications for 12 PhD positions in the fields of Philosophy, Politics and Economics.
The candidates are expected to work on topics concerning collective decision-making. Possible fields of research are: game theory, social choice, decision theory, algorithms for decision-making, philosophy of AI, formal epistemology.
For more information, see https://www.wiso.uni-hamburg.de/en/forschung/verbundprojekte/rtg-collective-decision-making/application-dfg-2023.html or contact cdm.wiso at uni-hamburg.de. -
PhD position in Computational Social Choice, University of Warwick (UK)
Deadline: Sunday 30 April 2023Applications are invited for a PhD position at the Department of Computer Science at the University of Warwick. The selected candidate will be advised by Markus Brill on topics related to Computational Social Choice (e.g., multiwinner voting, proportional representation, participatory budgeting, liquid democracy, e-democracy).
For more information, see https://www.markus-brill.de/phd. -
PhD position on Automata Learning at the Open Universiteit, Heerlen (the Netherlands)
Deadline: Wednesday 26 April 2023Automata learning is a technique for improving software quality by smarter testing. It tests systems thoroughly, while at the same time constructing understandable models of the system. Such models can be analysed mathematically to ensure correctness. This has already found numerous software bugs in software we use for our daily communication.
Nevertheless, the learning techniques are still in their infancy, as they are laborious to apply and do not scale to bigger systems. The research project will improve automata learning by leveraging modularity. This makes the approach align with current software engineering practices and makes it more applicable to real-world situations.
For more information, see https://joshuamoerman.nl/projects.html#phd-project-in-automata-learning or contact Joshua Moerman at joshua.moerman at ou.nl. -
PhD position in Algorithmic Game Theory, Paris-Dauphine University (France)
Deadline: Saturday 15 April 2023The Laboratory for Analysis and Modeling of Decision-Making (LAMSADE) at the University of Paris-Dauphine is looking for candidates interested in pursuing a PhD in algorithmic game theory.
For more information, see here or contact Angelo Fanelli at angelo.fanelli at cnrs.fr. -
Postdoc in cognitive science, Aarhus (Denmark)
Deadline: Friday 14 April 2023The Department of Linguistics, Cognitive Science and Semiotics at the School of Communication and Culture at Aarhus University invites applications for a postdoctoral position in cognitive science. The postdoc position is affiliated with the EU ERC Consolidator project ‘The Evolution of Early Symbolic Behavior – eSYMb’ awarded to Professor Kristian Tylén. The postdoc position is a full-time, three-year, fixed-term position. The position begins on 1 September 2023 or as soon as possible thereafter.
For more information, see https://international.au.dk/about/profile/vacant-positions/job/postdoc-in-cognitive-science-1 or contact Professor Kristian Tylén at kristian at cc.au.dk. -
Associate Professor in Hybrid Intelligence, VU Amsterdam (The Netherlands)
Deadline: Thursday 13 April 2023Would you want to start a new group as an Associate Professor in Hybrid Intelligence (AI systems that collaborate with people instead of replacing them)? Examples of relevant areas of expertise include conversational AI, formal argumentation, computational social choice theory, multi-agent systems, plan recognition, safe and explainable reinforcement learning, explainable AI, computational game theory, causality, and common-sense reasoning and AI in game playing. The welcome package includes the possibility to hire an additional assistant professor to work with you + 2 PhD positions for you + 2 more for the new assistant professor.
For more information, see https://workingat.vu.nl/ad/associate-professor-tenure-track-in-hybrid-intelligence/st01wf. -
Assistant, Associate, and Full Professor positions in Mathematics and Computer Science, TU Eindhoven (the Netherlands)
Deadline: Sunday 9 April 2023We are looking for 25 new colleagues to complement our department, and we welcome applications in all areas of computer science, mathematics, data science, and artificial intelligence. Appointments can be at Assistant, Associate, or Full Professor level, depending on the seniority of your profile.
For more information, see https://jobs.tue.nl/en/vacancy/assistant-associate-and-full-professors-mathematics-and-computer-science-982722.html or contact Hella Ploegmakers at h.a.m.ploegmakers at tue.nl. -
PhD position in Algorithms and Mechanisms for Economic Environments, University of Edinburgh (Scotland)
Deadline: Sunday 9 April 2023Applications are invited for a PhD position in Economics and Computation at the School of Informatics of the University of Edinburgh. The selected candidate will be advised by Aris Filos-Ratsikas on topics related to game theory/mechanism design, fair division, social choice theory and computational complexity.
The deadline for applications is April 9th, 2023. Applications will still be considered after the deadline until the position is filled.
The intended starting date is October 1st, 2023, but that is negotiable.
-
Two PhD positions in Argumentation Theory, Sorbonne University & Artois University (France)
The ANR project AGGREEY (An argumentation-based platform for e-democracy) studies e-democracy and aims at proposing tools based on AI and argumentation theory in order to improve the quality of public debate. There are two full-funded PhD positions available on the project.
No formal application deadline, but the advice is to make contact in April.
For more information, see here . -
PhD position in Computational Social Choice, Paris-Saclay University (France)
Fully funded PhD position on the topic of "Explaining Fairness in Preference-Based Assignments", at the interface of Computational Social Choice and Explainable AI.
No official deadline, but the advice is to make contact in April.
For more information, see https://anaellewilczynski.pages.centralesupelec.fr/website/offers/these.pdf or contact Anaëlle Wilczynski at anaelle.wilczynski at centralesupelec.fr. -
PhD position on Knowledge Engineering for Smart Diagnostics
Deadline: Wednesday 29 March 2023The Formal Methods and Tools (FMT) group at the University of Twente is looking for a highly motivated and talented PhD candidate to join the team working on diagnostic methods for malfunctions of cyber-physical systems. Designing systems such as MRI printers and scanners, for instance, is by no means easy and failures are often expensive and dangerous. To lower these costs, and increase system availability and reliability, more knowledge about these failures is needed: how do they arise and how to prevent and repair them?
You will be working on the ZORRO project: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics, led by Prof. Dr. Mariëlle Stoelinga. The project is a collaboration between the University of Twente, VU Amsterdam, Saxion University of Applied Sciences, TNO-ESI and five industrial partners. Two of the PhD positions in this project will be working at the FMT group, the other one on the topic of system engineering. You will be supervised by Prof. Dr. Mariëlle Stoelinga and Dr. Georgiana Caltais.
For more information, see https://utwentecareers.nl/en/vacancies/1111/phd-position-on-knowledge-engineering-for-smart-diagnostics/ or contact Georgiana Caltais at g.g.c.caltais at utwente.nl. -
PhD position on Model-driven System Engineering for Smart Diagnostics
Deadline: Wednesday 29 March 2023The Formal Methods and Tools group at the University of Twente is looking for a highly motivated and talented PhD candidate to join the team working on software modelling, model-driven system engineering and model transformations. The successful candidate will work on a cutting-edge research project on intelligent diagnostics. In particular, the work will be about finding ways to specify diagnosable monitoring systems, to identify models with the best diagnostic potential, to describe available knowledge to facilitate diagnostics, to define diagnostic algorithms, and to combine domain knowledge and system knowledge to provide diagnosability guarantees.
You will be working on the ZORRO project: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics, led by Prof. Dr. Mariëlle Stoelinga. The project is a collaboration between the University of Twente, VU Amsterdam, Saxion University of Applied Sciences, TNO-ESI and five industrial partners. Two of the PhD positions in this project will be working at the Formal Methods & Tools group, the other one on the topic of knowledge engineering. This PhD position will be supervised by Dr. Vadim Zaytsev and Dr. Marcus Gerhold.
For more information, see https://utwentecareers.nl/en/vacancies/1110/phd-position-on-model-driven-system-engineering-for-smart-diagnostics/ or contact Vadim Zaytsev at v.zaytsev at utwente.nl. -
Danish Data Science Academy PhD positions
Deadline: Sunday 19 March 2023The Danish Data Science Academy announces an open call for PhD positions for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.
Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen are welcome.
For more information, see https://ddsa.dk/phdfellowshipprogramme/ or contact Jakob Nordstrom at jn at di.ku.dk. -
Full-time Assistant Professor with Tenure Track of Artificial Intelligence Ethics
Deadline: Thursday 16 March 2023Full-time Assistant Professor with tenure track; the position is directed to Artificial Intelligence Ethics and is affiliated to the Institute of Logic and Computation, Research Unit Theory and Logic. The estimated starting date is October 2023.
The successful candidate will have an outstanding research record in the field of Ethics of Artificial Intelligence (AI), with a strong grounding in symbolic AI methods. The candidate should have experience in working with industry, relevant postdoctoral experience, and a compelling research vision. We are particularly interested in candidates working in areas that will complement our existing expertise and lead to fruitful collaborations with other members of the Faculty of Informatics and TU Wien in general.
For more information, see here or at https://jobs.tuwien.ac.at/Job/198329 or contact Andrea Hackl, MA (Project Manager) at andrea.hackl at tuwien.ac.at. -
PhD position in Computational Social Choice, IRIT, Toulouse (France)
Deadline: Wednesday 15 March 2023We have an opening for a PhD position in computational social choice at IRIT, Toulouse (France) starting in September 2023. The topic is preference learning for e-democracy.
For more information, see https://www.irit.fr/~Umberto.Grandi/IRITphd2023.pdf. -
PhD position in Model Checking and Automated Mechanism Design, IRIT, Toulouse (France)
Deadline: Wednesday 15 March 2023We have an opening for a PhD position in Model Checking and Automated Mechanism Design at IRIT, University of Toulouse (France) starting in September 2023. The duration is 3 years, with a salary of 2300 EUR gross which can be complemented by teaching hours.
Two-step selection procedure: first by the AI departement (April), then by the doctoral school (May). Deadline for applications (CV, cover letter, name and contact of two references): 15 March 2023.
For more information, see http://bit.ly/3HuCG8z or contact Laurent Perrussel at laurent.perrussel at irit.fr. -
Assistant professor position in logic / semantics, Amsterdam (the Netherlands)
Deadline: Tuesday 14 March 2023The Department of Computer Science at the Vrije Universiteit Amsterdam offers an open position as assistant professor in Theoretical Computer Science, in the area of logic or semantics, broadly construed.
For more information, see https://workingat.vu.nl/ad/assistant-professor-tcs-tenure-track-career-track/b860v9 or contact Wan Fokkink at w.j.fokkink at vu.nl. -
4 PhD Positions in Logic-based Methods for Data Management , Umeå (Sweden)
Deadline: Tuesday 28 February 2023We seek 4 PhD students to strengthen the group on Formal Techniques for Knowledge and Data Management at Umeå University (Sweden), funded by the WASP program (Wallenberg AI, Autonomous Systems and Software Program). The students will join a growing group that currently consists of WASP faculty members Diego Calvanese, Magdalena Ortiz, Mantas Šimkus, as well as PostDoc researchers and other doctoral students. The main theme of our research is the applications and further development of logic-based methods and techniques for smart data management. The students will also join the WASP Graduate School, gaining access to a vast professional network involving other top institutions in Sweden. We seek students with strong interest in the following research areas:
* Knowledge Representation and Reasoning
* Description Logics
* Foundations of Databases
* Logic for Computer Science
* Computational Complexity of Reasoning
* Non-monotonic Reasoning
* Logic Programming
* Automated Reasoning
* Formal MethodsThe positions are fully funded for 4 years.
For more information, see https://www.umu.se/en/work-with-us/open-positions/4-phd-student-in-computing-science-with-focus-on-logic-based-methods-for-data-management_571478/ or contact Magdalena Ortiz at magdalena.ortiz at umu.se. -
One or more Postdoctoral researcher in Logic, Gothenburg (Sweden)
Deadline: Tuesday 28 February 2023The Department of Philosophy, Linguistics, and Theory of Science at the University of Gothenburg invites applications for several postdocs in Logic. The positions are available on the research project "Taming Jörmungandr: The Logical Foundations of Circularity" lead by Graham E. Leigh and funded by the Knut and Alice Wallenberg Foundation.
* Duration: 2-3 years each
* Starting date: September 2023 or by agreement
* Deadline: 28 February 2023
For more information, see https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=29083 or contact Graham Leigh at graham.leigh at gu.se. -
8 Open Positions in Philosophy at Utrecht University, UItrecht (the Netherlands)
Deadline: Sunday 26 February 2023The department of Philosophy and Religious Studies at Utrecht University has 8 open permanent positions in philosophy. The application deadline for all positions is February 26.
The positions are:
1. Associate Professor of Ethics or Political Philosophy of Technology (1.0 FTE)
2. Assistant Professor of Ethics or Political Philosophy of Technology (1.0 FTE)
3. Assistant Professor of Moral, Political, or Social Philosophy (1.0 FTE)
4. Assistant Professor of Philosophy of AI (1.0 FTE)
5. Assistant Professor of Philosophy of Science (1.0 FTE)
6. Assistant Professor of Theories of Practical Reasoning (1.0 FTE)
7. Assistant Professor of History of Islamic and European Philosophy (1.0 FTE)
8. Assistant Professor of Modern European Philosophy (1.0 FTE)For more information, see here . -
PhD Positions in TCS at Lund University, Lund (Sweden)
Deadline: Monday 20 February 2023The Department of Computer Science at LTH Lund University invites applications for up to two PhD positions in theoretical computer science with focus on computational complexity and algorithms. These are four-year full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD students will be working in the research group of Susanna de Rezende.
There is a growing research group in algorithms and complexity theory at Lund University. We expect to have six PhD students by the autumn, in addition to two faculty and some MSc students working in computational complexity. The PhD students can also look forward to interacting with the five additional faculty in complexity theory in Copenhagen, together with their students and postdocs, as well as with the algorithms group at the Basic Algorithms Research Copenhagen (BARC) centre.
For more information, see https://derezende.github.io/openpositions/PhD.html or contact Susanna de Rezende at susanna.rezende at cs.lth.se. -
Lecturer in Computational Linguistics in UCL, London (UK)
Deadline: Friday 17 February 2023The Linguistics department of University College London (UCL) is recruiting a lecturer (permanent academic post) in Computational Linguistics, with a deadline of 17th of February 2023! This is a very special opportunity in the heart of London, in one of the best UK universities. There will be potential for collaborations with the department of Computer Science and its AI Centre.
For more information, see https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?jobId=3786&jobTitle=Lecturer%20in%20Linguistics%20(Computational%20Linguistics) or contact Richard Breheny at r.breheny at ucl.ac.uk. -
PhD Position in the History of Philosophy of Science and Mathematics, Vienna (Austria)
Deadline: Tuesday 31 January 2023Fully funded 3-year PhD position in history of philosophy of science and mathematics at the University of Vienna as part of Georg Schiemer's ERC project "The Formal Turn – The Emergence of Formalism in Twentieth-Century Thought”.
For more information, see here or at https://formalism.phl.univie.ac.at/jobs/ or contact Florian Kolowrat at florian.kolowrat at univie.ac.at, or Georg Schiemer at georg.schiemer at univie.ac.at. -
PhD fellowship in Philosophy, Padua, Italy
Deadline: Tuesday 31 January 2023A fully funded PhD fellowship (€32.520 per year — gross amount) in Philosophy at Padua University.
For more information, see https://www.unipd.it/en/uniphd or contact Ivano Ciardelli at ivano.ciardelli at unipd.it. -
Professorship Theory of Correct Systems, Carl von Ossietzky Universität Oldenburg
Deadline: Tuesday 31 January 2023The Department of Computing Science at the School of Computing Science,
Business Administration, Economics, and Law (School II) seeks applications for a Professorship (m/f/x) in "Theory of Correct Systems" (salary scale W2) starting as soon as possible.For more information, see https://uol.de/stellen?stelle=69259 or contact Prof. Dr. Rudolf Schröder at berufungen.informatik at uol.de. -
PhD position in Theoretical Philosophy, Stockholm (Sweden)
Deadline: Tuesday 31 January 2023The Department of Philosophy at Stockholm University advertises a PhD position in Theoretical Philosophy, which includes epistemology, metaphysics, logic, philosophy of language, philosophy of mind, philosophy of science, as well as the history of philosophy. Applications in any area of theoretical philosophy are welcome, and all applications will be given equal consideration, but we particularly encourage applications in the areas of logic and philosophy of mind.
For more information, see https://www.su.se/english/about-the-university/work-at-su/available-jobs/phd-student-positions-1.507588?rmpage=job&rmjob=19593&rmlang=UK or contact Henrik Lagerlund at henrik.lagerlund at philosophy.su.se. -
Professor of Cognition, Communication and Argumentation, Amsterdam (the Netherlands)
Deadline: Thursday 19 January 2023The way humans communicate has changed dramatically over the last decades. Our minds and societies have to keep up with the dynamics and consequences of globalization and technological innovations. Our communicative environment is thus under constant development, for instance seen in the type of communication platforms available (online and offline resources); the multimodal nature of communication (integrating textual, visual and/or oral information); and the speed at which information flows. These factors impact the way humans communicate and argue in our societies and affect existing societal power structures. With this professorship, the department of Dutch studies seeks to strengthen and innovate research lines and teaching programmes that address those developments within the domains of cognition, communication and argumentation.
This professorship will take an interdisciplinary approach grounded in communication and argumentation theory and cognitive science, with bridges to the Social Sciences and Media Studies. The domains of cognition, communication and argumentation and their interfaces will be studied using state of the art methods and techniques in which the use of corpora, the analysis of big data, and the development of (computational) models play a key role. This professorship will not only lead to innovative scientific research and research-based academic teaching, but will also contribute to societal applications in the context of discussions about argumentative language and communication, and how competing interactions with information play a significant role in everyday life.
Your research will be situated in the research school Amsterdam Center for Language and Communication (ACLC). Your research aims to find innovative ways of investigating communication and argumentation from a cognitive perspective, using up-to-date methods that enable the analysis of corpora and/or modelling theoretical assumptions.
For more information, see here or at https://vacatures.uva.nl/UvA/job/Professor-of-Cognition%2C-Communication-and-Argumentation/759537702/ or contact prof. Judith Rispens at J.E.Rispens at uva.nl. -
Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany)
Deadline: Wednesday 18 January 2023The Center for Mind and Cognition is a platform at the Ruhr-University Bochum that aims to foster interdisciplinary research at the intersection of philosophy, psychology, psychiatry, computational modelling, neuroscience and other areas of cognitive research in engineering, law and educational research. We are pleased to announce an international call for fellowships from April 2023 to March 2024 aimed at outstanding researchers.
- Short-term Senior Fellowship (2 weeks: 1500 Euro) on "Episodic Memory and Spatial Representation"
- Senior Fellowship (1 month: 3000 Euro/month) or Postdoc Fellowship (1 month: 2000 Euro/month) on "Philosophy of Perception and/or (Formal) Epistemology"
- Senior Fellowship (1 month: 3000 Euro/month) or Junior Fellowship (2 months: 2000 Euro/month) on "Predictive Processing"
- Junior Fellowship (1-2 months: 2000 Euro/month) on "Episodic Memory and the Self"
- Senior Fellowship (1 month: 3000 Euro/month) on "Philosophy of AI and Animal Cognition"
- Senior Fellowship (1 month: 3000 Euro/month) on "Social Psychology"
- Junior/Senior Fellowship (1-2 months: 2000 Euro/month) on "Philosophy of Memory and/or Language"
- Senior Fellowship (1 month: 3000 Euro/month) or Junior Fellowship (2 months: 2000 Euro/month) on "Advanced analyses and computational modelling of electrophysiological data"
We provide a lively and productive research environment with a great variety of scientific activities including workshops, research colloquia, and international guest researchers. All fellows are invited to deliver a fellow lecture and will have the opportunity to meet members of the Center for Mind & Cognition.
For more information, see https://philosophy-cognition.com/cmc/2022/10/12/call-for-fellowships/ or contact sen.cheng at rub.de. -
Postdoc positions in combinatorial optimization, Copenhagen (Denmark)
Deadline: Sunday 15 January 2023The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization. We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge.
The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.
These postdoc positions are full-time research positions for an expected duration of two years. Within the overall framework sketched above, the postdocs will be expected and encouraged to contribute to and influence the research agenda. Taking part in teaching graduate seminar courses is encouraged but not required. Travel funding is included, and the group also receives visitors on a regular basis. The starting date is negotiable, but the default would be in August-September 2023.
For more information, see http://www.jakobnordstrom.se/openings/Postdoc-UCPH-230115.html or contact Jakob Nordstrom at jn at di.ku.dk. -
PhD opening in TCS and/or combinatorial optimization, Lund (Sweden)
Deadline: Thursday 12 January 2023The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.
This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be during the first half of 2023, or at the latest in August/September 2023. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.
For more information, see http://www.jakobnordstrom.se/openings/PhD-Lund-230112.html or contact Jakob Nordstrom at jakob.nordstrom at cs.lth.se. -
PhD positions in TCS and/or combinatorial optimization in Copenhagen
Deadline: Tuesday 10 January 2023The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.
The PhD students will be part of a world-leading research environment. We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.
These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is negotiable, but the default is August-September 2023.
For more information, see http://www.jakobnordstrom.se/openings/PhD-UCPH-230110.html or contact Jakob Nordstrom at jn at di.ku.dk. -
Postdoc positions in TCS, Copenhagen (Denmark)
Deadline: Tuesday 10 January 2023The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science. We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. These postdoc positions are full-time research positions for an intended duration of two years. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we are also receiving visitors from all over the world on a regular basis. The starting date is negotiable, but the default would be in August-September 2023.
We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen (ITU), and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.
For more information, see http://www.jakobnordstrom.se/openings/Postdoc-UCPH-230110.html or contact Jakob Nordstrom at jn at di.ku.dk, Mikkel Abrahamsen at miab at di.ku.dk, or Rasmus Pagh at pagh at di.ku.dk. -
Assistant Professor Tenure Track in Theoretical Computer Science, University of Groningen (NL)
Deadline: Sunday 8 January 2023The University of Groningen (NL) invites applications for one assistant professor position (tenure-track) in Theoretical Computer Science. The successful candidate will join us at the Fundamental Computing group of the Bernoulli Institute for Mathematics, Computer Science and AI. The group already has research expertise on concurrency theory, modal logic, coalgebra, and proof theory (see https://www.rug.nl/fse/fc). We seek to reinforce our profile in Theoretical Computer Science, broadly construed.
This is a tenure-track position with 60% teaching, 30% research, 10% organizational tasks. Our tenure-track system offers well-defined perspectives for career and personal development.
For more information, see https://www.rug.nl/about-ug/work-with-us/job-opportunities/?details=00347-02S0009PCP&cat=wp or contact Helle Hvid Hansen at h.h.hansen at rug.nl, or Jorge Pérez at j.a.perez at rug.nl. -
Full Professor in AI, Open Universiteit, the Netherlands
Deadline: Saturday 7 January 2023The Open University of the Netherlands is hiring a full Professor in AI. The deadline is 7.01.2023.
For more information, see https://www.academictransfer.com/nl/320230/full-professor-artificial-intelligence/ or contact A.J. Hommersom at Arjen.Hommersom at ou.nl.
Former Regular Events
-
Reading Group 'New Trends in Formal Semantics'
Location: ILLC, Science Park, AmsterdamThe aim of the reading group is to examine recent research in the area of formal semantics and pragmatics. The focus will be on analyzing linguistic phenomena through formal theories of semantics and pragmatics. However, if relevant, the group may consider papers that address new data, experimental findings, and the cognitive aspects of language.
Whether you are a seasoned researcher or just starting to explore the field, everyone is welcome to attend.
For more information, see https://formal-semantics.github.io/ or contact Maria Alon; Marco Degano at m.d.aloni at uva.nl;, or m.degano at uva.nl.