- D-CON - lists.rwth-aachen.de

CSL 2026 - Second Call for Papers
by Barbara König 05 Jul '25

05 Jul '25

===================================== Call for papers CSL 2026 https://csl2026.github.io/ Paris, France 23-28 February 2026 Abstract submission: 15 July 2025 (AoE) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. Invited Speakers: -------------------- - Pierre Clairambault - Sandra Kiefer - Gordon Plotkin - Ana Sokolova Topics: -------------- Topics of interest include, but are not limited to: - automated deduction and interactive theorem proving - concurrency and distributed computation - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - formal methods - model checking - decision procedures - modal and temporal logic - description logics - logical aspects of computational complexity - logical aspects of AI - finite model theory - computability - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical aspects of quantum computing - logical foundations of programming paradigms - verification and program analysis - linear logic - higher-order logic - knowledge representation and reasoning - nonmonotonic reasoning Submission: -------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2026 (the link will be opened in early June) The CSL 2026 conference proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs), see https://drops.dagstuhl.de/entities/series/LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), see https://submission.dagstuhl.de/series/details/LIPIcs#author, presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC (but not PC chairs) are allowed. The submissions are double-blind: - Authors are not allowed to put their name on the paper, and they should avoid revealing their identities in text (references to previous or related work should be in third-person). - Authors are allowed (and even encouraged) to disseminate the work on public repositories (e.g. on arXiv or their websites). At least one of the authors of each accepted paper is expected to register for the conference in order to present their paper. Important dates: -------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. - Abstract submission: 15 July, 2025 - Paper submission: 21 July 2025 - Notification: 14 October 2025 - Final Version: 30 November 2025 - Conference: 23-28 February 2025 Committee Chairs -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France - Barbara König - University of Duisburg-Essen, Germany Program Committee -------------- - Antonis Achilleos - Reykjavik University, Iceland - Patrick Baillot - CNRS and University of Lille, France - Paolo Baldan - University of Padova, Italy - Harsh Beohar - University of Sheffield, UK - Florence Clerc - Heriot-Watt University Edinburgh, UK - Marcelo Fiore - University of Cambridge, UK - Nicola Gambino - University of Manchester, UK - Marianna Girlando - University of Amsterdam, Netherlands - Stefan Göller - University of Kassel, Germany - Giulio Guerrieri - University of Sussex, UK - Luisa Herrmann - TU Dresden, Germany - Naoki Kobayashi - The University of Tokyo, Japan - Dexter Kozen - Cornell University, USA - Antonín Kučera - Masaryk University Brno, Czech Republic - Clemens Kupke - University of Strathclyde Glasgow, UK - Aliaume Lopez - University of Warsaw, Poland - Giulio Manzonetto - Paris Cité University, France - Paul-André Melliès - CNRS and Paris Cité University, France - Aart Middeldorp - University of Innsbruck, Austria - Matteo Mio - CNRS and ENS Lyon, France - Larry Moss - Indiana University Bloomington, USA - Sara Negri - University of Genova, Italy - Elaine Pimentel - University College London, UK - Paolo Pistone - Claude Bernard University Lyon 1, France - Jurriaan Rot - Radboud University Nijmegen, Netherlands - Sven Schewe - University of Liverpool, UK - Sylvain Schmitz - Paris Cité University, France - Lutz Schröder - FAU Erlangen-Nürnberg, Germany - Thomas Schwentick - TU Dortmund University, Germany - Thomas Seiller - CNRS and Sorbonne Paris Nord University, France - Peter Selinger - Dalhousie University, Canada - Viorica Sofronie-Stokkermans - University of Koblenz, Germany - Lorenzo Tortora de Falco - Roma Tre University, Italy - Fabio Zanasi - University College London, UK - Margherita Zorzi - University of Verona, Italy Organisation committee: -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France

1 0

IEEE CHILECON2025 - new deadline - July 17th
by CLEI 2025 . - 01 Jul '25

01 Jul '25

(We apologize for multiple postings) Due to numerous requests, we have decided to extend the CHILECON2025 paper submission deadline to *July 17, 2025.* If you have any further questions, please feel free to contact us. Please share with your contacts. 2025 IEEE CHILEAN CONFERENCE ON ELECTRICAL, ELECTRONIC, COMPUTER ENGINEERING AND COMMUNICATIONS TECHNOLOGY IEEE Chilecon2025 [image: image.png] Celebrating 50 years of dissemination, research, and innovation IEEE CHILECON2025 - Call for Papers Valparaíso, Chile, October 28-30, 2025 Conference website: chilecon2025.pucv.cl Organized by: IEEE CHILE CENTER SECTION IEEE CHILE CONTROL SYSTEMS CHAPTER CHILEAN AUTOMATIC CONTROL ASSOCIATION (ACCA) PONTIFICIAL CATHOLIC UNIVERSITY OF VALPARAÍSO Event Valparaíso, with its amphitheater-like setting and steep hills with deep ravines The city, to which its multicolored houses cling, is deeply rooted in the imagination of people around the world. Valparaíso's historic center was declared a World Heritage Site in 2003. On Bellavista Hill is La Sebastiana, one of Nobel Prize-winning poet Pablo Neruda's homes, now a museum. An hour away is the Isla Negra House Museum, which houses the largest collection of artifacts collected by the poet Neruda. Valparaíso is also close to the Casablanca Valley, famous for its vineyards. Tracks Artificial Intelligence Biomedical Engineering Computational Intelligence Computer Science, Software, Informatics Control Systems, Process Control Control Theory Green Technology and Digital Agriculture Energy and Power Systems Engineering Education Information Technology and Communication Systems IoT, Mechatronics Power Electronics Production and Industry 4.0 Smart Industry for Sustainable Economic Growth Robotics, Computer Vision Geoscience and Remote Sensing Video Games and Virtual Reality Important Dates Full Paper Submission: July 17, 2025 IPC Notifications: September 14, 2025 Print-Ready Papers: October 1, 2025 Early Bird Registration: October 1, 2025 Conference: October 28-30, 2025 2025 Submission of full papers via Easychair at https://easychair.org/conferences/?conf=cleijccchilecon2025 and select the appropriate Chilecon track. Articles must be in IEEE format ( https://www.ieee.org/conferences/publishing/templates), with a title, abstract, and keywords in English. The remainder of the article may be written in English, Spanish, or Portuguese. Length: 6 pages. Cost per additional page: USD 50, maximum 2 additional pages. IEEE Chilecon2025 is an official IEEE conference (registration number #66915). All accepted papers will be published in IEEE Xplore and submitted for Scopus indexing. Chilecon2025 will be held in parallel with two other conferences: - 51st Latin American Informatics Conference - CLEI2025 ( conference2025.clei.org), and - Chilean Computer Conference - JCC2025 (jcc2025.pucv.cl) Registration Early bird registration October 1st, 10% discount General public: USD 250 Full author registration: USD 350 (-10% IEEE, ACCA member) Student co-author: USD 60, with author registration. Papers with only one student must be registered with the full author fee. Student registration; General student: USD 60. Claudio Cubillos Gastón Lefranc presidentes de IEEE Chilecon2025 -- Gaston Lefranc H. Profesor Titular PUCV Professor Honoris Causa, Agora University, Rumania 2022

1 0

Call for faculty positions in Software Engineering at PUCV, Chile
by Claudio Alonso Cubillos Figueroa 17 Jun '25

17 Jun '25

Call for Faculty Positions (in Software Engineering) Pontificia Universidad Católica de Valparaíso (PUCV), Chile Escuela de Ingeniería Informática We are seeking to fill one tenure-track faculty position at the Escuela de Ingeniería Informática at Pontificia Universidad Católica de Valparaíso (PUCV), Valparaíso, Chile. Candidates must hold a PhD in Computer Science (or a related field) or have defended their doctoral thesis by October 1st, 2025. Preferred research areas include, but are not limited to: • Software Requirements Engineering • Testing and Quality Assurance • Agile Methodologies • Databases • Cloud Computing and Distributed Systems • Cybersecurity • Blockchain Technologies • Virtual/Augmented Reality We seek dynamic colleagues who will make positive contributions to the Department's teaching, research, and service efforts. Candidates with published articles in ISI WoS-indexed journals are highly preferred. Applications are particularly welcome from those willing to commit to the spirit of the Department and the University's aspirations towards equality, diversity and inclusivity. Thus, we encourage applications from women and foreign candidates. The salary is commensurate with the candidate's experience and qualifications. The offered salary will be competitive internationally and complemented with research incentives and access to support funds. The PUCV is currently ranked among the top 30 universities in Latin America and among the top five Universities in Chile. The Escuela de Ingeniería Informática offers three undergraduate programs (Ingeniería Civil Informática, Ingeniería Civil en Ciencia de Datos, and Ingeniería en Informática) as well as two postgraduate programs (Master in Informatics Engineering and PhD in Informatics Engineering). The PUCV is situated at the heart of the Valparaíso metropolitan area, which was designated a UNESCO World Heritage Site. The cities of Valparaíso and Viña del Mar stand out for their quality of life and their diverse tourist attractions. Candidates are asked to send the following documentation: • Cover Letter indicating the motivations of the candidate • Curriculum vitae • Validation of Candidate's Degrees (if needed). • Two reference letters (they must be sent to the Head of the Department, Dr Ricardo Soto De Giorgis, email: dirinf(a)pucv.cl) • Publication list indicating whether each paper is WoS indexed and its current status (under review/accepted/published). • List the research projects the candidate has participated in as the principal researcher (or equivalent). Inquiries must be sent to *dirinf(a)pucv.cl <dirinf(a)pucv.cl> by June 25th*, 2025. Applications must be made *by July 1st, 2025*, through this link. Application Code:VRD 083 - 2025

1 0

Deadline Extended: CfP ICTAC'2025
by Martin Leucker 17 Jun '25

17 Jun '25

*Call for Papers - ICTAC 2025* https://ictac2025.digital-hub.sh/ <https://ictac2025.digital-hub.sh/> *International Colloquium on Theoretical Aspects of Computing* Marrakech, Morocco, November 24th to 28th, 2025 *About ICTAC:* The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through (formal) methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. *Topics of Interest:* The conference concerns all aspects of theoretical computer science, including, but not limited to: * Formal languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory, and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed computing * Models of objects and components * Coordination models * Security and privacy * Static analysis * Software verification * Timed, hybrid, and cyber-physical systems * Verification, analysis and control synthesis * Software testing * Program generation and transformation * Model checking and theorem-proving * Quantum computing * Trustworthy AI * Machine learning algorithms * Applications and experience *Invited Speakers* * * * Antoine Girard, University Paris-Saclay, CNRS, France * Klaus Havelund, NASA’s Jet Propulsion Laboratory, California Institute of Technology, USA * Joost-Pieter Katoen, RWTH Aachen University, Germany * Kim Guldstrand Larsen, Aalborg University, Denmark *Publication:* * All accepted papers will be published in Springer's Lecture Notes in Computer Science. * Springer sponsors the ICTAC 2025 Best Paper Award with a cash prize of 1.000 Euro. * There will be a special issue for selected papers from ICTAC 2025 in the Elsevier’s journal Theoretical Computer Science. *Deadlines:* * July, 03rd: Abstracts (extended) * July, 09th: Full papers (extended) * August, 30th: Notification * September, 15th: Camera-ready papers *General Co-Chairs * * Ahmed Bouajjani Université de Paris, France * Mohammed Erradi ENSIAS, UM5R, Morocco *Program Co-Chairs * * Zhiming Liu Southwest University, China * Adnane Saoud UM6P, Morocco * Heike Wehrheim University of Oldenburg, Germany *Program Committee * * Jorge A. Pérez University of Groningen, Netherlands * Laurent Fribourg ENS Paris-Saclay, LMF, France * Lina Ye CentraleSupélec, LRI, University Paris–Saclay, France * Abderrahim Ait Wakrime UM5R, Morocco * Maike Schwammberger Karlsruhe Institute of Technology, Germany * Kirstin Peters Universität Augsburg, Germany * Emil Sekerinski McMaster University, Canada * Ichiro Hasuo National Institute of Informatics, Japan * Kim Guldstrand Larsen Computer Science, Aalborg University, Denmark * Yuxin Deng East China Normal University, China * Zhilin Wu Institute of Software, Chinese Academy of Sciences, China * Jan Kretinsky Masaryk University, Czech Republic * Sadegh Soudjani Max Planck Institute, Germany * Annabelle McIver Macquarie University, Australia * Rosemary Monahan Maynooth University, Ireland * Marcello Bonsangue Leiden University, Netherlands * Ana Sokolova University of Salzburg, Austria * Pushpak Jagtap Indian Institute of Science, Bangalore, India * Silvia Lizeth Tapia Tarifa University of Oslo, Norway * Jim Woodcock University of York, United Kingdom * Augusto Sampaio Federal University of Pernambuco, Brazil * Marjan Sirjani Mälardalen University, Sweden * Cong Tian Xidian University, China * Maurice ter Beek CNR, Italy * Tarmo Uustalu Reykjavik University, Iceland * Miaomiao Zhang Tongji University, China * Sarah Winkler Free University of Bozen-Bolzano, Italy * Hussein Sibai Washington University in St. Louis, USA * Tomás Vojnar Brno University of Technology, Czech Republic * Peter Habermehl IRIF, Université Paris Cité, France * Julien Signoles CEA LIST, France * Chelsea Edmonds University of Sheffield, United Kingdom * Inigo Incer University of Michigan, USA * Organizing Committee * Abderrahim Ait Wakrime UM5R, Morocco * Sadek Belamfedel Alaoui UM6P, Morocco * Khaoula Boukir Ibn Tofail University, Morocco * Karam Kharraz University of Lübeck, Germany * Adnane Saoud UM6P, Morocco -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | NEW NUMBER: | Email:leucker@isp.uni-luebeck.de | | Tel.: +49/451/3101 6500 | Web:http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0

IEEE Chilecon2025 - Full Paper Extended: June 30, 2025
by Claudio Alonso Cubillos Figueroa 12 Jun '25

12 Jun '25

(apologies for cross-posting) Due to numerous requests, we have decided to extend the deadline to *June 30, 2025*. Any other query, we are at your disposal. Please share among your contacts. 2025 IEEE CHILEAN CONFERENCE ON ELECTRICAL, ELECTRONIC ENGINEERING, INFORMATICS AND COMMUNICATIONS TECHNOLOGY [image: image.png] Celebrating 50 years of research and innovation IEEE CHILECON2025 - Call for Papers Valparaíso, Chile, October 28-30, 2025 Conference web site: chilecon2025.pucv.cl Organized by: IEEE CHILE CENTRO SECTION IEEE CHILEAN CONTROL SYSTEMS CHAPTER ASOCIACIÓN CHILENA DE CONTROL AUTOMÁTICO ( ACCA) PONTIFICIA UNIVERSIDAD CATÓLICA DE VALPARAÍSO Venue Valparaíso, with its amphitheater-like setting and steep hills with their deep ravines to which its multi-colored houses cling, is embedded in the imagination of people worldwide. The historic quarter of Valparaíso was declared a World Heritage Site in 2003. On Bellavista Hill is La Sebastiana, one of the houses of Nobel Prize-winning poet Pablo Neruda, now converted into a museum. An hour away is the Isla Negra House Museum, which houses the largest collection of artifacts collected by the poet Neruda. Valparaíso is also close to the Casablanca Valley, famous for its vineyards. Tracks Artificial Intelligence Biomedical Engineering Computational Intelligence Computer Science, Software, Informatics Control Systems, Process Control Control Theory Ecological Technology and Digital Agriculture Energy and Power Systems Engineering Education Information Technologies and Communication Systems IoT, Mecatronics Power Electronics Production and Industry 4.0 Smart Industry for Sustainable Economic Growth Robotics, Computer Vision Geoscience and remote sensors Videogames and Virtual Reality Important Dates Full Paper Submission: June 15, 2025 June 30, 2025 IPC notifications: Sept. 14, 2025 Camera Ready Papers: Oct. 1, 2025 Early registration: Oct. 1, 2025 Conference: Oct. 28-30, 2025 Full paper submission via Easychair at https://easychair.org/conferences/?conf=cleijccchilecon2025 and select the appropriate Chilecon track. Articles in IEEE format ( https://www.ieee.org/conferences/publishing/templates), with Title, Abstract, and Keywords in English. The rest of the article can be written in English, Spanish, or Portuguese. Paper length: 6 pages. Additional page USD50 per page, max 2 extra pages. IEEE Chilecon2025 is an official IEEE Conference (Record number # 66915). All accepted papers will be published in IEEE Xplore and presented for Scopus indexation. Chilecon2025 is co-located with another 2 conferences: - 51a Conferencia Latinoamericana de Informática - CLEI2025 ( conferencia2025.clei.org), and - Jornadas Chilenas de Computación - JCC2025 (jcc2025.pucv.cl) Registration Early birds Oct 1, -10% General audience: USD 250 Full author registration: USD 350 (-10% IEEE, ACCA member) Co-author student: USD 60, with Author registration. Paper with only a student must register at the full author rate. Student Registration; General student: USD 60. IEEE Chilecon2025 web: http://chilecon2025.pucv.cl

1 0

PhD position at the University of Duisburg-Essen
by Barbara König 10 Jun '25

10 Jun '25

PhD position at the University of Duisburg-Essen ====================================================================== The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen, Campus Duisburg (Germany) has one open PhD position paid according to TV-L 13 (full-time): https://www.uni-due.de/karriere/stelle.php?kennziffer=289-25 The PhD thesis topic will be in the area of modelling and verification of concurrent systems. Our main research interests are behavioural equivalences and behavioural metrics, graph transformation systems and fixpoint theory with applications to formal methods for reinforcement learning. For more information on the research group see https://www.uni-due.de/theoinf/index_en.php We offer a well-paid position in a stimulating research environment. Do not hesitate to contact me if you have questions! Requirements ------------ You should have or should be in the process of obtaining an MSc or equivalent degree (in Computer Science or Mathematics). Prior knowledge about the topics mentioned above is considered an advantage but not strictly necessary. Good English speaking and writing skills are demanded, as well as the willingness to learn German. The application deadline is 3rd July 2025. ====================================================================== Your Application ---------------- You can obtain further information by adressing your enquiries to: Barbara Koenig barbara_koenig(a)uni-due.de tel.: ++49-203-3793397 If you are interested in the position, please send your application. Your application should include: * A description of your interest in the position, including your motivation and specific qualifications. * A curriculum vitae, including an abstract of your graduate thesis and the name of your supervisor. Please send your application directly to me (barbara_koenig(a)uni-due.de).

1 0

Associate Professorship (W2) in Verification
by Roland Meyer 16 May '25

16 May '25

Dear Colleagues, TU Braunschweig is recruiting an Associate Professor in Verification (tenured, W2) https://vacancies.tu-braunschweig.de/jobposting/d61ad0b165924c57cc54c4810ff… If you have questions, do not hesitate to ask me. If you have colleagues who may be interested, please distribute the offer. Looking forward to hearing from you, Roland — Prof. Dr. Roland Meyer TU Braunschweig Institut für Theoretische Informatik Mühlenpfordtstr. 23, 346 38106 Braunschweig Phone: +49 (0)531 391 9524 Fax: +49 (0)531 391 9529 https://www.tu-bs.de/tcs

1 0

CFP EXPRESS/SOS 2025
by Kirstin Peters 07 May '25

07 May '25

********************************** 1st Call for Papers Express/SOS 2025 * Venue: Aarhus, Denmark, August 25, 2025 * Submission deadline: June 3, 2025 (full and short papers) * Website:https://expresssos.github.io/conf/2025 ********************************** Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025) Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025 =========================================== == IMPORTANT DATES - Paper submission Tuesday, June 3, 2025 - Paper notification Thursday, July 10, 2025 - Workshop: August 25, 2025 - Final version (post-proceedings): September 25, 2025 == SCOPE AND TOPICS The EXPRESS/SOS workshop series aims to bring together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Topics of interest for EXPRESS/SOS 2025 include, but are not limited to: - expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems) - expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparisons between structural operational semantics and other formal semantic approaches; - applications and case studies of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. We especially welcome contributions bridging the gap between the above topics and neighbouring areas, such as, for instance: - computer security - multi-agent systems - programming languages - formal verification - reversible computation - knowledge representation == SUBMISSION GUIDELINES: We invite two types of submissions: * Full papers (up to 15 pages, excluding references). * Short papers (up to 5 pages, excluding references, not included in the workshop post-proceedings) All submissions have to adhere to the EPTCS format (https://info.eptcs.org/). Simultaneous submission to journals, conferences or other workshops is only allowed for short papers; full papers must be unpublished. Submission is performed through EasyChair: https://easychair.org/conferences/?conf=expresssos2025 The final versions of accepted full papers will be published in EPTCS. It is understood that for each accepted submission one of the co-authors will register for the workshop and present the paper. * We are pleased to announce the possibility of a Joint Special Issue with EXPRESS/SOS 2024 (due in December 2025). == WORKSHOP CO-CHAIRS: Cinzia Di Giusto (Université de Nice Sophia-Antipolis, France) Giorgio Bacci (Aalborg University, Denmark) == PROGRAM COMMITTEE: Antonis Achilleos (Reykjavik University) Elli Anastasiadi (Aalborg University) Benjamin Bisping (TU Berlin) Georgiana Caltais (University of Twente) Valentina Castiglioni (Eindhoven University of Technology) Luc Edixhoven (Centrum Wiskunde & Informatica - CWI) Paola Giannini (Universita' del Piemonte Orientale) Daniele Gorla (University of Rome La Sapienza) Ping Hou (University of Oxford) Hans Hüttel (Aalborg University) Claudio Antares Mezzina (Università di Urbino) Andreia Mordido (University of Lisbon) Kirstin Peters (Universität Augsburg) Anna Philippou (University of Cyprus) Alceste Scalas (Technical University of Denmark) Elena Zucca (University of Genova) Rob van Glabbeek (University of Edinburgh) Bas van den Heuvel (Karlsruhe University of Applied Sciences) == CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions at cinzia.di-giusto(a)univ-cotedazur.fr grbacci(a)cs.aau.dk

1 0

CSL 2026 - First Call for Papers
by Barbara König 06 May '25

06 May '25

===================================== Call for papers CSL 2026 https://csl2026.github.io/ Paris, France 23-28 February 2026 Abstract submission: 15 July 2025 (AoE) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. Topics: -------------- Topics of interest include, but are not limited to: - automated deduction and interactive theorem proving - concurrency and distributed computation - constructive mathematics and type theory - equational logic and term rewriting - automata and games, game semantics - formal methods - model checking - decision procedures - modal and temporal logic - description logics - logical aspects of computational complexity - logical aspects of AI - finite model theory - computability - computational proof theory - logic programming and constraints - lambda calculus and combinatory logic - domain theory - categorical logic and topological semantics - database theory - specification, extraction and transformation of programs - logical aspects of quantum computing - logical foundations of programming paradigms - verification and program analysis - linear logic - higher-order logic - knowledge representation and reasoning - nonmonotonic reasoning Submission: -------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2026 (the link will be opened in early June) The CSL 2026 conference proceedings will be published in the Leibniz International Proceedings in Informatics (LIPIcs), see https://drops.dagstuhl.de/entities/series/LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), see https://submission.dagstuhl.de/series/details/LIPIcs#author, presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC (but not PC chairs) are allowed. The submissions are double-blind: - Authors are not allowed to put their name on the paper, and they should avoid revealing their identities in text (references to previous or related work should be in third-person). - Authors are allowed (and even encouraged) to disseminate the work on public repositories (e.g. on arXiv or their websites). At least one of the authors of each accepted paper is expected to register for the conference in order to present their paper. Important dates: -------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. - Abstract submission: 15 July, 2025 - Paper submission: 21 July 2025 - Notification: 20 October 2025 - Final Version: 30 November 2025 - Conference: 23-28 February 2025 Committee Chairs -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France - Barbara König - University of Duisburg-Essen, Germany Program Committee -------------- - Antonis Achilleos - Reykjavik University, Iceland - Patrick Baillot - CNRS and University of Lille, France - Paolo Baldan - University of Padova, Italy - Harsh Beohar - University of Sheffield, UK - Florence Clerc - Heriot-Watt University Edinburgh, UK - Marcelo Fiore - University of Cambridge, UK - Nicola Gambino - University of Manchester, UK - Marianna Girlando - University of Amsterdam, Netherlands - Stefan Göller - University of Kassel, Germany - Giulio Guerrieri - University of Sussex, UK - Luisa Herrmann - TU Dresden, Germany - Naoki Kobayashi - The University of Tokyo, Japan - Dexter Kozen - Cornell University, USA - Antonín Kučera - Masaryk University Brno, Czech Republic - Clemens Kupke - University of Strathclyde Glasgow, UK - Aliaume Lopez - University of Warsaw, Poland - Giulio Manzonetto - Paris Cité University, France - Paul-André Melliès - CNRS and Paris Cité University, France - Aart Middeldorp - University of Innsbruck, Austria - Matteo Mio - CNRS and ENS Lyon, France - Larry Moss - Indiana University Bloomington, USA - Sara Negri - University of Genova, Italy - Elaine Pimentel - University College London, UK - Paolo Pistone - Claude Bernard University Lyon 1, France - Jurriaan Rot - Radboud University Nijmegen, Netherlands - Sven Schewe - University of Liverpool, UK - Sylvain Schmitz - Paris Cité University, France - Lutz Schröder - FAU Erlangen-Nürnberg, Germany - Thomas Schwentick - TU Dortmund University, Germany - Thomas Seiller - CNRS and Sorbonne Paris Nord University, France - Peter Selinger - Dalhousie University, Canada - Viorica Sofronie-Stokkermans - University of Koblenz, Germany - Lorenzo Tortora de Falco - Roma Tre University, Italy - Fabio Zanasi - University College London, UK - Margherita Zorzi - University of Verona, Italy Organisation committee: -------------- - Stefano Guerrini - Sorbonne Paris Nord University, France

1 0

PhD/postdoc positions at ERC grant on verification&AI
by Jan Křetínský 01 May '25

01 May '25

Open positions funded by the ERC grant InOVationCS (Intelligence-Oriented Verification&Controller Synthesis) led by Prof. Jan Kretinsky: - postdoc and PhD student positions in the area of quantitative verification and safe&explainable AI - scientific programmer, developer of Automata Tutor / PhD student interested in co-developing Automata Tutor Topics: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine-learning techniques in verification, controller synthesis, formal methods in robotics - SAFE AND EXPLAINABLE AI: verification of machine-learnt systems such as neural networks, analysis of systems with AI-based components, explainability of controllers of cyber-physical systems, safe reinforcement learning and PAC guarantees - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical computer science. It offers automatic grading and feedback of various types of exercises. The tool has been used at dozens of universities around the world and graded more than a million exercise solutions. [1] https://automata-tutor.live-lab.fi.muni.cz/ [2] https://link.springer.com/chapter/10.1007%2F978-3-030-53291-8_1 More information on the research done in our group is available at https://live-lab.fi.muni.cz/ Requirements: We are looking for highly motivated candidates who will fit our enthusiastic and collaborative group spirit. Post-doc: The applicant is expected to have a solid publication record in theoretical CS. Experience with robotics applications, machine learning or similar is appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification/model checking, probabilistic or timed systems. Scientific programmer: Your task will be to support our research with implementation activities. Automata Tutor developer: Your tasks will include making Automata Tutor an open-source project, supervising deployment, and improving the tool by developing and implementing user-stories. Additionally, we are interested in analyzing the student solutions using machine learning. We offer: - International group - Dynamic and collaborative work style - Flexible working hours, home office possibilities etc. - Generous travel and equipment funds - Numerous international and industrial collaboration opportunities - The positions are based at Masaryk University Brno, Czech Republic, with a close collaboration with the part of our group residing at TU Munich. - Competitive salary around 1900 EUR net per month with comparatively low cost of living in the Czech Republic - CS department of Masaryk University is a vibrant environment, among top 10 CS departments worldwide in the area of Logic and Verification, see https://csrankings.org/#/index?log&world - Brno was voted the 8th most popular student city in the QS ranking and the 4th best student city in the world according to the Campus Advisor. For more information and for applications online, please send an email to jan.kretinsky(a)tum.de (subject = "application for position") with attached CV, transcript of records, motivation letter, and list of references. The positions are to start in Autumn or as negotiated.

1 0