Logic and the philosophy of mathematics are central and fou ndational sub-disciplines in philosophy. However, graduate students working in these areas often str uggle to find access to forums in which they can d iscuss their work with peers. The aim of this conf erence is to provide graduate students working in these and related areas with such a forum.
\nAdditionally, the conference has been co-founde d by the ILLC's own Luca Incurvati!
\nThis is an unrivalled opportunity for gra duate students interested in logic, philosophy of mathematics, and other formal areas of philosophy to present their work. A representative, but nonex clusive, list of subdisciplines would be: philosop hy of mathematics, logic and philosophy of logic, applications of logic to epistemology and metaphys ics, formal epistemology, decision theory, and app lications of formal methods to the philosophy of s cience.
\nPapers should be no longer than 4000 words (including footnotes and appendic es, excluding references) and suitable for a 40 mi nute presentation. They should also be accompanied by an abstract of no more than 150 words. The sub mission deadline is adjusted for the UK time.
\ n URL:https://sites.google.com/view/cambridgelogic20 ?pli=1&authuser=0 END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/163 94/12---14-November-2026-XVI-Portuguese-Category-S eminar-Coimbra-PT- DTSTAMP:20261009T172000 SUMMARY:XVI Portuguese Category Seminar, Coimbra [ PT] DTSTART;VALUE=DATE:20261112 DTEND;VALUE=DATE:20261114 LOCATION:Coimbra [PT] DESCRIPTION:The meeting welcomes researchers and s tudents interested in category theory and its conn ections with logic, computer science, algebra and topology. Registration is free. Submission deadlin e is 29 October, and registration closes on 5 Nove mber. We welcome abstracts for contributed talks on category theory and its connections with algebr a, topology, logic and computer science. Please s ubmit your abstract by 29 October 2026, using the LaTeX template available on the seminar website. S end both the .tex source and the compiled PDF, tog ether with the completed registration form in the email body, to mmc at mat.uc.pt with the subject “ PCS-2026 SUBMISSION”. X-ALT-DESC;FMTTYPE=text/html:The meeti ng welcomes researchers and students interested in category theory and its connections with logic, c omputer science, algebra and topology. Registratio n is free. Submission deadline is 29 October, and registration closes on 5 November.
\nWe welcome abstracts for contributed talks on category theory and its connections with algeb ra, topology, logic and computer science.
\n < p>Please submit your abstract by 29 October 2026, using the LaTeX template available on the seminar website. Send both the .tex source and the compile d PDF, together with the completed registration fo rm in the email body, to mmc at mat.uc.p t with the subject “PCS-2026 SUBMISSION”.\ nCLMPST is the premier forum on Logic, Methodology and Philo sophy of Science and Technology. Its aim is to bri ng together active researchers in this broad field . CLMPST has a long history — it started in 1960, and has been held every four years since then in c apital cities and/or by leading university centres in this field. Recent previous CLMPST Congresses were held in Buenos Aires (2023), Prague (2019), Helsinki (2015), Nancy (2011), and Beijing (2007).
\nWelcomed are papers and sy mposia from across all areas of logic, philosophy of science, and philosophy of technology. The aim is to feature presentations from across the wide a rray of topics pertaining to our fields, from math ematical logic to metaphilosophy, from the foundat ions of the exact sciences to philosophy of the hu manities and social sciences, from philosophy of t echnology to historical perspectives on the scienc es, presented by researchers from around the world . CLMPST is particularly enthusiastic about propos als that reach across disciplines, that incorporat e speakers from different countries or regions, th at explore public engagement and/or social implica tions of academic work, or that reflect on relatio nships and contributions of different knowledge sy stems.
\nWe are organiz ing a thematic school with a strong interdisciplin ary focus centered on linguistics, logic, the role of diachrony in conditional constructions, and co rpus studies. Following three successful thematic schools in 2019, 2022, and 202 4, the upcoming Conditionals school will take place at INALCO in Paris from October 26 to 30, 20 26. Invited speakers include Hadil Karawani (Konstanz), Stefan Kaufmann (Connecticut), Dean McHugh (Edinburgh), Ezra la Roi (G hent and Leuven), and Alex Reuneker (Leiden).
\n URL:https://contend.sciencesconf.org CONTACT:Ghanshyam Sharma at paris.conditionals at gmail.com END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/163 37/29-October-2026-Workshop-on-definability-algebr a-and-duality-in-non-classical-logic DTSTAMP:20260915T090402 SUMMARY:Workshop on definability, algebra and dual ity in non-classical logic DTSTART;TZID=Europe/Amsterdam:20261029T090000 LOCATION:F3.20, Science Park 107, Amsterdam DESCRIPTION:The DADL workshop aims to connect rese archers and students interested in algebra, dualit y theory non-classical logics (especially intuitio nistic modal logics) and definability problems in these topics (uniform interpolation, higher-order quantifier elimination, normal forms, free algebra constructions, etc). Participation is free and no registration is required. The workshop is co-loc ated with the PhD defense of Rodrigo Almeida. The defense is public and will be held on the 30 of Oc tober at 14:00 at the Aula of the University of Am sterdam (Singel 411, Amsterdam). X-ALT-DESC;FMTTYPE=text/html:\nThe DADL works hop aims to connect researchers and students inter ested in algebra, duality theory non-classical log ics (especially intuitionistic modal logics) and d efinability problems in these topics (uniform inte rpolation, higher-order quantifier elimination, no rmal forms, free algebra constructions, etc). Part icipation is free and no registration is required.
\nThe workshop is co-located with the PhD defense of Rodrigo Almeida. The defense is public and will be held on the 30 of October at 14:00 at the Aula of the University of Amsterdam (Singel 4 11, Amsterdam).
\n URL:https://rodrigonalmeida.github.io/blog/thesisw orkshop/ CONTACT:Rodrigo Almeida at r.dacruzsilvapinadealme ida at uva.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/163 14/29-October-2026-AI‑supported-public-communicati on-through-the-Moral-Data-City-Hunt DTSTAMP:20260904T085247 SUMMARY:AI‑supported public communication through the Moral Data City Hunt DTSTART;TZID=Europe/Amsterdam:20261029T140000 DTEND;TZID=Europe/Amsterdam:20261029T153000 LOCATION:De Bazel, Vijzelstraat 32, Amsterdam [NL] DESCRIPTION:Workshop at the UvA Education Day 2026 How do you have meaningful conversations with st udents about AI in public communication? Using Ams terdam's 'AI imagineering' case and the Moral Data City Hunt, you work with concrete dilemmas around AI‑generated imagery, such as trust, inclusion an d responsibility. You make underlying values and t ensions visible and discover how to use this appro ach to put academic citizenship into practice by f acilitating dialogue and contributing to responsib le innovation. X-ALT-DESC;FMTTYPE=text/html:\nWorksh op at the UvA Education Day 2026
\n < p>How do you have meaningful conversations with st udents about AI in public communication? Using Ams terdam's 'AI imagineering' case and the Moral Data City Hunt, you work with concrete dilemmas around AI‑generated imagery, such as trust, inclusion an d responsibility. You make underlying values and t ensions visible and discover how to use this appro ach to put academic citizenship into practice by f acilitating dialogue and contributing to responsib le innovation.\n URL:https://tlc.uva.nl/en/article/uva-education-da y-2026/ CONTACT:Sebastian De Haro at s.deharo at uva.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 75/23---27-November-2026-Trends-in-Logic-XXVI-–-26 th-International-Conference-on-Trends-in-Logic-Sen dai-JP- DTSTAMP:20260504T112731 SUMMARY:Trends in Logic XXVI – 26th International Conference on Trends in Logic, Sendai [JP] DTSTART;VALUE=DATE:20261123 DTEND;VALUE=DATE:20261127 LOCATION:Sendai [JP] DESCRIPTION:The 26th Trends in Logic international conference is organized by the chair of Philosoph y of Logical Analysis at the Graduate School of In formation Sciences at Tohoku University. Trends in Logic is the conference series of the journal Stu dia Logica. This year's edition of the conference series will be dedicated to recent developments i n non-classical logics, non-classical mathematics and related philosophical questions. This year's edition of the conference series will be dedicated to recent developments in non-classical logics, n on-classical mathematics and related philosophical questions. Any papers relating to an aspect of th e conference topic are welcome. Submissions of ext ended abstracts (up to three pages) should be subm itted as pdf documents by sending them to sara.ayh an.c7 at tohoku.ac.jp and hitoshiomori at gmail.co m. At least one author of each accepted paper mus t register for, and attend, the conference to pres ent their work. X-ALT-DESC;FMTTYPE=text/html:The 26th Trends in Logic international conference is organi zed by the chair of Philosophy of Logical Analysis at the Graduate School of Information Sciences at Tohoku University. Trends in Logic is the confere nce series of the journal Studia Logica.
\nThis year's edition of the conference series will be dedicated to recent developments in non-classi cal logics, non-classical mathematics and related philosophical questions.
\nTh is year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related phi losophical questions. Any papers relating to an as pect of the conference topic are welcome. Submissi ons of extended abstracts (up to three pages) shou ld be submitted as pdf documents by sending them t o sara.ayhan.c7 at tohoku.ac.jp and hitoshiomori at gmail.com.
\nAt least one author of each accepted paper must r egister for, and attend, the conference to present their work.
\nThe Dutch Asso ciation for Logic and Philosophy of the Exact Scie nces is pleased to announce its 2026 Logic at Larg e Lecture. Professor Susanne Bobzien (Oxford and P rinceton) will deliver a lecture entitled 'Stoic P ropositional Logic — more relevant than you think' .
\nThe event will be held online and is o pen to all. No registration is required, simply jo in via this Zoom link: https://uva-live.zoom.us/j/68948380418.
\n URL:https://www.verenigingvoorlogica.nl/en/Activit ies/VvL-Logic-at-Large-Lectures/ CONTACT:Luca Incurvati at l.incurvati at uva.nl CONTACT:Benedikt Löwe at b.loewe at dpmms.cam.ac.u k END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/162 19/8---10-December-2026-icSoftComp2026-the-8th-Int ernational-Conference-on-Soft-Computing-and-its-En gineering-Applications-Singapore-SG- DTSTAMP:20260603T123018 SUMMARY:icSoftComp2026: the 8th International Conf erence on Soft Computing and its Engineering Appli cations , Singapore [SG] DTSTART;VALUE=DATE:20261208 DTEND;VALUE=DATE:20261210 LOCATION:Singapore [SG] DESCRIPTION:icSoftComp2026 is the 8th comprehensiv e soft computing conference dealing with all aspec ts of soft computing. It is a leading internationa l opportunity for AI (in general) and soft computi ng (in particular) professionals and users to inve stigate innovative ideas and outcomes, and to exch ange experiences on various aspects of soft comput ing. icSoftComp2026 solicits papers on all aspect s of Soft computing and its engineering applicatio ns for smart and better world. The topics spread a cross four tracks: Theory and methods, Systems and applications, Hybrid techniques. and Soft computi ng for smart sustainable world. Please visit the w ebsite for more detailed information. X-ALT-DESC;FMTTYPE=text/html:i cSoftComp2026 is the 8th comprehensi ve soft computing conference dealing with all aspe cts of soft computing. It is a leading internation al opportunity for AI (in general) and soft comput ing (in particular) professionals and users to inv estigate innovative ideas and outcomes, and to exc hange experiences on various aspects of soft compu ting.
\nicSoftComp2026 solici ts papers on all aspects of Soft computing and its engineering applications for smart and better wor ld. The topics spread across four tracks: Theory a nd methods, Systems and applications, Hybrid techn iques. and Soft computing for smart sustainable wo rld. Please visit the website for more detailed in formation.
\nFounded in 201 6, the G10 Festival is one of the most special “th ink festivals” in Europe. Speakers are selected fo r their distinctive approach to unconventional thi nking.
\n URL:https://www.g10vandeeconomie.nl/ END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/163 13/15-December-2026-Constructed-Meanings-The-Chall enge-of-Artificial-Intelligence DTSTAMP:20260902T125624 SUMMARY:Constructed Meanings: The Challenge of Art ificial Intelligence DTSTART;TZID=Europe/Amsterdam:20261215T090000 LOCATION:REC A2.11 DESCRIPTION:The Systematicity Argument tells us th at there must be symbols (“concepts”) inside agent s who display linguistic capacities: the argument has been enormously influential in Philosophy, Lin guistics, Cognitive Science, and now in AI, but is the argument a good one? Invited Speakers: D. Rot hschild (UCL), M. Lewis (ILLC, UvA), S. Gerlek (AS CA, UvA). Applications are welcome from Master and PhD students. Please submit an anonymized abstra ct (max. 2 pages excluding references, 1 inch marg in and 11pt font) to systematicityamsterdam at gma il.com by October 15 at 23:59. X-ALT-DESC;FMTTYPE=text/html:The Syste
maticity Argument tells us that there must be symb
ols (“concepts”) inside agents who display linguis
tic capacities: the argument has been enormously i
nfluential in Philosophy, Linguistics, Cognitive S
cience, and now in AI, but is the argument a good
one?
\n Invited Speakers: D.
Rothschild (UCL), M. Lewis (ILLC, UvA), S. Gerlek
(ASCA, UvA).
\n Applications
are welcome from Master and PhD students.
Please submit an anonymized abstrac t (max. 2 pages excluding references, 1 inch margi n and 11pt font) to syst ematicityamsterdam at < /span>gmail.com by October 15 at 23:59.
\n< /div> URL:https://www.ozsw.nl/activity/constructed-meani ngs-the-challenge-of-artificial-intelligence/ CONTACT:Giorgio Sbardolini at systematicityamsterd am at gmail.com END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/163 99/15-December-2026-Constructing-meanings-the-Chal lenge-of-AI DTSTAMP:20261013T125123 SUMMARY:Constructing meanings: the Challenge of AI DTSTART;TZID=Europe/Amsterdam:20261215T130000 DTEND;TZID=Europe/Amsterdam:20261215T180000 LOCATION:Roeterseiland campus (UvA), Nieuwe Achter gracht 166, Amsterdam [NL] DESCRIPTION:The workshop will take place before th e 2026 Amsterdam Colloquium, which interested part icipants are also invited to attend https://events .illc.uva.nl/AC/AC2026/. InvitedSpeakers : Martha Lewis (UvA, ILLC), Daniel Rothschild (UCL), Selin Gerlek (UvA, ASCA) The goal of the proposed work shop is to gather experts on Philosophy of Languag e, Linguistics, Computational Linguistics, Philoso phy of AI, and Neurosymbolic AI, to assess the val idity of the Systematicity Argument and its implic ations for our understanding of Language, the Mind , and AI. Applications contributing to any of the se topics are welcome. X-ALT-DESC;FMTTYPE=text/html:The works hop will take place before the 2026 Amsterdam Coll oquium, which interested participants are also inv ited to attend https: //events.illc.uva.nl/AC/AC2026/.
\nT
he goal of the proposed workshop is to gather expe
rts on Philosophy of Language, Linguistics, Comput
ational Linguistics, Philosophy of AI, and Neurosy
mbolic AI, to assess the validity of the Systemati
city Argument and its implications for our underst
anding of Language, the Mind, and AI.
\n Appli
cations contributing to any of these topics are we
lcome.
The Amsterdam Colloquia aim to bring together linguists, philoso phers, logicians, cognitive scientists and compute r scientists who share an interest in the formal s tudy of the semantics and pragmatics of natural an d formal languages.
\nWith this year's edi
tion, the Amsterdam Colloquium turns half a centur
y old! To celebrate the 50th anniversary we will host a special session on The
past and future of semantics: Before, at, and afte
r the birth of the Amsterdam Colloquium. A hi
story of the Amsterdam Colloquium can be found on
the website of its Proceedings.
\n
The Amste rdam Colloquia aim to bring together linguists, ph ilosophers, logicians, cognitive scientists and co mputer scientists who share an interest in the for mal study of the semantics and pragmatics of natur al and formal languages.
\nWith this year's edition, the Amsterdam Colloquium turns ha lf a century old! To celebrate the 5 0th anniversary we will host a Special Se ssion on The Past and Future of Semantics. In addition to the general program and the special s ession, the 25th Amsterdam Colloquium will feature a workshop on Semantics and Non-classical Logics. The Colloquium will also include a poster session and an evening lecture by Prof. Nicholas Asher, jointly organised with the E. W. B eth Foundation.
\nThe paper s ubmission is now open on the journal website: https://platform.openjournals.nl/PAC/about/s ubmissions
\nAuthors can submit an ano nymous abstract of at most t wo pages (excluding references), with an optional third page for tables and figures, with 1 inch mar gin and 11pt font. The time for presentations of a ccepted submissions for both regular programme and the workshops is 30 mins (20/25 mins + Q&A). Every author may submit more than one abstract, but only one in which they app ear as the first author.
\nICLA 2027 is the 12th edition of the biennial conference or ganised by the Association for Logic in India (ALI ). It serves as a forum that brings together resea rchers from a variety of disciplines in which form al logic plays a significant, and often foundation al, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of r esearch on systems of logic in the Indian traditio n, as well as historical studies of logic.
\nAuthors are invited to submit pape rs presenting original and unpublished research in any area of logic and its applications. Submissio ns must be written in English and should provide s ufficient detail to enable the Programme Committee to assess the merits of the work.
\nETAPS, es tablished in 1998, is a confederation of four annu al conferences with satellite workshops and one of the world's leading fora for research on software science. In addition to the conference, ETAP S also unites the software science community with activities such as a blog on software sciences, a PhD mentoring workshop, sessions on diversity, equ ity, and inclusion, and an ask-me-anything session .
\n\n
ETAPS is a primary forum for academic and industrial resea rchers working on topics relating to software scie nce. The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
\nSubmitted pa pers must be in English, presenting original resea rch. They must be unpublished and not submitted fo r publication elsewhere. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others ; not to include acknowledgments that might identi fy them. See the website for further instructions.
\n