News and Events
- PC members: FM 2012, Infinity 2011
- Paper accepted to ATVA 2011
- Paper accepted to CONCUR 2011
- Visit Uppsala University, Sweden, 4/1~5/24, 2011
- Attend ETAPS 2011 at Saarbrucken 3/26~3/31, 2011
- Our paper "When simulation meets antichains" won the EATCS (European Association for Theoretical Computer Science) award for best theoretical paper at ETAPS 2010.
Co-authors:
Parosh Abdulla,
Lukas Holik,
Richard Mayr,
Tomas Vojnar.
- Attend CONCUR 2010 at Paris and visit LIAFA, Paris 7, France, 8/29~9/9, 2010
- Attend Floc 2010 at Edinburgh and visit University of Liverpool, UK, 7/12~7/24, 2010
- I will organize Infinity 2010 in Singapore
- Paper accepted to CONCUR 2010
- Visit Uppsala University, Sweden, 2/18~5/5, 2010
- Two Papers accepted to CAV 2010
- Paper accepted to TACAS 2010
- Paper accepted to FSTTCS 2009
