Infinite-State Systems: Algorithms, Decidability, Complexity...

13 - 20 March 2015, Bellairs Research Institute, Barbados

  • Home
  • Participants
  • Schedule
  • Practical Information
  • Photos

Dmitry Chistikov

Thomas Colcombet

Amelie Gheerbrant

Stefan Goeller

Martin Grohe

Radu Iosif

Marcin Jurdzinski

Stefan Kiefer

Stephan Kreutzer

Ranko Lazic

Jerome Leroux

Richard Mayr

Peter Bro Miltersen

Joel Ouaknine

Ken Regan

Nicole Schweikardt

James Worrell


Designed by Free CSS Templates, Thanks to Custom Web Design