P.H.Welch | 17 Aug 16:26 2015
Picon

CPA 2015 - final call / programme schedule


 ===================================================================
 |                                                                 |
 |        Communicating Process Architectures (CPA) 2015           |
 |                                                                 |
 |  The 37th. WoTUG Conference on Concurrent and Parallel Systems  |
 |                                                                 |
 |  Sunday (evening) 23rd. - Wednesday (lunch) 26th. August 2015   |
 |                                                                 |
 |                 http://www.wotug.org/cpa2015/                   |
 |                                                                 |
 |     Host institute: School of Computing, University of Kent     |
 |                                                                 |
 ===================================================================

This is the *final* Call for Participants for CPA 2015.

NEW in this call:

  * The programme schedule is now posted at:

      http://www.wotug.org/cpa2015/programme.shtml

    Abstracts for all presentations (keynotes, accepted papers,
    workshops and fringe talks) are on the above page.

  * Registration closes at midnight UK time (GMT + 01:00) on Tuesday
    night (18 August, 2015):

      http://www.wotug.org/cpa2015/registration.shtml
(Continue reading)

Tarmo Uustalu | 17 Aug 15:43 2015
Picon
Picon

ETAPS 2016 call for papers

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

                  CALL FOR PAPERS: ETAPS 2016

19th European Joint Conferences on Theory And Practice of Software

           Eindhoven, The Netherlands, 2-8 April 2016

                   http://www.etaps.org/2016

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

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
nineteenth event in the series.

-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
       (PC chair Peter Thiemann, Universität Freiburg, Germany)
   * FASE: Fundamental Approaches to Software Engineering
       (PC chairs Perdita Stevens, University of Edinburgh, UK,
        and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   * FOSSACS: Foundations of Software Science
       and Computation Structures
       (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, 
(Continue reading)

Luca Aceto | 19 Aug 12:17 2015
Picon

Second call for contributions: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland




                               NWPT 2015
               27th Nordic Workshop on Programming Theory

                           October 21-23, 2015
                           Reykjavik, Iceland
                      http://icetcs.ru.is/nwpt2015/

                         CALL FOR CONTRIBUTIONS

NOTE.
  • Submission of 2-3 page abstracts: 31 August 2015 at 23:00 GMT
  • Special issue in the Journal of Logical and Algebraic Methods in Programming


The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere).

The 27th edition of the Nordic Workshop on Programming Theory will be hosted
by the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) and the School of Computer Science at Reykjavik University.
The workshop will take place on the premises of Reykjavik University.

*** SUBMISSION INFORMATION:

Authors wishing to give a talk at the workshop are requested to submit
abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls,
available at http://www.easychair.org/publications/easychair.zip) through
EasyChair at the link https://easychair.org/conferences/?conf=nwpt2015.
Work in progress as well as abstracts of manuscripts submitted for formal
publication elsewhere are permitted.

*** PUBLICATION:

The abstracts of the accepted contributions will be available electronically
before the workshop. We have arranged a special issue of the Journal of
Logical and Algebraic Methods in Programming (JLAMP) devoted to the best
contributions to the workshop. The contributions will be selected by the PC.
They will be invited after the workshop and will undergo a rigorous,
journal-strength review process according to the standards of JLAMP.

*** IMPORTANT DATES:

- Submission of abstracts: 31 August 2015 at 23:00 GMT
- Notification: 13 September 2015
- Registration deadline: 2 October 2015
- Workshop: 21-23 October 2015

*** SCOPE:

Topics of interest include (but are not limited to)
- semantics of programming languages
- programming language design and programming methodology
- programming logics
- formal specification of programs
- program verification
- program construction
- tools for program verification and construction
- program transformation and refinement
- real-time and hybrid systems
- models of concurrency and distributed computing
- language-based security.

*** INVITED SPEAKERS:

- Rocco De Nicola (IMT Lucca, Italy)
- Marta Kwiatkowska (University of Oxford, UK)
- Jiri Srba (Aalborg University, Denmark)

*** PROGRAMME COMMITTEE:

- Luca Aceto, Reykjavík Univ., Iceland (co-chair)
- Lars Birkedal, Aarhus Univ., Denmark
- Johannes Borgström, Uppsala Univ., Sweden
- Einar Broch Johnsen, Univ. of Oslo, Norway
- Michael R. Hansen, DTU, Denmark
- Keijo Heljanko, Aalto Univ., Finland
- Fritz Henglein, Univ. of Copenhagen, Denmark
- Anna Ingolfsdottir, Reykjavík Univ., Iceland (co-chair)
- Yngve Lamo, Bergen Univ. Col., Norway
- Kim G. Larsen, Aalborg Univ., Denmark
- Alberto Lluch Lafuente, DTU, Denmark
- Mohammad Mousavi, Halmstad Univ., Sweden
- Bengt Nordström, Univ. of Gothenburg, Sweden
- Olaf Owe, Univ. of Oslo, Norway
- Paul Pettersson, Mälardalen Univ., Sweden
- Gerardo Schneider, University of Gothenburg, Sweden
- Walid Taha, Halmstad Univ., Sweden
- Tarmo Uustalu, Inst. of Cybernetics, Estonia
- Jüri Vain, Tallinn Univ. of Tech., Estonia
- Marina Waldén, Åbo Akademi Univ., Finland
- Uwe Wolter, Univ. of Bergen, Norway
- Wang Yi, Uppsala Univ., Sweden

*** ORGANIZING COMMITTEE:

- Luca Aceto
- Anna Ingolfsdottir
- Dario Della Monica
- Ignacio Fabregas
- Alvaro Garcia Perez
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Holger Hermanns | 21 Aug 10:40 2015
Picon

Invitation to AVACS Final Colloquium on September 29, 2015 in Oldenburg/Germany

Dear Sir or Madam,

We would like to invite you to the 12 years celebration of the 
Transregional Collaborative Research Center AVACS - Automatic 
Verification and Analysis of Complex Systems, see www.avacs.org - with a 
final colloquium held on September 29, 2015 at the University of 
Oldenburg, Germany.

Please see the program attached below.

This event is followed by the three days AVACS Autumn School - see 
http://www.avacs.org/autumn2015/.

Please register for participation by sending an e-mail to Mrs. Kathrin 
Kuper <kathrin.kuper <at> uni-oldenburg.de> by September 18, 2015.

Kind regards,
   Prof. Dr. Werner Damm
   Coordinator SFB/TRR 14 AVACS

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

*AVACS Final Colloquium*

*September 29, 2015 in Oldenburg*

The Transregional Collaborative Research Center AVACS - Automatic 
Verification and Analysis of Complex Systems, see www.avacs.org - 
celebrates 12 years of a highly stimulating research cooperation 
environment with a final colloquium on September 29, 2015 at the 
University of Oldenburg, Germany.

This event is followed by the three days AVACS Autumn School, see 
http://www.avacs.org/autumn2015/

*Program*

10:00 Welcome Address - Prof. Dr. Katharina Al-Shamery, Vice President 
Research and Transfer, Universität Oldenburg

10:15 AVACS: lessons learned - Prof. Dr. Werner Damm, AVACS coordinator

11:00 Invited academic Keynote - Prof. Dr. Kim G. Larsen, Aalborg University

12:00 Invited industrial Keynote - Prof. Dr. Heinrich Daembkes, Airbus

12:45 Lunch

13:45 AVACS Highlights – presented by
- Prof. Dr. Viorica Sofronie-Stokkermans, MPII
- Prof. Dr. Martin Fränzle, Universität Oldenburg
- Prof. Dr. Andreas Podelski, Universität Freiburg
- Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes

16:05 Coffee Break

16:30 AVACS alumni technical presentations by
- Dr. Andre Platzer, Carnegie Mellon University
- Dr. Andrey Rybalchenko, Microsoft Research
- Dr. Jens Oehlerking, Bosch
- Dr. Sven Schewe, University of Liverpool
- Dr. Lijun Zhang, Chinese Academy of Sciences

19:00 Concluding remarks  - AVACS site coordinators
- Prof. Dr. Bernd Becker, Universität Freiburg
- Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes
- Prof. Dr. Werner Damm, Universität Oldenburg

20:00 Dinner (Artcafé at the Horst-Janssen-Museum, Stadtmuseum 4-8, 
26121 Oldenburg)
- Dinner speech: Prof. Dr. Holger Hermanns, Universität des Saarlandes

The Colloquium will take place at the Hörsaalzentrum A14, Carl von 
Ossietzky University, Haarentor Campus, Uhlhornsweg, 26129 Oldenburg. 
Information about travel and accommodation, etc. you can find at: 
http://www.avacs.org/autumn2015/#travel

*Please register for participation (and whether or not you will attend 
the Dinner) by sending an e-mail to Mrs. Kathrin Kuper: 
<kathrin.kuper <at> uni-oldenburg.de> by September 18, 2015.*
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Ana Sokolova | 21 Aug 11:18 2015
Picon

Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria

——————————————————————————————————

CALL FOR WORKSHOP AND TUTORIAL PROPOSALS

Cyber-Physical Systems Week (CPS Week)

April 11-14, 2016, Vienna, Austria

http://www.cpsweek.org/2016/

——————————————————————————————————


CPS Week is the premier event on Cyber-Physical Systems. It brings 

together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 

10-15 workshops, a localization competition, tutorials and various 

exhibitions from both industry and academia. Altogether the CPS Week 

program covers a multitude of complementary aspects of CPS, and 

reunites the leading researchers in this dynamic field.


CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room 

availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for 

new and recurring workshops as well as for tutorials. 


CPS Week workshops are excellent opportunities to bring together researchers 

and practitioners from different  communities to share their experiences in an 

interactive atmosphere and to foster collaboration for new and innovative 

projects. We invite you to  submit workshop proposals on any topic related 

to the broad set of research, education, and application areas in 

cyber-physical systems.


Guidelines for workshop proposals:

——————————————————————————————————— 


Proposals should be submitted at the latest by *** October 1, 2015 ***


A workshop proposal consists of a 2-page maximum PDF file, 

including the following information:

      - A concise title of the workshop

      - Description of the topics and specific issues that the workshop will

         address, how the workshop complements CPSWeek conferences 

         and why the workshop theme is relevant

      - Expected format of the workshop (regular paper presentations, poster

         presentations, invited talks, panel discussions, demo sessions, or other

         ideas to promote active exchange of ideas)

      - Organizers with short bio, affiliation, and their expertise in the

         proposed topic(s)

      - In case the workshop has been previously held, provide information to

         show that the previous edition(s) were successful in terms of paper

         submissions and/or attendance. Links to past workshop editions

         would be very helpful too.

      - Length of the workshop (half-day/one-day) and the expected number of

         participants

      - Follow-up plans (if any) to disseminate the ideas from the workshop,

         for example through proceedings or journal special issue


Please submit your workshop proposal by email to the workshop and tutorial chairs

Christoph Kirsch (ck-XEKLf8KCelTON5eiue4EyLNldLUNz+W/@public.gmane.org) and Ana Sokolova 

(anas-5lcKJ7asICI@public.gmane.orgsalzburg.at). Please write “[CPSWeek 2016] Workshop Proposal" 

in the e-mail subject line.


Guidelines for tutorial proposals:

——————————————————————————————————— 


Proposals should be submitted at the latest by *** October 1, 2015 ***


A proposal consists of a 2-page maximum PDF file, including the following 

information on the tutorial program:


      - The title and abstract of the tutorial

      - An outline of tutorial content and objectives

      - Prerequisite knowledge

      - Organizers/Speakers with short bio, affiliation, and their expertise in the

         proposed topic(s)

      - In case the tutorial has been previously held, include information on the last

         tutorial of the same topic held within CPS Week or other conferences such 

         as the year it was held and the number of attendees. A link to past tutorial 

         would be very helpful too.

      - We envision tutorials to last for 3 hours.


Please submit your tutorial proposal by email to the workshop and tutorial chairs

Christoph Kirsch (ck-XEKLf8KCelTON5eiue4EyLNldLUNz+W/@public.gmane.org) and Ana Sokolova 

(anas-5lcKJ7asICI@public.gmane.orgsalzburg.at). Please write “[CPSWeek 2016] Tutorial Proposal" 

in the e-mail subject line.


———————————————————————————————————— 

Notification of acceptance  *** October 15, 2015 ***

———————————————————————————————————— 


_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Alexander Romanovsky | 17 Aug 11:28 2015
Picon
Picon

CfPart: Workshop on Software Engineering for Resilient Systems (SERENE 2015)

SERENE 2015 - Call for Participation

The 7th International Workshop on Software Engineering for Resilient Systems (http://serene.disim.univaq.it/2015) will be held in Paris, France, on the 7th-8th September 2015. This year the conference features an interesting program, with keynote talks on hot topics, industrial speakers from Thales, SAP, and Ansaldo STS, and an industrial panel.

The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weekly) new features, functionalities, or new versions of software artifacts according to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience – an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.

The SERENE 2015 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to: development of resilient systems; verification, validation and evaluation of resilience; and, case studies & applications.

LinkedIn group: https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp
Slideshare: www.slideshare.net/SERENEWorkshop

From this year SERENE is becoming part of EDCC, the European Dependable Computing Conference (http://edcc2015.lip6.fr).

------------------------
KEYNOTE SPEAKERS

Prof. John Fitzgerald - School of Computing Science, Newcastle University (http://www.ncl.ac.uk/computing/people/profile/john.fitzgerald)
Talk about: "Engineering Resilient Cyber-Physical Systems – From Tools to Toolchains"

Assist. Prof. Davide Scaramuzza - Robotics and Perception Group, University of Zurich (http://rpg.ifi.uzh.ch/people_scaramuzza.html)
Talk about: "Towards Robust and Safe Autonomous Drones"

------------------------
INDUSTRIAL SPEAKERS

Dr. Sebastien Keller – Thales, France
Title: How to increase STS trustworthiness

Andreas Roth – SAP
Title: Live Testing Cloud Business Applications

Fausto Del Villano – Ansaldo STS
Title: Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems

------------------------
DETAILED PROGRAM

September 7th, 2015
--------------------
8:30   On-site Registration
--------------------
9:00   Keynote

Prof. John Fitzgerald (School of Computing Science, Newcastle University) - "Engineering Resilient Cyber-Physical Systems – From Tools to Toolchains"
--------------------
10:00   Coffee break
--------------------
10:30   Session: "Design and verification of resilient software systems I"

Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli - "Biological Immunity and Software Resilience: two faces of the same coin?"

Andrea Höller - "Towards Dynamic Software Diversity for Dependable and Resilient Redundant Systems"

András Vörös, Tamás Tóth , Istvan Majzik  - "A decomposition method for the verification of a real-time safety-critical protocol"
--------------------
12:30   Lunch
--------------------
14:00 1/2 Industrial session

Dr. Sebastien Keller (Thales, France) - "How to increase STS trustworthiness"

Andreas Roth (SAP) - "Live Testing Cloud Business Applications"

Fausto Del Villano (Ansaldo STS) - "Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems"
--------------------
16:00 Coffee break
--------------------
17:00 Industrial panel
--------------------
18:00 End of sessions
--------------------
20:00 Social dinner
--------------------


September 8th, 2015
--------------------
9:00   Keynote

Prof. Davide Scaramuzza (Robotics and Perception Group, University of Zurich) - "Towards Robust and Safe Autonomous Drones"
--------------------
10:00 Coffee break
--------------------
10:30 Session: "Design and verification of resilient software systems II"

Stefan Klikovits, David P.Y. Lawrence, Didier Buchs - "Considering Execution Environment Resilience: A White-Box Approach"

Rem Gensh, Alexander Romanovsky, Alex Yakovlev - "Engineering Cross-Layer Fault Tolerance in Many-Core Systems"

Szilárd Bozóki, András Pataricza, Gábor Koronka - "Risk assessment based cloudification"
--------------------
12:30   Lunch
--------------------
14:00   Session: "Transportation applications"

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Silvano Chiaradonna, Franco Mazzanti - "Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating  System"

Harald Sporer, Andrea Höller - "Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain"
--------------------
15:00   Session: "Resilience in data and workflow management"

Guthemberg Silvestre - "Tejo: a supervised anomaly detection scheme for NewSQL databases"

John Mace, Charles Morisset, Aad van Moorsel - "Resiliency Variance in Workflows with Choice"
--------------------
16:00   Coffee break
--------------------
16:30   End of sessions - Closing remarks
--------------------

REGISTRATION AND ACCOMMODATION

The early registration fee is: € 250 for SERENE 2015 only; € 550 for EDCC 2015 + workshops, including SERENE 2015 (€ 400 for students). 

To register, please visit http://serene.disim.univaq.it/2015/registration-2.

To find suggestions on accommodation, please visit http://serene.disim.univaq.it/2015/venue/accomodation/
------------------------
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
alexander.perucci | 18 Aug 14:46 2015
Picon

FOCLASA 2015 - Call for Participation

[Apologies for multiple postings]

-- FOCLASA 2015 Call for Participation --

FOCLASA 2015: 14th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems

http://foclasa.lcc.uma.es/

5 September 2015, Madrid (Spain)
In conjunction with CONCUR 2015
==============================================================

FOCLASA 2015 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2015 -
http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop
is to put together researchers and practitioners to share and identify
common problems, and to devise general solutions in the context of
coordination languages and self-adaptive systems.

This year FOCLASA has a joint programme with the International Symposium on
Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015 -
http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php). The programme is
available below.

== WS-FM/BEAT programme on Friday ==

14:30 - 16:00 Session 1
14:30 - 14:45 Opening
14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural
Types. Cosimo Laneve (invited talk).

16:00 - 16:30 Break

16:30 - 18:45 Session 2
16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus.
Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hόttel, Mathias
Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl.
17:15 - 18:00 Type checking purpose-based access control policies in
the pi-calculus. Eleni Kokkinofta and Anna Philippou.
18:00 - 18:45 On honest interactions among untrusted services.
Massimo Bartoletti and Roberto Zunino.

== WS-FM/BEAT and FOCLASA joint programme on Saturday ==

08:50 - 10:30 Session 1
08:50 - 09:00 Opening
09:00 - 09:45 A Context-Oriented Extension of F#.
Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta.
09:45 - 10:30 Specifying Finite-State Actors.
Jonathan Schuster, Stephen Chang and Matthias Felleisen.

10:30 - 11:00 Break

11:00 - 13:00 Session 2
11:00 - 11:45 On the Automated Synthesis of Enterprise Integration
Patterns to Adapt Choreography-based Distributed Systems.
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli.
11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario
Bravetti (invited talk).

13:00 - 14:45 Lunch

14:45 - 16:00 Session 3
Title to be announced. Javier Esparza (invited talk)

16:00 - 16:30 Break

16:30 - 18:15 Session 4
16:30 - 17:15 A Constraint-based Approach for Generating
Transformation Patterns. Asma Cherif and Abdessamad Imine.
17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A.
Manaf, Sotiris Moschoyiannis and Paul Krause.
18:00 - 18:15 Closing

== PROGRAM COMMITTEE CHAIRS ==

* Jose Proenca
  iMinds-Distrinet, KU Leuven, Belgium and
  HASLab/INESC TEC, University of Minho, Portugal
  jose.proenca <at> cs.kuleuven.be

* Massimo Tivoli
  University of L'Aquila, L'Aquila, Italy
  massimo.tivoli <at> univaq.it

== PUBLICITY CHAIR ==

* Alexander Perucci, University of L'Aquila, Italy

== PROGRAM COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Marco Autili, Univ. of L'Aquila, Italy
* Luis Barbosa, Universidade do Minho, Portugal
* Steffen Becker, University of Paderborn, Germany
* Javier Camara, Carnegie Mellon University, USA
* Carlos Canal, University of Malαga, Spain
* Carlos Cuesta, Rey Juan Carlos University, Spain
* David Garlan, Carnegie Mellon University, USA
* Alfredo Goldmann, University of Sγo Paulo, Brazil
* Keijo Heljanko, Aalto University, Finland
* Jean-Marie Jacquet, University of Namur, Belgium
* Christian Krause, SAP Innovation Center, Germany
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Massimo Tivoli, University of L'Aquila, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malαga, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malαga, Spain
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Peter Csaba Ölveczky | 15 Aug 00:00 2015
Picon
Picon

2nd CfP: Formal Techniques for Safety-Critical Systems (FTSCS'15)

---------------------------------------------------------------------
                       Call for Papers

                          FTSCS 2015

4th International Workshop on Formal Techniques for Safety-Critical Systems

                   Paris, November 6, 2015
              (satellite workshop of ICFEM 2015)

                    http://www.ftscs.org

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

*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***
*** Paper submission deadline: September 5 ***

Aims and Scope:

There is an increasing demand for using formal methods to validate and
verify safety-critical systems in fields such as power generation and
distribution, avionics, automotive systems, and medical systems. In
particular, newer standards, such as DO-178C (avionics), ISO 26262
(automotive systems), IEC 62304 (medical devices), and CENELEC EN
50128 (railway systems), emphasize the need for formal methods and
model-based development, thereby speeding up the adaptation of such
methods in industry.

The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods
to improve the quality of safety-critical computer systems. FTSCS
strives to promote research and development of formal methods and
tools for industrial applications, and is particularly interested in
industrial applications of formal methods. 

Specific topics include, but are not limited to:

* case studies and experience reports on the use of formal methods for
analyzing safety-critical systems, including avionics, automotive,
medical, railway, and other kinds of safety-critical and QoS-critical systems
* methods, techniques and tools to support automated analysis,
certification, debugging, etc., of complex safety/QoS-critical systems
* analysis methods that address the limitations of formal methods in
industry (usability, scalability, etc.)
* formal analysis support for modeling languages used in industry,
such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.
* code generation from validated models.

The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.

Submission:

We solicit submissions reporting on:

A- original research contributions (15 pages max, LNCS format);
B- applications and experiences (15 pages max, LNCS format);
C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS);
D- tool papers (5 pages max, LNCS format);
E- position papers and work in progress (5 pages max, LNCS format)

related to the topics mentioned above.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at https://easychair.org/conferences/?conf=ftscs2015.
The final version of the paper must be prepared in LaTeX, adhering to
the LNCS format available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

Publication:

All accepted papers will appear in the pre-proceedings of FTSCS 2015.
Accepted papers in the categories A-D above will appear in the
workshop proceedings that will be published as a volume in
Springer's CCIS series. 

The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to appear in a special issue
of the Science of Computer Programming journal.

Important dates:

Submission deadline: September 5, 2015
Notification of acceptance: October 5, 2015
Workshop: November 6/7, 2015

Venue:

Paris, France  (city center!)

Program chairs:

Cyrille Artho        AIST, Japan
Peter Olveczky       University of Oslo, Norway

Program committee:

Musab AlTurki        King Fahd U. of Petroleum and Minerals, Saudi Arabia
Etienne Andre        University Paris 13, France
Toshiaki Aoki        JAIST, Japan
Cyrille Artho        AIST, Japan
Kyungmin Bae         Carnegie Mellon University, USA
David Broman         KTH, Sweden and UC Berkeley, USA
Bernd Fischer        Stellenbosch University, South Africa
Osman Hasan          National U. of Sciences & Technology, Pakistan
Klaus Havelund       NASA JPL, USA
Fuyuki Ishikawa      National Institute of Informatics, Japan
Takashi Kitamura     AIST, Japan
Alexander Knapp      Augsburg University, Germany
Brian Larson         Kansas State University, USA
Wenchao Li           SRI International, USA
Robi Malik           University of Waikato, New Zealand
Frederic Mallet      INRIA Sophia Antipolis, France
Roberto Nardone      University of Napoli "Federico II", Italy
Thomas Noll          RWTH Aachen University, Germany
Peter Olveczky       University of Oslo, Norway
Charles Pecheur      Universite catholique de Louvain, Belgium
Paul Pettersson      Malardalen University, Sweden
Camilo Rocha         Escuela Colombiana de Ingenieria, Colombia
Markus Roggenbach    Swansea University, UK
Ralf Sasse           ETH Zurich, Switzerland
Oleg Sokolsky        University of Pennsylvania, USA
Sofiene Tahar        Concordia University, Canada
Jean-Pierre Talpin   INRIA Rennes, France
Jackie Wang          McMaster University, Canada
Alan Wassyng         McMaster University, Canada
Michael Whalen       University of Minnesota, USA
Huibiao Zhu          East China Normal University, China

_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Antonio Ravara | 14 Aug 20:27 2015
Picon

WS-FM/BEAT and FOCLASA join Call for Participation

WS-FM/BEAT and FOCLASA join Call for Participation

September 4-5, Madrid Meet (http://mafalda.fdi.ucm.es/madrid2015/)

Detailed info at:
WS-FM/BEAT (http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php)
FOCLASA (http://foclasa.lcc.uma.es/)

*** WS-FM/BEAT programme on Friday ***

15:00 - 16:30 Session 1
15:00 - 15:15 Opening
15:15 - 16:30 Static Analysis of Unbounded Networks with Behavioural
Types. Cosimo Laneve (invited talk).

16:30 - 17:00 Break

17:00 - 19:15 Session 2
17:00 - 17:45 Type Inference for Session Types in the Pi-Calculus.
Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias
Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl.
17:45 - 18:30 Type checking purpose-based access control policies in
the pi-calculus. Eleni Kokkinofta and Anna Philippou.
18:30 - 19:15 On honest interactions among untrusted services.
Massimo Bartoletti and Roberto Zunino.

*** WS-FM/BEAT and FOCLASA join programme on Saturday ***

08:50 - 10:30 Session 1
08:50 - 09:00 Opening
09:00 - 09:45 A Context-Oriented Extension of F#.
Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta.
09:45 - 10:30 Specifying Finite-State Actors.
Jonathan Schuster, Stephen Chang and Matthias Felleisen.

10:30 - 11:00 Break

11:00 - 13:00 Session 2
11:00 - 11:45 On the Automated Synthesis of Enterprise Integration
Patterns to Adapt Choreography-based Distributed Systems.
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli.
11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario
Bravetti (invited talk).

13:00 - 14:45 Lunch

14:45 - 16:00 Session 3
Title to be announced. Javier Esparza (invited talk)

16:00 - 16:30 Break

16:30 - 18:15 Session 4
16:30 - 17:15 A Constraint-based Approach for Generating
Transformation Patterns. Asma Cherif and Abdessamad Imine.
17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A.
Manaf, Sotiris Moschoyiannis and Paul Krause.
18:00 - 18:15 Closing

------------------------------------------------
- Massimo Tivoli, Ph.D.
Associate Professor
Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM),
Università di L'Aquila,
email: massimo.tivoli <at> univaq.it,
url: http://www.di.univaq.it/tivoli

On Fri, Aug 7, 2015 at 11:37 PM, Antonio Ravara <aravara <at> fct.unl.pt> wrote:
> Dear David,
>
> Sorry for taking so long... Finally, we have a first version of the program.
> We may include one more talk on Saturday afternoon, finishing thus 45m
> later.
>
> Warm regards,
> António (also on behalf of Jan Martijn, José, and Massimo)
>
> PS: just noticed that the only CONCUR session on types is schedule in
> parallel with the first session of WS-FM/BEAT (being behavioural types one
> of the main topics...). Is it still possible to avoid this unfortunate
> overlap?
>
>
> *** WS-FM/BEAT programme on Friday ***
>
> 14:30 - 16:00 Session 1
> 14:30 - 14:45 Opening
> 14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural Types.
> Cosimo Laneve (invited talk).
>
> 16:00 - 16:30 Break
>
> 16:30 - 18:45 Session 2
> 16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus.
> Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup
> Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl.
> 17:15 - 18:00 Type checking purpose-based access control policies in the
> pi-calculus. Eleni Kokkinofta and Anna Philippou.
> 18:00 - 18:45 On honest interactions among untrusted services.
> Massimo Bartoletti and Roberto Zunino.
>
>
> *** WS-FM/BEAT and FOCLASA join programme on Saturday ***
>
> 08:50 - 10:30 Session 1
> 08:50 - 09:00 Opening
> 09:00 - 09:45 A Context-Oriented Extension of F#.
> Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta.
> 09:45 - 10:30 Specifying Finite-State Actors.
> Jonathan Schuster, Stephen Chang and Matthias Felleisen.
>
> 10:30 - 11:00 Break
>
> 11:00 - 13:00 Session 2
> 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns
> to Adapt Choreography-based Distributed Systems.
> Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli.
> 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti
> (invited talk).
>
> 13:00 - 14:45 Lunch
>
> 14:45 - 16:00 Session 3
> Title to be announced. Javier Esparza (invited talk)
>
> 16:00 - 16:30 Break
>
> 16:30 - 17:30 Session 4
> 16:30 - 17:15 A Constraint-based Approach for Generating Transformation
> Patterns. Asma Cherif and Abdessamad Imine.
> 17:15 - 17:30 Closing
>

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Toby Murray | 5 Aug 06:05 2015

SSV 2015 - Call for Papers

========================================================================
SSV 2015 Call for Papers

http://www.ssv-conference.org/

9th Conference on Systems Software Verification

Gold Coast, Australia, December 7-8, 2015
co-located with ICECCS.

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

Important Dates

Abstract Submission: September 21, 2015 at
https://www.easychair.org/conferences/?conf=ssv2015
Paper Submission: September 28, 2015 at
https://www.easychair.org/conferences/?conf=ssv2015
Notification: October 30, 2015
Conference: December 7–8, 2015

Topics

Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques, as well
as correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions that are invalidated by complex embedded systems software
such as operating system kernels, low-level device drivers, or
microcontroller code.

The aim of this conference is to bring together researchers and
developers from both academia and industry who are facing real
software and real problems with the goal of finding real, applicable
solutions. By “real” we mean problems such as time-to-market or
reliability that the industry is facing. A real solution is one that
is applicable to the problem in industry and not one that only applies
to an abstract, academic, toy version of it. In this event we will
discuss software analysis and development techniques and tools; this
forum will serve as a platform to discuss open problems and future
challenges in dealing with existing and upcoming systems-level code.

Topics include, but are not restricted to:

* Model checking
* Automated and interactive theorem proving
* Static analysis and type systems
* Automated testing
* Model-driven development
* Concurrency
* Security
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports

Submissions

Submissions must be made electronically through the EasyChair system
until September 28th, 2015. Papers should be up to 10 pages in pdf
format and formatted in EPTCS style [http://info.eptcs.org].
Additional details may be included in a clearly marked appendix, which
will be read at the discretion of the program committee. All will be
subject to peer review under normal conference standards. Experience
reports and papers on work in progress are welcome as long as there is
a clear contribution. Submissions which are based or discuss a
non-trivial piece of software are required to make all those
non-standard software parts available, which a referee may need, in
order to check the claims of the submission.

Submitted papers must not have previously appeared in a journal or
conference with published proceedings and must not be concurrently
submitted to any other peer-reviewed workshop, symposium, conference
or archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.

Proceedings

Proceedings will be published as an issue in Electronic Proceedings in
Theoretical Computer Science.

Program Committee

Jade Alglave, University College London
Ezio Bartocci, TU Wien
Andrew Butterfield, Lero, Trinity College Dublin
Franck Cassez, Macquarie University
Ana Cavalcanti, University of York
Mads Dam, KTH Royal Institute of Technology
Alastair Donaldson, Imperial College London
Stefania Gnesi, ISTI
Chris Hawblitzel, Microsoft Research
Jérome Hugues, ISAE
Limin Jia, CMU
Tiziana Margaria, Lero, University of Limerick
Toby Murray, NICTA and UNSW (Co-Chair)
John Regehr, University of Utah
David Sanán, NTU (Co-Chair)
Konrad Slind, Rockwell Collins
Jun Sun, SUTD
Alwen Tiu, NTU
Mark van den Brand, Eindhoven University of Technology

Steering Committee

Ralf Huuck, NICTA and UNSW
Gerwin Klein, NICTA and UNSW
Bastian Schlich, ABB Corporate Research
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
David Safranek | 7 Aug 19:14 2015
Picon

Hybrid Systems Biology 2015: 2nd Call for Posters and Tool Demos

-- 2nd Call for Participation and Posters/Demos --

HSB 2015: The 4th International Workshop on Hybrid Systems Biology

http://hsb2015.fi.muni.cz

4-5 September 2015, Madrid (Spain)
In conjunction with Madrid Meet 2015

Proceedings in Springer's LNCS

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

The 4th International Workshop on 'Hybrid Systems Biology' will be
held on September 4th and 5th in Madrid (ES), and co-located with the
Madrid Meet 2015 (http://mafalda.fdi.ucm.es/madrid2015/), which hosts
also CONCUR 2015, QEST 2015, FORMATS 2015, among other
events. Previous editions have been held in Newcastle upon Tyne (UK),
Taormina (IT), and Vienna (AT, at VSL 2014). 

== IMPORTANT DATES ==

Posters/Demos Submission:	August 15, 2015
Paper Submission:		June 15, 2015 (closed) 
Paper Notification:		July 15, 2015 
Paper Final Submission:		September 5, 2015

== TOPICS OF INTEREST ==

The scope of the HSB workshop covers the general area of dynamical
models in Biology with an emphasis on hybrid approaches — by no means
restricted to a narrow class of mathematical models — and taking
advantage of techniques developed separately in different areas. 

Topics of interest include, but are not limited to:

* Models of metabolic, signalling, and genetic regulatory networks in
  living cells
* Models of tissues, organs; physiological models
* Biological applications of quantitative and formal analysis
  techniques, such as reachability computation, model checking,
  abstract interpretation, bifurcation theory, stability and
  sensitivity analysis
* Parametric and non-parametric system identification techniques
  (learning models from experimental data)
* Efficient techniques for combined and heterogeneous
  (stochastic/deterministic, spatial/non-spatial) simulations for
  biological models
* Modelling languages for biological systems, with related analysis
  and simulation tools 
* Models coping with incomplete and uncertain information 
* Stochastic hybrid models in biology
* Hierarchical systems for multi-scale, multi-domain analysis
* Abstraction, approximation, discretisation, and model reduction
  techniques
* Game-theoretical frameworks in biology (e.g., populations dynamics) 
* Control architectures of biological systems 
* Modelling and synthesis for synthetic biology

== CALL FOR POSTERS AND DEMOS ==

Full paper submission has been closed. Now we solicit poster/demo presentations. 
Please submit a poster or tool demo abstract not exceeding 1 page A4 into the EasyChair 
online submission system at https://easychair.org/conferences/?conf=hsb2015 
until August 15th. Abstracts serve the sole purpose of selecting contributions 
for the poster/demo session and will not be published in the conference proceedings. 

== REGISTRATION ==

Registration is now opened and can be done via the Madrid Meet webpage at 
http://mafalda.fdi.ucm.es/madrid2015/registration.htm. 

Early registration deadline: July 24, 2015

== PLENARY SPEAKERS ==

* Luca Cardelli, Microsoft Research
* Mustafa Khammash, ETH Zurich

== PROGRAM COMMITTEE CHAIRS ==

* Alessandro Abate, University of Oxford, Oxford, UK
* David Safranek, Masaryk University, Brno, Czech Republic

== PROGRAM COMMITTEE ==

* Alessandro Abate, University of Oxford, UK - (co-chair)
* Ezio Bartocci, Vienna University of Technology, Austria
* Gregory Batt, INRIA Rocquencourt, France
* Sergiy Bogomolov, IST Austria
* Luca Bortolussi, Univerity of Trieste, Italy
* Kevin Burrage, University of Oxford, UK
* Luca Cardelli, Microsoft Research, Cambridge, UK
* Pieter Collins, Maastricht University, The Netherlands
* Milan Ceska, Masaryk University, Czech Republic
* Neil Dalchau, Microsoft Research, Cambridge, UK
* Thao Dang, VERIMAG/CNRS, Grenoble, France
* Hidde de Jong, INRIA Grenoble - Rhône-Alpes, France
* Alexandre Donze', UC Berkley, USA
* Francois Fages, INRIA Rocquencourt, France
* Eric Fanchon, TIMC-IMAG Laboratory, Grenoble, France
* Giancarlo Ferrari-Trecate, University of Pavia, Italy
* Elisa Franco, University of California at Riverside / Caltech, USA
* Sicun Gao, MIT CSAIL, USA
* Radu Grosu, Vienna University of Technology, Austria
* Adam Halasz, West Virginia University, USA
* Joao Hespanha, University of California, USA
* Jane Hillston, University of Edinburgh, UK
* Agung Julius, Rensselaer Polytechnic Institute, USA
* Heinz Koeppl, TU Darmstadt, Germany
* Hillel Kugler, Microsoft Research, Cambridge, UK
* Marta Kwiatkowska, Oxford University, UK
* Pietro Lio', University of Cambridge, UK
* Oded Maler, VERIMAG/CNRS, Grenoble, France
* Andrzej Mizera, University of Luxembourg
* Stefan Mueller, RICAM ÖAW, Austria
* Chris Myers, University of Utah, USA
* Nicola Paoletti, University of Oxford, UK
* Ion Petre, Ã…bo Akademi University, Finland
* Tatjana Petrov, IST Austria
* Carla Piazza, University of Udine, Italy
* Nir Piterman, University of Leicester, UK
* Alberto Policriti, University of Udine, Italy
* Guido Sanguinetti, University of Edinburgh, UK
* Abhyudai Singh, University of Delaware, USA
* Katerina Stankova, Maastricht University, The Netherlands
* David Safranek, Masaryk University, Czech Republic - (co-chair)
* P.S. Thiagarajan, National University of Singapore, Singapore
* Jana Tumova, Royal Institute of Technology, Sweden
* S.A. Wahl, Delft University of Technology, The Netherlands
* Verena Wolf, Saarland University, Germany
* Boyan Yordanov, Microsoft Research, Cambridge, UK
* Paolo Zuliani, Newcastle University, UK

== STEERING COMMITTEE ==

* Ezio Bartocci, Vienna University of Technology, Austria
* Luca Bortolussi, Univerity of Trieste, Italy
* Thao Dang, VERIMAG/CNRS, Grenoble, France
* Adam Halasz, West Virginia University, USA
* Oded Maler, VERIMAG/CNRS, Grenoble, France
* Carla Piazza, University of Udine, Italy
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency


Gmane