[image: SIGLOG] Monthly 269*January 05, 2026*
Past Issues <https://lics.siglog.org/newsletters/> - How to submit an
announcement <https://lics.siglog.org/newsletters/inst.html>Table of
Contents
- DEADLINES <#deadlines>
- CALLS
- FMBC 2026 (CALL FOR PAPERS) <#FMBC2026>
- Petri Nets 2026 (https://conf-2026.petrinet.net, CALL FOR PAPERS,
and there are no scheduled talks.) <#PetriNets2026>
- FLoC 2026 (CALL FOR PAPERS) <#FLoC2026>
- CiE 2026 (CALL FOR PAPERS) <#CiE2026>
- CONFEST 2026 (CALL FOR WORKSHOPS) <#CONFEST2026>
- SCML 2026 (CALL FOR PAPERS) <#SCML2026>
- PLS15 (CALL FOR PAPERS) <#PLS15>
- NMR 2026 (CALL FOR PAPERS) <#NMR2026>
- CONCUR 2026 (CALL FOR PAPERS) <#CONCUR2026>
- JOB ANNOUNCEMENTS
- POSTDOC AND PHD POSITION <#POSTDOCANDPHDPOSSITION>
Deadlines
FMBC 2026: Jan 08, 2026 (Abstract), Jan 15, 2026 (Full paper)
Petri Nets 2026: Jan 14, 2026 (Abstract)
CiE 2026: Jan 29, 2026 (Abstract deadline), Feb 03, 2026 (Full paper
deadline)
CONFEST 2026: Jan 30, 2026 (Workshop proposal deadline)
POSTDOC AND PHD POSITION: Feb 01, 2026 (Application deadline)
WoLLIC 2026: Feb 16, 2026 (Abstracts deadline), Feb 22, 2026 (Full papers
deadline)
PLS15: Mar 30, 2026 (Deadline for), May 29, 2026 (Poster abstracts deadline)
NMR 2026: Apr 03, 2026 (Paper registration), Apr 10, 2026 (Paper)
CONCUR 2026: Apr 20, 2026 (Abstracts), Apr 27, 2026 (Submissions)
SCML 2026: Apr 27, 2026 (Deadline for of extended abstracts)FMBC 2026: 7th
International Workshop on Formal Methods for Blockchains
April 11, 2026
Turin, Italy
https://fmbc.gitlab.io/2026
Co-located with the European Joint Conferences on Theory and Practice of
Software (ETAPS 2026) https://www.etaps.org/2026/
CALL FOR PAPERS
- IMPORTANT DATES
Abstract submission: Jan 08, 2026
Full paper submission: Jan 15, 2026
Notification: Feb 28, 2026
Camera-ready: Mar 15, 2026
Workshop: Apr 11, 2026Deadlines are Anywhere on Earth (AoE):
https://en.wikipedia.org/wiki/Anywhere_on_Earth
- TOPICS OF INTEREST
Blockchain is a novel technology to store data in a decentralized way.
Although originally invented to enable cryptocurrencies, it quickly found
applications in several other domains. Blockchains may also provide support
for Smart Contracts. Smart Contracts are scripts written in ad-hoc
programming languages, stored on the blockchain and executed by the
network. They can interact with the ledger’s data and update its state,
expressing the logic of possibly complex contracts between users of the
blockchain and facilitating economic activity.
Since blockchains are often used to store financial transactions, bugs
may result in huge economic losses. It is therefore of utmost importance to
obtain strong guarantees of the behaviour of blockchain software. Such
guarantees can be achieved using Formal Methods. Blockchain software
encompasses many areas where Formal Methods are relevant, including
consensus algorithms ensuring liveness and security, smart contract
programming languages, and cryptographic protocols such as zero-knowledge
proofs.
This workshop is a forum to identify theoretical and practical
approaches of formal methods for Blockchain technology. Topics include, but
are not limited to:
- Formal models of Blockchain applications or concepts
- Formal methods for consensus protocols
- Formal methods for Blockchain-specific cryptographic primitives or
protocols
- Design and implementation of Smart Contract languages
- Verification of Smart Contracts
- Zero-knowledge proofs and their applications in a blockchain setting
- SUBMISSION
Submit original manuscripts not published or under consideration
elsewhere. Page limits are 12 pages for full papers and 6 pages for short
and tool papers, excluding bibliography and a short appendix of up to 5
additional pages. Alternatively, authors may submit an extended abstract of
up to 2 pages excluding bibliography, summarizing ongoing work in the area
of formal methods and blockchains. Extended abstracts will not be included
in the proceedings, but authors of selected submissions will be invited to
give a lightning talk. Submission link:
https://easychair.org/conferences/?conf=fmbc2026
Authors are encouraged to use LaTeX and prepare submissions according to
the OASIcs instructions and style guides provided by Dagstuhl:
https://submission.dagstuhl.de/documentation/authors#oasics At least one
author of an accepted paper is expected to present the paper at the
workshop as a registered participant.
- PROCEEDINGS
All submissions will be peer-reviewed by at least three members of the
program committee for quality and relevance. Accepted regular papers,
including full and short papers, will be included in the workshop
proceedings, published as a volume of the Open Access Series in Informatics
(OASIcs) by Dagstuhl.
- SPECIAL ISSUE
Revised selected papers will be considered for publication in the
upcoming special issue on Formal Methods for Blockchains in the Journal of
Logical and Algebraic Methods in Programming (JLAMP):
https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming
- INVITED SPEAKER
- Pamina Georgiou, Team Leader for Formal Verification at Certora
https://www.certora.com/author/pamina
- PROGRAM COMMITTEE
PC Co-Chairs
- Massimo Bartoletti, University of Cagliari, Italy ([email protected])
- Diego Marmsoler, University of Exeter, UK ([email protected])
Petri Nets 2026: 47th International Conference on Applications and Theory
of Petri Nets and Concurrency
22–26 June, 2026
Hamburg, Germany
https://conf-2026.petrinet.netCALL FOR PAPERS
- Petri Nets 2026 is the 47th edition of the International Conference on
Applications and Theory of Petri Nets and Concurrency. The conference will
be held in Hamburg, Germany, at the university where Carl Adam Petri held
an honorary professorship. On the occasion of the 100th birthday of Carl
Adam Petri, contributions including a historical perspective are
particularly welcome.
Papers presenting original research on the theory and applications of
Petri nets are sought, as well as contributions addressing concurrent
systems more broadly and applications of concurrency to system design.
- IMPORTANT DATES
Abstract submission: Jan 14, 2026
Paper submission: Jan 21, 2026
Notification: Mar 08, 2026
Final version due: Mar 22, 2026
Workshops and Tutorials: Jun 22–23, 2026
Main Conference: Jun 24–26, 2026
- PAPER SUBMISSION
Two kinds of papers can be submitted:
- Regular papers (max. 20 pages excluding references) describing
original theoretical results, extensions of applicability, case studies,
applications, and experience reports related to Petri nets and concurrent
systems.
- Tool papers (max. 10 pages excluding references) describing a
computer tool based on Petri nets. The tool must be available to
reviewers
free of charge and will be demonstrated at the Tool Exhibition.
Submissions must use the Springer LNCS format and include line numbers
(using the lineno LaTeX package):
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
Submit via EasyChair:
https://easychair.org/conferences/?conf=petrinets2026
- WORKSHOPS, COURSES, TUTORIALS AND TOOLS
The main conference takes place from Wednesday, 24 June to Friday, 26
June 2026. Workshops, tutorials, and the Petri Net Course take place on
Monday, 22 June and Tuesday, 23 June 2026. The Petri Net Course offers
half-day and full-day modules providing a thorough introduction to Petri
nets. A Tool Exhibition with informal demonstrations will be held on
Thursday, 25 June 2026. It consists of informal demonstrations for small
groups/individuals,
and there are no scheduled talks.
- ORGANISATION
Organisation Committee Chairs:
- Michael Köhler-Bußmeier, Hamburg University of Applied Sciences,
Germany
- Daniel Moldt, University of Hamburg, Germany
- INFORMATION & CONTACT
- https://conf-2026.petrinet.net
- [email protected]
FLoC 2026: Federated Logic Conference
Lisbon, Portugal
Institut Universitaire de Lisbonne (ISCTE)
Conferences: 20–23 July 2026 and 26–29 July 2026
Workshops: 18–19 July 2026 and 24–25 July 2026
FoPSS Summer School: 13–17 July 2026
CALL FOR PAPERS
- ABOUT
The Federated Logic Conference (FLoC) unites ten leading international
conferences focused on mathematical logic and its applications in computer
science. Since 1996, FLoC has been organized every four years and attracts
over 2,000 attendees. FLoC 2026 welcomes original, high-quality
contributions on all aspects of logic in computer science.
- IMPORTANT DATES (AoE)
CAV – 38th International Conference on Computer Aided Verification
https://conferences.i-cav.org/2026/
Paper Submission: Jan 28, 2026
Author Response Period: March 30 – April 1, 2026
Author Notification: Apr 17, 2026
Conference Dates: Jul 26–29, 2026CP – 32nd International Conference on
Principles and Practice of Constraint Programming https://cp2026.a4cp.org
Abstract Submission: Feb 28, 2026
Paper Submission: Mar 07, 2026
Author Response Period: Mar 09, 2026
Author Notification: Apr 30, 2026
Conference Dates: Jul 20–23, 2026CSF – 39th IEEE Computer Security
Foundations Symposium https://csf2026.ieee-security.org
Paper Submission: Jan 29, 2026
Author Notification: Apr 01, 2026
Conference Dates: July 26–29, 2026FSCD – 11th International Conference
on Formal Structures for Computation and Deduction
https://fscd2026.github.io
Abstract Submission: Jan 23, 2026
Paper Submission: Jan 30, 2026
Author Response Period: Mar 23, 2026
Author Notification: Apr 16, 2026
Conference Dates: July 20–23, 2026ICLP – 42nd International Conference
on Logic Programming https://www.semsys.aau.at/events/iclp2026/
Abstract Submission (Regular Papers): Jan 24, 2026
Paper Submission (Regular Papers): Jan 31, 2026
Author Notification (Regular Papers): Mar 05, 2026
Paper Submission (Short Papers): Mar 27, 2026
Revision Submission (Regular Papers): Mar 27, 2026
Final Author Notification: Apr 17, 2026
Conference Dates: Jul 20–23, 2026IJCAR – 13th International Joint
Conference on Automated Reasoning https://www.floc26.org/ijcar
Abstract Submission: Feb 06, 2026
Paper Submission: Feb 13, 2026
Author Response Period: Mar 30, 2026
Author Notification: Apr 14, 2026
Conference Dates: July 26–29, 2026ITP – 17th International Conference on
Interactive Theorem Proving https://itp-conference-2026.github.io
Abstract Submission: Feb 12, 2026
Paper Submission: Feb 19, 2026
Author Notification: Apr 26, 2026
Conference Dates: July 26–29, 2026KR – 23rd International Conference on
Principles of Knowledge Representation and Reasoning
https://kr.org/KR2026/
Abstract Submission (Main Track): Feb 08, 2026
Paper Submission (Main Track): Feb 13, 2026
Author Response Period (Main Track): Mar 24, 2026
Author Notification (Main Track): Apr 13, 2026
Conference Dates: July 20–23, 2026LICS – 41st Annual ACM/IEEE Symposium
on Logic in Computer Science https://lics.siglog.org/lics26/
Abstract Submission: Jan 15, 2026
Paper Submission: Jan 22, 2026
Author Response Period: Mar 26, 2026
Author Notification: Apr 16, 2026
Conference Dates: July 20–23, 2026SAT – 29th International Conference on
Theory and Applications of Satisfiability Testing
https://satisfiability.org/SAT26/
Abstract Submission: Feb 20, 2026
Paper Submission: Feb 27, 2026
Author Response Period: Apr 13, 2026
Author Notification: Apr 30, 2026
Conference Dates: July 20–23, 2026
- ADDITIONAL EVENTS
In addition to the conferences, FLoC 2026 will host 86 workshops,
including mentoring workshops, Olympic Games, tutorials, and doctoral
consortia. More information and submission details:
https://www.floc26.org/ #FLoC2026 #LogicInCS #Lisbon
CiE 2026: 21st Computability in Europe
July 27–31, 2026
Trier University, Germany
CALL FOR PAPERS
- ABOUT
Computability in Europe (CiE) is a conference series interfacing
informatics and mathematics. CiE 2026 will be chaired by Henning Fernau and
Vasco Brattka (Munich). The conference will be co-located with MCU 2026
(Machines, Computability, Universality), CCA 2026 (Computability and
Complexity in Analysis), and GSW 2026 (Grammar Systems Workshop).
- IMPORTANT DATES
Abstract submission deadline: January 29, 2026 (via EasyChair)
Full paper submission deadline: February 3, 2026 (up to 15 pages in LNCS
format or link to ArXiv version)
Notification: Apr 27, 2026
Deadline for final papers: May 04, 2026
Deadline for informal presentation submissions (not in proceedings): May
15, 2026
Notification on informal presentations: Jun 01, 2026
- SPECIAL SESSIONS
- Learning Theory Meets Computability Theory (Cameron Freer & Sandra
Zilles)
- Groups and Computability (Laura Ciobanu & André Nies)
- At the Borderline of Universality (Erzsebet Csuhaj-Várju & Serghei
Verlan)
- Natural Computation and Bioinformatics (Karel Brinda & Giuditta
Franco)
- Quantum Computing and Information (Mika Hirvensalo)
- HaPoC: History and Philosophy of Computation (Hajo Greif)
- INVITED SPEAKERS
- Olivier Bournez, Paris, France [Tutorial Speaker]
- Georg Zetzsche, Kaiserslautern, Germany [Tutorial Speaker]
- Albert Atserias, Barcelona, Spain
- Johanna Franklin, Hempstead, NY, USA
- Mathieu Hoyrup, Nancy, France
- Luca San Mauro, Bari, Italy
- Francesca Zaffora Blando, Pittsburgh, USA
CONFEST 2026
University of Liverpool, UK
1–5 September 2026
CALL FOR WORKSHOPS
- ABOUT
CONFEST 2026 is an umbrella event consisting of the three main
conferences CONCUR, FMICS, and QEST+FORMATS, together with affiliated
workshops. The organizers of CONFEST 2026 invite proposals for satellite
workshops to be co-located with CONFEST 2026 at the University of
Liverpool. All accepted workshops will be held on 5 September 2026.
- IMPORTANT DATES
Workshop proposal deadline: Jan 30, 2026
Notification: Feb 06, 2026
- WHAT CONFEST 2026 PROVIDES
For workshops accepted to CONFEST 2026, the organizers will provide:
- Meeting room on campus
- Coffee breaks
- Centralized registration through the main conference registration
system
- A webpage within the CONFEST 2026 website with edit access or a
link to an external workshop webpage
- Support for local information
- PROPOSAL GUIDELINES
If you wish to organize a workshop at CONFEST 2026, please submit a
proposal including the following information:
- Name and acronym of the proposed workshop
- Short description of the topic and goals
- Names of the organizers or contact person, including a link to
their website
- Link to workshop website or history of the workshop, if available
- Expected number of participants
- Envisaged length of the workshop (half day or full day)
- Publication plan, if any, including formal or informal proceedings
and publisher
- Tentative schedule for submission and notification
Organizers of accepted workshops will be responsible for maintaining the
workshop webpage, publicising the Call for Participation, handling
submissions if applicable, selecting participants, preparing the workshop
program, and organizing any materials or special arrangements.
- SUBMISSION
Workshop proposals must be submitted as a PDF to the Workshop Chair of
CONFEST 2026. Use the subject line: “CONFEST 2026 Workshop Proposal –
WorkshopName”. Informal questions may also be directed to the Workshop
Chair.
- WORKSHOP CHAIR
Shufang Zhu, University of Liverpool, [email protected]
SCML 2026: International Conference on Symbolic Computation and Machine
Learning
6–8 July, 2026
Hagenberg, Austria
https://scml.risc.jku.at/conference-2026/
CALL FOR PAPERS
- ABOUT
SCML-2026 is dedicated to all research that strives to combine Symbolic
Computation (SC) and Machine Learning (ML) as two major approaches to
Artificial Intelligence, in particular to the application of ML to SC, the
application of SC to ML, and the hybrid combination of SC and ML to solving
problems.
SCML-2026 is a presentation-oriented conference that solicits
submissions in the form of extended abstracts (1–2 pages), which are
briefly reviewed with respect to their relevance to the topics of the
conference. Furthermore, authors are explicitly encouraged to also submit
full papers related to their presentations to the SCML Publishing Forum (
https://scml.risc.jku.at), where they are refereed according to the
rules of the forum and, if accepted, published there.
- IMPORTANT DATES
Opening of submissions: Dec 15, 2025
Opening of registrations: Mar 02, 2025
Deadline for submission of extended abstracts: Apr 27, 2026After the
submission of an extended abstract, the notification of acceptance is sent
out within two weeks.
PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM
6–10 July, 2025
Athens, Greece
Organized by the National and Kapodistrian University of Athens
http://panhellenic-logic-symposium.org/
CALL FOR PAPERS
- ABOUT
The Panhellenic Logic Symposium (PLS) is a biennial scientific event
established in 1997, aiming to promote interaction and cross-fertilization
among different areas of logic. Originally conceived as a way of bringing
together the many logicians of Hellenic descent throughout the world, it
has evolved into an international forum for the communication of
state-of-the-art advances in logic. The symposium is open to researchers
worldwide who work in logic broadly conceived.
- LIST OF TOPICS
Areas of interest include (but are not limited to):
- Categorical logic
- Computability theory
- History of Logic
- Logic in Computer Science
- Logic in Human Reasoning
- Model theory
- Nonclassical and modal logics
- Philosophical logic
- Proof theory
- Reasoning in AI
- Set theory
- IMPORTANT DATES
Deadline for submission: Mar 30, 2026
Notification: Apr 30, 2026
Final version due: May 29, 2026Paper submission link:
https://easychair.org/conferences/?conf=pls15
- INVITED SPEAKERS
- Alex Kruckman, Wesleyan University
- Christina Vasilakopoulou, NTUA
- Stefan Vatev, University of Sofia
- Stevo Todorcevic, University of Toronto
- Su Gao, Nankai University
- TUTORIALS
- Alexander Kechris, California Institute of Technology (to be confirmed)
- Maryanthe Malliaris, University of Chicago
- SPECIAL SESSIONS
On the Axiom of Choice
- Assaf Shani, Concordia University
- Azul Lihuen Fatalini, University of Leeds
- Zoltán Vidnyánszky, Eötvös University
Logics for Formal Verification
- Elli Anastasiadi, Aalborg University
- Juha Kontinen, University of Helsinki
- Martin Zimmermann, Aalborg University
Philosophy Session: Modal Logic
- Aybüke Özgün, ILLC, University of Amsterdam
- Johannes Stern, University of Bristol
- Øystein Linnebo, University of Oslo
The Aristotelian Syllogistic: Computational and Foundational Aspects
- Marko Malink, New York University
- Zoe McConaughey, University of Lille
- SUBMISSION GUIDELINES
The Scientific Committee invites researchers in all areas of logic to
submit their papers for presentation at PLS15. All submitted papers will be
reviewed by the Scientific Committee of the symposium, who will make final
decisions on acceptance. Accepted papers will appear in an informal,
electronic proceedings volume, which will be posted on the event’s webpage.
During the actual event, each accepted paper should be presented by at
least one of its authors. Papers should be written in English, a maximum of
5 pages long, and prepared in PDF format using the EasyChair class style (
easychair.org/publications/for_authors). Submissions will happen through
EasyChair. Paper submission link:
https://easychair.org/conferences/?conf=pls15
- POSTER SESSION
Graduate students and early-career researchers are invited to submit a
short, 1-page abstract on preliminary work that may not be ready for a full
talk yet. Those accepted will be able to present their work in poster form
in a special poster session. The session will also feature a mentoring
component in which senior researchers will discuss the posters and provide
feedback to the authors.
Poster abstracts submission deadline: May 29, 2026
Submissions will be accepted by email at: [email protected] Email
subject: [PLS15 poster session]
NMR 2026: 24th International Workshop on Nonmonotonic Reasoning, NMR 2026
July 17–19, 2026, Lisbon, Portugal
Website: https://nmr.krportal.org/2026/
CALL FOR PAPERS
- GENERAL INFORMATION
NMR is the premier forum for results in the area of Nonmonotonic
Reasoning. Its aim is to bring together active researchers in this broad
field within knowledge representation and reasoning (KR), including belief
revision, uncertain reasoning, reasoning about actions, planning, logic
programming, preferences, argumentation, causality, and many other related
topics including systems and applications. Visit also the general NMR
webpage: https://nmr.krportal.org/ .
NMR has a long history - it started in 1984 and, up until 2020, was held
every two years. Recent previous NMR workshops were held in Melbourne
(2025), Vietnam (2024), Greece (2023), Haifa (2022), Hanoi (virtually)
(2021), Rhodes (virtually) (2020), Tempe (2018), Cape Town (2016), Vienna
(2014), Rome (2012), Toronto (2010), and Sydney (2008).
NMR 2026 is co-located with the 23rd International Conference on
Principles of Knowledge Representation and Reasoning (
https://kr.org/KR2026/) at the Federated Logic Conference (
https://www.floc26.org/).
- AIMS AND SCOPE
NMR 2026 aims to foster connections between the different subareas of
nonmonotonic reasoning and provide a forum for emerging topics. We
especially invite papers on systems and applications, as well as position
papers addressing benchmark issues. The workshop will be structured by
topical sessions fitting to the scopes of accepted papers. Workshop
activities will include invited talks and presentations of technical papers.
- IMPORTANT DATES
Paper registration: Apr 03, 2026
Paper submission: Apr 10, 2026
Notification of acceptance: May 18, 2026
Camera-ready version due: Jun 17, 2026
Workshop: Jul 17–19, 2026It is planned to hold NMR 2026 as an in-person
event, that is, at least one author of every accepted paper has to
physically attend the workshop.
- SUBMISSION DETAILS
We invite two types of submissions:
- Full papers. Full papers should be at most 14 pages including
references, figures and appendices. Papers already published or accepted
for publication at other conferences are also welcome, provided that the
original publication is mentioned in a footnote on the first page and the
submission at NMR falls within the authors' rights. In the same vein,
papers under review for other conferences can be submitted with a similar
indication on their front page.
- Extended Abstracts. Extended abstracts should be at most 3 pages
(excluding references and acknowledgements). They should introduce work
that has recently been published or is under review, or ongoing
research at
an advanced stage. We highly encourage to attach to the submission a
preprint/postprint or a technical report. Such extra material
will be read
at the discretion of the reviewers. Submitting already published material
may require a permission by the copyright holder.
All submissions should be formatted in CEUR style (1-column). Author
kit: http://ceur-ws.org/Vol-XXX/CEURART.zip . Papers must be submitted
in PDF only.
Please submit your contribution through the NMR 2026 Submission Portal:
https://submissions.floc26.org/nmr/ .
- ORGANIZATION
General Co-Chairs:
- Ana Ozaki · University of Oslo and University of Bergen, Norway
- Nico Potyka · Cardiff University, UK
- Publicity Chair: Jacek Wegrzynowski · University of Oslo, Norway
- WORKSHOP PROCEEDINGS
The accepted papers will be made available electronically in the CEUR
Workshop Proceedings series as informal proceedings (http://ceur-ws.org/).
The copyright of papers remain with the authors. Full papers will be
indexed by dblp.org; but extended abstracts published on CEUR
proceedings will not be indexed by dblp.org anymore.
CONCUR 2026: 37th International Conference on Concurrency Theory
1–4 September, 2026
Liverpool, UK
https://confest-2026.github.io/concur
CALL FOR PAPERS
- OVERVIEW
The International Conference on Concurrency Theory (CONCUR) brings
together researchers, developers, and students in order to advance the
theory of concurrency and promote its applications. CONCUR solicits high
quality papers reporting research results and/or experience related to
semantics, logics, verification and analysis of concurrent systems. The
2026 edition of CONCUR will be co-located with QEST+FORMATS, FMICS and a
number of workshops under the joint name CONFEST 2026, which will take
place September 1–5, 2026 at the University of Liverpool, UK.
- IMPORTANT DATES
Abstracts: Apr 20, 2026
Submissions: Apr 27, 2026
Rebuttal: Jun 01, 2026
Notification: Jun 15, 2026
Camera Ready: Jun 29, 2026
Conference: Sep 1–4, 2026
Workshops: Sep 05, 2026
- TOPICS
Submissions are solicited in the theory and practice of concurrent
systems. The principal topics include (but are not limited to):
- Basic models of concurrency such as abstract machines,
domain-theoretic models, categorical and coalgebraic models,
game-theoretic
models, parametric models, process algebras, graph
transformation systems,
Petri nets, hybrid systems, mobile and collaborative systems,
probabilistic
systems, real-time systems, quantum systems, biology-inspired
systems, and
synchronous systems.
- Logics for concurrency such as modal logics, program logics,
probabilistic and stochastic logics, temporal logics, multi-agent logics,
and resource logics.
- Verification and analysis techniques for concurrent systems such as
abstract interpretation, atomicity checking, model checking, race
detection, pre-order and equivalence checking, run-time verification,
state-space exploration, static analysis, synthesis, testing, theorem
proving, type systems, and security analysis.
- Distributed and parallel algorithms and concurrent data structures,
including design, analysis, complexity, correctness, fault tolerance,
reliability, availability, consistency, self-organization,
self-stabilization, commitment schemes, and communication protocols.
- Theoretical foundations, tools, and empirical evaluations of
architectures, execution environments, and software development for
concurrent systems such as geo-replicated systems, distributed ledgers,
communication networks, multiprocessor and multi-core architectures,
quantum computing, quantum communication, shared and
transactional memory,
resource management and awareness, compilers and tools for concurrent
programming, and programming models including component-based,
object- and
service-oriented approaches.
- PAPER SUBMISSION
All papers must be original, unpublished, and not submitted for
publication elsewhere. Each paper will undergo a thorough review process.
Papers must be submitted electronically as PDF files via EasyChair:
https://easychair.org/conferences?conf=concur2026 Proceedings will be
published by LIPIcs. Authors must use the LIPIcs style files when preparing
their submission: https://drops.dagstuhl.de/entities/series/LIPIcs#author
Submissions follow a single-blind review process. Papers must not exceed
15 pages (excluding references and appendices, LIPIcs style). An appendix
may provide additional material and proofs, but cannot be expected to be
scrutinized by the reviewers and will not be published in the proceedings.
- PROGRAM COMMITTEE CHAIRS
- Ana Sokolova, University of Salzburg, Austria
- Patrick Totzke, University of Liverpool, UK
POSTDOC AND PHD POSITION: Quantum Software, Aarhus, DenmarkJOB ANNOUNCEMENT
- Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark . We
offer several fully funded PhD and Postdoc positions in Quantum Software
(verification, compilation, optimization). Interested applicants with
strong analytical skills and a desire to work on algorithmic and modeling
challenges in Quantum Software are encouraged to contact us.
You will work in the Quantum Software Team (https://cs.au.dk/qs) of the
Department of Computer Science, Aarhus University, within the section of
Programming Languages, Logic and Software Security (ranked top-5 worldwide
in programming languages, https://csrankings.org/#/index?plan&world). We
collaborate with external partners such as the company Kvantify.
Interested candidates should contact us as soon as possible by e-mail
with a CV and a short description of interests.
- IMPORTANT DATE
Application deadline: Feb 01, 2026
Expected starting date: May 01, 2026More details: see
https://cs.au.dk/research/centers/quantum-software/positions. Details on
our PhD school: https://phd.nat.au.dk/for-applicants
- Jaco van de Pol, Bas Spitters, Andreas Pavlogiannis
- Aarhus University, Department of Computer Science
Links: SIGLOG website <http://siglog.org/>, LICS website
<https://lics.siglog.org/>, SIGLOG Monthly
<https://lics.siglog.org/newsletters/>.
Kind regards,
Elli Anastasiadi
Aalborg University
You are subscribed to the lics mailing list because you have signed up for it
in the past.
Submissions to the newsletter:
Send an email to [email protected].
Unsubscribe:
To unsubscribe, please send an email to [email protected] with
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to [email protected] with
the keyword 'subscribe' in the message body (without ').
