Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Research Training Group Weak Consistency (weacon)




Affiliated Students

Annette Bieniusa (Chair) Deepthi Devaki Akkoorath Santiago Castineira
Roland Meyer Egor Derevenetc Daniel Paqué
Arnd Poetzsch-Heffter Marko Doko Sebastian Schweizer
Klaus Schneider Florian Furbach
Viktor Vafeiadis Maximilian Senftleben
Peter Zeller


The research training group Weak Consistency investigates (weak) consistency notions for systems with replicated data. A particular focus is on system construction, providing methods that aid the programmer in building large scale systems on top of weakly consistent infrastructure. Our contributions range from design of novel data types to synchronization inference algorithms and consistency-aware proof systems.

The research training group is a joint effort of the projects:

  1. ADVENT (EU FP7-Young Explorers)
  2. SyncFree (EU FP7-Strep)
  3. R2M2 (DFG)
  4. SDPA (Fraunhofer ITWM)



Fridays 11.00, MPI-SWS.


Upcoming events:
July 25th, 2014, 15:30 :
Allen Clement
Past events:
July 11th, 2014:
Deepthi Devaki Akkoorath: Causal consistency in geo-replicated systems
July 4th, 2014:
Peter Zeller: Programming models for eventual consistency
June 27th, 2014:
Marko Doko
June 20th, 2014:
Victor Vafeiadis
June 13th, 2014:
Egor Derevenetc: Robustness against Power is PSPACE-complete
June 06th, 2014:
Maximilian Senftleben: Memory model-aware testing
May 30th, 2014:
Kick-off meeting

Kick-off meeting

May 30, 2014. 09.00 - 12.00. MPI-SWS Room 111.


09.00 - 09.30:
Opening (Annette Bieniusa)
09.30 - 10.10:
Arnd Poetzsch-Heffter (Consistency-aware data types)
10.10 - 10.40:
10.40 - 11.20:
Klaus Schneider (Consistency at the interface of hardware and software)
11.20 - 12.00:
Roland Meyer (Computer-aided Verification and Construction under Relaxed Memory Models)
12.00 - 13.30:
Lunch at Unique
13.30 - 13.40:
Closing (Annette Bieniusa)