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.

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. 

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. 

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). 

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.

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.

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.

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).

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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)

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.

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.

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.

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.