Benedikt Bollig

I am a full-time researcher at Centre National de la Recherche Scientifique (CNRS) and affiliated with Laboratoire Spécification et Vérification, ENS Paris-Saclay, France. I am head of the VASCO team. My research interests are in the areas of automata theory and logic, with a focus on applications in synthesis and verification of concurrent and distributed systems.

News

March 08, 2020

LeaRNNify project

The project

LeaRNNify: New Challenges for Recurrent Neural Networks and Grammatical Inference

(Programme Procope 2020) with our partners Daniel Neider (MPI Kaiserslautern) and Martin Leucker (Universität Lübeck) has started.

February 17, 2020

New arXiv paper

Our paper

Synthesis in Presence of Dynamic Links

(with Béatrice Bérard, Patricia Bouyer, Matthias Függer, and Nathalie Sznajder) is on arXiv.

December 20, 2019

FoSSaCS'20 paper

Our paper

Parameterized Synthesis for Fragments of First-Order Logic over Data Words

(with Béatrice Bérard, Mathieu Lehaut, and Nathalie Sznajder) has been accepted for presentation at FoSSaCS'20.

January 26, 2019

FoSSaCS'19 paper

Our paper

Identifiers in Registers - Describing Network Algorithms with Logic

(with Patricia Bouyer and Fabian Reiter) has been accepted for presentation at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).

September 06, 2018

CONCUR'18 Best Paper Award

For our paper

It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"

(with Marie Fortin and Paul Gastin), we received the best paper award at CONCUR'18

Please reload

June 17, 2019

Talk at Journées annuelles du GT Vérif

At the Journées annuelles du GT Vérif, I gave an invited presentation about our FoSSaCS'19 paper:

Identifiers in Registers - Describing Network Algorithms with Logic

January 20, 2019

Talk at CAALM 2019

At the CAALM workshop (Complexity, Algorithms, Automata and Logic Meet) in Chennai, India, I gave an invited presentation about our CONCUR'18 paper:

It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"​

March 07, 2018

Talk in Verification Seminar at University of Oxford

I presented our paper

Communicating Finite-State Machines and Two-Variable Logic

in the Verification Seminar of the Department of Computer Science at the University of Oxford.

 

May 17, 2017

Talk at LSV

In our internal seminar, I presented the paper

The Complexity of Flat Freeze LTL.

January 25, 2017

Talk at Queen Mary University of London

I presented my FSTTCS'16 paper

One-Counter Automata with Counter Observability

in the Theory Group seminar at Queen Mary University of London.

September 05, 2016

Invited Tutorial at Highlights'16

At Highlights 2016, I gave a tutorial on

 

Automata and Logics for Distributed Systems.

The tutorial covers several models of distributed systems in a unifying framework.

Please reload

March 30, 2020

PC member of FSTTCS'20, GandALF'20, and ICTAC'20

I will serve on the Program Committees of FSTTCS'20 (14–19 December 2020, BITS Goa, India), GandALF'20 (21–23 September 2020, Brussels, Belgium), and ICTAC'20 (30 November - 4 December 2020, Macau S.A.R., China).

September 25, 2019

With C. Aiswarya and S. Akshay, I am organizing GALA 2019: Gems of Automata, Logic and Algebra. The workshop, which is co-located with FSTTCS 2019, takes place on December 14, 2019, at the Indian Institute of Technology Bombay.

March 11, 2019

Digicosme Spring School ForMaL

The web site of the Digicosme Spring School on Formal Methods and Machine Learning (ForMaL) is online.

November 08, 2018

PC member of CONCUR'19

I will join the Program Committee of the 30th International Conference on Concurrency Theory (CONCUR'19), which takes place in Amsterdam, The Netherlands (August 26-31, 2019).

October 23, 2018

PC member of MFCS'19

I will join the Program Committee of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS'19), which takes place in Aachen, Germany (August 26-31, 2019).

July 19, 2018

Organizing MOVEP'18

I co-organized (with Peter Habermehl) the 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP'18).

March 13, 2018

PC member of STACS'19

I am on the Program Committee of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS'19), which takes place in Berlin, Germany (March 13-16, 2019).

Please reload

Imprint/Impressum:

Benedikt Bollig, LSV - CNRS & ENS Paris-Saclay

61 avenue du Président Wilson, 94235 Cachan Cedex, France​

Phone: +33 (0)1 47 40 75 38