26th Conference on Concurrency Theory
The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to contribute to the development and dissemination of the theory of concurrency and its applications. Twenty five years after our first meeting in 1990, it is still the reference annual event for researchers in this field.
Submissions are solicited in semantics, logics, verification and analysis of concurrent systems.
The main topics are (but are not strictly limited to):
- Basic models of concurrency: abstract machines, domain theoretic models, game theoretic models, categorical models, process algebras, graph transformation systems, coalgebraic models, and Petri nets;
- Logics for concurrency: modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
- Models of specialized systems: biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service oriented computing, synchronous systems, and cloud computing;
- Verification and analysis techniques for concurrent systems: abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, testing, theorem proving, and type systems;
- Related programming models: distributed, component based, object-oriented, and web services;
- Security issues in concurrent systems.
Luca Aceto (IS)
David de Frutos Escrig (ES)
Fernando Rosa-Velardo (ES)
Submission of Abstracts: April 13th, 2015
Submission of Papers:
April 21th, 2015 12.00 GMT (firm!, precise)
Notification: June 15th, 2015
Final version: July 3rd, 2015
12th International Conference on Quantitative Evaluation of SysTems
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements.
Performance metrics of interest include response time, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Areas of interest include modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behaviour. Also of interest are case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems.
Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST and therefore tool papers are sought. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.General Chair
David de Frutos-Escrig (Complutense University of Madrid, ES)
Javier Campos (University of Zaragoza, ES)
Boudewijn Haverkort (University of Twente, NL)
Publicity and Publications Chair
Ismael Rodríguez (Complutense University of Madrid, ES)
Ismael Rodríguez (Complutense University of Madrid, ES)
Abstract submission: 6 March 2015
Paper and tool submission: 13 March 2015
Author feedback/rebuttal period: 22-25 April 2015
Author notification: 8 May 2015
Final version due: 5 June 2015
13th International Conference on Formal Modeling and Analysis of Timed Systems
Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take into account the time taken by controllers to compute their responses after sampling the environment.
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems.
Typical topics include: (1) Foundations and semantics: theoretical foundations of timed systems and languages and comparison between different models such as timed automata, timed Petri nets, hybrid automata, timed process algebra, probabilistic models; (2) Methods and tools: techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing); (3) Applications: adaptation and specialization of timing technology in application domains in which timing plays an important role, such as real-time software, hardware circuits, scheduling problems in manufacturing and telecommunication.Programme Chairs
Sriram Sankaranarayanan (University of Colorado at Boulder, USA)
Enrico Vicario (University of Florence, Italy)
Abstract submission: April 20, 2015
Paper submission: April 27, 2015
Notification of acceptance: June 10, 2015
Final version due: June 22, 2015
Conference: September 2-4, 2015
10th International Symposium on Trustworthy Global Computing
The Symposium on Trustworthy Global Computing is an international annual 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. 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
Pierre Ganty, IMDEA Software Institute
Michele Loreti, Università degli Studi di Firenze
Deadline for abstract submission: May, 18th (AoE)
Deadline for paper submission: May, 25th (AoE)
Notification to authors: July, 2nd
International Symposium on Web Services, Formal Methods and Behavioural Types
The Symposium on International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015) results from joining the Workshop on Web Services and Formal Methods (WS-FM) and the Workshop on Behavioural Types. The former was mainly devoted to formal aspects of service-oriented and cloud computing. The latter addressed type languages and systems to specify, characterise, and reason about dynamic aspects of program execution. In both cases, the main working setting of the research area covered is that of component-based distributed and concurrent software systems, services and clouds, simply referable as large software systems. Behavioural systems may also refer to enterprise and business process modelling and management systems. These kind of systems share characteristics: they are distributed, collaborative, and communication-centred. Moreover, the compatibility of their components is crucial to ensure overall correctness and reliability.
The aim of this event is to bring together researchers and practitioners in all aspects of large scale behavioural software systems and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.
Abstract submission: Wednesday June 17, 2015
Paper submission: Friday June 19, 2015
Notification: Monday July 20, 2015
Camera Ready version: Monday August 3
Symposium: September 4 - 5, 2015