finite-model-theory July 2018

finite-model-theory@lists.rwth-aachen.de
  • 14 participants
  • 21 discussions

Upcoming deadline: 4-years fully funded PhD scholarships in Austria - LogiCS Doctoral College on Logical Methods in Computer Science with a special call for women in CS
by Mihaela Rozman
5 years, 6 months

HIGHLIGHTS 2018: 1st Call for Participation
by Nathanaël Fijalkow
5 years, 6 months

two phd positions Hasselt University
by Jan Van den Bussche
5 years, 7 months

PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
by roberto.sebastiani@unitn.it
5 years, 7 months

ETAPS 2004: FIRST CALL FOR SUBMISSIONS
by ETAPS 2004
5 years, 7 months

ETAPS 2004: FIRST CALL FOR SUBMISSIONS
by ETAPS 2004
5 years, 7 months

workshop on preposition semantics
by Patrick SAINT-DIZIER
5 years, 7 months

ETAPS 2004: CALL FOR SATELLITE EVENTS
by ETAPS 2004
5 years, 7 months

Hybrid Systems workshop: submission deadline 15/10/2002
by hscc03 VERIMAG
5 years, 7 months

ETAPS 2004: CALL FOR SATELLITE EVENTS
by ETAPS 2004
5 years, 7 months
Results per page: