The 28th International Conference of Text, Speech and Dialogue (TSD2025) will explore the topics in the field of speech and natural language processing, in particular:
- corpora, texts, transcription, and translation;
- speech analysis, recognition, and synthesis;
- their intertwining within dialogue systems.
This event continues the tradition of the TSD series, which started in 1998 and has become a prime forum for interaction between researchers in computer processing of both spoken and written language from all over the world.
The conference program will include Invited Papers, Oral Presentations, and Poster/Demonstration Sessions. The conference is planned as an on-site event. The conference will offer a rich social programme.
Feminist Logic is a relatively new but upcoming area of study. Work in this field sheds light on sexist (and other) biases in the area of logic. This is a very broad conception but it captures the diversity of the area of Feminist Logic. More specifically, Feminist Logic can mean to use logical tools for feminist ends; to look at the history of logic from a feminist perspective; to consider teaching practices in logic and how those disadvantage certain underrepresented groups, to devise, revise and/or argue for logical systems from a distinctly feminist perspective. This workshop aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.
List of speakers: Sara Ayhan (Ruhr University Bochum), Roy T. Cook (University of Minnesota), Maureen Eckert (UMass Dartmouth), Viviane Fairbank (University of St Andrews), Becca Kosten (University of Minnesota), Franci Mangraviti (University of Padova), Gillian Russell (Australian National University), Sara L. Uckelman (Durham University).
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP, mathematics, relations to general AI (AGI), Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. AITP'25 is planned as an in-person conference.
Registrations are open for a Summer School in Cetraro, Italy, September 1-5 , 2025, on "Topology, dynamics, and logic in interaction". Lecturers: Alessandro Codenottim Aleksandra Kwiatkowska, Aristotelis Panagiotopoulos, Krzysztof Krupiński,Tomás Ibarlucía and Jeffrey Bergfalk,
Young participants (PhD Students and PostDoc Researchers) can apply for grants covering local expenses.
The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.
This year we will include a Special Track on Logics for Explainable and Trustworthy AI. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. Also there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500.
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory. Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
The Workshop Modalities and Quantification in Reasoning focuses on current trends in logic, philosophy of logic and philosophy of language. The workshop will take place on September 18th and 19th, 2025, and is organized by the Department of Philosophy of the Central European University (CEU), within the FWF-DFG project Modal Reasoning, Quarc, and Metaphysics (MODREQUAM).
In the upcoming workshop "Acquaintance, Familiarity & Value" we will explore topics surrounding the phenomenon of the “acquaintance inference" of aesthetic language. The use of aesthetic language to describe an object (e.g., predicates of personal taste, aesthetic adjectives, subjective attitude verbs) invites the inference that the speaker has first-hand acquaintance with that object. E.g., if I tell you that The Birth of Venus is a wonderful painting, you are likely to assume that I have seen The Birth of Venus. This seemingly trivial observation has intrigued linguists, aestheticians, and philosophers of language, especially in the last 10+ years.
Recently, researchers have turned their attention to other phenomena with similar features, e.g., the "practical opinionatedness" inference of moral predicates, the familiarity inference triggered by verbs like ‘consider’, or acquaintance inferences triggered by other expressions, e.g. appearance predicates.