Conference Calendar: Conference MoChArt
|
|
MoChArt 2008
Model Checking and Artificial Intelligence 21 Jul 2008 - 22 Jul 2008 (Patras, Greece) | papers: 10 Apr 2008 | notification: 10 May 2008 | | |
|
|
|
MoChArt 2010
Model Checking and Artificial Intelligence 11 Jul 2010 - 12 Jul 2010 (Atlanta, Georgia, USA) | papers: 31 Mar 2010 | notification: 23 Apr 2010 | |