Sylvain Hallé is a Ph.D. candidate at Université du Québec à Montréal in Montreal, Canada. His Ph.D. dissertation focused on the formal representation and validation of mixed temporal properties on web service transactions. Sylvain's research is funded by the Natural Sciences and Engineering Research Council of Canada (NSERC) and has published around 15 papers since the beginning of his graduate studies. A member of the IEEE and ACM since 2004, Sylvain is also involved in the temporal logic community, being local organization co-chair of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), which will be held in Montreal (June 16-18, 2008) and whose proceedings are published by the IEEE. Current research areas include formal methods, temporal logics, temporal machine learning, and their application to web services and software systems in general.