We are happy to release CPS Summer School’s poster.
Please feel free to broadcast. The pdf of the high-resolution version can be downloaded here.
Apr 192013
Mar 232013
Summer School on Cyber-Physical Systems
July 8-12, 2013 Grenoble, France
EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days meeting, organized around different aspects of rigorous engineering of Cyber Physical Systems.
The CPS Summer School will bring together some of the best lecturers from Europe and the USA, in a one week programme. The programme will offer world-class courses and significant opportunities for interaction with leading researchers in the area of Cyber Physical Systems.
Topics:
- Computer security and cryptography.
- System modelling.
- Medical devices.
- Sensor networks.
Invited Speakers:
- Prof. Manfred Broy – TU Munich (Germany).
- Dr. Olivier Coutelou – Schneider Electric Grenoble (France).
- Dr. Julien Francq – Cassidian (France).
- Prof. Kim G Larsen – Aalborg University (Denmark).
- Dr. David Lesens – Astrium Space Transportation (France).
- Prof. Peter Marwedel – TU Dortmund (Germany).
- Dr. Emmanuel Prouff – ANSSI (France).
- Prof. Joseph Sifakis – EPFL (Switzerland) and Verimag (France).
- Prof. Oleg Sokolsky – University of Pennsylvania (USA).
- Dr. Jocelyne Troccaz – TIMC/CNRS, Grenoble (France).
- Dr. Thomas Watteyne – Dust Networks, Inc., Hayward (USA).
Registration fee is €350 for students, €500 for non-students, which includes lunches and coffee breaks from Monday 8th through Friday 12th, and a party. The registration fee only partially covers the costs incurred. The remaining costs are covered by the EIT ICT Labs and PERSYVAL-Lab. The local organization committee has arranged university accommodations for students. The accommodation student-fee for the week is 200 euros.
Important Dates and Application Procedure:
- Deadline for Application: May 15, 2013.
- Response to Applicants: May 20, 2013.
- Online Registration and Fee payment: May 30, 2013.
Since attendance is limited, priority will be given to Ph.D. students and companies’ staff.
More details can be found at: https://persyval-lab.org/en/summer-school/cps.
Applications can be submitted at: https://persyval-calls.imag.fr/en/project/6.
Enquiries can be sent to cps-school.organization AT imag DOT fr.
Mar 132013
We have prepared a preliminary document with information on ETAPS 2014 venues.
The document can be downloaded here.
Mar 082013
We are happy to release the first version of ETAPS 2014 booklet!
A new version will follow in April with workshop information.
Feb 182013
The SMC 2013 Workshop, associated to Runtime Verification 2013 (RV’13) provides an opportunity for participants to discuss about Statistical Model Checking. The workshop will be held before the main conference on 23 September at INRIA Rennes.
Statistical Model Checking has recently been proposed as an alternative to avoid an exhaustive exploration of the state space of a system under verification. The core idea of the approach is to conduct some simulations of the system and then use results from the statistics area in order to decide whether the system satisfies the property with respect to a given probability. The answer is correct up to some confidence. SMC is generally much faster (but less precise) than formal verification techniques. Moreover, the approach can be used to verify properties that cannot be expressed by the classical temporal logics used in formal verification. The objective of SMC 2013 is to discuss the recent advances in Statistical Model Checking.
Feb 182013
We are happy to release the first version of ETAPS 2014 poster.
A new version will follow in April with workshop information.
Please feel free to broadcast. The pdf of the high-resolution version can be downloaded: here.
Feb 052013
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 system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite Events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software.
ETAPS 2014 Satellite Events will be held immediately before and after the main conferences, on April 5th-6th and April 12th-13th, 2014.
– SUBMISSION OF SATELLITE EVENT PROPOSALS –
Researchers and practitioners wishing to organize Satellite Events are invited to submit proposals in ASCII, PDF or Postscript format by e-mail to:
etaps2014_DOT_satellites_AT_imag_DOT_fr
A proposal should not exceed two pages and should include:
• Satellite Event name / acronym
• names and contact information of the organizers
• preferred period: April 5th-6th or April 12th-13th
• duration of the workshop: one-day or two-day event
• 120-word description of the workshop topic for later use in publicity material
• a brief explanation of the workshop topic and its relevance to ETAPS
• a schedule for paper submission, notification of acceptance and final versions
• expected number of participants
• any other relevant information, like event format, invited speakers,
• publication policy, demo sessions, special space requirements, etc.
The proposals will be evaluated by the ETAPS 2014 organizing committee on the basis of their assessed benefit for prospective participants to ETAPS 2014. The titles and brief information about accepted Satellite Events will be included in the ETAPS 2014 web site, call for papers and call for participation.
Satellite Events organizers will be responsible for:
- producing the event’s call for papers and call for participations
- advertising the event through specialist mailing lists etc. to complement publicity for ETAPS as a whole hosting and maintaining a web site for the event
- reviewing and making acceptance decisions on submitted papers producing the event proceedings, if any; facilities for printing will be made available by the ETAPS organizers
- scheduling workshop activities in consultation with the local organizers.
Prospective organizers may wish to consult the web pages of previous satellite events as examples:
ETAPS 2013: http://www.etaps.org/2013/
ETAPS 2012: http://www.etaps.org/2012/
ETAPS 2011: http://www.etaps.org/2011/
ETAPS 2010: http://www.etaps10.cs.ucy.ac.
ETAPS 2009: http://www.cs.york.ac.uk/
ETAPS 2008: http://etaps08.mit.bme.hu/
ETAPS 2007: http://www.di.uminho.pt/
ETAPS 2006: http://www.complang.tuwien.ac.
ETAPS 2005: http://www.etaps05.inf.ed.ac.
ETAPS 2004: http://www.lsi.upc.es/etaps04/
ETAPS 2003: http://www.mimuw.edu.pl/
– IMPORTANT DATES –
Satellite Event Proposals Deadline: Marsh 4th, 2013
Notification of acceptance: April 4th, 2013
Feb 022013
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 which takes place in Europe each spring since 1998. The seventeenth conference, ETAPS 2014, takes place between April 5th and 13th, 2014 in Grenoble, France. Grenoble is the capital of the Alps; its history spans over two thousand years. Grenoble is located in an exceptional natural environment, surrounded by three mountain masses Vercors, Chartreuse, and Belledonne.
ETAPS main conferences take place on April 7th-11th, 2014. They are:
- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
Feb 022013
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.
Jan 302013
The paper Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation has been accepted to the international journal SOSYM: SOftware and SYstem Modeling.
Here is an abstract of the paper:
Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in an heterogeneous environment. These limitations entail the need for complementary verification methods such as runtime verification based on dynamic analysis and apt to scalability.
In this paper, we integrate runtime verification into the BIP (Behavior, Interaction and Priority) framework. BIP is a powerful and expressive component-based framework for the formal construction of heterogeneous systems. Our method augments BIP systems with monitors to check specifications at runtime. This method has been implemented in RV-BIP, a prototype tool that we used to validate the whole approach on a robotic application.
This is joint work with M. Jaber, Th-H. Nguyen, M. Bozga, and S. Bensalem.
Pre-print is available here.
