Pierre G | 26 Jan 11:21 2015

TGC 2015: Call for papers

The Symposium on Trustworthy Global Computing (TGC) is an international venue dedicated to secure and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems, and cloud computing.

# Highlights:
- Co-located with CONCUR 2015 (Madrid, Spain) from August, 31st to September, 1st
- Parallel submission to CONCUR 2015 allowed
- Keynote speakers: Gianluigi Zavattaro from the University of Bologna, Italy (joint with CONCUR), second speaker to be announced
- Deadline for abstract submission: May, 18th

# Topic
The TGC series focuses on providing frameworks, tools, algorithms, and protocols for rigorously designing, verifying, and implementing open-ended, large-scaled applications. The related models of computation incorporate code and data mobility over distributed networks that connect heterogeneous devices and have dynamically changing topologies.

We solicit papers in all areas of global computing, including (but not limited to):
- languages, semantic models, and abstractions
- security, trust, and reliability
- privacy and information flow policies
- algorithms and protocols
- resource management
- model checking, theorem proving, and static analysis
- tool support

# Important dates
- Deadline for abstract submission: May, 18th (AoE)
- Deadline for paper submission: May, 25th (AoE)
- Notification to authors: July, 2nd

# Programme committee
Michele Loreti, Universita' degli Studi di Firenze, Italy (co-chair)
Pierre Ganty, IMDEA Software Institute, Spain (co-chair)
Alessandro Armando, DIBRIS, Universita' di Genova, Italy
Michael Rusinowitch, LORIA, INRIA Nancy, France
Fabio Gadducci, Dipartimento di Informatica, Università di Pisa, Italy
Nobuko Yoshida, Imperial College London, UK
Emilio Tuosto, Department of Computer Science, University of Leicester, UK
Pedro R. D'Argenio, Universidad Nacional de Córdoba - CONICET, Argentina
Rolf Hennicker, Ludwig-Maximilians-Universität München, Germany
Matteo Maffei, CISPA, Saarland University, Germany
Ilaria Castellani, INRIA Sophia Antipolis, France
Myrto Arapinis, University of Birmingham, UK
Christos Kaklamanis, University of Patras and CTI, Greece
Alberto Lluch Lafuente, Technical University of Denmark
Davide Sangiorgi, Universita' di Bologna, Italy
Giorgio Delzanno, DIBRIS, Universita' di Genova, Italy
P. Madhusudan, University of Illinois at Urbana-Champaign, USA
Luis Caires, Departamento de Informatica, Universidade Nova de Lisboa, Portugal
Steve Kremer, INRIA Nancy - Grand Est
Gennaro Parlato, University of Southampton
Marco Carbone, IT University of Copenhagen, Denmark

# Submission instructions
Contributions must be in PDF format and consist of no more than 15 pages excluding references in the Springer's LNCS style . Clearly marked appendices may include additional details and proofs omitted due to space limitations.

Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere, with the exception of CONCUR. Concurrent submissions to CONCUR 2015 and TGC 2015 are allowed, and in fact encouraged, for those papers that may potentially enhance both conferences. Authors of such double submissions should flag them to the program chairs at the time of submission (by choosing the ’Regular Paper submitted to CONCUR’ paper category). Reviews may be shared between CONCUR and TGC. CONCUR's timeline is ahead of TGC's; submissions accepted by CONCUR will be considered automatically withdrawn from TGC.

We plan to publish post-proceedings shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference.

# PC chairs
- Pierre Ganty (IMDEA Software Institute, Madrid, Spain)
- Michele Loreti (Università degli Studi di Firenze, Italy)

Concurrency mailing list
Martin Lange | 30 Jan 09:34 2015

TIME 2015 1st Call for Papers - the 22nd Int. Symp. on Temporal Representation and Reasoning, Kassel, Germany

*** Apologies for multiple copies ***

22nd International Symposium on Temporal Representation and Reasoning,
TIME 2015


Call for papers

TIME 2015 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer Science.
The symposium, currently in its 22nd edition, has a wide remit and
intends to cater both for theoretical aspects and well-founded
applications. One of the key aspects of the time symposium is its
interdisciplinarity with attendees from distinct areas such as
artificial intelligence, database management, logic and verification,
and beyond.

Submissions of high quality papers describing research results are
solicited. Submitted papers should contain original, previously
unpublished content, should be written in English, and must not be
simultaneously submitted for publication elsewhere. Submitted papers
will be refereed for quality, correctness, originality, and relevance.

The symposium will encompass three tracks on temporal representation and
reasoning in AI, Databases, as well as Logic and Verification.

Temporal Representation and Reasoning in AI includes, but is not limited to:
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- reasoning about actions and change
- planning and planning languages
- ontologies of time and space-time
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
- constraint-based temporal reasoning
- temporal preferences

Temporal Database Management includes, but is not limited to:
- temporal data models and query languages
- temporal query processing and indexing
- temporal data mining
- time series data management
- stream data management
- spatio-temporal data management, including moving objects
- data currency and expiration
- indeterminate and imprecise temporal data
- temporal constraints
- temporal aspects of business processes and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- temporal aspects and big data
- temporal aspects in NoSQL databases
- temporal data warehouses
- temporal healthcare databases and warehouses
- time series analysis and mining
- semistructured temporal data
- novel applications of temporal database management
- experiences with real applications

Temporal Logic and Verification in Computer Science includes, but is not
limited to:
- specification and verification of systems
- verification of web applications
- synthesis and execution
- model checking algorithms and implementations
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics for games and open systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security

Important Dates
- Submission deadline: April 30th
- Notification: June 30th
- Final version due: July 17th
- Early registration deadline: July 31st
- Symposium: September 23rd-25th

Invited Speakers
- Giuseppe de Giacomo, Sapienza Università di Roma
- Carlo Zaniolo, UCLA
- Benedikt Bollig, ENS Cachan

Program Committee
Thomas Ågotnes, Univ. of Bergen
Alessandro Artale, Free Univ. of Bolzano-Bozen
Sourav S. Bhowmick, Nanyang Technical Univ.
Michael Böhlen, Univ. of Zurich
Amedeo Cesta, ISTC-CNR, Rome
Carlo Combi, Univ. of Verona
Stephane Démri, CNRS, Cachan
Clare Dixon, Univ. of Liverpool
Curtis Dyreson, Utah State University
Johann Eder, Alpen Adria Univ. Klagenfurt
Shashi K. Gadia, Iowa State Univ.
Rajeev Goré, Australian National Univ., Canberra
Fabio Grandi, Univ. of Bologna (PC co-chair)
Keijo Heljanko, Aalto Univ.
Wojciech Jamroga, Polish Academy of Sciences, Warsaw
Felix Klaedtke, NEC Research, Heidelberg
Martin Lange, Univ. of Kassel (PC co-chair)
Francois Laroussinie, Univ. of Paris 7
Martin Leucker, Univ. of Lübeck
Alessio Lomuscio, Imperial College (PC co-chair)
Étienne Lozes, ENS Cachan
Federica Mandreoli, Univ. of Modena and Reggio Emilia
Jerzy Marcinkowski, Univ. of Wroclaw
Angelo Montanari, Univ. of Udine
Ben Moszkowski, Univ. of Newcastle
Aniello Murano, Univ. of Napoli "Federico II"
Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim
Dirk Pattinson, Australian National Univ., Canberra
Ram Ramanujam, IMS Chennai
Sven Schewe, Univ. of Liverpool
Paolo Terenziani, Univ. of Turin
Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign
James Worrell, Univ. of Oxford
Robert Wrembel, Poznan Univ. of Technology

Submissions should be in PDF format (with the necessary fonts embedded).
They must be formatted according to the IEEE guidelines and must not
exceed 10 pages (US letter format); over-length submissions may be
rejected without review. Submissions will be handled electronically by

Accepted papers will be presented at the symposium and included in the
proceedings, which will be published by the IEEE Conference Publishing
Services (CPS), as usual within the TIME series. Acceptance of a paper
is contingent on one author registering for and presenting the paper at
the symposium.
Journal Special Issue

As in previous years, the authors of the best papers of the conference
will be invited to submit an extended version of their contribution to a
special issue on TIME 2015, to appear in the journal Information &

TIME2015 will be held at the University of Kassel. The city of Kassel is
situated in the center of Germany with convenient train connections to
major cities and airports, including Frankfurt. Kassel is a center of
culture and art, once home to the famous Brothers Grimm, now hosting an
art school of high reputation and the documenta - regarded to be
Europe’s most important modern art exhibition taking place every fifth
year only. The 300-year-old “Bergpark”, a large park-like area with a
castle and monuments at Kassel’s western boundaries, has recently been
given the status of a UNESCO heritage site and become a major tourist
attraction since. For more information please consult

Concurrency mailing list

emmanuel.bertin | 27 Jan 11:59 2015

International Workshop on All-Web real-time Systems


========================= Call for Papers =================================


AWeS 2015

International Workshop on All-Web real-time Systems,

in conjunction with ACM EuroSys 2015


April 21, 2015 – Bordeaux, France




Important dates:


Paper Submission deadline:       22nd February 2015

Acceptance Notification:             9th March 2015

Camera-ready deadline:              27th March 2015

Workshop:                                   21st April 2015





Systems based on Web technologies are increasingly gaining momentum, as browsers become a universal code execution platform. Even native application can rely on these technologies, e.g. with Android WebView. This trend is now emerging for real-time communications with the WebRTC technology, and is considered as the future of real-time communications, beyond today’s protocol-specific architectures.


Such systems requires new architectures, programming model and design to manage real-time signaling and media requirements using the Web paradigms, and to answer to the needs of application developers. This workshop is focused on the issues raised by these transformations. It aims to bring together researchers addressing the various fields of All-Web systems to share ideas and discuss preliminary results in an interactive way.



Main topics of interest:


* Computing paradigms for all-Web systems

- Next generation of browsers

- New computing models for All-Web systems

- Architecture and performance of client-side code and of server-side code

* Framework and signaling architecture

- Required functional and non-functional properties for application developers

- New paradigms for all-Web communication architectures

- http-based signaling models (e.g. event-based)

- Migration paths from today’s legacy architectures to future ones

* QoS and metrics

- QoS and traffic management with webRTC

- STUN/TURN deployment issues

- Management of new communication services

- Technical and business challenges, e.g. different service categories over the same infrastructure

- Feedback from live experimentations and early deployments

- Impact of P2P media and algorithms for QoS optimization

* Security and privacy

- Security and privacy implications

- User identity assertion for all-Web communications

- Future of emergency communications

* Applications

- Real-time communications over social network

- Innovative services and applications, impact on business customers, integration in enterprise IT

- Pervasive and context-based communications



Submission and publication:


Submissions should be original, previously unpublished work not currently under review by other conferences or publications.


Accepted papers will be published as part of the ACM Digital Library.


Submissions should be done via this link: http://allweb.wp.tem-tsp.eu/submission/



Concurrency mailing list
Markus Roggenbach | 26 Jan 16:45 2015

2 year post-doc position at Swansea, UK, on Railway Verification

           2 year post-doc position at Swansea, UK
           on Railway Verification

Closing Date 12-02-2015
Start Date 01-03-2015

The position is part of the RSSB funded project “Developing Integrated
Tools To Optimise Rail Systems” (DITTO).

The DITTO project is an academic collaboration on safe rail management
for high capacity based on the ERTMS, funded by the RSSB (Rail Safety
and Standards Board) within their FuTRO programme, and including
several industrial partners such as Siemens Rail Control Systems,
Chippenham, UK. It is a cross-disciplinary collaboration between
Southampton University, Leeds University, and Swansea University. For
more information on the Swansea side see the Swansea Railway
Verification Group and the Processes and Data Group.

Applicants should hold a postgraduate degree in Computer Science or a
closely related subject. Background knowledge in some of the following
areas will be required: railways, formal methods, modelling systems,
process algebra, verification, semantics, and mathematical logic. A
PhD in Computer Science or closely related subject is desirable.

For informal enquires contact Markus Roggenbach at M.Roggenbach@...uk

For more inormation see 

Concurrency mailing list

Frits Vaandrager | 27 Jan 17:23 2015

PhD Candidate for Scheduling and Control of Cyber Physical Systems

PhD Candidate for Scheduling and Control of Cyber Physical Systems (0,8
- 1,0 fte)
Institute for Computing and Information Sciences, Radboud University
Nijmegen, the Netherlands
Maximum salary: € 2,717 gross/month
Vacancy number: 62.10.15
Application deadline: 15 February 2015

As a PhD candidate you will conduct research in the context of the STW
programme on Robust Design of Cyber-Physical Systems (CPS). You will
work on new algorithms and theory for the scheduling and control of
cyber physical systems. The main challenge will be to use
Bayesian-network and automata learning algorithms to extract relevant
information from system logs in order to better understand these systems
and improve, for example, scheduling and control. The project will
demonstrate and assess the power of these algorithms and theory by
applying them to realistic case studies from the printer domain, which
will be provided by project partner Océ.

Work environment
You will perform research within the Model-Based System Development
(MBSD) group. The MBSD group carries out fundamental research on the use
of (mathematical) models in the development of computer systems in
relationship to application areas, on the one hand, and basic
techniques, on the other. Our theories, methods and tools are
empirically validated by the development of challenging applications for
business, industry, government, and health care, thus aiming at bridging
the gap between theory and practice. The MBSD group received excellent
ratings in the latest national research evaluation exercise for computer
science. Bayesian networks and automata learning are key research areas
of the group.

What we expect from you
You must hold an MSc or equivalent, having demonstrated top performance
in a field that is closely related to computer science, AI or
mathematics. You should have an interest in conducting original
scientific research, publishing the results at top conferences and in
scientific journals, and participating in teaching activities. Maturity,
self-motivation and the ability to work both independently and as a team
player in local and international research teams are expected. You
should have an excellent command of written and spoken English. Prior
experience with AI or formal verification will be considered an asset.
Programming experience will also be helpful.
What we have to offer

We offer you
- employment: 0,8 - 1,0 fte;
- a maximum gross monthly salary of € 2,717 based on a 38-hour working week;
- in addition to the salary: an 8% holiday allowance and an 8.3%
end-of-year bonus;
- the gross starting salary amounts to €2,125 per month, and will
increase to €2,717 in the fourth year;
- duration of the contract: 4 years;
- your performance will be evaluated after 18 months. If the evaluation
is positive, the contract will be extended by 2.5 years;
- you will be classified as a PhD Candidate (promovendus) in the Dutch
university job-ranking system (UFO).

For more information about this vacancy, see
http://www.mbsd.cs.ru.nl/Vacancies or contact:
Prof.dr. Frits Vaandrager
Telephone: +31 24 3652216
E-mail: fvaan <at> cs.ru.nl

Please include with your application a motivation letter (attn. of ms.
W. van der Pluijm), CV and any required attachments. You should upload
these documents at URL

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Yoshida, Nobuko | 27 Jan 19:55 2015

One Research Associate Position at Imperial College London

Research Associate or 1 Research Assistant (Postdoc or Predoc) position available at  the Department of Computing, Imperial College London.

       1) Session Types and their applications to distributed systems or programming languages and/or 
       2) Session Types and concurrency theories/verifications (including automata theories)

       1) Starting date: as soon as possible but flexible
       2) End date: 29th December 2017

Application Closing Date: 9th March 2015.

Detailed information about how to apply, application requirements, terms of employment etc., cf.

Related Links:
       1)  Mobility Group (http://mrg.doc.ic.ac.uk/)
       2) Scribble (http://www.scribble.org/)

Contact Person:

       Nobuko Yoshida (n.yoshida-AQ/gCgVxFfm3199FpKW2+w@public.gmane.orguk)

More detailed job description:

Research Assistant salary in the range: £29,350 to £32,520 per annum

Research Associate salary in the range: £33,410 to £42,380 per annum

We are seeking to appoint a Research Assistant/Associate to work on the project “Conversation-Based Governance for Distributed Systems by Multiparty Session Types”, funded by the EPSRC.

The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to realistic case studies. This project includes collaboration with Cognizant, Red Hat, VMware and the Ocean Observatories Initiative.

The successful candidate will join a team responsible for one or two of the following topics;

* extending the programming languages based on session types and Scribble (http://www.scribble.org/)

* investigating relationships between session types and other computational models such as automata

* studying theories and practice on session types

To apply at Research Assistant level, you should have a good Master’s degree (or equivalent) in a relevant area and be nearing completion of a PhD. To be appointed at Research Associate level you must have a PhD (or equivalent) in a relevant area.

You will have a strong record of publications, or other evidence of the ability to undertake research. You should have a strong background in programming languages, including type systems, a good general knowledge of concurrency theory and strong programming and software engineering skills.

You must have excellent communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines. Preference will be given to applicants with a proven research record and publications in the relevant areas. All applicants must be fluent in spoken and written English.

You will be part of the Theory of Computational Systems Group based at the South Kensington Campus.

Informal enquiries should be addressed to: Professor Nobuko Yoshida (n.yoshida-CezfXpuMXD6Fxr2TtlUqVg@public.gmane.org) Investigator of the project.

How to apply:

Our preferred method of application is online via our website at: http://www3.imperial.ac.uk/employment (please select “job search” then enter the job title or vacancy reference number EN20150024SF  into “keywords”). Please complete and upload an application form as directed.
 Applications must include the following:

* A college application form

* Please quote job reference number NY 0115 on the application form

* A full CV

*  A two-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.

Should you have any queries regarding the application process please contact Sarah Willis by email to: research.officer-CezfXpuMXD6Fxr2TtlUqVg@public.gmane.org

Concurrency mailing list
David Broman | 26 Jan 23:45 2015

Ph.D. Student Position in Time-Aware Systems, with focus on Programming Languages, Compilers, and Algorithms

Ph.D. Student Position in Time-Aware Systems, with focus on Programming Languages, Compilers, and Algorithms

KTH Royal Institute of Technology, Stockholm, Sweden

Application deadline: February 28, 2015

Time-aware systems are systems where time or timing affects the correctness of a system. Examples of such
systems are real-time and cyber-physical systems (e.g., automobiles, robots, and industrial
automation systems), physical simulation systems, and distributed time-aware computer systems. The
doctoral student will be part of a new KTH research group that is focused on developing new methodologies,
algorithms, and techniques that enable new ways of developing time-aware systems. The main focus is on
how programming languages and tools can help the development of this kind of systems, so that they can be
developed in less time and with higher confidence of correctness. The research will focus on introducing
time and timing into programming languages, and to develop algorithms and compiler
  techniques that support time as an integral part of the tool chain. 

The applicant should hold a Master of Science degree in Computer Science, Computer Engineering, or
equivalent, and have very good mathematical and programming skills. The ideal candidate has also
knowledge in one or more of the following areas: Compilers, Computer Architecture, Algorithms,
Programming Language, Embedded, and Real-time Systems. Besides technical and mathematical skills,
the candidate is expected to be a curious and ambitious individual who is strongly motivated to conduct
research. He or she should be used to work in a structured way and have the ability to work both individually
and in teams. Good communication skills in both oral and written English are required.

For more information, see https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:47687/where:4/

David Broman
Associate Professor

KTH Royal Institute of Technology
Electrum 229
164 40 Kista

office: +46 8 790 42 74
cellular. +46 73 765 20 44
web: http://web.ict.kth.se/~dbro/
email: dbro@...

Concurrency mailing list

jun sun | 21 Jan 02:56 2015

TASE 2015: Call for Paper, Nanjing 12 - 14 September

                   TASE 2015 - Preliminary CALL FOR PAPERS

                The 9th International Symposium on
           Theoretical Aspects of Software Engineering
                           (TASE 2015)
                12-14 September 2015, Nanjing, China

        For more information email: tase2015-bC77Qfv0vuxrovVCs/uTlw@public.gmane.org

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2015 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. 

TASE 2015 is the 9th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha('14).The proceedings of the TASE 2015 symposium are planned to be published by the IEEE Computer Society Press. 

The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to:

* Requirements Engineering 
* Specification and Verification 
* Program Analysis 
* Software Testing
* Model-Driven Engineering 
* Software Architectures and Design
* Aspect and Object Orientation
* Embedded and Real-Time Systems
* Software Processes and Workflows
* Component-Based Software Engineering
* Software Safety, Security and Reliability 
* Reverse Engineering and Software Maintenance
* Service-Oriented and Cloud Computing 
* Semantic Web and Web Services
* Type System and Theory 
* Program Logics and Calculus
* Probability in Software Engineering

Submission should be done through the TASE 2015 submission page, handled by the EasyChair conference system:

As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format

Abstract submission:  7  March 2015 (23h59 GMT)
Paper submission:    14  March 2015 (23h59 GMT)
Notification:        23  May   2015
Camera-ready:        13  June  2015
Conference:          12-14 September 2015

Jifeng He         (East China Normal University, China)

Zhiqiu Huang      (Nanjing University of Aeronautics and Astronautics, China)
Jun Sun           (Singapore University of Technology and Design)

Keijiro Araki     (Kyushu University, Japan)
Shengchao Qin     (Teesside University, UK)
Jifeng He         (East China Normal University, China) 
Huibiao Zhu       (East China Normal University, China)
Michael Hinchey   (Lero, Ireland)


Ou Wei            (Nanjing University of Aeronautics and Astronautics, China)

Jun Hun           (Nanjing University of Aeronautics and Astronautics, China)
Yu Zhou           (Nanjing University of Aeronautics and Astronautics, China)
Jun Pang          (University of Luxembourg)

Concurrency mailing list
Susanne Graf | 23 Jan 21:28 2015

FORTE 2015: Call for Papers (completely new dates)

                      CALL FOR PAPERS

                        FORTE 2015
                A DisCoTec Member Conference

35th IFIP International Conference on Formal Techniques for
Distributed Objects, Components and Systems


taking place on June 2-4, 2015 in Grenoble, France

Abstract Submission: February 15, 2015 (compulsory)  NEW!
Paper Submission:    February 22, 2015               NEW!
Author Notification: March 23, 2015                  NEW!
Camera Ready copy:   April 2, 2015                   NEW!

Original deadlines had been set too early compared to past editions and were 
colliding with other conferences.

FORTE 2015 is a forum for fundamental research on theory, models, tools, and 
applications for distributed systems. The conference solicits original 
contributions that advance the science and technologies for distributed systems, 
with special interest in the areas of:

  * service-oriented, ubiquitous, pervasive, grid, cloud, and mobile computing
  * object technology, modularity, component- and model-based design;
  * software reliability, availability, and safety;
  * security, privacy, and trust in distributed systems;
  * adaptive distributed systems, self-stabilization;
  * self-healing/organizing;
  * verification, validation, formal analysis, and testing of the above.

Contributions that combine theory and practice and that exploit formal methods 
and theoretical foundations to present novel solutions to problems arising from 
the development of distributed systems are encouraged. FORTE covers distributed 
computing models and formal specification, testing and verification methods. The 
application domains include all kinds of application-level distributed systems, 
telecommunication services, Internet, embedded and real-time systems, as well as 
networking and communication security and reliability.

=== Main topics of interest ===

Topics of interest include but are not limited to:

  * Languages and semantic foundations: new modeling and language concepts for
    distribution and concurrency, semantics for different types of languages,
    including programming languages, modeling languages, and domain-specific
    languages; real-time and probability aspects;
  * Formal methods and techniques: design, specification, analysis,
    verification, validation, testing and runtime verification of various types
    of distributed systems including communications and network protocols,
    service-oriented systems, adaptive distributed systems, cyber-physical
    systems and sensor networks;
  * Foundations of security: new principles for qualitative and quantitative
    security analysis of distributed systems, including formal models based on
    probabilistic concepts;
  * Applications of formal methods: applying formal methods and techniques for
    studying quality, reliability, availability, and safety of distributed
  * Practical experience with formal methods: industrial applications, case
    studies and software tools for applying formal methods and description
    techniques to the development and analysis of real distributed systems.

=== Invited Speakers (DisCoTec) ===

  * Alois Ferscha (Johannes Kepler Universität, Linz, Austria)

  * Leslie Lamport (Microsoft Research, USA)

  * Willy Zwaenepoel (EPFL, Switzerland)

=== Submission and publication ===

Contributions must be written in English and report on original, unpublished 
work, not submitted for publication elsewhere (cf. IFIP’s codes of conduct). The 
submissions must be prepared using Springer’s LNCS style. Papers can be 
submitted electronically in pdf via the FORTE’15 interface of the EasyChair system.

We solicit four kinds of submissions:

  *  Full papers (up to 15 pages): Describing thorough and complete research
     results, tools or experience reports (if relevant, additional appendixes
     with proofs or other material meant for easing the reviewers' live are

  *  Short papers (up to 7 pages): Describing research results that are not
     fully developed, or manifestos, calls to action, personal views on FORTE
     related research, on the current state of the art, or on prospects for the
     years to come.

  *  Tool demonstration papers (up to 7 pages): focus on the usage aspects of
     tools. Theoretical foundations and experimental evaluation are not
     required, however, a motivation as to why the tool is interesting and
     significant should be provided. Papers may have an appendix of up to 5
     additional pages with details on the actual demonstration.

  *  Posters (up to 3 pages): Summarizing research projects worth being
     advertised and discussed in at the conference.

Each paper will undergo a peer review of at least 3 anonymous reviewers. The 
conference proceedings will be published by Springer in the LNCS Series. The 
best papers will be invited after the conference to contribute to a special 
issue of a top-level journal (TCS or FMSD).

=== Programme Chairs ===

    Susanne Graf (VERIMAG & CNRS, Grenoble, France)
    Mahesh Viswanathan (U. Illinois, USA)

=== Programme Committee ===

    Erika Abraham (RWTH Aachen, Germany)
    Luca Aceto (U. Reykjavik, Iceland)
    S Akshay (IIT Bombay, India)
    Paul Attie (American U. Beirut, Lebanon)
    Rohit Chadha (U. Missouri, USA)
    Rance Cleaveland (U. Maryland, USA)
    Frank de Boer (CWI, Amsterdam, Netherlands)
    Borzoo Bonakdarpour (Mc Master U., Ontario, Canada)
    Michele Boreale (U. Firenze, Italy)
    Stephanie Delaune (CNRS & ENS Cachan, France)
    Wan Fokkink (VU Amsterdam, Netherlands)
    Gregor Goessler (INRIA Grenoble, France)
    Gerard Holzmann (Jet Propulsion Laboratory, Pasadena, CA, USA)
    Alan Jeffrey (Alcatel-Lucent Bell Labs, USA)
    Petr Kuznetsov (Telecom ParisTech, France)
    Ivan Lanese (U. Bologna, Italy)
    Kim Larsen (U. Aalborg, Denmark)
    Antonia Lopes (U. Lisbon, Portugal)
    Stephan Merz (LORIA & INRIA Nancy, France)
    Catuscia Palamidessi (INRIA Saclay, France)
    Alan Schmitt (IRISA & INRIA Rennes, France)

=== Steering Committee: ===

    Erica Abraham (RWTH Aachen, Germany)
    Dirk Beyer (U. Passau, Germany)
    Michele Boreale (U. Firenze, Italy)
    Einar Broch Johnsen (U. Oslo, Norway)
    Frank de Boer (CWI, Amsterdam, Netherlands)
    Holger Giese (U. Potsdam, Germany)
    Catuscia Palamidessi (INRIA, Saclay, France)
    Grigore Rosu (U. Illinois, USA)
    Jean-Bernard Stefani (INRIA, Grenoble, France) (Chair)
    Heike Wehrheim (U. Paderborn, Germany)


Susanne Graf          | tel : (+33) (0)4 56 52 03 52
VERIMAG               | fax : (+33) (0)4 56 52 03 46 (or 44)
2, avenue de Vignate  | http://www-verimag.imag.fr/~graf/
F - 38610 Gieres      | e-mail: Susanne.Graf@...
Concurrency mailing list

Rocco De Nicola | 21 Jan 13:13 2015

Three Postdoc positions in Computer Science at GSSI - L'Aquila (Itay) - Deadline February 2, 2015

The Gran Sasso Science Institute (GSSI - http://www.gssi.infn.it/ ), a recently established international PhD school and a Center for advanced studies in L'Aquila (ITALY) offers 12 postdoctoral research positions. Three of these positions are dedicated to Computer Science and more specifically to themes that are strongly connected to the pillars of the PhD program in Computer Science (http://cs.gssi.infn.it), namely:
  • Foundations of social and computer networks
  • Software systems and services
  • Specifications and analysis of concurrent reactive systems
Apart from pursuing their own research agenda, the successful candidates will have the opportunity to take part in the supervision of the roughly 20 PhD students in Computer Science and to cooperate with members of the research group and of the Scientific Board (http://cs.gssi.infn.it/phd-program/information/), as well as with the frequent guests of the institute.

The deadline for application is:

                February 2, 2015 at 6:00 pm (Rome time)

The annual gross salary is EURO 40K and lunch tickets are provided for working days. The positions are for two years. Candidates must have earned their doctoral degree not earlier than  January 1, 2008.

Selected candidates are expected to start their appointments not later than September 1st, 2015.

For information see http://www.gssi.infn.it/postdoc/ and http://www.gssi.infn.it/postdoc//doc01856420141216105324.pdf.

For any further information feel free to contact Rocco De Nicola (rocco.denicola-HLGl88MwIJs1GQ1Ptb7lUw@public.gmane.org), the coordinator of the PhD program in Computer Science, or any other member of the research group or of the Scientific Board http://cs.gssi.infn.it/phd-program/information/
Concurrency mailing list
M.R. Mousavi | 19 Jan 16:06 2015

Funded Ph.D. Position in Model-Based Testing, Halmstad University, Sweden


Funded Ph.D. Position in Computer Science
with focus on Model-Based Testing, Halmstad University, Sweden




The position is in the context of the EFFEMBAC (Effective Model-Based Testing of Concurrent System) project, which is on combining model-based- and symbolic execution,
funded by a project grant from the Swedish Research Council (VR).

The general objectives of our research agenda are summarized below:

· Using domain-specific abstractions as starting points for test models,

· Augmenting behavioral models with structural information from the implementation domain in order to generate effective concrete test-cases,

· Devising effective mechanized test-data-selection criteria, by integrating model- and implementation-based information as well as redefining test-adequacy in this hybrid setting,

· Enabling compositional testing for concurrent systems in order to manage complexity,

· Devising concrete design for testability guidelines for a semantic model of specification languages and translating them to examples of domain-specific languages.

The project will be carried out in collaboration with internationally renowned researchers from University of Illinois at Urbana Champaign, Radboud University Nijmegen and Reykjavik University.

Terms of Employment


The position will be a 5-year Ph.D position (with a 1-year probation period).

The position is supposed to start on April 1, 2015, or any time later (within an interval of ca. 3 months) depending the availability of the candidate.

The selected candidate will perform research and assist in teaching at  the Centre for Research on Embedded Systems at Halmstad University.

The teaching assistance load will be about 20% of the time (usually 1-2 courses in a year).

The salary level is fixed at ca. 25 SEK/month gross.

The employed candidate enjoys the usual rights of a university employee, such as pension and other social enumerations, as well as parental leave.



The position is intended for someone with a masters degree in Computer Science, Computer Engineering, or closely related fields.

Desirable skills include expertise in formal methods, testing, software engineering, and programming languages.

Working Environment


The selected candidate will be performing research in a very vigorous and international research environment at the Center for Research on Embedded Systems (CERES) at Halmstad University.  

For more information on CERES please see:


For more information on the Model-Based Testing research at CERES, please see:


Living Environment


Halmstad is a popular summer destination located on the Swedish west coast. It is situated in between two cosmopolitan areas:
the Copenhagen-Malmo-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live.
It can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as many other local airports (e.g., Halmstad, Malmo, and Angelholm airports).

Sweden is well known for a very high quality of life and excellent social care facilities.
There are excellent (incl. international) schools and day-cares around, as well as various recreational and entertainment facilities.

The working language is English and no knowledge of Swedish is required.
Also for daily life, English is spoken widely and Sweden has one of the highest English proficiency levels in the world.  
If the student wishes to learn Swedish both the university and the local government provide extensive facilities.  

Application Procedure and Deadlines


The application should comprise a single PDF file and
should be received no later than March 1, 2015.

The application package shall consist of:

1. a cover letter stating the purpose of the application and
a brief statement of why you believe that your goals and past experience are well-matched with the goals of this position,

2. a CV that includes at least

- a list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available

- a complete list of publications and a description of previous research and other work experience and links to online copies of the most important publications

3. contact information for three references.

We ask the candidates to send the required material to rekrytering153-j6GJ5Nif7xo@public.gmane.org with a CC to m.r.mousavi-j6GJ5Nif7xo@public.gmane.org ,
mentioning "Ph.D. Position EFFEMBAC" in the subject line.

Application must be received before 2015-03-01 to receive full consideration.  
The expected starting date is 2015-04-01, but is negotiable depending on the successful candidate's conditions.  

For further information, please contact Prof. Mohammad Mousavi (m.r.mousavi <at> hh.se),
lab leader Dr. Jörgen Carlsson (jorgen.carlsson-j6GJ5Nif7xo@public.gmane.org) or head of school Dr. Magnus Hållander (Magnus.Hallander <at> hh.se).

For employment terms, you may contact the representative of the labor union Kristina Hildebrand (Kristina.Hildebrand-j6GJ5Nif7xo@public.gmane.org) (representative of the union Saco-S) or
Jenny Engström (representative of the union OFR/S).
All can be reached at telephone +46 35-16 71 00 (switchboard).
Concurrency mailing list