Mohamed Yassin Chkouri | 12 Nov 01:00 2014

Workshop SESA’2014 : Call For Papers - Paper submission deadline - 15 November 2014

SESA’2014 : Workshop on

Software Engineering and Systems Architecture.


December 13, 2014 - Tetouan, Morroco


Description :

To foster academic and industrial research in Morroco in innovative domains, the National School of Tetouan propose a common workshop for professors, researchers and students on the design of models and algorithms for embedded and networked systems.

Global Journal of Engineering Science band Researches, GJESR (ISSN- 2348 – 8034), will publish the 10 best papers (extended version) accepted by the SESA’2014 Workshop in a special issues.

The workshop aims at highlighting recent results as well as presenting ongoing challenges in the following domains, but are not limited to :

-          Formal techniques for the construction of software with guaranteed safety;

-          Methods based on formal techniques for developing software,

-          Modeling and validating formal requirements,

-          Specializaiton and extension of modeling techniques and evaluation induced by application domains,

-          Parallel and distributed algorithmic for networks

-          Ad-hoc and wireless networks,

-          Fault-tolerance, attacks and security,

-          Embedded & Real-time systems,

-          Cloud and Grid Computing.

-          Distributed Systems

-          Natural Language Processing

-          E-learning

Invited Speakers :

-          Mamoun FILALI AMINE (Université Paul Sabatier , IRIT CNRS Laboratory, Toulouse -France-)

-          Farid NAIT ABDESSELAM ( Université Paris Descartes, LIPADE Laboratory, Paris -France-)

-          Ylies Falcon ( Université Joseph Fourrier, LIG Laboratory, Grenoble -France-)

Submissions :

Authors are invited to submit papers in English (4 pages) with double-column, reasonable margins and line spacing. Articles should be submitted through the dedicated Easychairs interface:

Accepted papers must be presented under two forms during the workshop: during a short presentation and during a poster session.

Important Dates :

-          Article submission          : November 15, 2014

-          Notification to authors     : November 30, 2014

-          Registration deadline      : December 1, 2014

-          Camera-ready version     : December 5, 2014

-          SESA 2014 Workshop     : December 16, 2014

Program Committee :

-          Nora AKNIN, Faculté des Sciences Tetouan

-          Mohamed Yassin CHKOURI, ENSAT Tetouan

-          Kamal Eddine EL KADIRI, ENSA Tetouan

-          Gilles SERASSETUniversity Joseph Fourier Grenoble, GETALP-LIG Laboratory, France

-         Olivier HABERT, University of Lorraine, LASC Laboratory - Metz, France

-         Farid NAIT ABDESSELAM, University Paris Descartes, LIPADE Laboratory - Paris, France

-          Rachid Ouald Haj Thami, ENSIAS – Rabat

-          Abdelaziz SDIGUI DOUKKALI, ENSIAS – Rabat

-          Mamoun FILALI AMINE, University Paul Sabatier, Toulouse - France

-          Abderrahim TAHIRI, National School of Applied Sciences (ENSA) of Tetouan

-          Yacine EL YOUNOUSSI, National School of Applied Sciences (ENSA) of Tetouan

-          Anouar ABTOY, National School of Applied Sciences (ENSA) of Tetouan

-          Jean-Paul BODEVEIXUniversité of Toulouse - France

-          Geroges Da COSTA Université of Toulouse - France

-          Hassan MOUNTASSIRInstitut Femto-ST - UMR CNRS  Besançon

-          Jaber EL BOUHDIDI, National School of Applied Sciences (ENSA) of Tetouan

-          Mohammed AL ACHHAB, National School of Applied Sciences (ENSA) of Tetouan,

-          Mohamed CHRAYAH, National School of Applied Sciences (ENSA) of Tetouan

-          Mohamed LAZAAR, National School of Applied Sciences (ENSA) of Tetouan

-         Abdelfattah HAMDANI, University of Mohammed V - Rabat Souissi

-          Abdellah YOUSFI, University of Mohammed V - Rabat Souissi

-          Habib BENLAHMER, Faculty of Science - BEN M'SIK CASABLANCA

-          Nourreddine MITTAFaculty of Science - Kenitra -Morocco-

-          Mohammad BENBOUBKER National School of Applied Sciences (ENSA)

Best regards,

Pr. CHKOURI M. Yassin
Ecole Nationale des Sciences Appliquées (ENSA)
Mhannech II, B.P 2121 Tetouan / Maroc
Concurrency mailing list
Luca Aceto | 11 Nov 10:19 2014

Presburger Award for Young Scientists 2015: Call for Nominations

I encourage members of the concurrency theory community to submit excellent nominations for this prestigious young-researcher award. Nominated scientists must be at most 35 at the time of the deadline of nomination (i.e., for the Presburger Award of 2015 the date of birth should be in 1979 or later).



Presburger Award for Young Scientists 2015

Call for Nominations

Deadline: December 31st, 2014

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years at the time of the deadline of nomination (i.e., for the Presburger Award of 2015 the date of birth should be in 1979 or later). The Presburger Award Committee of 2015 consists of Zoltan Esik (Szeged), Claire Mathieu (Paris), and Peter Widmayer (Zürich, chair). Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent by e-mail to:

Peter Widmayer

The subject line of every nomination should start with Presburger Award 2015, and the message must be received before December 31st, 2014.

The award includes an amount of 1000 Euro and an invitation to ICALP 2015 for a lecture.

Mikołaj Bojanczyk, 2010
Patricia Bouyer-Decitre, 2011
Venkatesan Guruswami and Mihai Patrascu, 2012
Erik Demaine, 2013
David Woodruff, 2014

Official website:

Concurrency mailing list
Luca Aceto | 11 Nov 09:41 2014

Call for nominations: EATCS Award 2015

The EATCS Award 2015

Call for Nominations

Deadline: December 31st, 2014

The European Association for Theoretical Computer Science (EATCS) annually honours a respected scientist from our community with the prestigious EATCS Distinguished Achievement Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career.  For the EATCS Award 2015, candidates may be nominated to the Award Committee consisting of
  • Fedor Fomin (University of Bergen),
  • Kim Guldstrand Larsen (Aalborg University) and 
  • Vladimiro Sassone (University of Southampton).
Nominations will be kept strictly confidential. They should include supporting justification and be sent by e-mail to the chair of the EATCS Award Committee:

Vladimiro Sassone

The list of previous recipients of the EATCS Award is at

The next award will be presented during ICALP 2015 in Kyoto, Japan
Concurrency mailing list
Anca Muscholl | 11 Nov 18:11 2014

EATCS Fellows - Call for nominations (deadline 31/12/14)


Please note: all nominees and nominators must be EATCS Members

Submit by December 31 of the current year for Fellow consideration by email to the 
EATCS Secretary (secretary@...). The subject line of the email
should read "EATCS
 Fellow Nomination - <surname of candidate>".


The EATCS Fellows Program is established by the Association to recognize outstanding 
EATCS Members for their scientific achievements in the field of Theoretical Computer Science. 
The Fellow status is conferred by the EATCS Fellows-Selection Committee upon a personhaving 
a track record of intellectual and organizational leadership within the EATCS community.  Fellows
are expected to be “model citizens” of the TCS community, helping to develop the standing of TCS
beyond the frontiers of the community.

In order to be considered by the EATCS Fellows-Selection Committee,
candidates must be nominated by at least four EATCS Members.  
Please verify your membership at

The EATCS Fellows-Selection Committee consists of 

- Rocco De Nicola (IMT Lucca, Italy) 
- Paul Goldberg (Oxford, UK)
- Anca Muscholl (Bordeaux, France)
- Dorothea Wagner (Karlsruhe, Germany, chair)
- Roger Wattenhofer (ETH Zurich, CH)


A nomination should consist of answers to the questions below. It can
be co-signed by several EATCS members. At least two nomination letters 
per candidate are recommended. If you are supporting the nomination from within the 
candidate's field of expertise, it is expected that you will be specific about the individual's technical contributions.

To be considered, nominations for 2015 must be received by December 31, 2014.

1. Name of candidate
Candidate's current affiliation and position
Candidate's email address, postal address and phone number
Nominator(s) relationship to the candidate

2. Short summary of candidate's accomplishments (citation -- 25 words or less)

3. Candidate's accomplishments: Identify the most important
contributions that qualify the candidate for the rank of EATCS Fellow
according to the following two categories: 

A) Technical achievements
B) Outstanding service to the TCS community

Please limit your comments to at most three pages.

4. Nominator(s):
Affiliation(s), email and postal address(es), phone number(s)

Concurrency mailing list

Ruediger Ehlers | 10 Nov 21:02 2014

Funded PhD Student/Researcher Positions on the Interplay of Robotics & Formal Methods at University of Bremen/DFKI

As part of the excellence initiative at the University of Bremen, the 
Department of Mathematics & Computer Science has an opening (conditional 
to the release of the respective funds) for

Two Junior Researchers (Ph.D. students)

in the newly founded junior research group on “Modeling of Technical 
Systems“, headed by Prof. Dr. Rüdiger Ehlers at the University of 
Bremen. The employment shall be on terms specified in the German Salary 
Standard TV-L 13 (75% position). The successful applicants are expected 
to have (or are near the completion of) an M.Sc./M.Eng. or equivalent 
degree in computer science, robotics, or a related subject, and will 
perform research on the interplay of robotics and formal methods. The 
positions are offered in cooperation with the German Research Center for 
Artificial Intelligence (DFKI), and enrollment as a Ph.D. student and a 
later submission of the research findings as a Ph.D. thesis is strongly 
encouraged. Research topics include, but are not limited to:

- Synthesis of robot controllers from formal specifications
- Computational engines for reactive synthesis
- Structured formalization and representation of robot controllers
- Efficient and automatic reconfiguration of cyber-physical system
   control software
- Verification of robot motion controllers with non-linear control
- Multi-objective controller optimization
- Formalization of human/robot interaction
- Modelling understandability of robot behaviour

For the successful completion of research on these topics, the applicant 
is expected to have experience with formal methods (model checking, 
theorem proving, ...) or robotics. The position will run until October 
2017, starting in January or February 2015. German language skills are 
not required.

For requests or further information, please contact Prof. Dr. Rüdiger 
Ehlers (ruediger.ehlers <at>
Full details of the job opening can be found in the offical call for 
Concurrency mailing list
Concurrency <at>
Simon Gay | 30 Oct 15:40 2014

CFP: PLACES 2015 Workshop

                            CALL FOR PAPERS
            Programming Language Approaches to Concurrency
                  and Communication-cEntric Software
                     18th April 2015, London, UK
                         Affiliated to ETAPS

Applications today are built using numerous interacting services; soon
off-the-shelf CPUs will host thousands of cores, and sensor networks
will be composed from a large number of processing units. Many
applications need to make effective use of thousands of computing
nodes. At some level of granularity, computation in such systems is
inherently concurrent and communication-centred.

To exploit and harness the richness of this computing environment,
designers and programmers will utilise a rich variety of programming
paradigms, depending on the shape of the data and control
flow. Plausible candidates for such paradigms include structured
imperative concurrent programming, stream-based programming,
concurrent functions with asynchronous message passing, higher-order
types for events, and the use of types for communications and data
structures (such as session types and linear types), to name but a
few. Combinations of these abstractions will be used even in a single
application, and the runtime environment needs to ensure seamless
execution without relying on differences in available resources such
as the number of cores.

The development of effective programming methodologies for the coming
computing paradigm demands exploration and understanding of a wide
variety of ideas and techniques. This workshop aims to offer a forum
where researchers from different fields exchange new ideas on one of
the central challenges for programming in the near future, the
development of programming methodologies and infrastructures where
concurrency and distribution are the norm rather than a marginal

** Topics of Interest **

Submissions are invited in the general area of foundations of
programming languages for concurrency, communication and
distribution. Specific topics include: language design and
implementations for communications and/or concurrency, program
analysis, session types, multicore programming, use of message passing
in systems software, interface languages for communication and
distribution, concurrent data types, concurrent objects and actors,
web services, novel programming methodologies for sensor networks,
integration of sequential and concurrent programming, high-level
programming abstractions for security concerns in concurrent,
distributed programming, and runtime architectures for concurrency,
scalability and/or resource allocations. Papers are welcome which
present novel and valuable ideas as well as experiences.

** Invited Speaker **

To be confirmed

** Submission Guidelines **

Submissions will be 6-page extended abstracts and can also include an
appendix of up to 4 pages and should be submitted in PDF format by
Monday 5th January (anywhere on Earth) using the EasyChair proceedings
template available at:

Abstracts and papers should be submitted using EasyChair:

Preliminary proceedings will be available at the workshop.
A post-workshop proceedings will be published in EPTCS.

The submission deadline is strict and will not be extended.

Enquiries can be sent to the PC co-chairs.

** Important Dates **

Abstract submission deadline:      Monday, 29th December 2014
Paper submission deadline:         Monday, 5th January 2015
Notification:                      Wednesday, 4th February 2015
Final version for pre-proceedings: Friday, 13th February 2015
Workshop date:                     Saturday, 18th April 2015

** Programme Committee **

Simon Gay, University of Glasgow, UK (co-chair)
Jade Alglave, University College London, UK (co-chair)
Josh Berdine, Microsoft Research Cambridge, UK
Stefan Blom, University of Twente, Netherlands
Nathan Chong, University College London, UK
Ornela Dardha, University of Glasgow, UK
Alexey Gotsman, IMDEA Software Institute, Spain
Hans Hüttel, Aalborg University, Denmark
Paul Keir, Codeplay Software Ltd, UK
Fabrizio Montesi, University of Southern Denmark, Denmark
David Pearce, Victoria University of Wellington, New Zealand
Pierre-Yves Strub, IMDEA Software Institute, Spain
Jules Villard, Imperial College London, UK

** Organising Committee **

Alastair Beresford,  University of Cambridge, UK
Simon Gay,  University of Glasgow, UK
Alan Mycroft,  University of Cambridge, UK
Vasco T. Vasconcelos,  University of Lisbon, Portugal
Nobuko Yoshida,  Imperial College London, UK
Concurrency mailing list

Mirco Tribastone | 4 Nov 16:22 2014

QAPL 2015 - First Call for Papers

                      [Apologies for multiple copies]

13th Workshop on Quantitative Aspects of Programming Languages and Systems 
(QAPL 2015)
Affiliated with ETAPS 2015 April 11 - 12, 2015, London, United Kingdom


Quantitative aspects of computation are important and sometimes essential in
characterising the behaviour and determining properties of systems. They are 
related to the use of physical quantities (storage space, time, bandwidth,
etc.) as well as mathematical quantities (e.g., probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both models of systems (architecture, language design, semantics)
and methodologies and tools for the analysis and verification of their
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probability either directly in a
model or as a tool for the analysis of systems.

In particular, the workshop focuses on:
  * the design of probabilistic, deterministic, hybrid, real-time, and 
    quantum languages, and the definition of their semantical models;
  * the discussion of methodologies for the quantitative analysis of 
    systems, for instance probabilistic and timing properties (e.g. 
    security, safety, schedulability) and other quantifiable properties 
    such as reliability (for hardware components), trustworthiness 
    (in information security) and resource usage (e.g., worst-case 
    memory/stack/cache requirements);
  * the probabilistic analysis of systems which do not explicitly incorporate
    quantitative aspects (e.g. performance, reliability and risk analysis);
  * applications to safety-critical systems, communication protocols, control
    systems, asynchronous hardware, and to any other domain involving
    quantitative issues;
  * applications to natural/physical domains such as chemistry, biology,
    ecology, and epidemiology.


Topics include (but are not limited to) probabilistic, timing and general
quantitative aspects in: Language design, Information systems, Asynchronous HW
analysis, Language extension, Multi-tasking systems, Automated reasoning,
Language expressiveness, Logic, Verification, Quantum languages, Semantics,
Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
Program analysis, Risk and hazard analysis, Coordination models, Protocol
analysis, Scheduling theory, Distributed systems, Model-checking, Security,
Biological systems, Cyber-physical systems, Concurrent systems, and Resource 


  * Catuscia Palamidessi, INRIA Saclay


In order to encourage participation and discussion, this workshop solicits two
types of submissions - regular papers and presentation reports:
  1. Regular paper submissions must be original work, and must not have been
     previously published, nor be under consideration for publication 
     elsewhere. Regular paper submission must not exceed 15 pages, possibly
     followed by a clearly marked appendix which will be removed for the 
     proceedings and contains technical material for the reviewers.
  2. Presentation reports concern recent or ongoing work on relevant topics and
     ideas, for timely discussion and feedback at the workshop. There is no
     restriction as for previous/future publication of the contents of a
     presentation. Typically, a presentation is based on a paper which recently
     appeared (or which is going to appear) in the proceedings of another
     recognized conference, or which has not yet been submitted. The (extended)
     abstract of presentation submissions should not exceed 4 pages.
All submissions must be in PDF format and use the EPTCS latex style, see Submissions can be made on the following website:

The workshop PC will review all regular paper submissions to select 
appropriate ones, ones for acceptance in each category, based on their 
relevance, merit,  originality, and technical content. Presentation reports
will receive a lightweight review to establish their relevance for the 
workshop. The authors of accepted submissions of both types are expected
to present and discuss their work at the workshop. Accepted regular papers
will be published in the Electronic Proceedings in Theoretical Computer
Science (EPTCS). Special issues concerning the QAPL editions of 2011 and 
2012 as well as QAPL editions of 2013 and 2014  are in preparation.


For regular papers:
    Submission (regular paper): December 14, 2014
    Notification: February 2, 2015
    Final version (ETAPS proceedings): February 9, 2015
    Workshop: April 11 - 12, 2015
    Final version (EPTCS post proceedings): TBA

For presentation reports:
    Submission:   January 30, 2015
    Notification: February 2, 2015


PC Chairs:

    * Nathalie Bertrand, INRIA Rennes, France
    * Mirco Tribastone, University of Southampton, United Kingdom

Program Committee:

    * Alessandro Aldini, University of Urbino, Italy
    * Christel Baier, Technical University of Dresden, Germany
    * Ezio Bartocci, TU Wien, Austria
    * Marco Bernardo, University of Urbino, Italy
    * Nathalie Bertrand, INRIA Rennes, France
    * Luca Bortolussi, University of Trieste, Italy
    * Laura Carnevali, University of Florence, Italy
    * Krishnendu Chatterjee, IST Vienna, Austria
    * Kostas Chatzikokolakis, CNRS, France
    * Taolue Chen, Oxford University, UK
    * Pedro D'Argenio, University of Cordoba, Argentina
    * Thao Dang, Verimag, France
    * Josee Desharnais, Universite Laval, Canada
    * Alessandra Di Pierro, University of Verona, Italy
    * Vashti Galpin, University of Edinburgh, UK
    * Holger Hermanns, Saarland University, Germany
    * Jan Kretinsky, IST Vienna, Austria
    * Radu Mardare, Aalborg University, Denmark
    * Mieke Massink, CNR-ISTI, Pisa, Italy
    * Paolo Mateus, Instituto Superior Tecnico, Portugal
    * Gethin Norman, University of Glasgow, UK
    * David Parker, University of Birmingham, UK
    * Anne Remke, University of Twente, the Netherlands
    * Arnaud Sangnier, LIAFA, University Paris VII, France
    * Jeremy Sproston, University of Torino, Italy
    * Mirco Tribastone, University of Southampton, United Kingdom
    * Herbert Wiklicky, Imperial College London, UK
    * Verena Wolf, Saarland University, Germany

Concurrency mailing list

Marco Bernardo | 4 Nov 17:32 2014

JLAMP special issue on Open Problems in Concurrency Theory (last cfp)




* Aims and Scope

This special issue of the Journal of Logical and Algebraic Methods in Programming is
devoted to the themes of the Research Seminar on Open Problems in Concurrency Theory,
which took place in June 2014 in Bertinoro, Italy, and was co-sponsored by
the IFIP Working Group 1.8 (see for more details).

This is an open call for papers, therefore both participants of the research seminar
and other authors are encouraged to submit their contributions. Submissions are invited
in the field of concurrency theory; specific topics include, but are not limited to,
the following:

- Models of concurrency
- Process calculi
- Behavioral relations and metrics
- Expressiveness
- Programming languages and types
- Quantitative and security aspects
- Verification, testing, and synthesis

Papers surveying important open problems in concurrency theory are also welcome.

* Submission Guidelines

We expect original submissions of 20-30 pages, which present high-quality contributions
that have not been previously published in another journal and that are not simultaneously
submitted for publication elsewhere. Longer papers will be considered if there is a clear
justification for why additional pages are necessary; prospective authors should contact
the guest editors to discuss this.

Each paper will undergo a thorough evaluation by at least two reviewers. The authors will
have some time to incorporate the comments of the reviewers and submit a revised version
of their papers, which will be evaluated again by the reviewers to make a final decision.

Submissions will be handled through the Elsevier Editorial System (EES) and can be uploaded
from the JLAMP webpage ( Authors must select "SI: OPCT 2014"
when they reach the "Article Type" step in the submission process. Contributions should be
typeset in PDF format and comply with the JLAMP author guidelines. Accepted manuscripts
can be posted to arXiv.

* Important Dates

Submission of papers:    November 15, 2014
First review decision:   February 28, 2015
Revision due:            April 30, 2015
Acceptance notification: May 31, 2015
Final manuscript due:    June 30, 2015
Expected publication:    July 31, 2015

* Guest Editors

Marco Bernardo
University of Urbino, Italy

Daniel Gebler
Free University of Amsterdam, The Netherlands

Michele Loreti
University of Firenze, Italy
Concurrency mailing list

benoit delahaye | 7 Nov 12:18 2014

SynCoP 2015: 2nd Call for Papers

(apologies for multiple copies)

                           Call for papers

                             SynCoP 2015
  2nd International Workshop on the SYNthesis of COmplex Parameters

                       (ETAPS satellite event)


SynCoP aims at bringing together researchers working on verification and
parameter synthesis for systems with discrete or continuous parameters, in
which the parameters influence the behavior of the system in ways that are
complex and difficult to predict. Such problems may arise for real-time,
hybrid or probabilistic systems in a large variety of application domains. The
parameters can be continuous (e.g., timing, probabilities, costs) or discrete
(e.g., number of processes). The goal can be to identify suitable parameters
to achieve desired behavior, or to verify the behavior for a given range of
parameter values.

The workshop will take place on Saturday, April 11, 2015, in London, UK, as a
satellite event of ETAPS.

The workshop may be able to (at least partially) support the travel and the
ETAPS workshop registration fees for one or two PhD or Master student(s).

Abstract:               January 12, 2015
Full papers:            January 19, 2015
Informal presentations: February 20, 2015
Notification:           February 27th, 2015
Workshop:               April 11th, 2015
Camera ready:           May 1st, 2015


The scientific subject of the workshop covers (but is not limited to) the
following areas:
   * parameter synthesis
   * parametric model checking
   * regular model checking
   * robustness analysis
   * parametric logics, decidability and complexity issues
   * formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic (timed) automata, parametric
Markov Decision Processes, networks of identical processes
   * interactions between discrete and continuous parameters
   * tools and applications to major areas of computer science and control


SynCoP seeks both regular papers and tool papers.

The content of papers should be original and not submitted elsewhere. All
papers will be assigned to at least three reviews.

The page limit is 12 pages in OASIcs LaTeX format
( for regular papers and 4
pages for tool papers.
All accepted papers will be published in the Dagstuhl's OpenAccess Series in
Informatics (OASIcs), using the Creative Commons CC-BY license. Hereby, the
authors retain their copyright. All accepted papers will be referenced using
an ISBN and a DOI in all major databases (such as DBLP).

Accepted tool papers will be required to do a demo during the workshop.

Submission will be made in English in PDF format through Easychair:

* Parosh Abdulla, Uppsala, Sweden
* Marta Kwiatkowska, Trinity College, Oxford, UK

* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)


* Alessandro Cimatti, Trento, Italy
* Benoit Delahaye, Nantes, France
* Giorgio Delzanno, Genova, Italy
* Alexandre Donze, Berkeley, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Peter Habermehl, Paris, France
* Claude Jard, Nantes, France
* Vineet Kahlon, Austin, TX, USA
* Sumit Kumar Jha, Orlando, USA
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France
* Olivier H. Roux, Nantes, France
* Jiri Srba, Aalborg, Denmark
* Jun Sun, Singapore
* Ashish Tiwari, USA
* Tayssir Touili, Villetaneuse, France
* Tomas Vojnar, Brno, Czech Republic

* Laure Petrucci, Villetaneuse, France
* Jiri Srba, Aalborg, Denmark

* Benoit Delahaye, Nantes, France
* Claude Jard, Nantes, France



Benoît Delahaye
Maître de Conférences
Université de Nantes/LINA
+33 (0)2 51 12 58 45

Concurrency mailing list
Concurrency <at>
Alain Girault | 4 Nov 09:23 2014

Call for Participation: DATE'15 Students Contest in IoT

Call for Participation

Students Competition (March 9th, DATE 2015)
Smart and Pervasive Tracking and Monitoring
in the IoT Scenario

Smartphones with Wi-Fi enabled periodically transmit Wi-Fi messages, 
even when not associated to a network. In this contest, we propose to 
develop a software system for passively tracking unmodified smartphones, 
based on such Wi-Fi detections. This system will rely only on common, 
off-the-shelf access point hardware to both collect and deliver detections.

Setup and Evaluation
Each registered team can have up to 3 members. The IoT contest 
organizers will provide in advance a map of the possibly assigned 
positions for the teams (with power plugs and WiFi internet access).

Exact positions will be disclosed on the day of the contest (Monday, 
March 9th, at DATE week).

Each team brings its own computer with the running tracking software and 
presents a poster with their solution (software engineering and 
algorithms). The teams are expected to use their own wireless interface 
to sniff the ‘hello packets’ of the smartphones.

The evaluation of the proposed solutions will be performed with a set of 
controlled members (DATE Executive Committee members) who will transit 
across the area during the contest (MAC addresses to be known in 
advance). Specific tracking positions will be evaluated by the IoT 

On site, the contest will take place on a 4 hours slot, which comprises 
2 hours of installation – assignment of positions, final debug, … and 2 
hours of real test. The evaluation will be done during these 2 hours. 
Each team will also have to come with a poster describing their 
technical solution. The DATE attendees are encouraged to come and 
discuss with the students during this time.

The team with the highest score will win the competition. The price will 
be subsequently given on Wednesday, March 11th, lunch time, during the 
keynote talk.

More information and Call for Participation can be found at:

Important Dates
Registration to the contest (send an email to the contest organizers 
with the personal data of the team components): January 15th, 2015
Description of the solution followed (4 pages report to be sent to 
conference organizers): 22nd February, 2015
Contest date (on DATE site): March 9th, 2015

Winner: 1000 € prize + printed award
2nd team in classification: 500 € prize + printed award
3rd team in classification: printed award
All participants will receive a Participation Diploma

Jose L. Ayala – Complutense University of Madrid (Spain)

Pierre-Emmanuel Gaillardon, EPFL, Lausanne (Switzerland)

With the sponsorship of IEEE CEDA (Council on Electronic Design Automation)
CEDA Representative: David Atienza (VP of Conferences, EPFL)


Alain GIRAULT             
INRIA senior researcher             tel: +(33|0) 476 61 53 51
Member of the SPADES project-team   fax: +(33|0) 476 61 52 52
Sauvons la Recherche !

Concurrency mailing list

Pavol Cerny | 29 Oct 23:33 2014

Postdoctoral Research Associate Position in Analysis, Probabilistic Reasoning, and Synthesis at the University of Colorado Boulder

The Programming Languages and Verification Group at the University of 
Colorado Boulder (CUPLV) is looking for exceptional candidates for a 
postdoctoral research associate in the area of program analysis and 
program synthesis.

The ideal candidate has a strong background in the general area of 
programming languages and verification, as well as a enthusiasm in 
mentoring junior researchers.

The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan 
Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity 
to lead an ambitious new project that combines program analysis, 
probabilistic reasoning, and program synthesis. To apply, please send an 
email to any of us with a CV and contact information for two or three 

Our group has active projects in areas such as the following:

   - program analysis

   - model checking

   - verification and synthesis of hybrid and embedded systems

   - program synthesis

For more information about our projects, please see:


The position is for one year, with a possible extension for additional 
years. Highly-qualified candidates may be considered for a research 
assistant professor position.  Teaching opportunities will be available. 
  Compensation is highly competitive and commensurate with experience.

Boulder, located at the base of the Rocky Mountain foothills, is 
consistently awarded top-rankings for health, education, and quality of 
life.  It is also home to a concentration of high-tech industry and its 
vibrant startup community.  Located 30 miles from downtown Denver, there 
are convenient public transportation options between Boulder and the 
Denver metro area.

The University of Colorado is an Equal Opportunity Employer committed to 
building a diverse workforce. We encourage applications from women, 
minorities candidates, people with disabilities, and veterans.
Concurrency mailing list