Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
lugano [2010/08/16 10:37]
vkuncak
lugano [2010/10/15 16:33] (current)
vkuncak
Line 3: Line 3:
 Time: 18-19 October (Monday-Tuesday) 2010 Time: 18-19 October (Monday-Tuesday) 2010
  
-Talk, Poster, and Research Demonstration Abstract Deadline is September 1st, 2010. Please email your submission to [[http://​lara.epfl.ch/​~kuncak|Viktor Kuncak]].+**[[http://​lara.epfl.ch/​dokuwiki/​lugano:​program|CLICK HERE FOR THE PROGRAM OF THE EVENT]]**
  
 Place: [[http://​fmcad10.iaik.tugraz.at/​venue.html|University in Lugano]], collocated with [[http://​fmcad10.iaik.tugraz.at/​|FMCAD 2010]] ([[http://​fmcad10.iaik.tugraz.at/​FMCAD10_program.pdf|program]]) Place: [[http://​fmcad10.iaik.tugraz.at/​venue.html|University in Lugano]], collocated with [[http://​fmcad10.iaik.tugraz.at/​|FMCAD 2010]] ([[http://​fmcad10.iaik.tugraz.at/​FMCAD10_program.pdf|program]])
Line 12: Line 12:
   * Meeting of the [[http://​richmodels.org|COST Action IC0901]]   * Meeting of the [[http://​richmodels.org|COST Action IC0901]]
     * //COST Action IC0901 explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers,​ software developers, hardware designers, and information system users and developers.//​     * //COST Action IC0901 explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers,​ software developers, hardware designers, and information system users and developers.//​
-  * Alpine Verification Meeting (see [[http://​events.iaik.tugraz.at/​avm2008/​|AVM 2008]])+  * Alpine Verification Meeting (see [[http://​events.iaik.tugraz.at/​avm2008/​|AVM 2008]], [[http://​www-verimag.imag.fr/​~lakhnech/​AVM/​|AVM 2007]], [[http://​www.inf.ethz.ch/​personal/​daniekro/​avm2006/​|AVM 2006]], [[http://​mtc.epfl.ch/​events/​Alpine_Verification_Meeting_2005/​home.html|AVM 2005]])
     * //The Alpine Verification Meeting is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.//​     * //The Alpine Verification Meeting is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.//​