You can also find us here:
- X: x.com/FLoC2026
- Facebook: www.facebook.com/profile.php?...
- LinkedIn: www.linkedin.com/groups/13323...
21.07.2025 07:56 — 👍 0 🔁 0 💬 0 📌 0
The call for workshops will be issued in the coming weeks!
21.07.2025 07:55 — 👍 0 🔁 0 💬 0 📌 0
Conferences Week 2
CAV - Computer Aided Verification
CSF - Computer Security Foundations
IJCAR - Automated Reasoning
ITP - Interactive Theorem Proving
21.07.2025 07:55 — 👍 0 🔁 0 💬 0 📌 0
Conferences Week 1
CP - Principles and Practice of Constraint Programming
FSCD - Formal Structures for Computation and Deduction
ICLP - Logic Programming
KR - Principles of Knowledge Representation and Reasoning
LICS - Logic in Computer Science
SAT - Theory and Applications of Satisfiability Testing
21.07.2025 07:54 — 👍 0 🔁 0 💬 0 📌 0
FLoC brings together brings together the world's leading researchers in logic and computer science.
📍 Location: Institut Universitaire de Lisbonne (ISCTE), Lisbon, Portugal
📆 Dates: July 20-23, 26-29 (Conferences), July 18-19, 24-25 (Workshops), July 13-17 (FoPSS School)
🌐 Website: www.floc26.org
21.07.2025 07:53 — 👍 1 🔁 1 💬 3 📌 0
FLoC 2026: The 9th Federated Logic Conference
🚀 Welcome to the official Bluesky presence of the Federated Logic Conference 2026 (FLoC 2026), coming to Lisbon, Portugal in July 2026! floc26.org #FLoC2026 #LogicInCS
18.07.2025 12:06 — 👍 3 🔁 2 💬 1 📌 0
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
Automated reasoning @ AWS.
https://dddejan.github.io/
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS
https://continuation.passing.style/
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
Programming Languages Researcher and Consultant
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
SAT Solver Hacker, Professor, University of Freiburg
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
I talk about Rust, verification, cryptography, programming languages… and pets
