News collection for 1st quarter of 2020

Published by Christoph Welzel on

There are good news to be announced for the 1st quarter of 2020:

  • The paper “An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata” by Salomon Sickert and Javier Esparza was accepted at LICS’20.
  • The paper “Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling” by Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera and Philipp J. Meyer was accepted at CAV’20.
  • The paper “Succinct Population Protocols for Presburger Arithmetic” by Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich and Stefan Jaax was accepted at STACS’20.
  • The paper “Complexity of controlled bad sequences over finite sets of vectors of natural numbers” by A.R. Balasubramanian was accepted at LICS’20.
Categories: ConferenceGeneralPaperResearch

Related Posts

Research

Research visit of Ahmed Bouajjani in June and July

The PaVeS people are excited to host Ahmed Bouajjani on a research visit to the Chair of theoretical computer science of the Technical University of Munich.

Conference

PaVeS @ FoSSaCS’22

The PaVeS group contributed  to FoSSaCS’22 with two papers: “Separators in Continuous Petri Nets” by Miachel Blondin and Javier Esparza “Parameterized Analysis of Reconfigurable Broadcast Networks” by A. R. Balasubramanian, Lucie Guillou and Chana Weil-Kennedy

Conference

Submission & Best Paper Award for PaVeS @ SAND’22

Philipp Czerner, Roland Guttenberg, Martin Helfrich, and Javier Esparza contribute to SAND’21 with their paper “Fast and Succinct Population Protocols for Presburger Arithmetic” (preprint). There contribution is recognized with SAND’s Best Paper Award.