Past events:
- CyPhy 2012
- DATE 2012 (Real-Time, Networked and Dependable Systems Track E1)
- POPL 2012 (external review committee member)
- EMSOFT 2011
- FORMATS 2011 (co-chair)
- SC 2011
- CyPhy 2011
- HSCC 2011
- PARMA 2011
- DATE 2011 (Track D1 System Specification and Modeling)
- RTSS 2010 (CPS track)
- EMSOFT 2010 (program co-chair)
- WODES 2010
- HSCC 2010
- DATE 2010 (Model Based Design of Embedded Systems track)
- RTSS 2009
- FORMATS 2009
- CAV 2009
- HSCC'09
- FORMATS'08
- INFINITY'08
- DATE'08
- FORTE'08
- RV'08
- SSV'08
- WODES'08
- DATE'08 DSS workshop
- EMSOFT'07
- FORMATS'05
- ARTIST2 Summer School
- 4th meeting of ACI CORTOS, 20 and 21 September 2004, Verimag, Grenoble
- FORMATS-FTRTFT'04
- 2nd NEXT TTA Workshop on the Specification of Linking Interfaces
- FORMATS'03
- ACSD'03
- EMSOFT'02, October 7-9, 2002, Grenoble
- ET-TT workshop, October 4, 2002, Grenoble
- TTA tutorial, April 16, 2002, Grenoble
- Lustre tutorial, April 17, 2002, Grenoble
e-mail me at: Stavros.Tripakis@imag.fr