Tali Rabetti | 25 Jun 19:42 2016
Picon

HVC 2016 - Call For Papers

Twelfth Haifa Verification Conference 2016
https://www.research.ibm.com/haifa/conferences/hvc2016

November 14 - 17, 2016
Tutorials: November 14, 2016
Haifa, Israel

Organized by IBM Research - Haifa

HVC Facebook page

*********************************************************

HVC 2016 is an annual conference dedicated to advancing the state-of the art and state-of-the-practice in verification and testing.
At the conference, researchers and practitioners from academia and industry network, share ideas, and ponder the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common goal of the conference topics and participants is to ensure the correct functionality and performance of complex systems. HVC is the only conference that brings together experts from all verification and testing sub-fields, thereby encouraging the migration of methods and ideas among domains.

HVC 2016 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software and hardware. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia.

The conference proceedings will be published in Springer’s Lecture Notes in Computer Science series (LNCS), and handed out in digital format to registered guests of the conference.

----------------------------------------------------------------

Important dates:

Paper submission deadline: July 14, 2016 - 11.59 pm GMT
Author acceptance notification: September 5, 2016
Final manuscripts due: September 16, 2016
Poster submission deadline: September 30 - 11.59 pm GMT
Conference: November 14 - 17, 2016
Tutorials: November 14, 2016

----------------------------------------------------------------

Topics of interest to the conference include, but are not limited to:

  • Simulation-based verification
  • Formal and semi-formal specification, modeling, and verification
  • Functional and non-functional software testing
  • Software and hardware equivalence checking
  • SAT/SMT-based verification algorithms
  • Static analysis
  • Model checking
  • High-level stimuli generation
  • Hardware/software co-verification
  • Triage and debug technologies
  • Post-silicon validation including emulation and acceleration
  • Coverage analysis and test minimization
  • Testing of mobile and cloud applications
  • Software artifacts review and inspection
  • Test planning
  • Empirical studies on hardware and software quality
  • Security verification
  • Machine learning techniques for verification
----------------------------------------------------------------

Submission:
Detailed instructions for electronic submission can be found in the HVC conference web site.  For additional information regarding paper submissions please contact the Program Chair Roderick Bloem.

----------------------------------------------------------------

Venue:
The lovely city of Haifa resides on a mountain overlooking the Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa is also the world center of the Baha’i faith, and the wondrous Baha’i gardens are a must-see attraction. The conference will be held at IBM Research - Haifa, situated at the top of the Carmel mountains.

----------------------------------------------------------------

Student grants:
We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers. Precedence in allocation of these travel grants will be to students who are also presenting a poster at the conference.

----------------------------------------------------------------

General Chair:
Eli Arbel (arbel-7z/5BgaJwgfQT0dZR+AlfA@public.gmane.org)

Program Chair:
Roderick Bloem (roderick.bloem <at> iaik.tugraz.at)

Local Organization:
Revivit Yankovich (revivity-7z/5BgaJwgfQT0dZR+AlfA@public.gmane.org)

Publicity Chair:
Tali Rabetti (talis <at> il.ibm.com)

Tutorial chair:
Natasha Sharygina (natasha.sharygina-BHDiRLqP7qo@public.gmane.org)
----------------------------------------------------------------

For more information, please refer to HVC2016 web page:
http://www.research.ibm.com/haifa/conferences/hvc2016
Follow us on Facebook








Attachment (HVC2016_flyer.pdf): application/octet-stream, 738 KiB
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Swan Dubois | 21 Jun 22:17 2016
Picon

DISC 2016 -- CALL FOR PARTICIPATION

[Apologies if you got multiple copies of this email]
[Do not hesitate to forward to your colleagues, students...]

=============================================================================

DISC 2016 -- CALL FOR PARTICIPATION

30th International Symposium on Distributed Computing
September 26-29, 2016, Paris, France
www.disc-conference.org/wp/disc2016

=============================================================================

Please remember to register soon for DISC 2016!

The early registration deadline is July 21st:

     http://www.disc-conference.org/wp/disc2016/registration/

=============================================================================

Keynote speakers and list of accepted papers will be announced soon.

Workshops on September 26th:

     Advances in Distributed Graph Algorithms (AGDA)
     Moving and Computing (MAC)

Workshop on September 30th:

     Dynamic Graph in Distributed Computing (DGDC)

=============================================================================

Swan DUBOIS
UPMC Sorbonne Universités
DISC 2016 Publicity Chair
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Sophie Pinchinat | 19 Jun 18:40 2016
Picon

FSTTCS 2016 cfp

CALL FOR PAPERS
===============

IARCS, the Indian Association for Research in Computing Science,
announces the 36th Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) conference at Chennai Mathematical Institute, 
Chennai, India.

December 13--15, 2016, Chennai, India
http://www.fsttcs.org/

The FSTTCS conference is a forum for presenting original results in
foundational aspects of Computer Science and Software Technology.

Scope
-----
Representative areas include, but are not limited to, the following.

* Algorithms & data structures  * Automata & formal languages
* Algorithmic graph theory      * Models of concurrent, distributed
   & combinatorics                 & mobile systems
* Approximation algorithms      * Cryptography & security
* Combinatorial optimization    * Game theory & mechanism design
* Communication complexity      * Logic in computer science
* Computational complexity      * Model theory & temporal logics
* Computational geometry        * Computational biology
* Computational learning theory * Models of timed, reactive, hybrid & 
stochastics systems
* Parallel, distributed         * Principles & semantics of
   & online algorithms             programming languages
* Parameterized complexity      * Program analysis & transformation
* Proof complexity              * Specification, verification
                                   & synthesis
* Quantum computing             * Theorem proving & model checking
* Randomness in computing       * Type systems, type theory & calculi

Submissions
-----------
Submissions will be in electronic form via EasyChair. Submissions must
not exceed 12 pages (including the title page, but excluding
bibliography).  The authors may include a clearly marked appendix
containing extra material, which will be read at the discretion of the
program committee. The submission must be formatted in the LIPIcs
style (see the conference website for more details). Simultaneous
submissions to journals or other conferences with published
proceedings are disallowed.

Submissions must be uploaded via
https://www.easychair.org/conferences/?conf=fsttcs2016

Accepted papers will be published as proceedings of the conference in
the Leibniz International Proceedings in Informatics (LIPIcs).

Important Dates
---------------
Paper submission:         July 15, 2016
Notification to authors:  September 15, 2016
Camera-ready version due: October 15, 2016
Conference:               December 13-15, 2016

Invited Speakers
----------------
Tevfik Bultan (UCSB)
Holger Hermanns (Saarland Univ.)
Mooly Sagiv (Tel Aviv Univ.)
Mikkel Thorup (Univ. Copenhagen)
(more to be added)

Program Committee Chairs
------------------------
Akash Lal (MSR India)
S. Akshay (IIT Bombay)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)

Program Committee
-----------------
Olaf Beyersdorff (University of Leeds)
Umang Bhaskar (TIFR)
Parinya Chalermsook (MPI)
Arkadev Chattopadhyay (TIFR)
Ajit Diwan (IIT Bombay)
Samir Datta (CMI)
Fabrizio Grandoni (IDSIA)
Daniel Lokshtanov (University of Bergen)
M. S. Ramanujan (TU Wien)
Chandan Saha (IISc Bangalore)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)
Mohit Singh (MSR, Redmond)
Chaitanya Swamy (University of Waterloo)
Kasturi R. Varadarajan (The University of Iowa)
Neal Young (University of California, Riverside)
S. Akshay (IIT Bombay)
Patricia Bouyer (LSV Cachan)
Krishnendu Chatterjee (IST Austria)
Pedro D'Argenio (Univ. Nac. Cordoba)
Alastair Donaldson (Imperial College, London)
Pranav Garg (Amazon India)
Aditya Kanade (IISc Bangalore)
Steve Kremer (LORIA, Nancy)
Shuvendu Lahiri (MSR)
Akash Lal (MSR India)
Slawomir Lasota (University of Warsaw)
Madhavan Mukund (CMI)
Sophie Pinchinat (University of Rennes 1)
M Praveen (CMI)
Ashish Tiwari (SRI)
James Worrell (University of Oxford)

Organizing Committee
------------------
Computer Science Group, CMI

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
M.R. Mousavi | 20 Jun 17:43 2016
Picon
Picon

CFP: 6th Workshop on Cyber Physical Systems (Deadline: July 10)

===========================================

The 6th International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)

Pittsburgh, USA

October 6, 2016

http://www.cyphy.org/

(Held in conjunction with ESWEEK 2016)

===========================================


Scope
=======

Cyber physical systems (CPSs) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'16 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing.

Topics of interest include, but are not limited to the following aspects of cyber-physical systems:

Foundations: models of computation, modeling and simulation languages for hybrid and cyber-­physical systems, including hybrid automata and hybrid process theory, as well as other integrations of control-­theoretic and discrete-­event models;

Methods: Specifications and evaluation of processes for rigorous modeling, testing, simulation, and verification of new cyber-­physical systems;

Case studies: Development of industrial or research ­oriented cyber­-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future generation networks; and

Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice.

Submission Types
================

Submissions types:

1) research papers (max. 15 pages);
2) positions papers (max. 4 pages, not published); and
3) industrial experience and tool demonstrations (max. 10 pages).


Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop.

Submissions of type 1 and 3 will be published after the workshop in a volume of Lecture Notes in Computer Science, by Springer.
If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review).


Important Dates
================

Submission deadline:  July 10, 2016

Notifications:  August 24, 2016

Camera Ready:  September 5, 2016

Workshop:  October 6, 2016


Submission Instructions
======================

Papers should be formatted according to the Springer LNCS style, not exceed the respective page limits (including figures and references), and be submitted in PDF format through the following submission website.

https://easychair.org/conferences/?conf=cyphy2016


Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version.

Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager.

Papers not adhering to the format or page limit may be rejected without a review.



Committees
============

Program Committee

Christian Berger, Chalmers and University of Gothenburg, Sweden (Co­Chair)
Manuela Bujorianu, University of Leicester, UK
Thao Dang, Verimag, France
Scott Hissam, Carnegie Mellon University, USA
Daisuke Ishii, Tokyo Institute of Technology, Japan
Mehdi Kargahi, University of Tehran, Iran
Zhiyun Lin, Zhejiang University, China
Mohammad Reza Mousavi, Halmstad University, Sweden (Co­Chair)
Enrico Pagello, University of Padua, Italy
Mihaly Petreczky, CNRS Lille, France
Michel Reniers, TU Eindhoven, Netherlands
Bernhard Rumpe, RWTH Aachen University, Germany
Maytham Safar, Kuwait University, Kuwait
Christoph Seidl, TU Braunschweig, Germany
Christoffer Sloth, Aalborg U., Denmark
Jonathan Sprinkle, University of Arizona, USA
Martin Steffen, University of Oslo, Norway
Frits Vaandrager, RU Nijmegen, Netherlands
Rafael Wisniewski, Aalborg U., Denmark (Co­Chair)

Advisory Committee

Manfred Broy, Technische Universität München, Germany.
Karl Iagnemma, MIT, USA.
Karl Henrik Johansson, Royal Institute of Technology, Sweden.
Insup Lee, University of Pennsylvania, USA.
Pieter Mosterman, McGill University, Canada
Janos Sztipanovits, Vanderbilt University, USA
Walid Taha, Halmstad  University & University of Houston (General Chair)
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Stéphane Demri | 21 Jun 21:55 2016
Picon

AiML'16: Call for Participation

11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML'16)
BUDAPEST, 30 AUGUST -- 2 SEPTEMBER 2016
http://phil.elte.hu/aiml2016/
http://phil.elte.hu/aiml2016/?page=registration

* EVENT
  AiML'16 will be hosted in Budapest, Hungary from August 30th to September 2nd, 2016

* INVITED TALKS
  Sonja Smets (ILLC, Universiteit van Amsterdam): "Beliefs and Evidence in Justification Models"
  Yde Venema (ILLC, Universiteit van Amsterdam): "Modal Automata: studying fixpoint logics one step at a time"
  Guram Bezhanishvili (New Mexico State University)" TBA

* ACCEPTED PAPERS
  http://phil.elte.hu/aiml2016/?page=accepted_papers

* AIML
  Advances in Modal Logic is an initiative aimed at presenting
  the state of the art in modal logic and its various applications. The
  initiative consists of a conference series together with volumes based 
  on the conferences. Information about the AiML series can be obtained 
  at http://www.aiml.net. AiML-2016 is the 11th conference in the series.

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
David Baelde | 24 Jun 21:41 2016
Picon

Final Call-for-Papers POPL 2017, Paris, France [papers due by July 6, register by July 1]


44th ACM SIGPLAN Symposium on Principles of Programming Languages
(POPL 2017)
January 18-20, 2017, Paris, France

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
programming systems. Both theoretical and experimental papers are
welcome, on topics ranging from formal frameworks to experience
reports.

The symposium is sponsored by ACM SIGPLAN, in cooperation with
ACM SIGACT and ACM SIGLOG.

Paper registration deadline: July 1, 2016
Paper submission deadline: July 6, 2016

NEW: full list of external review committee available online.

General chair:
Giuseppe Castagna -- CNRS & Université Paris Diderot

Program chair:
Andrew D. Gordon -- Microsoft Research and University of Edinburgh

Program committee:
Martin Abadi -- Google
Josh Berdine -- Facebook
Johannes Borgström -- Uppsala University
Avik Chaudhuri -- Facebook
Adam Chlipala -- MIT
Derek Dreyer -- MPI-SWS
Kathleen Fisher -- Tufts University
Marco Gaboardi -- University at Buffalo, SUNY
Ronald Garcia -- University of British Columbia
Cătălin Hriţcu -- Inria Paris
Bart Jacobs -- KU Leuven
Ranjit Jhala -- University of California, San Diego
Limin Jia -- Carnegie Mellon University
Zachary Kincaid -- Princeton University
Dexter Kozen -- Cornell University
Akash Lal -- Microsoft Research
Isabella Mastroeni -- University of Verona
Andrew Myers -- Cornell University
Michele Pagani -- Université Paris Diderot
Mooly Sagiv -- Tel Aviv University
Ilya Sergey -- University College London
Sharon Shoham -- Tel Aviv University
Rishabh Singh -- Microsoft Research
Sam Staton -- University of Oxford
Eijiro Sumii -- Tohoku University
David Van Horn -- University of Maryland
Nobuko Yoshida -- Imperial College London
Francesco Zappa Nardelli -- Inria Paris

See http://conf.researchr.org/track/POPL-2017/POPL-2017-papers
for full details, including the important dates and the submission
procedure.

David Baelde, publicity chair
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Christian Colombo | 21 Jun 13:36 2016
Picon

2nd CfP: ARVI COST Summer School on Runtime Verification 2016

Dear Colleagues,


We are excited to announce the first edition of the ARVI COST Summer School on Runtime Verification: Branches of Practical Topics Rooted in Theory. As the name suggests, the summer school promises to provide a balance of theory and practice: In the theoretical aspect, while all the core concepts will be thoroughly covered, participants will also be exposed to cutting edge advances in the field. At the same time, the summer school will be very hands-on and students will follow up with practical work in the evenings so that by the end of the summer school, participants will have their own basic runtime verification (RV) tool.  

The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid and organised over three days with a series of lectures from international experts in the field. For Ph.D. students and researchers entering the field of RV, the school will be a great opportunity to get to know other people working in the area, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. For people coming from industry, the school will provide an exposition of the major challenges as well as possible solutions to the application of RV in industry, an exposition to the major tools, as well as the basics of RV tool-building.


Topics:

The basics of runtime verification

Instrumentation techniques

Specification languages

Monitor parametrisation

Monitoring concurrency errors

Performance issues of monitors

Combination of static and dynamic analysis

Monitoring of distributed systems

Time-triggered monitoring


Confirmed Speakers:

> Prof. Wolfgang Ahrendt – Chalmers University of Technology and University of Gothenburg (Sweden)

> Prof. Ezio Bartocci – University of Vienna (Austria).

> Prof. Borzoo Bonakdarpour – University of MacMaster (Canada).

> Dr. Marius Bozga – CNRS – Vérimag (France).

> Dr. Christian Colombo – University of Malta (Malta).

> Dr. Yliès Falcone – University of Grenoble (France).

> Dr. Adrian Francalanza – University of Malta (Malta).

> Dr. Klaus Havelund – NASA Jet Propulsion Laboratory (USA).

> Prof. Martin Leucker – University of Lübeck (Germany).

> Prof. Joao Lourenço – Universidade Nova de Lisboa (Portugal).

> Prof. Dejan Nikovic Technical University of Vienna (Austria).

> Prof. Gordon Pace – University of Malta (Malta).

> Dr. Giles Reger – University of Manchester (UK).


Fees:

Registration fee is 195 euros for students and 245 euros for non-students. Registration includes lunches and coffee breaks from Friday 23rd through Sunday 25th September, as well as a reception.  


Grants:

ARVI COST action is supporting the Summer School in several ways including the granting of €550 to 20 participants who qualify.


Application Procedure and Important Dates:

Deadline for Applications: July 15, 2016.

Response to Applicants: July 20, 2016.

Online Registration and Fee payment: July 29, 2016.


Since attendance is limited, priority will be given to Ph.D. students and companies' staff.


To express your interest in participating in the Summer School, kindly fill in this form.

More details including the programme can be found at: https://rv2016.imag.fr.

Enquiries can be sent to Ylies.Falcone <at> imag.fr or Christian.Colombo-Mj5aoWcxWbpeoWH0uzbU5w@public.gmane.org.


Best Regards,

Ylies Falcone and Christian Colombo
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Mirco Tribastone | 24 Jun 17:35 2016
Picon

PhD Studentships in Computer Science at IMT Lucca

==================================================================
 Several Funded PhD Studentships in Computer Science at IMT Lucca 

   Deadline for applications – July 13th 2016, 6 pm Italian time
==================================================================

Applications are now being accepted for scholarships for the Computer Science and Systems Engineering
(CSSE) curriculum within the 2016/17 PhD program at the IMT School for Advanced Studies Lucca
(http://www.imtlucca.it), one of Italy’s schools of excellence.  

Research in computer science, carried out within the SysMA unit (http://sysma.imtlucca.it), deals with
the development of languages and techniques for the analysis and verification of modern concurrent and
distributed systems. Specific areas of expertise are concurrency theory, programming languages, and
software engineering, with applications in a wide range of domains such as adaptive systems,
cyber-physical systems, cloud computing, computational biology, fault-tolerant systems, security,
and transportation networks. 

All students are based in the recently restored San Francesco complex, a fully integrated Campus in the
historical center of the beautiful Tuscan city of Lucca. The Campus includes renewed residential
facilities, an on-site canteen, study and living rooms, a state-of-the-art library and outdoor
recreational spaces, which foster a unique cultural, professional and social environment for our
doctoral program. Eligible students, in addition to free room and board, will receive a research
scholarship which amounts to approximately €13,600/year. 

The PhD program at IMT attracts students from around the world, providing a truly international
environment. English is the official language of the School. Moreover, all students will have the
opportunity to spend periods abroad at research institutes, laboratories or universities, both within
the Erasmus+ framework and through ad hoc mobility agreements.

Most IMT School PhD Graduates have reached prominent roles in academia, governmental institutions,
public and private companies or professions across the globe.

Perspective students should preferably have a master-level background in computer science,
engineering, physics, mathematics, statistics, or in a related field. 

To find out more about IMT’s PhD in computer science please visit
http://sysma.imtlucca.it/phd-program/. For admission requirements and how to apply, see
www.imtlucca.it/phd and http://www.imtlucca.it/phd/prospective/.

For informal enquiries, please do not hesitate to contact:
- Rocco De Nicola (rocco.denicola <at> imtlucca.it)
- Mirco Tribastone (mirco.tribastone <at> imtlucca.it)

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Sam Staton | 21 Jun 21:38 2016
Picon
Picon

LICS 2016 Programme and Final Call for Participation

THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  5-8 July 2016, New York City, USA
  http://lics.rwth-aachen.de/lics16/
  https://regmaster4.com/2016conf/LICS16/register.php
* EVENT
  LICS 2016 will be hosted in New York City.
  Main conference: July 5-8 10, 2016.
  Workshops: July 9-10, 2016.
* PROGRAMME
  http://easychair.org/smart-program/LICS2016/index.html
* AFFILIATED WORKSHOPS
  Logic Mentoring Workshop
  LSB: 6th Workshop on Logic and Systems Biology
  NLCS: 4th Workshop on Natural Language and Computer Science.
  SR: 4th International Workshop on Strategic Reasoning.
  LOLA: Syntax and Semantics of Low-Level Languages.
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Marjan Sirjani | 24 Jun 16:23 2016
Picon

First Call for Papers: FSEN 2017

######################################################################
CALL FOR PAPERS

Seventh International Conference on
Fundamentals of Software Engineering 2017 -
Theory and Practice (FSEN '17)
http://fsen.ir/2017
Tehran, Iran
April 26-28, 2017
######################################################################

-- About FSEN --

FSEN is an international conference that aims to bring together 
researchers, engineers, developers, and practitioners from the academia 
and the industry to present and discuss their research work in the area 
of formal methods for software engineering. This conference seeks to 
facilitate the transfer of experience, adaptation of methods, and where 
possible, foster collaboration among different groups. The topics of 
interest cover all aspects of formal methods, especially those related 
to advancing the application of formal methods in the software industry 
and promoting their integration with practical engineering techniques. 
Following the success of the previous FSEN editions, the next edition of 
the FSEN conference will take place in Tehran, Iran, April 26-28, 2017.

-- Important Dates --

Abstract Submission: October 22, 2016
Paper Submission: October 29, 2016
Notification: December 17, 2016
Camera Ready: January 21, 2017
Conference: April 26-28, 2017

-- Keynote Speakers --

TBD

-- Topics of Interest --

The topics of this conference include, but are not restricted to, the 
following:

* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* Software architectures and their description languages
* Object and multi-agent systems
* Coordination and feature interaction
* Integration of formal and informal methods
* Integration of different formal methods
* Component-based and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications

-- Paper Submission --

Papers should be formatted according to the Springer LNCS style, not 
exceed 15 pages (including figures and references), submitted in PDF or 
postscript format through the EasyChair conference management system. 
Submissions should explicitly state their contribution and their 
relevance to the themes of the conference. Papers will be evaluated 
based on originality, significance, relevance, correctness and clarity. 
Papers should not be submitted simultaneously for publication elsewhere.
You can submit your papers/abstracts via the following link: 
https://www.easychair.org/conferences/?conf=fsen2017

-- Proceedings and Special Issues --

The post-proceedings of FSEN'17 will be published by Springer Verlag in 
the LNCS series (to be confirmed). There will be a pre-proceeding, 
printed locally by IPM, available at the conference. Following the 
tradition of FSEN, we plan to have a special issue of Science of 
Computer Programming journal devoted to FSEN'17 (to be confirmed). After 
the conference a selection of papers will be invited for this special 
issue. The invited papers should be extended and will undergo a new 
round of review by an international program committee. Please see the 
websites of previous editions of FSEN for more information on 
post-proceedings and special issues related to those editions.

-- General Chair --

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

-- Program Chairs --

Mehdi Dastani - Utrecht University, The Netherlands
Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, 
Iceland

-- Publicity Chair --

Hossein Hojjat - Cornell University, USA

-- Steering Committee --

Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Christel Baier - University of Dresden, Germany
Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, 
Iceland (Chair)
Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

-- Program Committee --

Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran
Erika Abraham, RWTH Aachen University, Germany
Christel Baier, Technical University of Dresden, Germany
Ezio Bartocci, TU Wien, Austria
Mario Bravetti, University of Bologna, Italy
Michael Butler, University of Southampton, UK
Erik De Vink, Technische Universiteit Eindhoven, Netherlands
Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands
Adrian Francalanza, University of Malta, Malta
Masahiro Fujita, University of Tokyo, Japan
Maurizio Gabbrielli, University of Bologna, Italy
Jan Friso Groote, Technical University of Eindhoven, Netherlands
Hassan Haghighi, Shahid Beheshti University, Iran
Philipp Haller, KTH Royal Institute of Technology, Sweden
Hossein Hojjat, Cornell University, USA
Mohammad Izadi, Sharif University of Technology, Iran
Joost-Pieter Katoen, RWTH Aachen University, Germany
Narges Khakpour, Linnaeus University, Sweden
Ramtin Khosravi, University of Tehran, Iran
Natallia Kokash, Leiden University, Netherlands
Eva Kühn, Vienna University of Technology, Austria
Zhiming Liu, Southwest University, USA
Mieke Massink, CNR-ISTI, Italy
Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran
Ugo Montanari, University of Pisa, Italy
Peter Mosses, Swansea University, UK
Mohammad Reza Mousavi, Halmstad University, Sweden
Ali Movaghar, Sharif University of Technology, Iran
Peter Olveczky, University of Oslo, Norway
Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France
Wishnu Prasetya, Universiteit Utrecht, Netherlands
Jose Proenca, University of Minho, Portugal
Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany
Philipp Ruemmer, Uppsala University, Sweden
Gwen Salaun, Grenoble INP, Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Ina Schaefer, Technische Universität Braunschweig, Germany
Wendelin Serwe, INRIA, France
Alexandra Silva, University College London, UK
Meng Sun, Peking University, China
Carolyn Talcott, SRI International, USA
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Radu Mateescu | 20 Jun 10:53 2016
Picon
Picon

PhD position at Inria Grenoble on formal methods for testing

The CONVECS (Inria Grenoble / LIG) and CTSYS (LCIS Valence) teams are
offering a fixed term (3 years) PhD position for research on formal
methods for the testing of networks of controllers.

See http://convecs.inria.fr/jobs/2016c.html for details.

Applications received after July 15 might not be considered.

Best regards
Radu

--

-- 
=================================================================
  Radu MATEESCU             | Inria and LIG / CONVECS
  tel: +33 (0)4 76 61 54 86 | Inovallee - 655, avenue de l'Europe
  fax: +33 (0)4 76 61 52 52 | Montbonnot
  Radu.Mateescu <at> inria.fr    | F-38334 Saint Ismier Cedex, FRANCE
  http://convecs.inria.fr/people/Radu.Mateescu
=================================================================
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

Gmane