Call for Workshops - FLoC 2026 [DEADLINE 24 SEPTEMBER AoE] — The 2026 Federated Logic Conference
3 views
Skip to first unread message
Alessandro Gianola
Sep 22, 2025, 8:55:47 PM (14 days ago) Sep 22
to SMT-announce
[apologies for cross posting]
[DEADLINE 24 SEPTEMBER AoE]
FLoC 2026 — The 2026 Federated Logic Conference
July 20 - July 29, 2026
Lisbon, Portugal
https://www.floc26.org
Call for Workshops
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal may be affiliated with one of the FLoC 2026 conferences, or it may be submitted as a general FLoC 2026 workshop without reference to a specific conference.
Important Dates
* Submission of workshop proposals deadline: September 24, 2025
* Notification of Acceptance: October 17, 2025
* Workshop Dates - first block: July 18-19, 2026
* Workshop Dates - second block: July 24-25, 2026
Proposal Guidelines
Each proposal should consist of the following two parts:
1. A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to one of
the scientific communities using logic in computer science, as well as a list of previous or related workshops (if relevant).
2. An organisational part including:
* Contact information for the workshop organizers
* Proposed affiliated conference
* Estimate of the number of workshop participants(please note that small workshops, i.e., fewer than ~13 participants, will likely be cancelled or merged)
* Proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.)
* Potential invited speakers
* Procedures for selecting papers and participants
* Plans for dissemination, if any(e.g. a journal special issue)
* Duration (one or two days)
* Preferred period: first block (July 18-19) or second block (July 24-25)
The FLoC Workshops Committee, chaired by the FLoC 2026 Workshops Chairs and formed by one representative for each FLoC 2026 affiliated conference, will determine the final list of accepted workshops based on scientific relevance and the availability of space and facilities.
Submission Instructions
Please submit your workshop proposals via https://submissions.floc26.org/workshops/
Contact
Specific questions regarding proposals for workshops affiliated with a specific conference should be sent to the representatives of the proposed affiliated conference. General questions should be sent to the FLoC 2026 Workshops Chairs: Alessandro Gianola and Bernd Finkbeiner.
FLoC 2026 Workshops Committee
* Alessandro Gianola (FLoC 2026 Workshops Chair)
[DEADLINE 24 SEPTEMBER AoE]
FLoC 2026 — The 2026 Federated Logic Conference
July 20 - July 29, 2026
Lisbon, Portugal
https://www.floc26.org
Call for Workshops
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal may be affiliated with one of the FLoC 2026 conferences, or it may be submitted as a general FLoC 2026 workshop without reference to a specific conference.
Important Dates
* Submission of workshop proposals deadline: September 24, 2025
* Notification of Acceptance: October 17, 2025
* Workshop Dates - first block: July 18-19, 2026
* Workshop Dates - second block: July 24-25, 2026
Proposal Guidelines
Each proposal should consist of the following two parts:
1. A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to one of
the scientific communities using logic in computer science, as well as a list of previous or related workshops (if relevant).
2. An organisational part including:
* Contact information for the workshop organizers
* Proposed affiliated conference
* Estimate of the number of workshop participants(please note that small workshops, i.e., fewer than ~13 participants, will likely be cancelled or merged)
* Proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.)
* Potential invited speakers
* Procedures for selecting papers and participants
* Plans for dissemination, if any(e.g. a journal special issue)
* Duration (one or two days)
* Preferred period: first block (July 18-19) or second block (July 24-25)
The FLoC Workshops Committee, chaired by the FLoC 2026 Workshops Chairs and formed by one representative for each FLoC 2026 affiliated conference, will determine the final list of accepted workshops based on scientific relevance and the availability of space and facilities.
Submission Instructions
Please submit your workshop proposals via https://submissions.floc26.org/workshops/
Contact
Specific questions regarding proposals for workshops affiliated with a specific conference should be sent to the representatives of the proposed affiliated conference. General questions should be sent to the FLoC 2026 Workshops Chairs: Alessandro Gianola and Bernd Finkbeiner.
FLoC 2026 Workshops Committee
* Alessandro Gianola (FLoC 2026 Workshops Chair)
* Bernd Finkbeiner (FLoC 2026 Workshops Chair)
* Daniel Kroening (CAV representative)
* Emmanuel Hebrard (CP representative)
* Musard Balliu (CSF representative)
* Bartosz Bednarczyk (DL representative)
* Cynthia Kop (FSCD representative)
* Miguel Areias (ICLP representative)
* Mathias Fleury (IJCAR representative)
* Stefan Borgwardt (KR representative)
* Valentin Blot (LICS representative)
* Matthias Thimm (NMR representative)
* Friedrich Slivovsky (SAT representative)
Reply all
Reply to author
Forward
0 new messages