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
**********************************
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
=====================================
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
