Browsing: / Home / Events / Activities

Activities

In the “Events” category, you will find information about activities in the “Logic and Rational Interaction” area.

Postdoctoral research fellowship in infinite-state systems and games, Brno (Czech Republic), Deadline: 31 Mar 2012

Friday, March 16, 2012 Leave a response Shortlink

  Postdoctoral research fellowship in infinite-state systems and games Brno (Czech Republic) Deadline: 31 Mar 2012 The Formal Methods group at FI MU Brno (http://www.fi.muni.cz) offers one PostDoc position in the area of modelling, analysis, and verification of infinite-state systems,  ...read more