Academic Activities

	Programme Committees:
		ICALP 2013 (PC member)
		CSL 2013 (PC member)
		CSR 2013 (PC member)
		Highlights 2013 (PC member)
		Gandalf 2013 (PC member)
		STACS 2012 (PC member)
		FICS 2012 (PC member)
		CiE 2012 (PC member)
		LICS 2011 (PC member)
		Logic Colloquium 2011 (PC member)
		CSL 2011 (PC member)
		Grasta 2011 (Organiser)
		FLoC 2010 (book exhibit chair)
		Games 2010 (Organiser)
		LCC 2010 (PC co-chair)
		ICALP Track B, 2009 (PC member)
		MFCS, 2009 (PC member)
		LICS, 2008 (PC member)
		LPAR; 2008 (PC member)
		CSL, 2007 (PC member)
		Symposium on Applications of Constraint Databases (PC member)
	Workshop Organisation:
		AlMoTh 2013
		Grasta 2011
		Games 2010