ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — SATELLITE EVENTS — The ETAPS 2014 Organizing Committee invites proposals for Satellite Events (workshops, tutorials, etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the […]
Category: conferences
ETAPS 2014 @ Grenoble, 5-13 April 2014
ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — ABOUT ETAPS — The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event […]
Organization committee for ETAPS 2014 @ Grenoble
I have just been informed that I am part of ETAPS 2014 organizing committee as publicity chair. Saddek Bensalem is the organization committee’s chair. ETAPS 2014 will take place in Grenoble, France. More information TBA shortly.
MSR’13: Modélisation des Systèmes Réactifs (french workshop)
MSR’13 est un colloque en langue française qui se situe dans le cadre général de la modélisation, l’analyse et la commande des systèmes réactifs et temps réel. Plus particulièrement il concerne les chercheurs et industriels intéressés par la conception d’applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR […]
RV 2013: Fourth International Conference on Runtime Verification
RV’13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. About Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional […]
Best Paper Award at FM’12
On August 30, we have received the Best Paper Award from Formal Methods Europe and the PC of FM’2012, the 18th international symposium on Formal Methods. This award comes for our paper Decentralised LTL Monitoring.
IsoLA’12: Runtime Verification, the Application Perspective
With Lenore D. Zuck, we are organizing a track at IsoLA’12: Runtime Verification, the Application Perspective In the past decade Runtime Verification (RV) has gained much focus, from both research community and practitioners. Roughly speaking, RV combines a set of theories, techniques and tools aiming towards efficient analysis of systems’ executions and guaranteeing their correctness […]
RV 2012: 3rd International Conference on Runtime Verification
RV’2012, September 25 – 28, will be located in the beautiful Istanbul, Turkey. Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime […]