News Archives 2024

Please note that these newsitems have been archived, and may contain outdated information or links.

Sections

Headlines Past Events

Headlines Calls for Paper

Headlines Past Conferences

Headlines MoL and PhD defenses

No Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

No Past appointments

No Miscellaneous

No Former Regular Events

Past Events

  • 3 April 2024, Understanding Science and Technology: From Fundamental Science to Technology, Quantum and Society

    Date & Time: Wednesday 3 April 2024, 12:30-17:00
    Location: Institute for Advanced Study (IAS), Oude Turfmarkt 145-147, 1012 GC Amsterdam

    This workshop explores the philosophy of understanding, especially in the light of complex scientific phenomena, technological innovations such as quantum and AI, and science communication. It will address the nature and scope of both expert and public understanding of science and technology.

  • 14 March 2024, Computational Linguistics Seminar, Christopher Summerfield

    Date & Time: Thursday 14 March 2024, 16:00
    Speaker: Christopher Summerfield (University of Oxford)
    Title: Using language models to help people find common ground
    Location: Room L3.33 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 14 March 2024, The Utrecht Logic in Progress Series (TULIPS), Dragan Doder

    Date & Time: Thursday 14 March 2024, 15:30-17:00
    Speaker: Dragan Doder (Utrecht)
    Title: Interplay between beliefs and intentions in dynamic environments
    Location: Janskerkhof 13, room 006, Utrecht.

    This is a hybrid talk, please contact the organizer for a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 13 March 2024, LLAMA seminar, Wolfgang Poiger

    Date & Time: Wednesday 13 March 2024, 16:00-17:00
    Speaker: Wolfgang Poiger (University of Luxembourg)
    Title: Algebraic and coalgebraic analysis of some many-valued modal logics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-poiger-2024 or contact Tobias Kappé at .
  • 8 March 2024, STiHAC Joint Meeting, Fatima Scha

    Date & Time: Friday 8 March 2024, 16:00-18:00
    Speaker: Fatima Scha (Amsterdam)
    Title: Introducing Intuitionistic Logic of Paradox: Gluts in Kripke Models
    Location: Online via Zoom
  • 8 March 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Kristin Yvonne Rozier

    Date & Time: Friday 8 March 2024, 15:00-16:25
    Speaker: Kristin Yvonne Rozier
    Title: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    Abstract:

    Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the temporal operators of LTL, enabling unit-agnostic specification over finite traces. It is arguably the most-used variation of MTL, and the most-used subset of STL in industrial and AI applications. M...

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk12/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 7 March 2024, Logic and Interactive Rationality (LIRa), Cat Saint-Croix

    Date & Time: Thursday 7 March 2024, 16:30-18:00
    Speaker: Cat Saint-Croix (University of Minnesota, Twin Cities)
    Title: Standpoint Epistemology for Bayesians
    Location: Online (only), via Zoom
  • 1 March 2024, Joint NihiL-MLC Seminar, Giorgio Sbardolini

    Date & Time: Friday 1 March 2024, 16:00-17:30
    Speaker: Giorgio Sbardolini (ILLC)
    Title: Something from Nothing
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 28 February 2024, LLAMA seminar, Philip Dittmann

    Date & Time: Wednesday 28 February 2024, 16:00-17:00
    Speaker: Philip Dittmann (TU Dresden)
    Title: Asymptotic theories: from finite structures to infinite fields
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-dittmann-2024 or contact Tobias Kappé at .
  • 27 February 2024, CLS Mini-workshop: Evaluation of Dutch Language Models

    Date & Time: Tuesday 27 February 2024, 16:00-17:15
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900

    16h00-16h45: Wietse de Vries (GroningenNLP): DUMB: A Benchmark for Smart Evaluation of Dutch Models (joint work with Martijn Wieling, Malvina Nissim)

    16h45-17h15: Zoë Prins (ILLC, UvA), Blimp-NL: Building a large Dutch corpus to measure knowledge of grammar and grammaticality judgments in language models and humans (joint work with Michelle Suijkerbuijk, Marianne de Heer Kloots, Jelle Zuidema & Stefan Frank -- CLS Radboud & ILLC UvA)

    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 27 February 2024, Launch of SSH Concept and SSH Impact Fund

    Date & Time: Tuesday 27 February 2024, 15:45-18:00
    Location: Workshop space Humanities Labs (F0.01), Bushuis/Oost-Indisch Huis, Kloveniersburgwal 48, Amsterdam

    Research in the Social Sciences and Humanities (SSH) requires its own approach and facilities to increase the impact of research results. To support this, two funds have been set up: the SSH Impact Fund and the SSH Concept Fund. The funds, aimed at all researchers in the alpha and gamma disciplines, will be festively launched for Faculty of Humanities academics at Humanities Labs.

  • 26 February 2024, Nordic Online Logic Seminar, Lauri Hella

    Date & Time: Monday 26 February 2024, 16:00-17:30
    Speaker: Lauri Hella
    Title: Game characterizations for the number of quantifiers
    Location: Zoom

    The 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. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

  • 23 February 2024, DIP Colloquium, Judith Tonhauser

    Date & Time: Friday 23 February 2024, 16:00-17:30
    Speaker: Judith Tonhauser (Stuttgart)
    Title: What are presuppositions?
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 23 February 2024, STiHAC Joint Meeting, Yurii Khomskii

    Date & Time: Friday 23 February 2024, 16:00-18:00
    Speaker: Yurii Khomskii (Amsterdam & Hamburg)
    Title: Trees, Transcendence, & Quasi-generics
    Location: Online via Zoom
  • 22 February 2024, Logic and Interactive Rationality (LIRa), Chenwei Shi

    Date & Time: Thursday 22 February 2024, 16:30-18:00
    Speaker: Chenwei Shi (Tsinghua University)
    Title: Reasoning about Dependence, Preference and Coalitional Power
    Location: ILLC seminar room F1.15 in Science Park 107 and online.
  • 20 February 2024, Computational Linguistics Seminar, Pia Sommerauer

    Date & Time: Tuesday 20 February 2024, 16:00
    Speaker: Pia Sommerauer (Vrije Universiteit Amsterdam)
    Title: Analyzing linguistic subtleties in language models: detecting shifts in connotation and removing biases
    Location: Room L3.36 at LAB42, Amsterdam Science Park 900, plus live streaming on Zoom.
    For more information, see https://projects.illc.uva.nl/LaCo/CLS/.
  • 20 February 2024, Language Evolution Amsterdam (LEA), Dan Dediu

    Date & Time: Tuesday 20 February 2024, 12:00
    Speaker: Dan Dediu (UB Barcelona)
    Title: Linguistic diversity: from weak individual biases to large-scale structural differences between languages
    Location: P.C. Hoofthuis Room TBA, Spuistraat 134, Amsterdam / Online via Zoom
    For more information, see here or contact Tomasz Klochowicz at .
  • 16 February 2024, DIP Colloquium, Federico Pailos

    Date & Time: Friday 16 February 2024, 16:00-17:30
    Speaker: Federico Pailos (Buenos Aires)(Abstract)
    Title: Preserving suspension of judgement
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 16 February 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 16 February 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part III
    Location: Online via Zoom
  • 16 February 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Matthijs Spaan

    Date & Time: Friday 16 February 2024, 15:00-16:25
    Speaker: Matthijs Spaan
    Title: Exploiting Epistemic Uncertainty for Deep Exploration in Reinforcement Learning
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam

    In this talk I discuss how estimating and propagating epistemic uncertainty benefits generalization and deep exploration in reinforcement learning (RL) by focusing on two recent contributions. First, I consider model-free distributional RL, which aims to learn the distribution of returns rather than their expected value. Second, I discuss how propagating epistemic uncertainty estimates can be leveraged in a model-based RL setting, by embedding them in Monte-Carlo Tree Search (MCTS).

    For more information, see https://events.illc.uva.nl/FOAM/posts/talk11/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 16 February 2024, EDEV Online Seminar, Saùl Pérez González

    Date & Time: Friday 16 February 2024, 11:30-13:00
    Speaker: Saùl Pérez González
    Title: Beyond the Surface: Exploring the Potential of Mechanisms in Evidence-Based Policy
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 1phimath_new.jpg

    16 February 2024, Philosophy of Mathematics (Φ-Math) Reading Group

    Date & Time: Friday 16 February 2024, 18:00
    Title: Reading Meeting 20: Structuralism in Mathematics
    Location: Room A1.12, Science Park 907, Amsterdam / Online

    For our final meeting on structuralism, we cover the modal set-theoretic structuralism from Parsons and Linnebø. This rounds out the book we have been following and also our time with structuralism (for now).

    For more information, see https://sites.google.com/view/phi-math/meetings or contact Jan Gronwald at , or Alexander Lind at .
  • 15 February 2024, Logic and Interactive Rationality (LIRa), Larry Moss

    Date & Time: Thursday 15 February 2024, 16:30-18:00
    Speaker: Larry Moss (Indiana University Bloomington)
    Title: Markov Decision Processes and Coinduction
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 15 February 2024, The Utrecht Logic in Progress Series (TULIPS), Federico Pailos

    Date & Time: Thursday 15 February 2024, 15:30-17:00
    Speaker: Federico Pailos (CONICET/Buenos Aires)
    Title: Suprastructural logics
    Location: Janskerkhof 13, room 0.06, Utrecht University

    This is a hybrid talk, please contact the organizer for a link.

    For more information, see here or at http://tulips.sites.uu.nl/ or contact Colin R. Caret at .
  • 15 February 2024, DaDriH Seminar Series, Daniele Morrone

    Date & Time: Thursday 15 February 2024, 15:00-16:30
    Speaker: Daniele Morrone
    Title: TheSu XML
    Location: Online

    On the 15th of February at 15:00, Daniele Morrone (KU Leuven) will discuss his 'TheSu XML' project in the Concepts in Motion's DaDriH seminar series. TheSu ('Thesis Support') XML is an XML annotation schema designed for digitally analyzing, indexing, and mapping ideas and their contexts of expression in various sources, specifically tailored to aid research in the history of ideas, philosophy, science, and technology. If you wish to attend this seminar, please register here.

    NB, speakers in this series are established researchers in the field of data-driven humanities reseach. For our PhD seminar series see here.

  • 14 February 2024, LLAMA seminar, Larry Moss

    Date & Time: Wednesday 14 February 2024, 16:00-17:00
    Speaker: Larry Moss (Indiana University)
    Title: Final Coalgebras and Corecursive Algebras in Continuous Mathematics
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-moss-2024 or contact Tobias Kappé at .
  • 12 February 2024, Responsible Digital Transformations (RDT) Monthly Meeting, FemData. Identifying bias in data

    Date & Time: Monday 12 February 2024, 11:00-13:00
    Speaker: Myrthe Blösser, Paulina von Stackelberg
    Title: RDT Monthly Meeting: FemData. Identifying bias in data
    Location: Roeterseilandcampus Building A, Nieuwe Achtergracht 166, Amsterdam

    Data have a very powerful influence: they can sustain prevailing societal inequalities, but they also have the potential to transform them. To stimulate discussion about bias in data and to connect stakeholders, FemData was started in August 2023. FemData focuses on the ways that gender biases can distort the model outcomes by influences the collection, labeling, and interpretation of data, leadin to skewed insights, and perpetuating inequality. In this talk, Paulina and Myrthe will introduce their initiative and provide some examples from previous research on the topic of gender bias in data applications.

  • 9 February 2024, Meaning, Logic, and Cognition (MLC) Seminar, Fausto Carcassi

    Date & Time: Friday 9 February 2024, 16:00-17:30
    Speaker: Fausto Carcassi
    Title: Semantic space and the evolution of quantificational conservativity
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
  • 8 - 9 February 2024, Workshop on Formal Models of Social Networks and Democracy, Groningen, The Netherlands

    Date: 8 - 9 February 2024
    Location: Groningen, The Netherlands

    The goal of the workshop is to bring together researchers interested in the impact of (online) social networks on democratic decision making from different backgrounds and perspectives, among which logic, graph theory, social choice theory, philosophy, social network analysis, and economics. The event is funded by Zoé Christoff's NWO VENI (2020) research project "Democracy on Social Networks".

    A preliminary program is available on the workshop webpage. Attendance of the workshop is free of costs but registration is necessary, as we have a limited number of seats.

  • 7 February 2024, LLAMA seminar, Margarete Ketelsen

    Date & Time: Wednesday 7 February 2024, 16:00-17:00
    Speaker: Margarete Ketelsen (University of Münster)
    Title: Definable henselian valuations in positive residue characteristic
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-ketelsen-2024 or contact Tobias Kappé at .
  • 7 February 2024, PhD-in-DaDriH Seminar Series, Maria Chiara Parisi

    Date & Time: Wednesday 7 February 2024, 15:00-16:30
    Speaker: Maria Chiara Parisi
    Title: Tracing Mathematics in Ancient Philosophy: a data-driven investigation
    Location: Online

    On the 7th of February at 14:30, Maria Chiara Parisi (University of Amsterdam) presents her work on mathematics and explanation in Antiquity in Concepts in Motion's PhD-in-DaDriH seminar series. Maria Chiara combines conceptual analysis with quantitative and computational techniques on a 'big-data' ancient Greek corpus. She will present her research questions, conceptual models, expert term lists, and paragraph annotation techniques. If you wish to attend this seminar series, please register here.
    NB, this event is specifically tailored for PhD students. For our DaDriH seminar series featuring later-career researchers see here. This meeting was previously scheduled for the 30th of January.

  • 2 February 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 2 February 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part III
    Location: Online via Zoom
  • 2 February 2024, Joint NiHil-DIP Session, Larry Moss

    Date & Time: Friday 2 February 2024, 15:10-16:10
    Speaker: Larry Moss (Indiana University)
    Title: Semantic Foundations of Polarity Tagging
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam / online via Zoom

    As part of the NihiL workshop, there will be a special joint NihiL-DIP session featuring a talk by Larry Moss from Indiana University.

  • 1 February 2024, Memorial Jeroen Groenendijk

    Date & Time: Thursday 1 February 2024, 17:00-19:00
    Location: Room 001, Bushuis, Kloveniersburgwal 48, Amsterdam
    This event commemorates Jeroen Groenendijk, who has made groundbreaking contributions to formal semantics and has been a teacher, mentor, and a dear friend to many of us. Jeroen sadly passed away on the 17th of October 2023.
  • 1 February 2024, Joint NihiL/LIRa session, Hannes Leitgeb

    Date & Time: Thursday 1 February 2024, 15:10-16:10
    Speaker: Hannes Leitgeb (Münich)
    Title: The Logic of Theoretical Reasons. An Axiomatic Account
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam / online via Zoom

    As part of the NihiL workshop, there will be a special joint NihiL-LIRa session featuring a talk by Hannes Leitgeb.

  • 31 January - 2 February 2024, Nihil workshop

    Date & Time: 31 January - 2 February 2024, 10:00-18:00
    Location: Room 0.01, Bushuis, Kloveniersburgwal 48, Amsterdam
    Costs: Free

    The goal of the workshop is to bring together linguists, philosophers, logicians, and cognitive scientists who share an interest in the interfaces between (non-classical) logic, language and cognition. 

    For more information, see https://projects.illc.uva.nl/nihil/workshops or contact Maria Aloni at .
  • 29 January 2024, Nordic Online Logic Seminar, Peter Pagin

    Date & Time: Monday 29 January 2024, 16:00-17:30
    Speaker: Peter Pagin
    Title: Switcher Semantics and quantification
    Location: Zoom

    The 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.  If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .

  • 29 - 30 January 2024, Workshop on Proof Systems for Modal Fixed Point Logics

    Date & Time: 29 - 30 January 2024, 09:00-11:30
    Location: Room F0.01 at the Bushuis, Kloveniersburgwal 48. Amsterdam

    On 29 and 30 January 2024 the workshop Proof Systems for Modal Fixed Point Logics takes place at the University of Amsterdam. The workshop is associated with two public PhD Defences. Guillermo Menéndez Turata will defend his thesis Cyclic Proof Systems for Modal Fixpoint Logics on 30 January at 13:00 in the Agnietenkapel. Jan Rooduijn will defend his thesis Fragments and Frame Classes: Towards a uniform proof theory for modal fixed point logics on 31 January at 11:00 in the Aula.

    For more information, see https://staff.fnwi.uva.nl/j.m.w.rooduijn/workshop/ or contact Jan Rooduijn at .
  • 24 January 2024, LLAMA seminar, Daniël Otten

    Date & Time: Wednesday 24 January 2024, 16:00-17:00
    Speaker: Daniël Otten (ILLC)
    Title: Models for Static Type Theory
    Location: KdVI seminar room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-otten-2024 or contact Tobias Kappé at .
  • 22 January 2024, DIP Colloquium, Daniel W. Harris

    Date & Time: Monday 22 January 2024, 14:00-15:30
    Speaker: Daniel W. Harris (Hunter College and the CUNY Graduate Center)
    Title: Common Ground as an Idealization
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
  • 19 January 2024, DIP Colloquium, Limor Raviv

    Date & Time: Friday 19 January 2024, 16:00-17:30
    Speaker: Limor Raviv (Nijmegen)
    Title: Linking Language acquisition, evolution, and diversity: How social and cognitive pressures shape learning and communication
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom

    Due to unforeseen circumstances, the speaker will not be able to come to Amsterdam in person but will give the talk through Zoom. You can join the talk in room F1.15 at Science Park 107, or on Zoom.

  • 19 January 2024, STiHAC Joint Meeting, Cancelled

    Date & Time: Friday 19 January 2024, 16:00-18:00
    Speaker: Cancelled
    Location: Online via Zoom
  • 19 January 2024, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Yasamin Nazari

    Date & Time: Friday 19 January 2024, 15:00-16:25
    Speaker: Yasamin Nazari
    Title: Distance Structures and their Algorithmic Applications
    Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
    For more information, see https://events.illc.uva.nl/FOAM/posts/talk10/ or contact Gregor Behnke at , or Ronald de Haan at .
  • 19 January 2024, EDEV Online Seminar, Mario Günther

    Date & Time: Friday 19 January 2024, 11:30-13:00
    Speaker: Mario Günther
    Title: When Should We Attribute Beliefs to AI Systems?
    Location: Online (https://meet.google.com/ykg-hdam-xso)

    The EDEV Online Seminars are part of the PRO3 project "Understanding Public Data: Experts, Decisions, Epistemic Values" promoted by SNS Pisa, IMT Lucca and IUSS Pavia. The project aims to explore the scaffoldings of the epistemological framework, which underlies public decision-making when confronted with complex scientific data. The methodological assumption underlying the project is that the tools provided by logic, epistemology, philosophy of science, and critical reasoning can make a substantial contribution to a number of pressing issues.

  • 18 January 2024, LAB42 Insight and Idea Lunch

    Date & Time: Thursday 18 January 2024, 12:00-13:30
    Location: ILLC LAB42, Science Park 900, Amsterdam
    Deadline: Friday 19 January 2024

    LAB42 is in development, and we'd like to hear your thoughts! On 18 January 12.00, we're hosting an Insight and Idea Lunch (lunch will be provided ????). We'll share brief presentations about our latest projects and seek your thoughts on upcoming endeavors.

    For more information, see here or at https://forms.office.com/e/hBysLPr8nC.
  • 17 January 2024, LLAMA seminar, Anna de Mase

    Date & Time: Wednesday 17 January 2024, 16:00-17:00
    Speaker: Anna de Mase (University of Campania "Luigi Vanvitelli")
    Title: Value groups of finitely ramified henselian valued fields and model completeness
    Location: KdVI seminar room F3.20, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://events.illc.uva.nl/llama/#talk-demase-2024 or contact Tobias Kappé at .
  • 16 January 2024, PhD-in-DaDriH Seminar Series, Maud van Lier

    Date & Time: Tuesday 16 January 2024, 15:00-16:30
    Speaker: Maud van Lier
    Title: Modelling Artificial Agency
    Location: Online

    The first speaker in the PhD-in-DDriH Seminar Series is Maud van Lier (University of Konstanz) who is setting up a corpus-based investigation of the concept of artificial agency.

  • 12 January 2024, Vienna World Logic Day Lecture, Prof. Adnan Darwiche

    Date & Time: Friday 12 January 2024, 17:00-19:00
    Speaker: Prof. Adnan Darwiche (UCLA)
    Title: “Beyond truth and falsehood: Logic as a Calculus of Events
    Location: Online

    Dear colleagues,

    We cordially invite you to attend the Vienna World Logic Day Lecture, which will be held by Prof. Adnan Darwiche (UCLA):

    "Beyond truth and falsehood: Logic as a Calculus of Events"

    When? Friday, January 12, 2024, 17:00 CET

    Where? Online via Zoom with a livestream on Youtube

    For more information, see here or at https://logicday.vcla.at/ or contact Andrea Hackl at .
  • 12 January 2024, STiHAC Joint Meeting, Clara List

    Date & Time: Friday 12 January 2024, 16:00-18:00
    Speaker: Clara List (Hamburg)
    Title: Proving upper bounds in the predicate modal logic of forcing, Part II
    Location: Online via Zoom
  • 12 January 2024, NihiL Seminar, Angelica Hill

    Date & Time: Friday 12 January 2024, 16:00-17:30
    Speaker: Angelica Hill (UMass Amherst)
    Title: Priming abstract modal representations: The case of causatives and modals
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
    For more information, see https://projects.illc.uva.nl/nihil/seminar or contact Søren Brinck Knudstorp at .
  • news.png

    11 January 2024, LAB42 meet-up x Quantum Experience

    Date & Time: Thursday 11 January 2024, 16:00-18:00
    Location: ILLC Lab42 (3rd floor bridge), Science Park 900, Amsterdam
    Deadline: Thursday 11 January 2024

    The next LAB42 meetup is planned on January 11th starting at 16.00. During this month's edition we're arranging an excursion to our neighbours at the Quantum Experience! Join and explore the potentials and future of quantum technology. Following that, we'll gather on the third floor of LAB42 at 16:30 to raise a toast to the upcoming year.

    Please RSVP promptly due to limited spots for the Quantum Experience.

    For more information, see here or at https://forms.office.com/e/6ygCkKkKB1.

Calls for Paper

  • 9 - 14 September 2024, 15th Conference on Interactive Theorem Proving (ITP 2024), Tbilisi, Georgia

    Date: 9 - 14 September 2024
    Location: Tbilisi, Georgia
    Deadline: Monday 11 March 2024

    The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.

    ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. In addition to Regular papers we also welcome short papers, which can be used to describe interesting work that is still ongoing and not fully mature. All submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used.  Abstract submission deadline:         March 11, 2024.

    The ITP conference organizers are aslo soliciting proposals for affiliated workshops and tutorials. Workshops typically feature presentations of ongoing research that is not ready yet for formal publication, and tutorials may e.g. present extended demos of particular software.  The workshops and tutorials will take place 13-14 September (last two days of the conference).The deadline for submitting a proposal is March 5, 2024.

    For more information, see https://www.viam.science.tsu.ge/itp2024/ or contact .
  • 9 - 10 September 2024, 6th International Conference on Computational Linguistics in Bulgaria (CLIB 2024), Sofia, Bulgaria

    Date: 9 - 10 September 2024
    Location: Sofia, Bulgaria
    Deadline: Friday 15 March 2024

    Computational Linguistics in Bulgaria (CLIB) is an international conference that aims at exploring novel approaches and methods in computational linguistics and natural language processing (NLP), especially with a view to their application to small and less-resourced languages such as Bulgarian and the bridging of the discrepancies between big and small languages with respect to language technologies.

    CLIB invites contributions on original research, both long and short papers. Long papers must describe substantial, original, completed, and unpublished work. Long papers may consist of up to eight (8) pages of content.  Short paper submissions must describe original and unpublished work dealing with a small, focused contribution. Short papers may consist of up to four (4) pages. In order to encourage talented young researchers, the best paper with a Master/PhD student among the authors and presenting the work at the conference will be awarded a small prize and a diploma. CLIB 2024 also solicits submissions presenting project reports, new data resources, system demonstrations, position papers.

    For more information, see http://dcl.bas.bg/clib/ or contact .
  • 26 - 28 August 2024, Seventh Philosophy of Language and Mind Network Conference (PLM7), Prague

    Date: 26 - 28 August 2024
    Location: Prague
    Target audience: Philosophers of language and mind
    Deadline: Thursday 29 February 2024

    PLM is a European network of centers devoted to the Philosophy of Language and Mind. PLM was founded in 2010 and organizes international conferences, workshop and master classes taught by leading experts in the field.

    We invite abstract submissions for 30-minute talks (with 10 minutes for discussion in a 40-minute slot) in the area of philosophy of language and mind (broadly construed).

    For more information, see https://plm7.auletris.com/ or contact .
  • 19 August 2024, Relational and Algebraic Methods in Computer Science (RAMiCS), Prague, Czechia

    Date & Time: Monday 19 August 2024, 23:59
    Location: Prague, Czechia
    Deadline: Friday 16 February 2024

    Since 1994, the RAMiCS conference series has been the main venue for theory surrounding relation algebra. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

    Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

    We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers.

    For more information, see https://ramics-conf.github.io/2024/ or contact Uli Fahrenberg at .
  • Prague.jpg

    19 - 23 August 2024, 15th International Conference on Advances in Modal Logic (AiML 2024), Prague, Czech Republic

    Date: 19 - 23 August 2024
    Location: Prague, Czech Republic
    Deadline: Friday 8 March 2024

    Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).

    We invite submissions on all aspects of modal and related logic. There will be two types of submissions for AiML 2024: (1) Full papers for publication in the proceedings and presentation at the conference, and (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page starting from January 29th, 2024. At least one author of each accepted paper or short presentation must register for and attend the conference.

    For more information, see https://www.cs.cas.cz/aiml2024/ or contact Agata Ciabattoni at , or David Gabelaia at .
  • 29 July - 9 August 2024, ESSLLI 2024 Student Session, Leuven, Belgium

    Date: 29 July - 9 August 2024
    Location: Leuven, Belgium
    Deadline: Friday 1 March 2024

    The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July - 9 August 2024 in Leuven, Belgium. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience.

    We invite submissions of original, unpublished work from students in any area related to Logic & Language, Language & Computation, or Logic & Computation in the form of long (8 pages) or short (4 pages) papers (including references, figures, etc.). Submissions will be reviewed by several experts in the field. Accepted long papers will be presented as talks, while short papers will be presented as posters. Short papers are especially suited for smaller or in-progress research works.

    For both long and short papers, the best contributions (submission plus presentation) will receive an award. In previous years Springer has supported the ESSLLI Student Session by offering prizes of vouchers for Springer books. We aim to offer the same prizes this year. Such prizes will be awarded based on the content and quality of the paper and the presentation at ESSLLI . The ideas presented should be novel and promising. The presentation at ESSLLI should be adapted to the wide variety of backgrounds that ESSLLI participants come from: everybody should be able to learn/understand something new.

    For more information, see https://2024.esslli.eu/.
  • 15 - 26 July 2024, The 2nd European Summer School in Artificial Intelligence (ESSAI 2024), Athens, Greece

    Date: 15 - 26 July 2024
    Location: Athens, Greece
    Deadline: Wednesday 7 February 2024

    ESSAI 2024 is the second edition of the annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI 2024 will provide an interdisciplinary setting in which courses are offered in all areas of Artificial Intelligence and also from wider scientific, historical, and philosophical perspectives. ESSAI is a central meeting place for students and young researchers in Artificial Intelligence to discuss current research and share knowledge. Courses will consist of five 90-minute sessions, offered daily (Monday-Friday) in a single week, to allow students to develop in-depth knowledge of a topic.

    ESSAI aims to cover all subdisciplines of AI and the interactions between them. Proposals for courses at ESSAI 2024 are invited in all areas of Artificial Intelligence. Each course will consist of five 90-minute lectures, offered daily (Monday-Friday) in a single week. While introductory courses will typically focus on one subarea of AI, introductory and advanced courses are encouraged to present a broader perspective on AI and should be of interest beyond one specific area.

    For more information, see https://essai2024.di.uoa.gr/.
  • Greifswald_1652_Merian.jpg

    15 - 17 July 2024, Formal Ethics 2024 (FE2024), Greifswald, Germany

    Date: 15 - 17 July 2024
    Location: Greifswald, Germany
    Deadline: Friday 1 March 2024

    “Formal Ethics” is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts and theories in moral and political philosophy. It is a rapidly growing field of research that goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright, and others. The field has recently gained new impetus with formal work on freedom and responsibility, welfare economics and population ethics, deontic logic and natural language semantics, value theory, and the evolution of norms and conventions.

    Invited speakers: Justin Bruner (University at Buffalo), Fabrizio Cariani (University of Maryland) and Anne Schwenkenbecher (Murdoch University).

    Formal Ethics 2024 will feature a single track for contributed talks of 40-45 minutes. Authors should submit an extended abstract (1000 words max, pdf format) via Easychair. Submissions in all areas of formal ethics, broadly construed, are welcome. Contributions need not be formal in nature but should show familiarity with applying formal tools and results to ethical investigations. We welcome and strongly encourage submissions from members of underrepresented groups, as well as early career researchers and students. All submissions should be prepared for anonymous review.

    For more information, see https://www.wiko-greifswald.de/formal-ethics-2024/ or contact Allard Tamminga at .
  • 8 - 12 July 2024, Computability in Europe 2024: Twenty years of theoretical and practical synergies, Amsterdam, The Netherlands

    Date: 8 - 12 July 2024
    Location: Amsterdam, The Netherlands
    Deadline: Saturday 10 February 2024

    CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

    The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. CiE 2024 will be an anniversary event. It is the 20th conference organized by Ci , in the same place as the first edition, Amsterdam.

    The Program Committee cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2024. Papers submitted to the conference proceedings should represent original work, not simultaneously submitted to another journal or conference with formal proceedings. The Program Committee will rigorously review and select submitted papers. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.

    Continuing the tradition of past CiE conferences, we also invite researchers to present informal presentations of their recent work. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2024 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

  • 8 - 12 July 2024, 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn, Estonia

    Date: 8 - 12 July 2024
    Location: Tallinn, Estonia
    Deadline: Wednesday 14 February 2024

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

    ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024. The conference is planned as a physical, in-person event.  During the conference, the following awards will be delivered: the EATCS award,  the Gödel prize,  the Presburger award, the EATCS distinguished dissertation award, the best papers for each of the conference tracks, and the best student papers for each of the conference tracks.

    Papers presenting original research on all aspects of theoretical computer science are sought. Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Submissions take the form of an extended abstract of no more than 15 pages, excluding references and a clearly labelled appendix. Submissions are anonymous and there is a rebuttal phase. The conference will employ a lightweight double-blind reviewing process.

    The conference has two tracks:
    - Track A: Algorithms, Complexity and Games
    - Track B: Automata, Logic, Semantics, and Theory of Programming

    For more information, see https://compose.ioc.ee/icalp2024/.
  • 1 - 6 July 2024, The 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France

    Date: 1 - 6 July 2024
    Location: Nancy, France
    Deadline: Monday 29 January 2024

    IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger conference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods Topics).

    A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. 

    IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted to another peer-reviewed journal or conference. The following paper categories are welcome: Regular papers describing solid new research results (up to 15 pages), and Short papers describing implemented systems, user experiences, case studies and domain models (up to 7 pages). All submissions will be judged on relevance, originality, significance, correctness, and readability. IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference.

    For more information, see https://ijcar2024.loria.fr/.
  • 26 - 28 June 2024, Fifteenth Conference on Logic and the Foundations of Game and Decision Theory (LOFT15), Bayreuth, Germany

    Date: 26 - 28 June 2024
    Location: Bayreuth, Germany
    Deadline: Friday 9 February 2024

    This is the 15th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers that bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics, and mind sciences.

    Invited Speakers: Julia Staffel (University of Colorado Boulder), Thomas Bolander (Technical University of Denmark) and Willemien Kets (Utrecht University).

    Potential contributors should submit an extended abstract of approximately 5-10 pages (excluding references and appendices) as a PDF. Submissions exceeding 10 pages will not be considered. Submissions should be prepared for blind review and submitted through EasyChair by February 9th, 2024.
    Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
  • 26 - 28 June 2024, DCAI Special Session on Computational Linguistics/ Information/ Reasoning/ and AI (CLIRAI), Salamanca, Spain

    Date: 26 - 28 June 2024
    Location: Salamanca, Spain
    Deadline: Friday 15 March 2024

    Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage encounters difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

    The session covers theoretical work, applications, approaches, and techniques for computational models of information, language (artificial, human, or natural in other ways), reasoning. The goal is to promote computational systems and related models of language, thought, reasoning, and other related processes.

    We invite contributions relevant to the session topics, without being limited to them, across approaches, methods, theories, implementations, and applications. The papers must consist of original, relevant, and previously unpublished, sound research results related to any of the topics of the Special Session CLIRAI.

    DCAI Special Session papers must be formatted according to the Template of Lecture Notes in Networks and Systems (LNNS), Springer, with a maximum length of 10 pages in length, including figures and references. All accepted, registered, and presented papers will be published by the series Lecture Notes in Networks and Systems (LNNS), Springer. At least one of the authors of an accepted paper will be required to register and attend the symposium to present the paper in order to include it in the conference proceedings.

    For more information, see https://www.dcai-conference.net/tracks/special-sessions/clirai or contact Roussanka Loukanova at .
  • taclLogo.png

    25 June - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain

    Date: 25 June - 5 July 2024
    Location: Barcelona, Spain
    Deadline: Thursday 7 March 2024

    Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.

    Programme:
    School: June 25-28, 2024 (Barcelona)
    Conference: July 1-5, 2024 (Barcelona)

    We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science.
    Abstracts of proposed contributions must be submitted through Easychair and may be at most 2 pages, including references (using Easychair style). Contributed presentations will be 30 minutes long.

    For more information, see https://iiia.csic.es/tacl2024/ or contact Sara Ugolini at .
  • LOGO_Large.jpeg

    24 - 28 June 2024, Logic Colloquium 2024 (LC 2024), Gothenburg, Sweden

    Date: 24 - 28 June 2024
    Location: Gothenburg, Sweden
    Deadline: Friday 1 March 2024

    The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden.

    The 2024 meeting will run for five days and comprise 10 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Goedel Lecture will be delivered at the meeting.

    The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Instructions for submission will be made available through the conference webpage.

    For more information, see https://lc2024.se or contact LC 2024 Organisers at .
  • 18 - 21 June 2024, 37th International Workshop on Description Logics (DL 2024), Bergen, Norway

    Date: 18 - 21 June 2024
    Location: Bergen, Norway
    Deadline: Monday 18 March 2024

    The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway, from June 18th to June 21st.

    We invite contributions on all aspects of description logics, including, but not limited to:
      • Foundations of description logics;
      • Extensions of description logics;
      • Integration of description logics with other formalisms;
      • Applications and use areas of description logics;
      • Systems and tools of all kinds around description logics.

    Submissions may be of two types:
     A – Regular papers of up to 11 pages (excluding references);
     B – Extended abstracts of 2–4 pages (excluding references).
    DL reviewing is single-blind by default, double-blind on request.

    For more information, see https://dl2024.w.uib.no/ or contact .
  • 17 - 21 June 2024, 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024), Pohang, Republic of Korea

    Date: 17 - 21 June 2024
    Location: Pohang, Republic of Korea
    Deadline: Wednesday 28 February 2024

    The International Conference on Unconventional Computation and Natural Computation (UCNC) series is a forum bringing together scientists from many different backgrounds who are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 21st International Conference on Unconventional Computation and Natural Computation (UCNC 2024) will be held at the Pohang University of Science and Technology, Pohang, Republic of Korea on June 17-21, 2024 and will continue the tradition of focusing on current important theoretical and experimental results and their critical evaluation.

    Authors are invited to submit original research papers (of, at most, 15 pages in LNCS format) through the conference EasyChair link. Papers must be submitted in Portable Document Format (PDF). Accepted papers will be published in the Springer Lecture Notes in Computer Science Series, and authors of selected papers will be invited to submit extended versions for publication in a special issue of Natural Computing. Papers must not be under simultaneous consideration by any other conference with published proceedings. All accepted papers must be presented at the conference.

    For more information, see https://sites.google.com/view/ucnc-2024/ or contact .
  • 4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/US

    Date: 4 - 6 June 2024
    Location: Moffett Field, California/US
    Deadline: Friday 1 December 2023

    The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

    This year’s symposium extends the focus to safety assurance of machine learning enabled autonomous systems, formal methods for digital transformation, and accessibility for new industries. There will be a tool demonstration session at the conference, where tool developers get to showcase their tools interactively with the attendee.

    There are two categories of submissions: Regular Papers (15 pages including references), describing fully developed work and complete results, and Short Papers (6 pages including references), in one of the categories below:
    - Tool papers describing novel and publicly available tools
    - Case studies detailing applications of formal methods
    - New emerging ideas in the topics of interest

    All papers should be in English and describe original work that has not been published or submitted elsewhere. NFM24 will be a hybrid conference. Authors of accepted papers are encouraged to present their work in person at the conference.

  • _2023-12-02_103938.png

    25 - 26 May 2024, International Workshop on Logic and Philosophy: “Agency and Intentionality: Collective and Individual”

    Date & Time: 25 - 26 May 2024, 10:00-17:00
    Location: Tsinghua University, Beijing
    Target audience: Scholars and students interested in the interaction of logic and philosophy
    Costs: free
    Deadline: Sunday 31 December 2023

    The theme of the workshop is "Agency and intentionality: collective and individual". Collective intentionality and collective agency, and closely related topics such as common knowledge, team reasoning, public announcement and other forms of group communication, are among the key issues that are being studied right now in a variety of frameworks.

    Some of these frameworks are parsimonious extensions of frameworks for individual agency and individual intentionality, whereas others employ a more extended conceptual and ontological apparatus. And some of the analyses are primarily analytical and conceptual, while others are logical and formal. The main goal of the workshop is to bring these together to exchange results and discuss different views.

    Invited speakers: Branden Fitelson (Northeastern University), Marc Slors (Radboud University Nijmegen), Sonja Smets (University of Amsterdam) and Deborah Tollefsen (The University of Memphis).

    The call for papers welcomes contributions on topics within the theme, such as:
    -intention, agency, decision-making
    -responsibility and norms
    -forms of identity
    -individuals in social networks
    -group dynamics
    Contributed papers on other topics in the area of logic and philosophy are welcome as well.

    Scholars who want to contribute should send an abstract of approximately 1200 words (not including references) to: logicandphilosophyworkshop at gmail.com. The abstract should be properly anonymised, so include a separate page with name, affiliation, and contact details. All submissions will be reviewed by an independent program committee.

    The possibility to publish selected papers in a special journal issue (of, e.g., Topoi or Philosophies) is actively being explored.

    For more information, see http://tsinghualogic.net/JRC/3rdilpw/ or contact Yiyan Wang at .
  • 24 - 25 May 2024, 2nd Logic and Philosophy: Historical and Contemporary Issues Conference, Vilnius, Lithuania

    Date: 24 - 25 May 2024
    Location: Vilnius, Lithuania
    Deadline: Friday 15 March 2024

    Logic and Philosophy is a biennial conference organised and hosted by Vilnius University. The conference is intended as a venue for philosophical discussions on logic broadly construed. We invite submissions that address philosophy of logic, philosophical issues related to classical or non-classical logics, the history of logic, and philosophical applications of logic.

    Invited speakers: Timothy Williamson (Oxford / Yale), Graham Priest (CUNY), Sara L. Uckelman (Durham), Iryna Khomenko (Kyiv). A special session, with contributions by Timothy Williamson and Graham Priest, dedicated to the nature of logic and validity is planned as part of the programme. Related talks are particularly welcome.

    Prospective authors are invited to submit abstracts suitable for anonymous review. Abstracts should not exceed 1000 words. Papers based on the presented talks will be considered for publication in Problemos Supplement, a philosophy journal run by Vilnius University Press. Authors of the selected talks are expected, though not required, to contribute.

  • 22 - 24 May 2024, Symposium "Engaging Rationality Today", Lille, France

    Date: 22 - 24 May 2024
    Location: Lille, France
    Deadline: Monday 8 January 2024

    The international symposium "Engaging Rationality Today" will bring together specialists from multiple disciplines (philosophy, logic, psychology, anthropology, linguistics, etc.) to reflect collectively on contemporary meanings and uses of rationality. The current Western cultural context, which is marked by numerous challenges (war, fake news, A.I., populism) and critiques (post-colonialism, feminism, etc.), requires a reevalutation of the classic notion of rationality. They show the limits of the classical notion, grounded on concepts like objectivity, universality, argumentation, and causal relationships. But accepting every new conception without criteria seems to give way to relativism, thus leading to a dilemma. The symposium "Engaging Rationality Today" aims at tackling this dilemma by creating a space of dialogue between various conceptions of rationality. To do so, it is not only a question of examing what rationality is, but also, and above all, a question of studying the limits, blindspots, and problematic uses of the proposed definitions of rationality. The aim of the present project is to provide a comprehensive view of how rationality is currently understood, from various perspectives (philosophy, psychology, linguistics, etc.). We hope that by examining rationality’s multifaceted aspects, including what falls outside of the proposed definitions, contributors will be encouraged to reevalute their own defninitions through dialogue with others.

    True to our multidisciplinary goals, we invite a broad variety of approaches and methods and welcome researchers from any background. If you would like to present, please submit an anomymous abstract (max.of 800 words) in a pdf format. In your application, please mention in which session (or sessions) your contribution would be most appropriate.

    To help make each conception of rationality clearer and to facilitate the comparison between conceptions, we ask that each contribution spell out what the author takes rationality to be, to not be, and what remains under-determined. In addition, contributions can (but do not have to) address one of the following pairs of guiding questions. They can also challenge the implied validity of these oppositions: What does rationality involve? What does it rule out? How do we recognize it? What could rationality also be? What are its applications and uses? What are its misapplications and misuses? Does it affect us? Can we resist it? What does it allow us to do? What does it keep us from doing? Does it have diverse articulations? Or, for it to be rationality, must it always be exactly the same?

  • 16 - 18 May 2024, Formal Methods and Science in Philosophy V, Dubrovnik, Croatia

    Date: 16 - 18 May 2024
    Location: Dubrovnik, Croatia
    Costs: 135 EUR / 100 EUR (retired participants, students)
    Deadline: Wednesday 31 January 2024

    The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

    The following special topics will be addressed:
    – use of formal methods in philosophy,
    – philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction, etc.),
    – philosophical analysis of scientific methods (formalisms, rationality, values, norms, etc.),
    – the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

    There will be a PhD student session with 20 minutes talks followed by 10 minutes discussion.

    Please, submit a 1200 characters abstract by January 31, 2024  to abrozek at uw.edu.pl, k.swietorzecka at uksw.edu.pl or skovac at ifzg.hr. Please, use the proposed templates. Indicate if the abstract is meant for a PhD student session (1200 characters). The notifications of acceptance by February 15, 2024. The conference will be held in-person.

    For more information, see https://www.ifzg.hr/fmsph/ or contact .
  • 26 April 2024, LogIn Project Workshop: Amplifying underrepresented voices in formal philosophy, London, UK

    Date: Friday 26 April 2024
    Location: London, UK
    Deadline: Thursday 1 February 2024

    The workshop aims to bring together researchers who work on formal philosophy broadly construed who are either members of traditionally underrepresented groups or who work outside of what is perceived as ``traditional’’ topics in logic and formal philosophy. It will be an occasion for dialogue between researchers who identify as members of underrepresented groups in academia and researchers who work on topics generally regarded as non-standard in the academic tradition.

    Confirmed speakers include: Gillian Russell (ANU), Sara Uckelman (Durham) and Frederique Jannsen-Lauret (Manchester). The workshop will be followed by a panel discussion on how to make formal academic philosophy a more inclusive environment.

    We invite submissions from members of traditionally underrepresented groups of extended abstracts (up to 1000 words) for 3 contributed talks. Any abstract related to logic or formal philosophy written by researchers who are either part of traditionally underrepresented groups or working on 'non-traditional' logic and formal philosophy is welcome. We particularly encourage submissions on formal topics from a more diverse and interdisciplinary perspective. We particularly encourage interdisciplinary submissions.

  • 25 April 2024, CfP: Abstract Concepts/ Perception/ and Language, 25th April 2024, Cambridge, UK

    Date: Thursday 25 April 2024
    Location: Cambridge, UK
    Deadline: Monday 5 February 2024

    This event, organised by members of the Semantics, Pragmatics, and Philosophy (SPP) research group of the University of Cambridge, aims to bring together those interested in abstract concepts across disciplinary boundaries. This workshop aims to encourage and explore innovative ways, both theoretical and experimental, of analysing and understanding the meaning of abstract concepts. This could include work on topics such as time, conceptual engineering, investigations into concepts such as freedom or justice, processing of abstract concepts, or diachronic investigations of scientific or social abstract concepts, to name just a few. 

    The workshop aims to be an environment in which PhD and graduate students may present their work and get feedback from their peers, as well as those who may not traditionally fall within their discipline's boundaries.  The event will also include talks from three academics: Dr. Sean Enda Power (University of Cork), Dr. Derek Ball (St Andrews University), and Prof. Kasia Jaszczolt (University of Cambridge). 

    We invite proposals for presentations consisting of 300 words plus bibliography. This will be a free, one-day event. PhD/Grad presentations will be 20-min long + 10 minutes for questions/discussion. Ongoing works will be considered and are explicitly encouraged.  Abstracts for poster presentations also accepted. 

  • 22 - 23 April 2024, CIBD: Workshop on Theory and Applications of Craig Interpolation and Beth Definability

    Date: 22 - 23 April 2024
    Location: Amsterdam, the Netherlands
    Costs: Free
    Deadline: Friday 15 March 2024

    The aim of this workshop is to bring together experts from different research communities (such as proof theory, model theory, proof complexity, verification, database theory, knowledge representation, automated reasoning, automata theory, philosophy, linguistics) in order to discuss and disseminate recent and ongoing research pertaining to Craig interpolation and Beth definability.

    Invited speakers: Michael Benedikt (University of Oxford, tbc), Raheleh Jalali (Czech Academy of Sciences), Jean Christoph Jung (TU Dortmund University), George Metcalfe (University of Bern), Thomas Place (LaBRI Bordeaux) and Philipp Ruemmer (University of Regensburg).

    Participants will be given the opportunity to give short presentations, selected by relevance and
    quality on the basis of a submitted abstract, as well as availability of slots. Abstracts should be at most one page using the easychair LaTeX style, and, if accepted for presentation, will be published on the webpage of the event (not as a formal proceedings).

    For more information, see https://cibd.bitbucket.io/ or contact Balder ten Cate at .
  • Poster_Juniorendag2024.jpg

    19 April 2024, Anéla-/VIOT-Juniorendag 2024, Nijmegen, the Netherlands

    Date & Time: Friday 19 April 2024, 09:00
    Location: Nijmegen, the Netherlands
    Target audience: Researchers in the field of applied linguistics, including BA and MA students, PhD researchers and senior researchers
    Deadline: Friday 19 January 2024

    On Friday, 19 April 2024, the Radboud University of Nijmegen will host the Juniorendag, organized by Anela and VIOT. BA and MA students, recently graduated students, and PhD candidates can present their thesis or their doctoral research at the Juniorendag in the field of applied linguistics (language use, language acquisition, language teaching, language proficiency or communication) in an informal atmosphere. In addition, the Anela-VIOT Thesis Award will be awarded during this day to the best MA thesis in the field of applied linguistics.

    If you would like to apply for an oral or poster presentation, please upload your abstract through this link no later than 19 January 2024.

    The requirements for the abstract are as follows: *maximum 250 words (excl. references) *in Dutch or in English (write your abstract in the language in which you will present) *remove all personal information from the abstract itself (name, university).

    At the beginning of February we will let you know if your oral or poster presentation has been accepted.

  • 11 - 13 April 2024, Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), Warsaw, Poland

    Date: 11 - 13 April 2024
    Location: Warsaw, Poland
    Deadline: Monday 15 January 2024

    In recent years, the notion of implicit commitments has received new attention in the Philosophy of Mathematics. Focusing on theories of foundational interest, in which substantial parts of mathematics can be reconstructed, philosophers, mathematicians, and logicians have been trying to determine the extent of the commitments (if there are any) implicit in foundational theories. This investigation started in the 60s with the work of Solomon Feferman and others on the so-called' reflection principles', statements expressing, for a given theory S, that S is sound. Famously, Feferman investigated whether, for a foundational theory S, such reflection principles are implicit commitments of S. Since the 60s, Feferman's investigation generated an enormous amount of literature and research programmes. Although much progress has been made in our understanding of implicit commitments, much work is still needed.

    Our conference aims to provide a platform to gather philosophers, mathematicians, and logicians working on implicit commitments and related notions in the context of philosophy and the foundation of mathematics.

    We invite submission of extended abstracts (up to 1000 words, prepared for blind review) for contributed talks. Please submit your abstract by email to the organisers at fomtic24 at gmail.com, and include your institutional affiliation, if you have one, and the title of your abstract in the body of the email. Submissions from underrepresented groups are particularly welcome.

    For more information, see here or contact .
  • 8 - 11 April 2024, 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), Sheffield, UK

    Date & Time: 8 - 11 April 2024, 18:00
    Location: Sheffield, UK
    Deadline: Friday 1 December 2023

    The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research.

    Invited Speakers:
    * Georg Gottlob, University of Oxford
    * Phokion Kolaitis, University of California Santa Cruz and IBM Research
    * Andrei Popescu, University of Sheffield
    * Uli Sattler, University of Manchester

    FoIKS 2024 solicits original contributions (as well as extensions of previously published contributions) dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, (parameterized) complexity theory, algorithmics and computation, statistics, and optimisation, among, of course, many others.

    For more information, see https://foiks2024.github.io/ or contact .
  • 6 - 7 April 2024, 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024), Luxembourg City, Luxembourg (co-located with ETAPS)

    Date & Time: 6 - 7 April 2024, 23:59
    Location: Luxembourg City, Luxembourg
    Deadline: Monday 29 January 2024

    Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

    CMCS 2024 will take place on April 6-7, 2024, as a satellite event of ETAPS 2024 in Luxembourg City. The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.

    The Programme Committee cordially invites all researchers to submit their papers for presentation.

    For more information, see https://www.coalg.org/cmcs24/ or contact Henning Urbat at .
  • 30 - 31 March 2024, 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM IV): "The Connectives in Logic and Language", Beijing, China

    Date: 30 - 31 March 2024
    Location: Beijing, China
    Deadline: Saturday 25 November 2023

    The propositional connectives – and, or, not, if-then, etc. – are fundamental building blocks in formal as well as natural languages. Propositional Logic is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. Perhaps the most familiar recent work in this area concerns conditionals in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation.

    Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration.

    The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or languag.

    We invite submissions of 2-page abstracts (including references) on any of the broad themes related to the connectives in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Abstracts should be submitted via Easychair.

    For more information, see http://tsinghualogic.net/JRC/tllm/2024connectives/ or contact Jialiang Yan at .
  • 11 - 15 March 2024, Seventeenth International Conference on Computability, Complexity and Randomness (CCR2024), Nagoya, Japan

    Date: 11 - 15 March 2024
    Location: Nagoya, Japan
    Deadline: Friday 22 December 2023

    CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics.

    Topic: Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity and Reverse mathematics and logic.

    Authors are invited to submit an abstract in PDF format of typically about 1 or 2 pages via Easychair. No full papers will be required for this conference. After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.

    For more information, see https://sites.google.com/view/ccr2024/.
  • 4 - 5 March 2024, 6th Asian Workshop on Philosophical Logic (AWPL 2024), Sapporo, Japan

    Date: 4 - 5 March 2024
    Location: Sapporo, Japan
    Deadline: Sunday 15 October 2023

    The 6th Asian Workshop on Philosophical Logic will be held on 4-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences.

    Invited speakers: Patrick Blackburn (University of Roskilde), Ryo Kashima (Tokyo Institute of Technology), Shawn Standefer (National Taiwan University) and Fan Yang (Utrecht University).

    All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template. Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series.

    For more information, see https://sites.google.com/view/awpl2024/ or contact Katsuhiko Sano at .
  • 28 February - 1 March 2024, Computational approaches to metaphor & figurative language (DGfS 2024), Bochum, Germany

    Date: 28 February - 1 March 2024
    Location: Bochum, Germany
    Deadline: Friday 1 September 2023

    Workshop at the Annual Conference of the German Linguistic Society (DGfS 2024).

    Figurative and non-literal language, such as metaphor, metonymy, or personification, poses a special challenge for computational analysis, since these expressions are not used with their usual, ordinary meanings, as represented in corpus data or recorded in lexical resources, but with different, derived meanings.

    We aim to bring together computational linguists working on the automatic analysis of non-literal language. A special focus will be on non-conventionalized usages, such as novel metaphors or innovative forms of metonymy. In addition, we are particularly interested in approaches applicable to languages other than English, for example low-resource languages or domains.

    We welcome contributions dealing with the identification of (specific forms of) non-literal language, with the interpretation of figurative expressions, or with the relation between literal and non-literal meanings in distributional semantic representations. Further, we are interested in discussing how the meaning of figurative expressions is negotiated, for example in social media, and how distributional semantic representations can be enriched in order to reflect figurative meaning. The workshop language is English for both abstracts and talks.

  • 24 - 26 February 2024, ICAART 2024 Special Session on Large Language Models & Natural Language Processing in Artificial Intelligence (LLMaNLPinAI 2024), Rome, Italy

    Date & Time: 24 - 26 February 2024, 23:59
    Location: Rome, Italy
    Target audience: Computational Linguistics, Logic, Computer Science, AI
    Deadline: Thursday 21 December 2023

    Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Increased power of hardware and software allows collection of large language sources, which require Natural Language Processing (NLP). Large language models (LLM) are important for information processing. LLM and NLP are interrelated and significant in AI.
    This ICAART 2024 Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent language processing and related models of information, language, reasoning, etc.

    Papers must be submitted electronically via the web-based submission system. After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI at ICAART 2021--2023 and LLMaNLPinAI24.

    For more information, see https://icaart.scitevents.org/LLMaNLPinAI.aspx or contact ICAART Secretariat at .
  • 19 - 23 February 2024, Computer Science Logic 2024 (CSL 2024), Naples, Italy

    Date: 19 - 23 February 2024
    Location: Naples, Italy
    Deadline: Monday 24 July 2023

    Computer 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'24 is planned as an on-site event, with support for remote presentations.

    Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including 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 Program 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 papers should be submitted via Easychair. Please note that the deadline listed is the deadline for abstracts; the deadline for full papers is July 31st.

    For more information, see https://csl2024.github.io/Home/.
  • 15 - 16 January 2024, 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), London, U.K.

    Date: 15 - 16 January 2024
    Location: London, U.K.
    Deadline: Thursday 31 August 2023

    VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

    The program of VMCAI 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

    Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Submissions will undergo a single-blind review process.

    VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable.

    For more information, see https://popl24.sigplan.org/home/VMCAI-2024.
  • CfP: Special issue of Australasian Journal of Logic (AJL) on the work of Ross Brady

    Deadline: Monday 15 January 2024

    We are delighted to announce a special issue of the Australasian Journal of Logic (AJL) dedicated to celebrating the remarkable contributions of Ross Brady. Ross's work has made significant advancements in various areas of logic, both technically and philosophically. This special issue aims to honor his invaluable contributions and provide a platform for scholars to engage with his work.

    We invite submissions on topics related to Ross Brady's research interests. We also welcome submissions that explore related areas, recent research, and extensions of Ross Brady's work. Particularly, we encourage contributions focusing on the logic MC of meaning containment and its applications, as well as investigations into metavaluations and metacompleteness.

    For more information, see https://ojs.victoria.ac.nz/ajl/announcement/view/3 or contact Shay Logan at .
  • 14 January 2024, Dafny 2024

    Date & Time: Sunday 14 January 2024, 23:59
    Location: London, UK
    Deadline: Wednesday 11 October 2023

    Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in industry, research on programming-language concepts that are relevant to Dafny, and talks about Dafny's role in teaching.

    To give a presentation at the workshop, please submit an anonymous extended abstract (2-6 pages, excluding references) via hotcrp. Please use the acmart two-column sigplan sub-format LaTeX style to prepare your submission. We don’t intend to publish the workshop’s submissions. However, presentations may be recorded and the videos may be made publicly available.

    For more information, see https://popl24.sigplan.org/home/dafny-2024 or contact Stefan Zetzsche at .
  • 12 - 15 January 2024, 1st South American LOgic MEeting (SALOME 1), Cusco, Peru

    Date: 12 - 15 January 2024
    Location: Cusco, Peru
    Deadline: Friday 1 September 2023

    SALOME 1 is the Inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic.

    The event will include the celebration on January 14, 2024 of the 6th edtion of the World Logic Day.

    Talks  related to any aspects of logic, from scholars from all over the world, are welcome.
    Send a one page abstract (in English, Spanish or Portuguese) by September 1st. After the congress, a selection of full papers will be published in the South American Journal of Logic.

    For more information, see https://www.salome2024.org/ or contact .
  • 11 - 12 January 2024, Third Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMat 2023), Rome, Italy

    Date: 11 - 12 January 2024
    Location: Rome, Italy
    Target audience: PhD students / early postdocs
    Deadline: Friday 15 September 2023

    The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasize its attention to those at early stages of their careers, the network is glad to announce its third graduate conference, to be held at the Tor Vergata University of Rome. We expect to host up to 6-8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

    The conference will be held exclusively in person and no link will be provided to attend the conference remotely.

    Submissions of original contributions are invited in any area of philosophy of mathematics. In particular, topics of interest include the philosophy of mathematical practice, the study of the reciprocal influence between history and philosophy of mathematics, the study of philosophical aspects in the mathematical modelling of empirical and social sciences, the use of formal methods in foundational settings.

    Abstracts must be written in English, have a *maximum length of 1500 words (references included)*, and should be prepared for blind-review, with all identifying details (name, affiliation, email, and abstract title) in a separate file. Submissions should be sent in pdf format to: conference at filmatnetwork.com

Past Conferences

  • 7 - 8 March 2024, 14th Day on Computational Game Theory (CGT Day), Bonn, Germany

    Date: 7 - 8 March 2024
    Location: Bonn, Germany

    The Day of Computational Game Theory (CGT Day) serves as a platform for researchers in algorithmic game theory, social choice, and algorithmic mechanism design to connect. Especially young researchers are encourged to present and discuss their work in a relaxed and welcoming atmosphere. The CGT Day alternates every year between Germany and the Netherlands and this is its 14th edition.

    Invited Speakers: Michael Feldman (Tel-Aviv University), László A. Végh (London School of Economics and Political Science).

  • 8 - 10 February 2024, 7th Workshop on Generalised Baire Spaces, Bristol, UK

    Date: 8 - 10 February 2024
    Location: Bristol, UK

    This is the seventh in a series of workshops that have taken place from 2014. These workshops aim to connect researchers working in the descriptive set theory of Baire and Cantor spaces of functions on uncountable cardinals and its connections with infinite combinatorics and model theory. The upcoming workshop features several well-known speakers and aims to connect this area with large cardinals. There will be ample time for discussion and collaboration.

    If you wish to deliver a short contributed talk or be considered for funding support, please contact the organisers. Some funding is available for UK based Ph.D. students.

    For more information, see https://www.bristol.ac.uk/maths/events/2024/philip-welch-event-.html or contact Philipp Schlicht at , or Philip Welch at .
  • 15 January 2024, Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, Online

    Date: Monday 15 January 2024
    Location: Online

    A Zoom workshop to celebrate the World Logic Day 2024 (which is actually a day before this event. Registration is free of charge and everybody is welcome to attend.

    This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on historical perspectives: How were different formal systems implemented ? How much choice was there? Is our current view an ironed out history, written by the winner of the debate?

    For more information, see https://sites.google.com/view/wldzurich2024 or contact Jose Antonio Perez Escobar at , or Deniz Sarikaya at .
  • 9 - 12 January 2024, Lean Together 2024, Online

    Date: 9 - 12 January 2024
    Location: Online

    Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. At this meeting we discuss ongoing projects in formalized mathematics and software verification, as well as infrastructure and outreach for Lean and its community. We welcome participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.

    For more information, see https://leanprover-community.github.io/lt2024/ or contact David Thrane Christiansen at , Robert Y. Lewis at , or Patrick Massot at .
  • 8 January 2024, Workshop on Directions and Perspectives in the Lambda-Calculus, Bologna, Italy

    Date: Monday 8 January 2024
    Location: Bologna, Italy
    Costs: Davide Barbarossa, Gabriele Vanoni

    The concept of computation is interesting in philosophy, mathematics, and of course computer science. The λ-calculus is certainly one of the main tools for studying this concept: after almost 100 years, why are we still working on this formalism (or related subjects)? And where are we going? What are the scientific or philosophical challenges that λ-calculus has proposed? What are the ones that it may propose in the future?

    The aim of the workshop is to gather mostly young (possibly non permanent) researchers together in order to address the above mentioned questions. The style will not necessarily be of a technical nature, but rather of overview and conceptual one.

MoL and PhD defenses

  • 18 March 2024, Master of Logic defense, Ramón de Villegas

    Date & Time: Monday 18 March 2024, 13:00
    Title: Ramsey Sentences as a philosophical tool, a viability study
    Location: Room L3.36, ILLC Lab42, Science Park 900, Amsterdam
    Supervisor: Sebastian De Haro Ollé
  • 26 February 2024, Master of Logic defense, Elynn Weijland

    Date & Time: Monday 26 February 2024, 10:00
    Title: An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Floris Roelofsen & Marloes Oomen
  • Omslag_v5_Voorkant_buiten_klein.jpg

    23 February 2024, PhD Defense, Bas Cornelissen

    Date & Time: Friday 23 February 2024, 11:00
    Title: Measuring musics: Notes on modes, motifs, and melodies
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Jelle Zuidema
    Copromotor: Ashley Burgoyne and Henkjan Honing

    On 23 February 2024 at 11.00, Bas Cornelissen will publicly defend his doctoral dissertation in the Aula. His dissertation develops computational methods to measure properties of musical traditions, with the aim of comparing them. It consists of a series of studies covering, amongst others, modality in Western plainchant, melodic contour, and rhythmic motifs in music and animal vocalizations. The dissertation proposes a method to classify the mode of chants by segmenting melodies in 'natural units' corresponding to textual units. This even works relatively well when only the contour of the melody is used. We then find that the principal components of melodies approximate cosine functions, which leads to the new 'cosine contour' representation. However, those melodic contours do not seem to cluster in discrete types, which argues for adopting a continuous view of contour typology. The dissertation ends with an algorithmic reconstruction of a piece by the composer Arvo Pärt, highlighting the formal character of his compositions.

    The ceremony will take place in the Aula of the University of Amsterdam (Oude Lutherse Kerk, Singel 411, Amsterdam) and is open for public. You can also follow the ceremony remotely via this live stream.

    For more information, see https://bascornelissen.nl/phd or contact Bas Cornelissen at .
  • 22 February 2024, Master of Logic defense, Abra Ganz

    Date & Time: Thursday 22 February 2024, 14:30
    Title: Fine-tuning for Randomized Smoothing
    Location: Online
    Supervisor: Martin Vechev
  • 6 February 2024, MoL defense, Reinoud Pino

    Date & Time: Tuesday 6 February 2024, 12:00
    Title: Who's Afraid of Quantum Causation? Causal Explanations and Bell Phenomena
    Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam
    Supervisor: Sonja Smets
  • 31 January 2024, PhD defense, Jan Rooduijn

    Date & Time: Wednesday 31 January 2024, 11:00
    Title: Fragments and Frame Classes: towards a uniform proof theory of modal fixed points
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Yde Venema
    Copromotor: Johannes Marti
    For more information, contact Jan Rooduijn at .
  • 30 January 2024, PhD defense, Guillermo Menéndez Turata

    Date & Time: Tuesday 30 January 2024, 13:00
    Title: Cyclic Proof Systems for Modal Fixpoint Logics
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Promotor: Yde Venema
    Copromotor: Bahareh Afshari
  • 29 January 2024, Master of Logic defense, Jasper Stammes

    Date & Time: Monday 29 January 2024, 15:00
    Title: Ordinal Reductions on Choice Principles
    Location: Room F3.20, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg & Lorenzo Galeotti
  • 22 January 2024, MoL Defense, Max Pohlmann

    Date & Time: Monday 22 January 2024, 16:30
    Title: Analytic Nondualism: Why Reality is Objectively Subjective
    Location: Online
    Supervisor: Prof. Dr. Sonja Smets
    For more information, contact Max Pohlmann at .

Funding, Grants and Competitions

  • Responsible AI grant

    Deadline: Friday 15 March 2024

    UvA Teaching & Learning Centre Central (TLC Central) and the Institute for Interdisciplinary Studies (IIS) are working together on various themes within educational innovation with the Institution Plan (IP) Theme grant. The theme of the grant changes every 1.5 years. Are you an UvA educator or employee and do you have an idea that may improve education that fits the theme? Then you can apply for the grant. Each grant theme has three rounds of applications and three batches.

  • VSB fonds 2024

    Deadline: Friday 1 March 2024

    The VSBfonds Beurs is an initiative by the VSBfonds to financially support socially engaged students who want to continue their studies abroad. Check their website to do the Quickscan in order to determine whether you're eligible for the Beurs or not, however, all students are encouraged to apply for the Beurs. Application starts now, September 2023. The deadline is 1 March 2024.

    For more information, see https://www.vsbfonds.nl/studiebeurzen or contact Naomi de Bruin at .
  • European-Commission-logo-30-150x150.jpg

    MSCA Staff Exchanges 2023 (HORIZON-MSCA-2023-SE-01)

    Deadline: Wednesday 28 February 2024
    MSCA Staff Exchanges promote innovative international, inter-sectoral and interdisciplinary collaboration in research and innovation through exchanging staff and sharing knowledge and ideas at all stages of the innovation chain.
  • PhDs in the Humanities 2024

    Deadline: Tuesday 27 February 2024

    The aim of the PhDs in the Humanities funding instrument is to provide research talent with the opportunity to carry out an independent PhD project.

    For more information, see https://www.nwo.nl/en/calls/phds-in-the-humanities-2024 or contact Robert van Rooij at .
  • ETAPS Test of Time Award 2024

    Deadline: Monday 5 February 2024

    The ETAPS Test of Time Award, instituted 2017, recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. The winners of the ETAPS Test of Time Award receive a recognition plaque at ETAPS and a cash award of 1200€ which is shared among the authors.

    Nominations for the 2024 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should be endorsed by at least 2 people other than the person submitting nomination. Self-nominations are not allowed.

    For more information, see https://etaps.org/awards/test-of-time/ or contact Don Sannella at .
  • KNAW Early Career Partnerships

    Deadline: Thursday 1 February 2024

    The KNAW Early Career Partnerships are intended to encourage early-career researchers to enter into or develop interdisciplinary partnerships that will lead to new insights in research across all domains. Postdoctoral researchers at the beginning of their careers can apply for up to EUR 10,000 to organise an interdisciplinary meeting in the Academy's Trippenhuis complex or another location of their choice.

  • FGw Aspasia Fund

    Deadline: Monday 15 January 2024

    The UvA FGw Aspasia Fund was established as an encouragement for women faculty members, to help them prepare to take a next step in their career by strengthening their academic profile.  The fund facilitates small grants for lecturers (D), assistant professors (UD) and associate professors (UHD) which can be tailored to individual needs that fit the applicants’ career stage as well as their personal circumstances in terms of, for example, care duties. Women can apply for temporary increase of research time, but also for (small) travel grants, research support, et cetera. The Aspasia Fund is currently inviting applications for the academic year 2024-2025.

  • logo_khmw_300.png

    KHMW Dissertation Prize Interdisciplinarity 2024

    Deadline: Monday 15 January 2024

    You can now submit nominations for the KHMW Dissertation Prize Interdisciplinarity 2024, honoring research with a distinctive interdisciplinary character that transcends the boundaries between the classical alpha/beta/gamma scientific domains. The €10,000 prize is intended as an encouragement for researchers who completed their Ph.D. between September 1, 2022, and August 31, 2023.
    The prize, established since 2023 by the Dr. Elizabeth Schram-Mulley (ESM) Foundation, is awarded by the Royal Holland Society of Sciences. The foundation honors the memory of and manages the legacy of Dr. Schram-Mulley, who, as a publisher and benefactor, held research and education in high regard.

    For more information, see https://khmw.nl/khmw-proefschriftprijs-interdisciplinariteit/ or contact KHMW secretariat at .
  • Ertegun Graduate Scholarship Programme in the Humanities

    Deadline: Friday 5 January 2024
    Oxford is immensely proud to be able to offer the Ertegun Scholarships in the Humanities. The University has one goal in mind when selecting Ertegun Scholars: to choose the very best students who will realise Mica Ertegun’s Mission and one day become leaders in their chosen fields.
    For more information, see https://www.ertegun.ox.ac.uk/scholarships or contact .

Open Positions at ILLC

Open Positions, General

  • Two fully funded PhD Positions in Informatics: Algorithms/ Logic and AI, Bergen (Norway)

    Deadline: Monday 18 March 2024

    Exciting opportunities for two PhD Research Fellows in Algorithms, Logic, and AI at the Department of Informatics at the University of Bergen. The positions are for a fixed-term period of 3 years with the possibility of a 4th year with compulsory other work (e.g. teaching duties at the Department). The positions are subject to financing by the TMS-grant Trustworthy AI and by the University of Bergen. The successful candidate must be able to start in the position no later than September 30th, 2024.

    The PhD positions are available within the "Algorithmic Foundations of Trustworthy AI" project. This collaborative endeavour, spanning the Department of Informatics and the Department of Information Science and Media Studies, aims to develop novel theories for understanding, developing, and designing socially aware algorithms. Successful candidates will actively contribute to research on reconciling social parameters and algorithmic efficiency, as well as the development and application of formal social models. This presents a unique chance to engage in ground-breaking work at the intersection of AI, Algorithms, Logic, and Social Sciences.

    Applicants must hold a master's degree or equivalent education in Computer Science or Mathematics. Master students can apply provided they complete their final master exam before 25.06.2024. It is a condition of employment that the master's degree has been awarded.

  • PhD 3y+ at the research group for Theoretical Computer Science, Hamburg (Germany)

    Deadline: Monday 18 March 2024

    The research group for theoretical computer science at the Hamburg University of Technology is inviting applications for one full-time PhD position to do research in the field of constraint satisfaction problems over infinite sets. The research will take place under the supervision of Antoine Mottet. The project offers a variety of questions in many different fields of mathematics and computer science (universal algebra, (finite) model theory, topology, and computational complexity to name a few).

    The position is a full-time position on the echelon E13 of the German public salary scale (100% TV-L E13, which amounts to about 2600 euros net per month depending on family situation) for a duration of 3 years, with a possibility of extension. Participation in the teaching activities of the group is possible and encouraged at a small volume (around 3 hours per week during the lecture periods). The starting date is flexible.

    The successful applicant holds or is about to finish a Master's degree in computer science (with a theoretical focus) or mathematics. They are motivated by academic research and have a broad background in computer science or mathematics. They should be motivated to do cutting edge research in the fields of universal algebra, finite model theory and model theory of countably categorical structures, and computational complexity.

  • Assistant Prof Philosophy of the formal sciences, Copenhagen (Denmark)

    Deadline: Sunday 3 March 2024

    The Section for History and Philosophy of Science at the Department of Science Education of the University of Copenhagen seeks an excellent scholar for a position in the history and philosophy of the formal sciences. The position is at the Tenure-track Assistant Professor level. The position is open from 1 September 2024 or as soon as possible thereafter.

    We seek candidates with a research record of relevance to scientific practice (e.g., philosophy of science in practice, integrated history and philosophy of science, socially relevant philosophy of science, or similar) in the formal sciences. Backgrounds in more traditional as well as more modern specialty areas in the history and philosophy of the formal sciences, e.g., data science, machine learning, and big data, are welcome, if they relate to scientific practice and the candidate is fully capable of teaching in all our formal science courses.

  • Danish Data Science Academy postdoc and PhD positions, Copenhagen (Denmark)

    Deadline: Wednesday 28 February 2024

    The Danish Data Science Academy invites applications for postdoc and PhD fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The postdoc call is at https://ddsa.dk/postdocfellowshipprogramme/ and the PhD call at https://ddsa.dk/phdfellowshipprogramme/, and the application deadline is February 28, 2024.

    Applications can be within any field of data science aligning with the DDSA research scope, including, but not limited to, algorithms research within data science and AI and applications of data science or computer science to other areas in natural, technical, or life sciences. 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 and can be directed to Jakob Nordstrom or other faculty in the section. Please contact us during January if you are interested, so that there is enough time to talk about your research ideas and provide feedback on how to turn them into a successful DDSA proposal.

    For more information, see https://jakobnordstrom.se/openings/ or contact Jakob Nordstrom at .
  • 4y PhD in Computational Data Analytics, Linz (Austria)

    Deadline: Wednesday 7 February 2024

    We are currently looking for a university assistant (full-time doctoral student for up to 4 years) for the Computational Data Analytics group of Prof. Johannes Fürnkranz. The group is part of the ELLIS Unit Linz, opens an external URL in a new window (founded and headed by Sepp Hochreiter) a leading center for machine learning and artificial intelligence research in Austria and beyond. We are particularly interested in researchers who will strengthen our expertise in one or more of the following areas:
    - Machine Learning and Game Playing
    - Symbolic Machine Learning
    - Machine Learning and Logic
    - Inductive Rule Learning
    - Interpretable AI
    - Data Mining and Knowledge Discovery

  • Computational Linguistics Principal Investigator position at Associate/Assistant Professor level, Trento (Italy)

    Deadline: Thursday 1 February 2024

    The Center for Mind/Brain Sciences (CIMeC) at the University of Trento, Italy, invites expressions of interest from highly motivated scholars coming from outside of Italy with the view to open a principal investigator position at the level of Associate Professor or Tenure Track Assistant Professor (in the latter case, if after 3 years the tenure track AP has obtained the Italian Scientific Habilitation for Associate Professor, they will be evaluated to obtain the Associate Professor Position at CIMeC). Applicants are expected to have had a 3-year position abroad at the time and level they apply to.

  • 1LundUniversity-square.png

    Postdoc and PhD positions in Theoretical Computer Science, Lund (Sweden)

    Deadline: Wednesday 31 January 2024

    The Department of Computer Science at LTH Lund University invites applications for a 2-year postdoc position and up to two PhD positions in theoretical computer science with focus on computational complexity and algorithms to be working in the research group of Susanna de Rezende. Both postdoc and PhD positions are full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD positions are four-year positions but usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year.

    There is a growing research group in foundations of computer science at Lund University. We expect to have eight PhD students by the autumn, in addition to three faculty and some MSc students. The PhD students can also look forward to interacting with the four 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/ or contact Susanna de Rezende at .
  • Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning, Lund (Sweden)

    Deadline: Friday 26 January 2024

    The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.

    The assistant professor will be working at the Department of Computer Science, where research into the foundations of computer science is conducted by professors Susanna de Rezende and Jakob Nordstrom. Jakob Nordstrom leads the research group Mathematical Insights into Algorithms for Optimization (MIAO) group, which is also active at the University of Copenhagen.

    The position focuses on algorithms for foundational problems within logic, automated reasoning, and combinatorial optimization. This includes design and implementation of algorithms for computational problems within Boolean satisfiability (SAT) solving, constraint programming, mixed integer linear programming, and/or satisfiability modulo theories (SMT) solving. In addition to algorithm construction, another topic of interest is to develop a scientific understanding of the practical performance of automated reasoning algorithms, and to investigate relations between empirical observations and theoretical results in algorithm analysis and computational complexity theory. Yet another related area concerns methods of ensuring that algorithms compute provably correct results, which can be used to develop trustworthy solvers for automated reasoning and combinatorial optimization.

  • PhD Position in Computable Analysis and effective geometric measure theory, Swansea (UK)

    Deadline: Friday 26 January 2024

    We have an open call for a fully funded PhD position at Swansea University.

    The project is in computable analysis, with a special focus on effective geometric measure theory. The goal of the project is to strengthen the connection between computable analysis and “classical” mathematics, and exploring computability-theoretical notions affect the geometric structure of sets. 

    The deadline for applications is January 26, with formal interviews starting soon after the deadline. The starting date will be October 2024 (it can be deferred to January 2025).

  • Visiting/postdoc researcher in Logic, Semantics, Concurrency, Groningen (the Netherlands)

    Deadline: Wednesday 24 January 2024

    We invite applications for a post-doctoral researcher position at the Fundamental Computing Group of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence. at the University of Groningen, The Netherlands. The successful candidate will work together with Helle Hvid Hansen and Jorge A. Pérez and contribute to the group’s research activities on the formal specification and analysis of software systems (broadly construed).

    The starting date is negotiable, but preferably before April 1st, 2024. The duration of the position will be six months, but there are possibilities for an extension. While this is shorter than a typical postdoc appointment, we see this vacancy as offering an extended “visiting researcher” position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a vibrant research environment and an internationally-oriented university and city.

    We warmly encourage applications from individuals with proven experience in any of the research areas covered by the Fundamental Computing group: modal logic, coalgebra, concurrency theory, type systems, programming languages, semantics, program logics, proof theory, exact algorithms.

  • 2 Lecturer Positions in Computer Science, London (UK)

    Deadline: Monday 22 January 2024

    The Department of Computer Science at Royal Holloway University of London is seeking to appoint two lecturers in Computer Science and welcome applications that would complement and/or strengthen our existing areas of research. Applicants should either have, or have the potential for producing, high quality publications and attracting significant research funding. Applicants will have a track record demonstrated excellence, or will show the potential for excellence, in delivering undergraduate and postgraduate teaching and the supervision of both undergraduate and postgraduate students. The post holder will be expected to contribute strongly to the development of research impact, and the successful applicant will have, or have the potential to have, a strong track record in this area.

    The Department plays an active part in inter-disciplinary activities and benefits from a number of University led initiatives including the ‘Transformative Digital Technologies, Security and Society’, ‘Advanced Quantum Science and Technologies’ and ‘Living Sustainably’ research catalysts and the School will be leading the establishment of a new Centre of Applied AI. In addition to the opportunities with the Department of Computer Science, the post holder(s) will have the opportunity to play a full role in the growth of Applied AI within the School, and across the University more generally.

    For more information, see https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=1223-539 or contact Professor Carlos Matos at .
  • 4y PhD/Postdoc in Formal Methods applied to guide Autonomous Agents based on Reinforcement Learning, Vienna (Austria)

    Deadline: Saturday 20 January 2024

    The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week) or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD in the research area of formal methods applied to guide autonomous agents based on reinforcement learning. The position is in the context of the research project TAIGER: Training and Guiding AI Agents with Ethical Rules, aiming at designing autonomous agents sensitive to (ethical, legal and social) norms.

    The PhD student will be affiliated with the TAIGER project, a new PhD program in Trustworthy Autonomous Cyber-Physical Systems. TAIGER will introduce effective frameworks for equipping RL-based agents with the ability to comply with norms in possible interplay with their goals. Grounded in formal reasoning, the frameworks will be modular and facilitate transparent justification of judgments. Moreover, they will cope with potential contradictions in normative requirements and handle situations in which no compliance is possible, without deviating too much from the optimal behavior the agent has learned.

  • Research and Teaching Assistant (PhD Candidate) in Applied Artificial Intelligence (m/f/x), München (Germany)

    Deadline: Friday 19 January 2024

    Ludwig-Maximilians-Universität München is looking for a Full-Time Research and Teaching Assistant (PhD Candidate) in Applied Artificial Intelligence (m/f/x) (TV-L E13), to work at the  Faculty of Business Administration - Munich School of Management - Institute of AI in Management. Start date: As soon as possible

    Ideally, the candidate has a master's degree in mathematics, applied mathematics, statistics, computer science, or business informatics (or a related field). Fluency in English is required. Work is almost entirely research-centered with limited teaching duties. As part of the team candidates have to be highly self-motivated to perform creative and independent research. Candidates will also gain experience in teaching undergraduate and graduate courses and seminars, and support students in thesis work.

    For more information, see https://job-portal.lmu.de/jobposting/843f83f0ed44f8b087585bd7ae3d2b4bed961ac40 or contact Prof. Stefan Feuerriegel at .
  • PhD or postdoc position in logical modelling of notarial procedures, Erlangen-Nürnberg (Germany)

    Deadline: Thursday 18 January 2024

    A fully funded three-year PhD or postdoc position (E-13 on the German TV-L scale, full time, no teaching obligation) is available at the Theoretical Computer Science lab of Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, with starting date between now and April 2024. The position is affiliated with a large interdisciplinary project involving FAU labs in computer science, linguistics, and law, funded by the German Federal Chamber of Notaries (Bundesnotarkammer). The project is aimed at providing automated support for notarial procedures using methods from formal logic, machine learning, and computational linguistics.

    The position at the Theoretical Computer Science lab, supervised by Lutz Schröder, is concerned with formal logical modelling and reasoning. We are thus looking for a candidate with an MSc or PhD in computer science or mathematics, ideally with a background in logic, in particular modal or description logics.

     

     

    For more information, see https://www8.cs.fau.de/ or contact Lutz Schröder at .
  • logo.jpg

    ERC-Funded PostDoc and PhD positions in combinatorial optimization (certifying algorithms/proof logging), Brussel (Belgium)

    Deadline: Thursday 18 January 2024

    Dr. Bart Bogaerts (AI lab, Vrije Universiteit Brussel) is looking for talented PhD students and PostDocs to join the CertiFOX team. You will work on an exciting project in which we will bring certifying algorithms (proof logging) from low-level languages (such as SAT, where this approach is notoriously succesful) to high-level modelling languages. The grand goal we will work towards is to get end-to-end guarantees of correctness of runs of combinatorial optimization engines, all the way from human-readable input specifications to the produced answers.

    For more information, see https://www.bartbogaerts.eu/jobs/overview.php or contact Bart Bogaerts at .
  • Full Professorship in Formal Methods, Linz (Austria)

    Deadline: Wednesday 17 January 2024

    The Department of Computer Science at the Faculty of Engineering and Natural Sciences at
    Johannes Kepler University Linz invites applications for a permanent full-time position at the
    Institute for Formal Models and Verification (FMV) founded by Armin Biere.

    We are looking for candidates who work in fields like

    • Formal verification or synthesis of software and hardware
    • Techniques and tools of formal verification
    • Formal models and languages
    • Automated reasoning and decision procedures
    • Theoretical foundations of formal verification or synthesis

  • Onderzoeker Moral Smart Cities (PHD kandidaat),Eindhoven (the Netherlands)

    Deadline: Monday 15 January 2024

    Door de straten van de stad trekken om in contact te komen met bewoners. Interacteren met een mobiel moral lab waarin bewoners zelf aan ethische knoppen kunnen draaien van toekomstige technologie. Daar draait het om bij de Moral Data City Hunt-methode (MDCH). De komende vier jaar gaat het lectoraat Moral Design Strategy aan de slag met onderzoeksproject: Moral Smart Cities (RAAK PRO), waarin deze methode centraal staat. Wij zoeken een PhD-kandidaat die de MDCH-methode verder kan uitwerken, verdiepen en valideren en daarnaast de werkpakketten van het project kan vervlechten waarmee het beslissingskader op een consistent en wetenschappelijk solide verankerd geheel geconstrueerd kan worden.

  • Postdoc in Philosophy, Vienna (Austria)

    Deadline: Sunday 14 January 2024

    The University of Vienny is looking for a University Assistant postdoctoral, to start at 03/01/2024. The advertised position is situated in the Institute Vienna Circle (IVC) in the Faculty of Philosophy and Education.

    The IVC stands in the tradition of the historical “Vienna Circle”. In this sense the IVC supports philosophical research projects that respond critically and constructively to issues arising in the special sciences. A further important agenda of the IVC is the integration of different disciplines focused on the sciences (philosophy, history, sociology). The IVC is also dedicated to the documentation, reconstruction and further development of logical empiricism. There exists a close cooperation with the Department of Philosophy (esp. the chairs for philosophy of science) and the “Vienna Circle Society”.

  • PhD vacancy in Formal Methods for NLP, Leiden (the Netherlands)

    Deadline: Saturday 13 January 2024

    Applications are invited for a fully funded PhD candidature at the Leiden Institute of Advanced Computer Science on the use of Formal Methods to enhance the efficiency, transparency and the understanding of Transformer-based language models.

    While large language models (LLMs) have proven successful in many areas of Natural Language Processing, they suffer from high data and resource usage, and display limited generalization capacity in tasks that humans excel at. In this PhD project you will have the opportunity to investigate how formal methods can help in developing more efficient and more transparent models for Natural Language Understanding. Specifically, you will investigate the use of implicit or explicit structural bias in Transformer-based language models to reduce training data and model parameters; additionally, you will look at novel techniques for evaluating models for their generalization capabilities on Natural Language Understanding tasks such as Natural Language Inference, possibly in a multilingual and multimodal setting.

    This is an autonomous PhD candidature and as such, you are expect to write a brief research proposal (max 1. page). The specific project content is to be decided between the applicants' interest and the expertise of the supervisor, dr. Gijs Wijnholds. The deadline to apply is January 13th, with a starting date in March 2024 or as soon as possible thereafter.

  • PhD positions in TCS and/or combinatorial optimization, Copenhagen (Denmark)

    Deadline: Wednesday 10 January 2024

    The 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 in algorithms and complexity theory. 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 would be August-September 2024.

    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/PhD-UCPH-240110.html or contact Jakob Nordstrom at .
  • Postdoc positions in TCS, Copenhagen (Denmark)

    Deadline: Wednesday 10 January 2024

    The 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 2024.

    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. The University of Copenhagen is currently expanding strongly in computer science. We expect to have tenure-track openings in in the coming years, and welcome postdoctoral researchers interested in exploring such opportunities.

    For more information, see http://www.jakobnordstrom.se/openings/Postdoc-UCPH-240110.html or contact Jakob Nordstrom at .
  • Fully funded PhD Studentship in Proof-theoretic Semantics at UCL, Londen (UK)

    Deadline: Monday 8 January 2024

    Proof-theoretic semantics (P-tS) offers a practical foundation for the meaning of logical theories that is grounded inference — that is, reasoning — rather than the abstract structures of model theory. It lies within the philosophical position known as inferentialism. As such, P-tS offers an alternative foundation for mathematical logic that places reasoning at the heart of meaning. P-tS has two primary variants: Dummett-Prawitz validity, closely related to Brouwer-Heyting-Kolmogorov semantics, and base-extension semantics, which can be seen as bridge to model-theoretic semantics. Base-extension semantics will be the primary focus of this project, with the Dummett-Prawitz view also relevant.

    This studentship (intersecting informatics, mathematics, philosophy) will address giving proof-theoretic semantics to non-classical logics, developing the necessary abstract mathematical meta-theory and exploring the significance of inferentialist semantics, and its mathematical realization, for systems verification. This latter aspect will build directly on connections between the proof-theoretic foundations of logic programming and base-extension semantics recently established at UCL. Connections to simulation modelling and its inferentialist interpretation may be explored.

    The student will work with Prof. David Pym (Computer Science and Philosophy), Dr. Elaine Pimentel (Computer Science), and Prof. Tim Button (Philosophy), and be based in the Programming Principles, Logic, and Verification group.