Everyone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students, and collaborators to a morning on ChatGPT & the university.

How does it work? What can it do, and what can it not do? What are some of the ethical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions. With: Prof Raquel Fernández (dialogue systems), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezzelle (responsible AI), and others.

Machine Translation (MT) is a core technique for reducing language barriers for spoken languages. Although MT has come a long way since its inception in the 1950s, it still has a long way to go to successfully cater to all communication needs and users. When it comes to the deaf and hard of hearing communities, MT is in its infancy. The complexity of the task to automatically translate between SLs or sign and spoken languages, requires a multidisciplinary approach.

The rapid technological and methodological advances in deep learning, and in AI in general, that we see in the last decade, have not only improved MT, recognition of image, video and audio signals, the understanding of language, the synthesis of life-like 3D avatars, etc., but have also led to the fusion of interdisciplinary research innovations that lays the foundation of automated translation services between sign and spoken languages.

The AT4SSL workshop aims to open a (guided) discussion between participants about current challenges, innovations and future developments related to the automatic translation between sign and spoken languages. To this extent, AT4SSL will host a moderated round table around the following three topics: (i) quality of recognition and synthesis models and user-expectations; (ii) co-creation - deaf, hearing and hard-of-hearing people joining forces towards a common goal and (iii) sign-to-spoken and spoken-to-sign translation technology in media.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.
The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

LATD 2023 will take place in Tbilisi (Georgia) from 11 to 15 of September. It will be co-located with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 September, there will be the Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).

The special focus of PROGIC2023 is Knowledge representation and reasoning. Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account. Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.

Invited Speakers: Joe Halpern (Cornell University), Gabriele Kern-Isberner (TU Dortmund), Aybüke Özgün (University of Amsterdam) and Jon Williamson (University of Kent).

The workshop will comprise five 90-min sessions, one per day, with invited and contributed talks. It is intended to bring together active researchers in the areas of first-order modal and temporal logics and graduate students interested in these areas, to discuss the state of the art and the most important directions and perspectives for future developments in the areas.Topics of interest include, but are not limited to the following for first-order modal and temporal logics:- languages, models, and semantics;- proof theory, deductive systems, and completeness/incompleteness results;- decidability, undecidability, complexity;- problems and applications in philosophy, mathematics, computer science and artificial intelligence.

[LICS Affiliated Workshop] Nearly a century has now passed since D. Hilbert and W. Ackermann asked if there an algorithm which, when given a formula of first-order logic, determines whether that formula is satisfiable. The negative answer provided by A. Church and A. Turing only a decade later transformed this question into a classification programme: for which fragments of first-order logic, we ask, is the problem of determining the satisfiability of a given formula decidable? Can we chart, in the words of W.V.O. Quine, the limits of decision in first-order logic? Indeed, logicians now typically set themselves a more ambitious goal: given a fragment of first order logic, if its satisfiability (and/or its finite satisfiability problem) is decidable, what is its computational complexity?

From early work on quantifier-prefix fragments, the study of the satisfiability problem (and finite satisfiability problem) for fragments of first-order logic, and indeed of its non-first-order extensions,has now become a central topic in Computational Logic. The aim of the workshop, affiliated with LICS 2023, is to highlight recent developments in this area, with particular emphasis on those fragments which have been the focus of recent interest. These include, for example: Modal and description logics; Logics for ontology-based data access; The negation-guarded fragment; The fluted fragment; Separation logics; Logics of dependence and independence; Combinations of existing fragments.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023.

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.