The SCML- 2026 conference is dedicated to all research that strives to combine "Symbolic Computation" ; (SC) and "Machine Learning" (ML) as tw o major approaches to "Artificial Intelligenc e". It presents, in particular, plenty of opp ortunities to discuss new research projects, form project consortia, and identify funding programs i n this area.
\nSCML-2026 is a "presentation-oriented" conference that solicits submissions in the form of extended abstracts (1-2 pages) which are only briefly reviewed with respect to their re levance to the topics of the conference. The abstr acts of accepted presentations are collectively pu blished as a "conference booklet" in the frame of the SCML publication forum. At least one auth or of an accepted abstract is required to register as a presenter at the confer ence.
\nSubmission deadline is unk nown, please contact the organizer for more inform ation.
\nBroadly v iewed, Craig Interpolation (CI), Beth Definability (BD), and Second-Order Quantifier Elimination (SO QE) concern the existence and computation of formu las that capture consequences or logical constrain ts under some syntactic restrictions. Since such e xistence/computation questions arise in many areas of computer science, CI, BD, and SOQE have been t horoughly investigated by different communities, w hich has led to a large number of results, from fo undational issues to practical applications. Relev ant fields include proof theory, model theory, pro of complexity, automated reasoning, automata theor y, knowledge representation, program verification and databases as well as philosophy and linguistic s.
\nThe aim of the workshop is to bring t ogether researchers from the many relevant fields to exchange experiences and findings about approac hes, techniques, ongoing research and important op en problems. We strongly believe that CI, BD, and SOQE – beyond sharing a similar historical backgro und – offer a common basis for fruitful cross-disc iplinary exchange.
\nCI-BD-SO QE continues a series of previous workshops on Cra ig Interpolation, Beth Definability, and Second-Or der Quantifier Elimination. Contributions shall be in the form of original research (full papers or extended abstracts) and abstracts of previously pu blished research. If selected, at least one author is expected to present their work in person at th e conference.
\nRuleML+RR 2026 aims to bring together researchers and pract itioners interested in the foundations and applica tions of rules and reasoning.
\n < p>This year's edition will be co-located with seve ral events as part of \n\n
The International Joint Conference on Rules a nd Reasoning (RuleML+RR) is the leading venue in t he field of rule-based reasoning. Stemming from th e synergy between the well-known RuleML and RR eve nts, it provides a forum for stimulating cooperati on between different communities focused on the re search, development, and applications of rule-base d systems.
\nThe RuleML+RR 2026 conf erence is part of the event “Declarative AI: Rules, R easoning, Decisions, and Explanations” and is co-l ocated with DecisionCAMP 2026 and the Reasoning We b Summer School 2026.
\nTwo t ypes of contributions are welcome: short papers (m ax. 8 pages) and long papers (max. 15 pages). Long papers should present original and significant re search and/or development results. Short papers sh ould concisely describe general results or specifi c applications, systems, or position statements.\n
This year, contributions at the intersect ion of databases and AI, reflecting the growing im portance of data-centric and hybrid approaches to rule-based reasoning are particularly encouraged.< /p>\n
\n
LCC meeti ngs are aimed at the foundational interconnections between logic and computational complexity, as pr esent, for example, in implicit computational comp lexity (descriptive and type-theoretic methods); d eductive formalisms as they relate to complexity ( e.g. ramification, weak comprehension, bounded ari thmetic, linear logic and resource logics); comple xity aspects of finite model theory and databases; complexity-mindful program derivation and verific ation; computational complexity at higher type; an d proof complexity.
\nThis year's ed ition is a part of the Federated Logic Conference& nbsp;FLo C’26.
\nLCC meet ings are aimed at the foundational interconnection s between logic and computational complexity.
\ nWelcomed are submissions of abstracts based on work which may be submitted or published elsewh ere, provided that all pertinent information is di sclosed at submission time. There will be no forma l reviewing as is usually understood in peer-revie wed conferences with published proceedings. The pr ogram committee checks relevance and may provide a dditional feedback.
\nThere is a remarkable divide in the field of Logic in Compu ter Science between two distinct strands: one focu ses on semantics and compositionality (“Structure” ), the other on expressiveness and complexity (“Po wer”). These two traditions are studied by almost disjoint research communities using distinct techn ical languages and methods. We believe that bringi ng these communities and research fields together is an important objective for Computer Science, wh ich may hold the key to fundamental advances in th e field.
\nThe aim of this workshop is to attract researchers working at the boundary of the se two strands, as well as those on either side of the divide who are interested in establishing new connections.
\nResearchers w ishing to give a talk at the workshop are invited to submit an extended abstract of up to three page s (excluding references) describing the key points of the proposed presentation on the topics of sem antics and/or compositionality in the field of Log ic in Computer Science.
\nSubmission s at all stages of development are invited, includ ing novel contributions, previously published work , work in progress, and survey-style presentations . Depending on the number of submissions, contribu ted talks will be 20–30 minutes in length.
\n URL:https://structuremeetspower.github.io/SmP2026/ END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 27/17---23-August-2026-SLSS-2026-–-Scandinavian-Lo gic-Society-Events-17-20-and-21–23-August-2026-Cop enhagen-DK- DTSTAMP:20260401T151319 SUMMARY:SLSS 2026 – Scandinavian Logic Society Eve nts,17-20 and 21–23 August 2026, Copenhagen [DK] DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260823 LOCATION:Copenhagen [DK] DESCRIPTION:The Symposium is an international logi c conference bringing together researchers in phil osophical logic, mathematical logic, and logic in computer science. It will take place from August 2 1 to August 23, 2026. The Nordic Logic Summer Sch ool will take place immediately before the symposi um, from August 17 to August 20, 2026. It is aimed primarily at PhD students and early-career resear chers and offers introductory and advanced courses in logic and its applications. The primary aim o f the Symposium is to promote research in the fiel d of logic (broadly conceived) carried out in rese arch communities in Scandinavia. Moreover, it warm ly invites the participation of logicians from all over the world. The scope of SLSS is broad, rang ing over the whole areas of Mathematical and Philo sophical Logic, as well as Logical Methods in Comp uter Science, Artificial Intelligence, Linguistics , among others. X-ALT-DESC;FMTTYPE=text/html:The Symposium is an internationa l logic conference bringing together researchers i n philosophical logic, mathematical logic, and log ic in computer science. It will take place from&nb sp;August 21 to August 23, 2026.< /p>\n
The Nordic Logic Summer Sch ool will take place immediately befo re the symposium, from August 17 to A ugust 20, 2026. It is aimed primarily at& nbsp;PhD students and early-career researc hers and offers introductory and adv anced courses in logic and its applications.
\nThe primary aim of the Symposium is to promote research in the field of logic (bro adly conceived) carried out in research communitie s in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world .
\nThe scope of SLSS is broad, ranging ov er the whole areas of Mathematical and Philosophic al Logic, as well as Logical Methods in Computer S cience, Artificial Intelligence, Linguistics, amon g others.
\nThe Symposium is an internationa l logic conference bringing together researchers i n philosophical logic, mathematical logic, and log ic in computer science.
\nThe Nordic Logic Summer School will take pla ce immediately before the symposium. It is ai med primarily at PhD students and ear ly-career researchers and offers int roductory and advanced courses in logic and its ap plications.
\nThe primary aim of the Symposium is to promote research in the fi eld of logic (broadly conceived) carried out in re search communities in Scandinavia. The scope of SL SS is broad, ranging over the whole areas of Mathe matical and Philosophical Logic, as well as Logica l Methods in Computer Science, Artificial Intellig ence, Linguistics, among others.
\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.
\nThe confe rence will focus on construal in linguistics, encompassing, though not limited to, cognitive linguistics, forensics, discour se studies, pragmatics, social interaction, narrat ive, storytelling, and literature. By bringing all these approaches together, the confe rence aims to establish construal as a unifying co ncept for understanding meaning in language and di scourse.
\nThe conference adopts a flexible view of the relationship between < em>construal and linguistic expression/c oding. Construal refers broadly to how events, par ticipants, relations, inferences, evaluations, and temporal structures are conceptualised, framed, a nd made salient, while verbal and non-verbal resou rces—lexical, grammatical, prosodic, gestural, vis ual, and multimodal—are among the means through wh ich such construals are communicated and negotiate d in discourse.
\n\n
CiLD invited papers on these topics
(and their sub-topics): Cognitive Linguis
tics; Discourse, Pragmatics & Narrative; Sociology
& Social Interaction; and Narrative, Storytelling
& Literature. The abstracts for
individual papers (20-minute presentation + 10-min
ute discussion) should be max. 200 words long, in English and accompanied by a shor
t biographical note (max. 10
0 words) and 3–5 keywords.\n See the official website for more informa
tion and the submission form.
The 2026 edition is organized in collaboration with Univers iteit Gent. The Masterclass is intended to be a fu lly interactive in-person event, with the twofold objective to understand in depth the materials pre sented in the lectures, and to provide early caree r researchers with an opportunity to discuss their ongoing work in a helpful and constructive enviro nment.
\nEarly career researc hers are invited to send an abstract of at most&nb sp;250 words. You can submit your abstract, includ ing your affiliation and status (bachelor’s studen t, master’s student, PhD student, postdoc, other) to mc-pmp-brussels< span class="at"> at outlook.com or use this form: https://forms.gle/PQKg6EjP2wx95ehi6.
\nThe talks will consist of a 20 minute presenta tion followed by 10 minutes for discussion. Notifi cation of acceptance will be sent out by 01 July 2 026. Notice that submitting an abstract is not man datory for attending the Masterclass.
\nIn recent years, digital democracy has bec ome a subject of academic research and is being pu t into practice around the world. However, the sci entific investigations and practices of digital de mocracy are currently still living mostly in separ ate universes. The aim of this conference is to fu rther advance digital democracy, by bringing together academics and practit ioners actively working on or with digita l democracy. This way we want to foster collaborat ion and knowledge exchange.
\nIn lin e with this aim, the conference will feature contr ibuted talks, social and interactive sessions and both academic and non-academic ke ynote speakers, such as Manon Revel (Google Deepmind) and Graham Wetherall-Gruj ic (The Innovation in Politics Institute, Berlin).
\nFor the 3rd EDDY Conference, we welcome contributions from bot h academics and practitioners on any of the follow ing topics, in relation to digital democracy: onli ne deliberation, liquid democracy, the public sphe re, apps and tools for online decision-making, mac hine learning, crowdsourcing, the digital divide, participatory budgeting, computational social choi ce, digital identities, social media, popular will , and secrecy vs. publicity of votes and opinions. We particularly welcome submissions by students a nd early career scholars or practitioners. You can contribute with either a talk or a demo.
\n URL:https://www.eddy-network.eu/in-person-events/e ddy-2026-vienna CONTACT:contact at eddy-network.eu END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 09/7---9-September-2026-ICTCS-2026-–-27th-Italian- Conference-on-Theoretical-Computer-Science-Udine-I T- DTSTAMP:20260310T120435 SUMMARY:ICTCS 2026 – 27th Italian Conference on Th eoretical Computer Science, Udine [IT] DTSTART;VALUE=DATE:20260907 DTEND;VALUE=DATE:20260909 LOCATION:Udine [IT] DESCRIPTION:The aim of ICTCS is to foster cross-fe rtilization of ideas across different areas of the oretical computer science and to provide an enviro nment where junior researchers and PhD students ca n interact with senior researchers. ICTCS 2026 in cludes three special tracks devoted to significant application domains of theoretical computer scien ce. The aim is to solicit contributions that, whil e not primarily situated within theoretical comput er science, address substantive theoretical questi ons emerging from applied research problems. The t hree special tracks are listed on the website. Tw o types of contributions (in English, CEUR-WS form at) are solicited. Regular papers: Up to 12 pages (bibliography excluded), presenting original resu lts not published or submitted elsewhere. Authors may include an appendix; reviewers are not require d to consider it. Communications: Up to 5 pages ( bibliography excluded), suitable for extended abst racts of published or submitted papers, ongoing re search reports, and PhD thesis or project overview s. X-ALT-DESC;FMTTYPE=text/html:The aim o f ICTCS is to foster cross-fertilization of ideas across different areas of theoretical computer sci ence and to provide an environment where junior re searchers and PhD students can interact with senio r researchers.
\nICTCS 2026 includes three special tracks devoted to significant application domains of theoretical computer science. The aim is to solicit contributions that, while not primar ily situated within theoretical computer science, address substantive theoretical questions emerging from applied research problems. The three special tracks are listed on the website.
\nTwo types of contributions (in English, CE UR-WS format) are solicited.
\nReg ular papers: Up to 12 pages (bibliography excluded), presenting original results not publis hed or submitted elsewhere. Authors may include an appendix; reviewers are not required to consider it.
\nCommunications: Up to 5 pages (bibliography excluded), suitable for e xtended abstracts of published or submitted papers , ongoing research reports, and PhD thesis or proj ect overviews.
\nThe Collo quium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logi k und fuer Grundlagenforschung der Exakten Wissens chaften" (DVMLG). The next edition will be he ld from 21 to 24 September 2024 in Würzburg, Germa ny (noon until noon to allow travel on the same da y). The conference will cover the whole range of m athematical logic and the foundations of the exact sciences.
\nIn addition to the keynote ta lks, there will be a "PhD Colloquium" wi th invited presentations of excellent recent PhD g raduates.
\nThe programme com mittee invites the submission of abstracts for tal ks in all fields of an online form. Alternati vely, abstracts can also be submitted independentl y of the registration by email.
\n\n
\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.
\nAuthors can
submit an anonymous abstract of at m
ost two pages (excluding references)
, with an optional third page for tables and figur
es, with 1 inch margin and 11pt font. The time for
presentations of accepted submissions for both re
gular programme and the workshops is 30 mins (20/2
5 mins + Q&A). Every author may submit more than one abstract, but only on
e in which they appear as the first author.
The TYPES meetings are a forum to present new and ongoing w ork in all aspects of type theory and its applicat ions, especially in formalised and computer assist ed reasoning and computer programming.
\nW e encourage talks proposing new ways of applying t ype theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Parti cipation in the meeting is primarily in person, as face-to-face interactions are highly valuable.
\nTYPES solicits contributed ta lks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In th e spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those wil l be based on extended abstracts of 2 pages.
\nFor more information see https://types2026 .cse.chalmers.se/call-for-contributions.html.< /p>\n
The early -career researchers of the CRC Negation in Lan guage and Beyond (NegLaB) at Goethe Universit y Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.
\nThe aim of this conference is to provide a dedicated s pace for junior researchers to explore negation fr om diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.
\nSubmit your proposals for 30-minute talks (including 10 minutes of discussion) and posters i n English. Abstracts should not exceed 300 words ( excluding bibliography and max. one page of figure s), be anonymized and in PDF format. Use OpenRevie w to upload your submissions (accessible via the O penReview home page of the conference).
\ nThe Czech Academy of Sciences, Institute of Philosophy, ann ounces Logica 2026, the 38th in the series of annu al international symposia devoted to logic, to be held in Hejnice (in northern Bohemia, about 2.5 ho urs from Prague). The symposium welcomes submissio ns addressing any of the wide range of logical pro blems, with the exception of those focusing on spe cific technical applications. We especially welcom e submissions that cover topics of interest to bot h 'philosophically' and 'mathematically' oriented logicians.
\nSubmit a PDF abs tract of no more than three pages (including refer ences) via the Microsoft CMT service; the link is provided at the conference webpage.
\nAuth ors of submissions are required to create a Micros oft CMT account. Submissions must be prepared usin g the Logica LaTeX template, which can be download ed from the conference website.
\nWe are in viting members of the University of Amsterdam's La nguage Sciences for Social Good (LSG) Consortium t o join a networking event on Thursday, May 28th, from 14:00 - 18:00 at LAB42 aimed at the cons ortium members and industry partners. We want to p rovide a forum to connect members of the consortiu m with each other and with industry partners, to d iscuss expectations and intentions from both sides , and to showcase what is already being done as pa rt of this consortium.
\nThe event will in clude short pitches by the industry partners, as w ell as poster presentations by researchers in the LSG. If you are a consortium member, you are welco me to present a poster at this ev ent (this can be a poster that you already prepare d for a different conference). If you are interest ed in presenting a poster, please provide us with a title and short description for the prog ram before March 13th. You can do so by s ending an e-mail to one of the organizers.
\nThe event will include short pitch es by the industry partners, as well as poster pre sentations by researchers in the LSG. If you are a consortium member, you are welcome to pre sent a poster at this event (this can be a poster that you already prepared for a different conference). If you are interested in presenting a poster, please provide us with a title a nd short description for the program before March 13th. You can do so by sending an e-mail to one of the organizers.
\nThe PODS symposium series, held in conjunction with the SIG MOD conference series, provides a premier annual f orum for the communication of new advances in the theoretical foundation of database systems. The PO DS community aims to provide a solid scientific ba sis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich l andscape of data requirements in applications nowa days. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability , expressiveness, robustness, security, clarity, a nd privacy, among others. The PODS community is an open space where researchers from various areas r elated to the principles of computer science can d iscuss, interact, and propose solutions to problem s in data management.
\nPODS seeks scientific articles that present principled contributions to modeling, application and system building in the context of data management. Such a rticles might be based, among others, on establish ing theoretical results, developing new concepts a nd frameworks that deserve further exploration, pr oviding experimental work that sheds light on the scientific foundations of the discipline, or a rig orous analysis of important industry artifacts. At a time when computer science is increasingly data -centric, it is essential to promote an active exc hange of tools and techniques between PODS and oth er communities focused on data management. PODS th us pays special attention to those papers that hel p in the urgent process of integrating data manage ment techniques within broader computer science.\n
All submissions must be made to EasyChair. LaTex users must format their submission using th e sta ndard ACM "acmsmall" proceedings stylesh eet. A submission can be up to 15 pages, not i ncluding references, plus unlimited space for refe rences. PODS 2026 will use a lightweight double-an onymous reviewing process.
\nThe Lingu istics and English Language Postgraduate Conferenc e is an annual event hosted by the School of Philo sophy, Psychology and Language Sciences at the Uni versity of Edinburgh, and is open to students and recent graduates from all over the world. The even t is held in-person only (no online or hybrid opti ons available).
\nPostgraduat es and recent PG grads are invited to submit abstr acts in any subfield of linguistics, philosophy of language, and linguistic anthropology (except lan guage pedagogy) for both oral and poster presentat ions. The presentations should be accessible to a general linguistics audience.
\nTal ks will be 20 minutes + 10 minutes for questions. Abstracts should be 500 words excluding tables, re ferences, and examples. Use this form to submit your ab stracts.
\nThe confe rence focuses on empirical research in various are as of linguistics. The event aims at junior resear chers to provide them with a platform for the pres entation and discussion of research with their int ernational peers. Contributions related to any wor ld languages of all modalities are welcome.
\n< /div>Welcome are contributions employi
ng quantitative and qualitative empirical research
methods,
\n synchronic and diachronic perspec
tives, cross-linguistic research, corpus research,
modelling,
\n psycho- and neurolinguistic and
cognitively oriented approaches as well as applie
d ones,
\n concerning any language and registe
r – spoken, written or sign.
The contrib utions can be in the format of oral presentat ions (20 minutes talk + 10 minutes discussion) or poster presentations of original, unpublished data -oriented work. The presented work can be already finished, preregistered (i.e., preregistered repor ts) or still ongoing. Abstracts on such projects s hould present detailed information on the methodol ogical aspects (sample, method applied), planned a nalysis, and theoretical relevance.
\nThe Dutch Form al Methods Day is a full-day event dedicated to fo rmal methods in the Netherlands. This event is an opportunity for people in academia, industry and e ducation who are interested in formal methods, in the broadest sense, to come together, learn, and n etwork. There will be numerous talks, giving a bro ad overview formal methods in the Netherlands. Upo n registering, you will have the opportunity to of fer a talk.
\n URL:https://conf.researchr.org/home/dfdm-2026 CONTACT:Jore Booy at j.j.booy at tue.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/160 95/18---20-June-2026-Postgraduate-Summer-School-Pe rspective-on-Research-in-Logic-Pisa-IT- DTSTAMP:20260305T120418 SUMMARY:Postgraduate Summer School "Perspective on Research in Logic", Pisa [IT] DTSTART;VALUE=DATE:20260618 DTEND;VALUE=DATE:20260620 LOCATION:Pisa [IT] DESCRIPTION:The course has the aim of bringing tog ether researchers working in diverse areas of logi c to present and discuss key contemporary research themes, ranging from proof theory to the semantic s of non-classical logics. Particular attention is given to both technical developments and their ph ilosophical significance. The programme consists o f a series of lectures designed to introduce parti cipants to current lines of research and ongoing d ebates in logic, while also providing young resear chers with a broad overview of the field. The Scu ola Normale Superiore will award 15 scholarships, ensuring gender balance, covering accommodation an d meals (travel expenses to Pisa are not included) . Applicants must hold at least a Master's degree in Logic or a related discipline. Applications - i ncluding an up-to-date Curriculum Vitae - must be submitted through the designated online form by 31 March 2026. Selection will be based on the evalua tion of the submitted CV. X-ALT-DESC;FMTTYPE=text/html:\nThe course has
the aim of bringing together researchers working
in diverse areas of logic to present and discuss k
ey contemporary research themes, ranging from
;proof theory to the semantics of non-classical logics.
Particular attention is given to both technical de
velopments and their philosophical significance. T
he programme consists of a series of lectures desi
gned to introduce participants to current lines of
research and ongoing debates in logic, while also
providing young researchers with a broad overview
of the field.
The Scuola Normale Superi ore will award 15 scholarships, ensuring gender ba lance, covering accommodation and meals (travel ex penses to Pisa are not included). Applicants must hold at least a Master's degree in Logic or a rela ted discipline. Applications - including an up-to- date Curriculum Vitae - must be submitted through the designated online form by 31 March 2026. Selec tion will be based on the evaluation of the submit ted CV.
\n URL:https://www.sns.it/it/evento/perspectives-rese arch-logic CONTACT:Matteo Tesi at matteo.tesi at sns.it END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 58/22---26-June-2026-12th-International-Summer-Sch ool-on-AI-and-Big-Data-Neuro-Symbolic-AI-Leipzig-D E- DTSTAMP:20260423T143901 SUMMARY:12th International Summer School on AI and Big Data (Neuro+Symbolic AI), Leipzig [DE] DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260626 LOCATION:Leipzig [DE] DESCRIPTION:ScaDS.AI Dresden/Leipzig is pleased to dedicate its 12th International Summer School on AI and Big Data, which will take place in Leipzig from June 22 to 26, 2026, to the theme of Neuro+Sy mbolic AI, focusing on an emerging paradigm that c ombines the strengths of neural learning and symbo lic reasoning, augmented with foundations in each of these. This annual summer school aims to bring together PhD students, graduate students, researc hers as well as practitioners from across the fiel d of Artificial Intelligence. Participants can exp ect a rich program of short courses taught by lead ing experts, complemented by hands-on tutorials, i nteractive formats, and invited talks that provide a comprehensive overview of recent advances and k ey achievements in Neuro-Symbolic AI. X-ALT-DESC;FMTTYPE=text/html:\nScaDS.AI Dresden/Leipzi g is pleased to dedicate its 12t h International Summer School on AI and Big Data, which will take place in Leipzig from June 22 to 26, 20 26, to the theme&nb sp;of Neuro+Symbolic AI, foc using on an emerging paradigm that combines the st rengths of neural learning and symbolic reasoning, augmented with foundations in each of these.
\ nThis annual summer school aims to bring together PhD students, graduate students, researchers as well as practitioners from across the field of Artificial Intelligence. Participants can expect a rich program of short courses taught by leading experts, complemented by hands-on tuto rials, interactive formats, and invited talks that provide a comprehensive overview of recent advanc es and key achievements in Neuro-Symbolic AI.
\ n URL:https://scads.ai/summer-school-2026/ CONTACT:scads.ai.school at uni-leipzig.de END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 80/24---26-June-2026-LOFT-2026-–-16th-Conference-o n-Logic-and-the-Foundations-of-Decision-and-Game-T heory-Kings-College-London-UK- DTSTAMP:20260105T151605 SUMMARY:LOFT 2026 – 16th Conference on Logic and t he Foundations of Decision and Game Theory, King's College London [UK] DTSTART;VALUE=DATE:20260624 DTEND;VALUE=DATE:20260626 LOCATION:King's College London [UK] DESCRIPTION:LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of l ogical methods to foundational issues in the theor y of individual and interactive decision-making. Potential contributors should submit an extended abstract of approximately 5 to at most 10 pages (e xcluding references and appendices) in PDF format. Please submit your abstracts through this link. Submissions should be prepared for double blind re view and submitted through the website. Papers tha t have appeared in print, or are likely to appear in print before the conference, should not be subm itted for presentation at LOFT. X-ALT-DESC;FMTTYPE=text/html:LOFT 2026 will be the 16th in a series of bi-annual confere nces on the applications of logical methods to fou ndational issues in the theory of individual and i nteractive decision-making.
\nPotential contributors should submit an ext ended abstract of approximately 5 to at most 10 pa ges (excluding references and appendices) in PDF f ormat. Please submit your abstracts through this link.
\nSubmissions should be prepared for do uble blind review and submitted through the websit e. Papers that have appeared in print, or are like ly to appear in print before the conference, shoul d not be submitted for presentation at LOFT.
\nThis two-day w orkshop brings together an international line-up o f female researchers working at the intersection o f philosophy, theoretical linguistics, computation al linguistics, logic, formal semantics and pragma tics, psychology, and political and social science . The event explores diverse perspectives on the s emantics–pragmatics distinction, highlighting how interdisciplinary approaches can advance our under standing of meaning, context, and interpretation.< /p>\n
The workshop is in-person only. Attendance is free of charge, bu t registration is mandatory as pl aces are limited. To register, please email Tamara Dobler.
\n URL:/NewsandEvents/Events/Upcoming-Events/newsitem /16039/25---26-June-2026-New-Perspectives-on-the-S emantics–Pragmatics-Distinction CONTACT:Tamara Dobler at t.dobler at vu.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Upcoming-Events/newsitem /15805/29-June---3-July-2026-Advances-in-Modal-Log ic-2026-AiML-2026-Amsterdam-The-Netherlands DTSTAMP:20250918T181313 SUMMARY:Advances in Modal Logic 2026 (AiML 2026), Amsterdam, The Netherlands DTSTART;VALUE=DATE:20260629 DTEND;VALUE=DATE:20260703 LOCATION:Amsterdam, The Netherlands DESCRIPTION:Advances in Modal Logic is an initiati ve aimed at presenting the state of the art in mod al logic and its various applications. The initiat ive consists of a conference series together with volumes based on the conferences. AiML 2026 is org anized by the ILLC. Information about the AiML se ries can be obtained at http://www.aiml.net. X-ALT-DESC;FMTTYPE=text/html:\nAdvances in Mo dal Logic is an initiative aimed at presenting the state of the art in modal logic and its various a pplications. The initiative consists of a conferen ce series together with volumes based on the confe rences. AiML 2026 is organized by the ILLC. Information about the AiML series can be obtained at http://www.aiml.net.
\n URL:https://events.illc.uva.nl/aiml2026/ CONTACT:aiml2026-illc at uva.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/160 43/29-June---3-July-2026-Logic-Colloquium-2026-–-E uropean-Summer-Meeting-of-the-ASL-Swansea-UK- DTSTAMP:20260209T130538 SUMMARY:Logic Colloquium 2026 – European Summer Me eting of the ASL, Swansea [UK] DTSTART;VALUE=DATE:20260629 DTEND;VALUE=DATE:20260703 LOCATION:Swansea [UK] DESCRIPTION:The Logic Colloquium is the European S ummer Meeting of the Association for Symbolic Logi c, an annual gathering to present current research in all aspects of logic. It will be held in conj unction with the British Logic Colloquium 2026. The conference is hosted by the Logicians in the n ewly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science grou p at Swansea. Robert Recorde was a Welsh Mathemati cian and Philosopher who invented the = sign. The programme committee invites proposals for contrib uted talks. These can be on published or unpublish ed work, as well as work in progress. The abstract s of accepted talks will be published the Bulletin of Symbolic Logic, subject to one of the authors of the abstract being a member of ASL. Contributed abstracts should be submitted to Shannon Miller a tThe Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gatherin g to present current research in all aspects of lo gic. It will be held in conjunction with the British Logic Colloquium 2026.
\nTh e conference is hosted by the Logicians in the new ly founded Robert Recorde Centre for Fundamental S tudies and the Theor etical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.
\nThe programme committee invites proposals for
contributed talks. These can be on published or un
published work, as well as work in progress. The a
bstracts of accepted talks will be published the B
ulletin of Symbolic Logic, subject to one of the a
uthors of the abstract being a member of ASL. Cont
ributed abstracts should be submitted to Shannon M
iller at <asl at uconn.edu> .<
/span>
Research methods in economics and social sciences are changing quickly with AI-driven analy tics, Large Language Models, and causal machine le arning. New Internet and Big Data sources support fresh approaches to measurement, inference, and th eory testing. As these tools become more interdisc iplinary, CARMA 2026 offers a forum for researcher s and practitioners to share advances in computati onal and data-intensive methods applied to social and economic issues, and to discuss their opportun ities and challenges.
\nIf you are i nterested in organizing a special session as part of CARMA 2026, please contact the organization at carmaconf at upv.es
\n URL:https://carmaconf.org CONTACT:carmaconf at upv.es END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 77/6---10-July-2026-AUTOMATA-ACRI-2026-Ghent-BE- DTSTAMP:20260105T150306 SUMMARY:AUTOMATA & ACRI 2026, Ghent [BE] DTSTART;VALUE=DATE:20260706 DTEND;VALUE=DATE:20260710 LOCATION:Ghent [BE] DESCRIPTION:The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent Uni versity's Faculty of Bioscience Engineering co-org anise 2026's essential event on cellular automata and other discrete dynamical systems. X-ALT-DESC;FMTTYPE=text/html:\nThe University
of Gdańsk's Faculty o
f Mathematics, Physics and Informatics and Ghent University's
ESSAI is an annual summer school on AI held under the auspi ces of the European Association for Artificial Int elligence (EurAI). ESSAI is the largest school of broad AI in Europe.
\nThe ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the o pportunity to engage in 5+ parallel tracks of sess ions each day.
\nThis is an < strong>Invitation to Submit a Course Proposal. Leading AI researchers are welcome to submit course proposals for inclusion in this school. Pr oposals for courses are invited in all areas of AI . The courses should consist of four 90-minutes le ctures, each taught on one day. For more informati on, please visit https:// essai2026.eu/teaching.php.
\nThe course &qu ot;Logic as a tool for modelling" is part of VU Amsterdam's summer school. The aim of the cours e is to introduce participants to the study of var ious types of logical formalisms that have been us ed to model diverse phenomena.
\nThe cours e is particularly relevant to BSc, MSc and PhD stu dents in fields such as computer science, philosop hy, economics, social sciences, law, who are inter ested in learning about techniques and tools from logic to be used in their own research, in particu larly more so because the content of the course is adjusted based on the interests and backgrounds o f the students.
\n URL:https://vu.nl/en/education/summerschool/logic- as-a-tool-for-modelling CONTACT:amsterdamsummerschool at vu.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 14/12---16-July-2026-International-School-on-Rewri ting-Nijmegen-NL- DTSTAMP:20251121T125118 SUMMARY:International School on Rewriting, Nijmege n [NL] DTSTART;VALUE=DATE:20260712 DTEND;VALUE=DATE:20260716 LOCATION:Nijmegen [NL] DESCRIPTION:Term rewriting is a powerful model of computation that underlies much of declarative pro gramming and which is heavily used in symbolic com putation in mathematics, theorem proving, and prot ocol verification. The ISR is open to master and PhD students, researchers and practitioners intere sted in the study of rewriting concepts and their applications. Participants can follow one of two t racks: basic or advance. X-ALT-DESC;FMTTYPE=text/html:\nTerm rewriting is a powerful model of computation that underlies much of declarative programming and which is heav ily used in symbolic computation in mathematics, t heorem proving, and protocol verification.
\nThe ISR is open to master and PhD students, res earchers and practitioners interested in the study of rewriting concepts and their applications. Par ticipants can follow one of two tracks: basic or a dvance.
\n URL:https://isr2026.cs.ru.nl CONTACT:Cynthia Kop at C.Kop at cs.ru.nl CONTACT:Femke van Raasmdonk at f.van.raamsdonk at vu.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 40/12---16-July-2026-International-School-on-Rewri ting DTSTAMP:20260401T151738 SUMMARY:International School on Rewriting DTSTART;TZID=Europe/Amsterdam:20260712T090000 DTEND;TZID=Europe/Amsterdam:20260716T170000 LOCATION:Nijmegen [NL] DESCRIPTION:Term rewriting is a powerful model of computation that underlies much of declarative pro gramming and which is heavily used in symbolic com putation in mathematics, theorem proving, and prot ocol verification. ISR 2026 is organised by the S oftware Science group of Radboud University Nijmeg en and the Theory group of VU Amsterdam. The schoo l is aimed at master and PhD students, researchers and practitioners interested in the study of rewr iting concepts and their applications. X-ALT-DESC;FMTTYPE=text/html:\nTerm rewriting is a powerful model of computation that underlies much of declarative programming and which is heav ily used in symbolic computation in mathematics, t heorem proving, and protocol verification.
\nISR 2026 is organised by the Software Scie nce group of Radboud University Nijmegen and the Theory group of VU Am sterdam. The school is aimed at master and PhD stu dents, researchers and practitioners interested in the study of rewriting concepts and their applica tions.
\n URL:https://isr2026.cs.ru.nl/index.html CONTACT:Cynthia Kop at C.Kop at cs.ru.nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/160 24/13---15-July-2026-Logic-Relativity-and-Beyond-B udapest-HU- DTSTAMP:20260128T113420 SUMMARY:Logic, Relativity and Beyond, Budapest [HU ] DTSTART;VALUE=DATE:20260713 DTEND;VALUE=DATE:20260715 LOCATION:Budapest [HU] DESCRIPTION:There are several new and rapidly evol ving research areas blossoming out from the intera ction of logic and relativity theory. This confere nce series, which take place once every 2 or 3 yea rs, hopes to attract and bring together mathematic ians, physicists, philosophers of science, and log icians from all over the world interested in these and related areas to exchange new ideas, problems and results. The spirit of this conference serie s goes back to the Vienna Circle and to the initia tive Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful inter disciplinary cooperation leading to joint research and publications. Submit your abstract (or exten ded abstract) for your talk via the following link :There are several new and rapidly evolving research areas b lossoming out from the interaction of logic and re lativity theory. This conference series, which tak e place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, phi losophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.
\nThe spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Ta rski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publica tions.
\nSubmit your abstract
(or extended abstract) for your talk via the foll
owing link:
\n <https://easychair.org/conferences/?conf=
lrb26>
Extended abstracts are not required, but in case of submission, they should be no more than 2 pages, and should be submitted i n PDF formatted for A4 paper.
\nIACAP has a long tradition of promoting philosophical dialo gue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intellig ence. The 2026 annual conference will continue thi s tradition by bringing together researchers from various fields who are interested in the topics co vered in various tracks.
\nTh e International Association for Computing and Phil osophy (IACAP ) is pleased to put out this call for abstracts fo r its next conference in 2026.
\nFor submissions, visit the conference website and fol low the steps as laid out here: https://www.iacap.org/202 5/10/10/iacap-2026-kansas/
\nNMR is th e premier forum for results in the area of Nonmono tonic Reasoning. Its aim is to bring together acti ve researchers in this broad field within knowledg e representation and reasoning (KR), including bel ief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences , argumentation, causality, and many other related topics including systems and applications. < /p>\n
Reseracher are invited to s ubmit full papers or extended abstracts. Area s of interest include (but are not limited to): Ca tegorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human R easoning, Model theory Nonclassical and modal logi cs, Philosophical logic, Proof theory, Reasoning i n AI, Set theory.
\nPapers should be written in English, a maximum of 5 pages long, an d prepared (in PDF format) using the EasyChair class s tyle. Submissions will happen through EasyChai r.
\nThe DL wo rkshop is the major annual event of the descriptio n logic research community. It aims to bring toget her researchers from academia and industry that wo rk in this field or in related fields. The worksho p is co-located with KR 2026, the 23rd Internation al Conference on Principles of Knowledge Represent ation and Reasoning as part of FLOC 2026, the Fede rated Logic Conference.
\nTwo submission categories are open: extended abstract s (2-4 pages) and full papers (max. 11 pages).&nbs p;
\nInvited are contributions on all aspe cts of description logics, including, but not limi ted to: - Foundations of description logics - Exte nsions of description logics - Integration of desc ription logics with other formalisms - Application s of description logics - Systems and tools of all kinds around description logics.
\nKnowledge Representation and Reasoning (KR) is a well-estab lished and vibrant field of research within Artifi cial Intelligence. KR builds on the fundamental th esis that knowledge can often be represented in an explicit declarative form, suitable for processin g by dedicated symbolic reasoning engines. This en ables the exploitation of knowledge that would oth erwise be implicit through semantically grounded i nference mechanisms. KR has contributed to the the ory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, incl uding data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
\nThe KR conference series is the leading forum for timely, in-depth presenta tion of progress in the theory and practice of the representation and computational management of kn owledge.
\nKR2026 will be part of th e Federated Logic Conference (FLoC 2026).
\nWe solicit paper s presenting novel results on the principles of KR , which clearly contribute to the formal foundatio ns of the field or show the applicability of KR te chniques to implemented or implementable systems. We welcome papers from other areas that demonstrat e clear use of, or contributions to, the principle s or practice of KR. We also encourage "repor ts from the field" of applications, experimen ts, developments, and tests.
\nThe 2026 editi on of the summer school is open to women and membe rs of other groups that are under-represented in m athematical philosophy. These groups include under -represented gender identities, races and ethnicit ies, people with disabilities, people from low inc ome and non-academic family backgrounds. The targe t level is master students and last year-bachelor students.
\nThe school's aim is to encoura ge students to engage with mathematical and scient ific approaches to philosophical problems, and the reby help to redress the under-representation of w omen and other marginalized groups in mathematical philosophy. It offers the opportunity for study i n an informal and interdisciplinary setting, for l ively debate, and for the development of a network of students and professors interested in the appl ication of formal methods to philosophy.
\n URL:https://www.mathsummer.philosophie.uni-muenche n.de/index.html END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 91/27---31-July-2026-Computability-in-Europe-2026- CiE-2026-Trier-D- DTSTAMP:20260107T085322 SUMMARY:Computability in Europe 2026 (CiE 2026), T rier [D] DTSTART;VALUE=DATE:20260727 DTEND;VALUE=DATE:20260731 LOCATION:Trier [D] DESCRIPTION:Computability in Europe (CiE) is a con ference series interfacing informatics and mathema tics. CiE 2026 will be colocated with other confe rences and workshops: MCU 2026: Machines, Computab ility, Universality, CCA 2026: Computability and C omplexity in Analysis, GSW 2026: Grammar Systems W orkshop Two types of contributions are welcome: abstracts and full papers. X-ALT-DESC;FMTTYPE=text/html:Computabi lity in Europe (CiE) is a conference series interf acing informatics and mathematics.
\nCiE 2 026 will be colocated with other conf erences and workshops:
\nTwo types of contributi ons are welcome: abstracts and full papers.
\n< /div> URL:https://www.acie.eu/cie-conference-series/ CONTACT:Prof. dr. Henning Fernau (organizing commi ttee chair) at fernau at uni-trierde END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 79/27---31-July-2026-TACL-2026-–-12th-Int-l-Confer ence-on-Topology-Algebra-and-Categories-in-Logic-K rakow-PL- DTSTAMP:20260105T150901 SUMMARY:TACL 2026 – 12th Int’l Conference on Topol ogy, Algebra and Categories in Logic, Krakow [PL] DTSTART;VALUE=DATE:20260727 DTEND;VALUE=DATE:20260731 LOCATION:Krakow [PL] DESCRIPTION:The programme of TACL 2026 will focus on three interconnected mathematical themes that a re central to the semantic study of logic and its applications: algebraic, categorical, and topologi cal methods. Contributed talks on any topic invo lving the use of algebraic, categorical or topolog ical methods in either logic or computer science a re welcome. Abstracts of proposed contributions mu st be submitted through EasyChair and may be at mo st 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minut es long. X-ALT-DESC;FMTTYPE=text/html:The progr amme of TACL 2026 will focus on three interconnect ed mathematical themes that are central to the sem antic study of logic and its applications: algebra ic, categorical, and topological methods.
\nContributed talks on any topi c involving the use of algebraic, categorical or t opological methods in either logic or computer sci ence are welcome. Abstracts of proposed contributi ons must be submitted through EasyChair and may be at most 2 pages, including references (using Easy Chair style). Contributed presentations will be 30 minutes long.
\nUnder the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer Schoo l in Logic, Language, and Information (ESSLLI) run s every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the su mmer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns t o Prague after exactly 30 years.
\nThe mai n focus of ESSLLI is the interface between linguis tics, logic and computation, with special emphasis on human linguistic and cognitive ability. Course s, both introductory and advanced, cover a wide va riety of topics within the combined areas of inter est: Logic and Computation, Computation and Langua ge, and Language and Logic. Workshops are also org anized, providing opportunities for in-depth discu ssion of issues at the forefront of research, as w ell as a series of invited evening lectures.
\nESSLLI seeks courses on diverse topics, each course taking one or two weeks of 90 minutes per day. ESSLLI workshops follow the same structure (5 days, 90 minutes per day) with conten t assembled from external contributors. See here for the call-for-pr oposals.
\nThe re gistration is open for the 37th European Summer School in Logic, Language and Information ( ESSLLI).
\nESSLLI is a yearly recurring ev ent, which has been organized since 1989. It provi des an interdisciplinary setting in which courses and workshops are offered in logic, linguistics an d computer science. Courses (foundational, introdu ctory and advanced) and workshops cover a wide var iety of topics within three interdisciplinary area s of interest: language and computation, logic and language, and logic and computation. In addition to the workshops and courses there are usually fou r evening lectures, given by prominent researchers , on topics that are at the forefront of research in logic, language and computer science, also from wider scientific, historical, and philosophical p erspectives. Its relevance to students of artifici al intelligence is evident.
\n URL:https://2026.esslli.eu/ CONTACT:Dušan Variš at info2026 at esslli.eu END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 45/16---21-August-2026-Quantum-Key-Distribution-Su mmer-School-Les-Diablerets DTSTAMP:20260407T160713 SUMMARY:Quantum Key Distribution Summer School, Le s Diablerets DTSTART;VALUE=DATE:20260816 DTEND;VALUE=DATE:20260821 LOCATION:Les Diablerets DESCRIPTION:While classical cryptographic schemes always have to fear the risk of being broken, in p articular with the possibility that quantum comput ers are built, quantum cryptography promises uncon ditional security solely based on the laws of phys ics. This field of research is currently in an exc iting phase in which theoretical concepts and idea s are not only experiencing the transition to expe rimental implementations, but are also attracting the interest of industry. X-ALT-DESC;FMTTYPE=text/html:\nWhile classica l cryptographic schemes always have to fear the ri sk of being broken, in particular with the possibi lity that quantum computers are built, quantum cry ptography promises unconditional security solely b ased on the laws of physics. This field of researc h is currently in an exciting phase in which theor etical concepts and ideas are not only experiencin g the transition to experimental implementations, but are also attracting the interest of industry.< /p>\n URL:https://indico.global/event/9672/ CONTACT:Christian Schaffner at c.schaffner at uva. nl END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 17/17---21-August-2026-ICERM-Graduate-Training-Wor kshop-“Teaching-Higher-Category-Theory-with-Comput ers”-Providence-RI-USA- DTSTAMP:20251124T161509 SUMMARY:ICERM Graduate Training Workshop “Teaching Higher Category Theory with Computers”, Providenc e RI [USA] DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260821 LOCATION:Providence RI [USA] DESCRIPTION:This workshop aims to teach participan ts the fundamentals of higher category theory usin g the proof assistant Rzk. The participants will l earn both the classical point of view and the type theoretic point of view in two lecture series, an d, in the exercise sessions, will learn how to use the proof assistant Rzk to prove basic higher cat egorical results. Students with some familiarity with homotopy theory, category theory, homotopy ty pe theory, and/or proof assistants who are interes ted in learning about ∞-categories are particularl y encouraged. X-ALT-DESC;FMTTYPE=text/html:\n
This workshop aims to teach participants the fundamentals of hig her category theory using the proof assistant Rzk. The participants will learn both the classical po int of view and the type theoretic point of view i n two lecture series, and, in the exercise session s, will learn how to use the proof assistant Rzk t o prove basic higher categorical results.
\n < p>Students with some familiarity with homotopy the ory, category theory, homotopy type theory, and/or proof assistants who are interested in learning a bout ∞-categories are particularly encouraged. \n URL:https://icerm.brown.edu/program/topical_worksh op/tw-26-thc CONTACT:info at icerm.brown.edu END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 53/6---10-September-2026-Summer-school-for-STEM-pr ofessionals-committed-to-the-public-good DTSTAMP:20260415T181701 SUMMARY:Summer school for STEM professionals commi tted to the public good DTSTART;VALUE=DATE:20260906 DTEND;VALUE=DATE:20260910 LOCATION:Kasteel Spelderholt, Beekbergen [NL] DESCRIPTION:The second edition of the Beta in Best uur & Beleid (STEM in Governance & Policy) Summer School will take place at Kasteel Spelderholt in B eekbergen. Are you considering a move to the publi c sector and would you like to discover how you, a s a STEM professional, can make an impact in polic y and governance? Then sign up via this link. X-ALT-DESC;FMTTYPE=text/html:\nThe second edi tion of the Beta in Bestuur & Beleid (STEM in Gove rnance & Policy) Summer School will take place at Kasteel Spelderholt in Beekbergen. Are you conside ring a move to the public sector and would you lik e to discover how you, as a STEM professional, can make an impact in policy and governance? Then sig n up via t his link.
\n URL:https://www.betainbestuurenbeleid.nl/en/activi teiten/zomerschool/zomerschool-2026 END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/161 67/13---19-September-2026-CfR-Autumn-School-“Proof -and-Computation”-Fischbachau-DE- DTSTAMP:20260429T105459 SUMMARY:CfR: Autumn School “Proof and Computation” , Fischbachau [DE] DTSTART;VALUE=DATE:20260913 DTEND;VALUE=DATE:20260919 LOCATION:Fischbachau [DE] DESCRIPTION:The aim of the event is to bring toget her young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy. There will be an opportunity to form ad-hoc group s working on specific projects, but also to discus s in more general terms the vision of constructing correct programs from proofs. Valentin Herrma nnThe aim of the event is to bring together young researchers in t he fields of Foundations of Mathematics, Computer Science and Philosophy.
\nThere will be an opportunity to form ad-hoc groups working on spec ific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs.
\n\n
Valentin Herrmann <herrmann+pc26 (at) math (.) lmu (.) d e>
\n\n URL:https://www.mathematik.uni-muenchen.de/~schwic ht/pc26.php END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/160 80/16---18-September-2026-Computable90-–-90-Years- of-Turing-s-“Computable-Numbers”-Bletchley-Park-UK - DTSTAMP:20260223T140922 SUMMARY:Computable90 – 90 Years of Turing’s “Compu table Numbers”, Bletchley Park [UK] DTSTART;VALUE=DATE:20260916 DTEND;VALUE=DATE:20260918 LOCATION:Bletchley Park [UK] DESCRIPTION:The Computable 90 initiative includes a strong focus on Academic Engagement, with a dedi cated Conference element. This is intended to fost er high-level discussion and increase public under standing of Alan Turing's enduring influence in co mputer science. The Conference itself is targeted at the academic community, though everyone who ha s an interest in Alan Turing's 1936 paper and the ideas it has sparked will be stimulated and are we lcome to attend. For a more general audience, we a re offering a Public Lecture which will take place in the afternoon of Thursday 17 September 2026. X-ALT-DESC;FMTTYPE=text/html:\n
The Computable 90 initiative includes a strong focus on Academic Engagement, with a dedicated Conference element. This is intended to foster high-level discussion a nd increase public understanding of Alan Turing's enduring influence in computer science.
\nThe Conference itself is targeted at the academic community, though everyone who has an interest in Alan Turing's 1936 paper and the ideas it has spar ked will be stimulated and are welcome to attend.& nbsp;For a more general audience, we are offering a Public Lecture which will take place in the afte rnoon of Thursday 17 September 2026.
\n URL:https://www.tnmoc.org/computable90-conference CONTACT:operations at tnmoc.org END:VEVENT BEGIN:VEVENT UID:/NewsandEvents/Events/Conferences/newsitem/159 94/21---25-September-2026-16th-International-Confe rence-on-Formal-Ontology-in-Information-Systems-FO IS-2026-Vitória-BR-and-online-9-September- DTSTAMP:20260108T123459 SUMMARY:16th International Conference on Formal On tology in Information Systems (FOIS 2026), Vitória [BR] and online (9 September) DTSTART;VALUE=DATE:20260921 DTEND;VALUE=DATE:20260925 LOCATION:Vitória [BR] and online (9 September) DESCRIPTION:FOIS is a meeting point for all resear chers with an interest in formal ontology. FOIS ai ms to be a nexus of interdisciplinary research and communication for researchers from many domains e ngaging with formal ontology. Common application areas include conceptual modeling, database design , knowledge engineering and management, software e ngineering, organizational modeling, artificial in telligence, robotics, computational linguistics, t he life sciences, bioinformatics and scientific re search in general, geographic information science, information retrieval, library and information sc ience, as well as the Semantic Web. The con ference encourages submission of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2026 will have distinct tracks for foundational issues, onto logy applications and methods, and domain ontologi es. FOIS seeks full papers on three tracks: found ational track, methods, and onthology. X-ALT-DESC;FMTTYPE=text/html:FOIS is a meeting point for all researchers with an interes t in formal ontology. FOIS aims to be a nexus of i nterdisciplinary research and communication for re searchers from many domains engaging with formal o ntology.
\nCommon application areas includ e conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life scie nces, bioinformatics and scientific research in ge neral, geographic information science, information retrieval, library and information science, as we ll as the Semantic Web.
\n\n
\n
The conference enco urages submission of high quality, not previously published results on both theoretical issues and p ractical advancements. FOIS 2026 will have distinc t tracks for foundational issues, ontology applica tions and methods, and domain ontologies.
\n < p>FOIS seeks full papers on three tracks: foundati onal track, methods, and onthology.\n