These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
8 - 11 July 2024, Highlights in the Language Sciences Conference 2024, Nijmegen, the NetherlandsLocation: Nijmegen, the Netherlands
The Language in Interaction Consortium (LiI) is pleased to announce the Highlights in the Language Sciences Conference 2024, celebrating the conclusion of our 10-year Gravitation Programme and the advances made in language-related disciplines including genetics, neuroscience, psychology, linguistics and computational modeling.
The conference will take place 8-11 July 2024 at the Radboud University in Nijmegen. We are putting together an exciting programme with top-level key experts in the relevant fields of research. Confirmed speakers include David Poeppel (NYU, Strungmann Institute, Frankfurt), Ghislaine Dehaene-Lambertz (CNRS Paris), Vera Demberg (Universität des Saarlandes), Uri Hasson (Universiy of Princeton), Barbara Kaup (University Tübingen), Tal Linzen (NYU).
Abstract submission for the poster session will open in October 2023.For more information, see https://www.languageininteraction.nl/event/lii-final-conference/.
CfP topical collection of Synthese on Hyperintensional Formal EpistemologyDeadline: Friday 1 December 2023
This Topical Collection is devoted to hyperintensionalism in formal epistemology, aiming to collect and bring into contact both contributions developing particular formal hyperintensional theories of epistemic phenomena (broadly construed) as well as more general, foundational discussions of the reasons for, and against, adopting a hyperintensional approach. Appropriate Topics for Submission include, among others: arguments for and against hyperintensionalism in formal epistemology, hyperintensional theories of belief revision, belief, credence, knowledge, and other epistemic notions, the methodology of formal epistemology, the role of model-building and idealization in formal epistemology, applications of hyperintensional methods in philosophy and beyond (computer science, AI).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 1 December, 2023.
4 - 6 June 2024, 16th NASA Formal Methods Symposium (NFM 2024), Moffett Field, California/USLocation: Moffett Field, California/USDeadline: 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.
8 - 11 April 2024, 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), Sheffield, UKLocation: Sheffield, UKDeadline: 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.
* 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.
CfP topical collection of Global Philosophy on "Mathematical neutrality in science, technology, & society"Deadline: Friday 15 December 2023
Mathematics is usually regarded as a discipline which admits no grey areas in most situations: answers are either correct or incorrect; there is a universal, objective, correct answer. Similarly, it is usually considered that mathematics is the universal language of the world, one that describes it "as it is". On the other hand, ethical, moral and political questions are usually not "correct" or "incorrect", they are complicated and full of grey areas. This makes it extremely tempting to see the sciences and mathematics as a good way to settle disputes concerning issues like justice or equity. Recent scholarship warns about the increasing use of mathematical techniques in order to prescribe policies and produce knowledge under a veil of neutrality, and argues that we should carefully evaluate the consequences of these techniques in science and society.
This Topical Collection aims at contributing to this literature. Topics include but are not limited to: - The moral responsibility of pure and applied mathematicians - Value-ladenness of mathematics - Algorithmic governance - The mathematization of science: how (not) to use mathematics, and ethical/epistemic consequences - Statistics in science and society: how (not) to use statistics, and ethical/epistemic consequences - Ethical concerns about mathematics education.
Special Issue I of Kuenstliche Intelligenz on Non-Classical Reasoning for Contemporary AI ApplicationsDeadline: Monday 18 December 2023
This special issue aims at providing an overview of recent work in automation of expressive non-classical logics, AI-related applications thereof, and discussions of perspectives in explicit symbolic knowledge representation and reasoning in contemporary AI applications. Technical contributions (of up to 20 pages), abstracts (4 pages), e.g., on doctoral theses or habilitations, system descriptions (4-6 pages), project reports (4-6 pages), or discussion articles (4-8 pages), are welcome. All submissions will be peer-reviewed.
The full CfP can be found at https://www.springer.com/journal/13218/updates/25263164 (but please ignore the old deadline). If you have any questions, please do not hesitate to contact me (alexander.steen at uni-greifswald.de).
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 18 December, 2023.
11 - 15 March 2024, Seventeenth International Conference on Computability, Complexity and Randomness (CCR2024), Nagoya, JapanLocation: Nagoya, JapanDeadline: 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.For more information, see https://sites.google.com/view/ccr2024/.
22 - 24 May 2024, Symposium "Engaging Rationality Today", Lille, FranceLocation: Lille, FranceDeadline: 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.
Guidelines for contributions – 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?
In your application, please mention in which session (or sessions) your contribution would be most appropriate. True to our multidisciplinary goals, we invite a broad variety of approaches and methods and welcome researchers from any background. Deadline: January 8, 2024 Abstracts: If you would like to present, please submit an anomymous abstract (max.of 800 words) in a pdf format. >
11 - 13 April 2024, Foundations of Mathematics, Truth, and Implicit Commitments (FOMTIC), Warsaw, PolandLocation: Warsaw, PolandDeadline: 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.
6 - 7 April 2024, 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2024), Luxembourg City, Luxembourg (co-located with ETAPS)Location: Luxembourg City, LuxembourgDeadline: 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.
16 - 18 May 2024, Formal Methods and Science in Philosophy V, Dubrovnik, CroatiaLocation: Dubrovnik, CroatiaCosts: 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.
Abstracts 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 template. 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.
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.
8 - 12 July 2024, 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2024), Tallinn, EstoniaLocation: Tallinn, EstoniaDeadline: 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 ProgrammingFor more information, see https://compose.ioc.ee/icalp2024/.
24 - 28 June 2024, Logic Colloquium 2024 (LC 2024), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: 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.
19 - 23 August 2024, 15th International Conference on Advances in Modal Logic (AiML 2024), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: 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.
18 - 21 June 2024, 37th International Workshop on Description Logics (DL 2024), Bergen, NorwayLocation: Bergen, NorwayDeadline: 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.
(New) 15-19 July 2024 & 8-9 July 2024, 14th International Conference on Formal Ontology in Information Systems (FOIS 2024), Enschede (Netherlands) & onlineLocation: Enschede (Netherlands) & onlineDeadline: Monday 8 July 2024
Formal ontology is the systematic study of the types of entities and relations making up the domains of interest represented in modern information systems. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.
FOIS 2024 will be held both online (8-9 July 2024) and in Enschede, the Netherlands (15-19 July 2024), by the Semantics, Cybersecurity & Services group of the University of Twente. The conference includes the following: Contributed Lectures - Workshops - Joint Ontology Workshops (JOWO) - Tutorials - Ontology showcase - Demonstrations - Project exhibitions.
The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics:- Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspects of information systems. - Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. - Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use.
FIOS 2024 also currently calls for Workshop Proposals (submission deadline: 14 december) and
Journal-first Paper submission (submission deadline: 17 April 2024).
Call for nominations: 2023 Victor Lesser Distinguished Dissertation Award
IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems, is pleased to announce the call for the 2023 Victor Lesser Distinguished Dissertation Award. The award is named after Professor Victor Lesser, a long-standing member of the AAMAS community who has supervised a large number of outstanding PhD students in the area. It is awarded for dissertations written as part of a PhD, defended in the specified period, and nominated by the supervisor (with supporting references), which show originality, significance and impact, and are supported by high quality publications.
Nominations are invited for the award which is sponsored by IFAAMAS and will be presented at AAMAS-2024. Eligible doctoral dissertations are those defended between October 1, 2022 and September 30, 2023 (both endpoints included) in the area of Autonomous Agents or Multiagent Systems. The award includes a certificate and a 1500 EUR payment. Every submitted dissertation must be nominated by the thesis supervisor.
13 November 2023 - 30 January 2024, ACE Incubation ProgramLocation: Startup Village, Science Park 608, AmsterdamTarget audience: Students, researchers and academics with a tech or science-based business idea.Costs: Free of charge
ACE (Amsterdam Center for Entrepreneurship) is the university business incubator in Amsterdam. ACE is powered by the University of Amsterdam, Vrije Universiteit Amsterdam, Hogeschool van Amsterdam and Amsterdam UMC.
With the ACE incubation program we help turn entrepreneurial academics into academic entrepreneurs. The 10-week program consists of hands-on expert sessions with seasoned entrepreneurs, growth sessions to keep yourself and your peers accountable for your growth and networking events that connect you to experienced mentors, relevant service providers and potential investors.
6 - 8 December 2023, Workshop on Contradictory Logics, Bochum, GermanyLocation: Bochum, Germany
The first workshop ever on non-trivial negation inconsistent logics is going to be held at Ruhr University Bochum, December 6-8, 2023.For more information, see here or at https://sites.google.com/view/1stworkshoponcontradictorylogi/home or contact sara.ayhan at rub.de.
7 December 2023, Conference on Techniques from Logic in Mathematics (CTLM 2023), Vienna, AustriaLocation: Vienna, Austria
CTLM 2023 is aimed to enhance the engagement between domestic researchers/students and external researchers working in connections between logic and other areas of mathematics.
Invited speakers: Julia Wolf (University of Cambridge, UK) and Ulrich Kohlenbach (TU Darmstadt, Germany).For more information, see https://sites.google.com/view/techniquesfromlogic/ or contact Lorenzo Sauras-Altuzarra at lorenzo at logic.at.
8 December 2023, Annual VvL Joint SeminarLocation: The Sweelinckzaal (Room 0.05), Drift 21, Utrecht
Utrecht University will organize the second edition of the annual seminar of the Dutch Association for Logic (VvL). The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis.
Main Speaker: Natasha Alechina.
MSc Thesis Prize winners: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate).For more information, see http://www.verenigingvoorlogica.nl/en/Activities/VvL-Joint-Seminar/.
14 - 16 December 2023, 19th Annual Conference of the Italian Association for Cognitive Sciences (AISC 2023): “Values and Cognition", Genoa, ItalyLocation: Genoa, Italy
The 19th AISC Conference will focus on the relationship between values and cognition, a topic that defines a heterogenous set of problems that cuts across the various souls of cognitive science, in a truly interdisciplinary perspective. What role do values play within cognitive science research? What ethical and social repercussions do the most recent discoveries in AI, neuroscience, cognitive and comparative psychology have? What cognitive processes are involved in aesthetic and moral judgements? How is evaluative language processed? To properly address such questions, a variety of viewpoints, coming from AI, linguistics, neuroscience, philosophy, and psychology are needed. We welcome presentations on the state of the art and on ongoing research, as well as presentations on perspectives that encourage interdisciplinary dialogue among the various subdisciplines of cognitive science.
Confirmed speakers - Fabrizio Calzavarini, Università di Torino (winner of the AISC Young Researcher Prize 2022) - Cristiano Castelfranchi, ISTC, CNR, Roma - Ute Schmid, Universitaet Bamberg - Murray Smith, Kent University - Simone Sulpizio, Università di Milano-Bicocca - Pascale Willemsen, Universitaet Zurich.
18 - 20 December 2023, 36th International Conference on Legal Knowledge and Information Systems (JURIX 2023), Maastricht, the NetherlandsLocation: Maastricht, the Netherlands
For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence, and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems.
The purpose of the JURIX conference series is to foster scientific exchange between researchers, practitioners, students, dedicated to exploring recent advancements, challenges, and opportunities of technologies applied to legal and para-legal activities.
8 January 2024, Workshop on Directions and Perspectives in the Lambda-Calculus, Bologna, ItalyLocation: Bologna, ItalyCosts: 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.For more information, see https://site.unibo.it/diapason/en/agenda/directions-and-perspectives-in-the-lambda-calculus or contact davide.barbarossa at unibo.it, or gabriele.vanoni at irif.fr.
11 - 12 January 2024, Third Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMat 2023), Rome, ItalyLocation: Rome, ItalyTarget audience: PhD students / early postdocs
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.For more information, see https://filmatnetwork.com/2023/07/25/3rd-filmat-graduate-conference-philosophy-of-mathematics-models-methods-and-applications-call-for-papers/ or contact Gabriele Pulcini at gabriele.pulcini at uniroma2.it.
12 - 15 January 2024, 1st South American LOgic MEeting (SALOME 1), Cusco, PeruLocation: Cusco, Peru
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.
14 January 2024, Dafny 2024Location: London, UK
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.
15 January 2024, Formalize!(?) – 4: A philosophical & educational perspective on formalization in mathematics, OnlineLocation: 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?
15 - 16 January 2024, 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), London, U.K.Location: London, U.K.
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.For more information, see https://popl24.sigplan.org/home/VMCAI-2024.
29 - 30 January 2024, Workshop on Proof Systems for Modal Fixed Point LogicsLocation: 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 j.m.w.rooduijn at uva.nl.
19 - 23 February 2024, Computer Science Logic 2024 (CSL 2024), Naples, ItalyLocation: Naples, Italy
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.For more information, see https://csl2024.github.io/Home/.
28 February - 1 March 2024, Computational approaches to metaphor & figurative language (DGfS 2024), Bochum, GermanyLocation: Bochum, Germany
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.
5 - 6 March 2024, 6th Asian Workshop on Philosophical Logic (AWPL 2024), Sapporo, JapanLocation: Sapporo, Japan
The 6th Asian Workshop on Philosophical Logic will be held on 5-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).
30 - 31 March 2024, 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM IV): "The Connectives in Logic and Language", Beijing, ChinaLocation: Beijing, China
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.For more information, see http://tsinghualogic.net/JRC/tllm/2024connectives/ or contact Jialiang Yan at jialiang.yann at gmail.com.
9 - 11 April 2024, 1st Conference of the European Network for Digital Democracy (EDDY), RotterdamLocation: Rotterdam
In recent years, digital democracy has become a subject of academic research and is being put into practice around the world. However, the scientific investigations and practices of digital democracy are currently still living mostly in separate universes. The aim of this conference is to further advance digital democracy, by bringing together academics and practitioners actively working on or with digital democracy. This way we want to foster collaboration and knowledge exchange.For more information, see https://www.eddy-network.eu/in-person-conference/.