D-CON

d-con@lists.rwth-aachen.de
  • 1 participants
  • 326 discussions

SAC-SVT 2025 Final Call for Papers: Software Verification and Testing
by Wijs, Anton
5 days, 5 hours

SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC
by Wijs, Anton
1 month, 2 weeks

DisCoTec 2024 Final Call for Participation
by Bas van den Heuvel
4 months

PostDoc/PhD position in Formal Methods at the University of Konstanz
by Emanuele D'Osualdo
4 months, 2 weeks

Available PhD/Postdoc position at the University of Bamberg
by Gerald Lüttgen
5 months

D-CON Leitungsgremium
by Roland Meyer
7 months

2nd Call for Contributions: Workshop on Choreographic Programming @
by Saverio Giallorenzo
7 months

D-CON Game Awards 2024
by Bisping, Benjamin
7 months, 1 week

D-CON 2024 - Program online
by Heike Wehrheim
7 months, 3 weeks

CPS&IoT’2024 Summer School and Conference Event - Deadline Extension
by Jozwiak, Lech
8 months
Results per page: