GRLMC | 21 Mar 22:01 2015

InfoSec 2015: registration deadline 3 April

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

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

INTERNATIONAL SUMMER SCHOOL ON INFORMATION SECURITY

InfoSec 2015

Bilbao, Spain

July 6-10, 2015

Organized by
Deusto University
Rovira i Virgili University

http://grammars.grlmc.com/InfoSec2015/

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

--- 4th registration deadline: April 3, 2015 ---

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

AIM:

InfoSec 2015 will be a major research training event addressed to graduates
and postgraduates in the first steps of their academic career. With a global
scope, it aims at updating them about the most recent advances in the
(Continue reading)

Antonio Ravara | 24 Mar 09:34 2015
Picon

WS-FM/BEAT 2015 1st Call for Papers

WS-FM (http://wsfm2014.haifa.ac.il/) and BEAT 
(http://beat2014.behavioural-types.eu/) combine forces this year.

Highlights:
- Event of the MADRID MEET 2015 (http://mafalda.fdi.ucm.es/madrid2015/), 
a scientific week on formal and quantitative analysis of systems, 
performance engineering, computer safety, and industrial critical 
applications.
- Submission deadline just after CONCUR's notification 
(http://mafalda.fdi.ucm.es/concur2015/).
- Double submissions with the workshop FOCLASA 
(http://foclasa.lcc.uma.es/) encouraged.
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

alexander.perucci | 23 Mar 14:14 2015
Picon

FOCLASA 2015 - 2nd Call For Papers

[Apologies for multiple postings]

-- First Call for Papers --

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.

== IMPORTANT DATES ==

17 June 2015: Deadline for abstract submission
19 June 2015: Deadline for paper submission
20 July 2015: Notifications
3 August 2015: Final versions
5 September 2015: Workshop in Madrid

== TOPICS OF INTEREST ==

(Continue reading)

FORMATS Conference | 23 Mar 21:28 2015
Picon

FORMATS 2015 - Second Call for Papers

[ Apologies for cross posting ]

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

                           FORMATS 2015
                  13th International Conference on
            Formal Modeling and Analysis of Timed Systems

                      Madrid, September 2-4
                   http://formats2015.unifi.it

         Deadlines: April 20 (Abstract), April 27 (Paper)
         Proceedings: Lecture Notes on Computer Science (Springer)
         Special issue on the Journal of Real Time Systems

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

Objective
---------

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 focusses on propagation and switching delays, while
designers of embedded controllers have to take account of the time
taken by controllers to compute their responses after sampling the
environment.

Timing-related questions in these separate disciplines do have their
(Continue reading)

Thomas Buchmann | 16 Mar 13:10 2015
Picon
Picon

ICGT 2015: Final Call for Papers

================================================================
8th International Conference on Graph Transformation (ICGT 2015)
L’Aquila, Italy
21 – 23 July, 2015

More information: http://btn1x4.inf.uni-bayreuth.de/icgt2015
================================================================

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

Dynamic structures are a major cause for complexity when it comes to 
model and reason about systems. They  occur  in  software 
architectures,  configurations  of  artefacts  such  as  code  or 
models,  pointer structures,  databases,  networks,  etc.  As 
interrelated  elements  which  may  be  added, removed, or change state, 
they form a fundamental modelling paradigm as well as a means to 
formalise and analyse systems. Applications include architectural 
reconfigurations, model transformations, refactorings, and evolution of 
a wide range of artefacts, where change can happen either at design or 
at run time. Dynamic structures occur also as part of semantic domains 
or computational model for formal modelling languages.

Based on the observation that all these can be represented as graphs and 
their changes modeled as graph transformations, theory and applications 
of graphs, graph grammars and graph transformation systems have been 
studied in our community for more than 40 years. The conference aims at 
fostering interaction within this community as well as attracting 
researchers from other areas to join us, either in contributing to the 
theory of graph transformation or by applying graph transformations to 
(Continue reading)

Anca Muscholl | 15 Mar 20:57 2015
Picon

Postdoctoral position Munich/Bordeaux

The TUM Institute for Advanced Studies (IAS) is funding a post-doctoral
researcher position in the Group "Foundations of Software Reliability
and Theoretical Computer Science" led by Javier Esparza. The postdoc
will join the newly created Focus Group on Automated Controller
Synthesis of the IAS, whose members are Samarjit Chakraborty (TUM),
Javier Esparza (TUM), Anca Muscholl (Bordeaux U.) and Majid Zamani
(TUM).

The position is available from October 1st, 2015, for two years. The
first year will be spent at the TUM and the second year at the
University of Bordeaux (LaBRI) in the Formal Methods group.

Candidates are expected to have a PhD in computer science or closely
related fields. Skills in theory, automata, logic, games and
distributed systems, are particularly valuable.

The project involves research on distributed monitoring and on joint
design and verification of distributed controllers and their
implementation infrastructure, including both software and the
computation/communication architecture used for running the software. 

For informal inquiries, please send an email to Javier Esparza or Anca
Muscholl. Applications should be sent to Javier Esparza and Anca
Muscholl before May 30th.

-----
Anca Muscholl
LaBRI, Universite Bordeaux
351 crs de la Liberation
F-33405 Talence Cedex
(Continue reading)

Barbara Koenig | 17 Mar 14:05 2015
Picon

PhD/PostDoc Position at the University of Duisburg-Essen (Germany)


The Theoretical Computer Science Group (Prof. Barbara Koenig) at the
University of Duisburg-Essen (Germany) has one open PhD position 
paid according to TV-L 13 (full-time). Candidates at post-doc level
can also be considered (and will start with a higher salary level
within TV-L 13).

For more information have a look at our web pages: 

  http://www.ti.inf.uni-due.de/

Our current main research areas are:
* Verification of graph transformation systems
* Behavioural equivalences and behavioural metrics

Requirements
------------

You should have or should be in the process of obtaining a MSc or
equivalent degree. We prefer applicants with prior experience in some
of the following topics: graph transformation systems, Petri nets,
verification, concurrency theory, behavioural equivalences, coalgebra,
logic and/or process mining.  Good English speaking and writing skills
are demanded, as well as the willingness to learn German.

Applicants for the post-doc position should have or should be in the
process of obtaining a PhD. They should be working on at least one of
the topics mentioned above.

Your Application
(Continue reading)

m.huisman | 16 Mar 21:35 2015
Picon
Picon

PhD position: Verification of Distributed Software at University of Twente

Please forward this message to any interested students.

PhD position: Verification of Distributed Software

University of Twente, Netherlands
Deadline for application: March 30, 2015

Job specification

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente.

Aim of the VerDi project is to develop automated program-logic based techniques for (message-based) distributed software.

Developing techniques to ensure the correctness of such programs is of utmost importance, because they are widely used for many different applications, including safety-critical ones. Typical examples are air traffic control systems and communication networks for emergency services. At the same time, this is also a considerable challenge, because in distributed programs the exchanged messages can arrive in arbitrary order or even get lost, so that a single program can show many different behaviours.

Current research on the verification of distributed programs focuses mostly on message exchange between the different sites, modelled at an abstract level, without considering implementation details. The VerDi project will bridge the gap between the abstract and the implementation level, and enable reasoning about the actual distributed software.

The VerDi project builds on ongoing work in the VerCors project, where a specific program logic, called separation logic, is used to verify concurrent software i.e., programs that run on a single computer.

The PhD candidate we are looking for is expected to develop a variant of separation logic that is also suitable to verify distributed programs running on multiple computers. In particular, the logic should be usable to explore distributed implementations of data structures. To specify the behaviour of data structures, it is essential that the logic is really on the level of the program code. We expect that recent techniques on using history-based reasoning to capture functional properties of concurrent programs also can be applied in a distributed setting. All techniques will should be validated on realistic and relevant examples.


Your profile

We are looking for an enthusiastic PhD student with an MSc degree in Computer Science (or an equivalent qualification). The candidate should have a thorough theoretical background, a demonstrable interest in program semantics and verification, and some knowledge about multithreaded and distributed programming (in Java/C/C++).

We are looking for a researcher with an independent mind who is willing to cooperate in our team. It is understood that he or she works on the topics listed above and contributes to the expected deliverables for the project. Further we ask for good communicative and good collaboration skills. Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications, (prototype) tools and a PhD thesis.

Starting date of the position: June 1st, 2015, or as soon as possible thereafter.

To apply for the position you should follow the link at the bottom of this vacancy description. Your application should consist of:

  • a cover letter (maximum 1 page A4), emphasizing your specific interest, qualifications and motivations to apply for this position;
  • a full Curriculum Vitae, including a list of all courses attended and grades obtained;
  • a short description (maximum 1 page A4) of your MSc research;
  • contact details of at least two referees who worked closely with you;

Applications should be submitted before Monday March 30, 2015.


Our offer

We offer you an interesting research position in a stimulating scientific environment.

You will be appointed for a period of four years. The salary starts at € 2.125,00 gross per month and grows to € 2.717,00 gross per month in the fourth year.

Additionally, the University of Twente provides a holiday allowance (amounts to 8%), an end-of-year bonus (amounts to 8.3%) and a number of additional benefits.

You will be a member of the Twente Graduate School in the research programme 'Dependable and Secure Computing' under the leadership of Prof.dr Jaco van de Pol. The research programme offers advanced courses to deepen your scientific knowledge in preparation to your future career (within or outside academia). We provide our PhD students with excellent opportunities to broaden their personal knowledge and to professionalise their academic skills. Participation in national and/or international summer schools and workshops, and visits to other prestigious research institutes and universities can be part of this programme.

Further information:


The Organisation

The University of Twente. We stand for life sciences and technology. High tech and human touch. Education and research that matter. New technology which drives change, innovation and progress in society. The University of Twente is the only campus university in the Netherlands; divided over six faculties we provide more than fifty educational programmes. The University of Twente has a strong focus on personal development and talented researchers are given scope for carrying out pioneering research. 

The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) comprises three disciplines that shape Information and Communication Technology. ICT is more than communication. In almost every product we use mathematics, electronics and computer technology and ICT now contributes to all of societies' activities. The faculty works together intensively with industrial partners and researchers in the Netherlands and abroad and conducts extensive research for external commissioning parties and funders. The research which enjoys a high profile both at home and internationally, has been accommodated in the multidisciplinary research institutes MESA+, CTIT and MIRA.

_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Arend Rensink | 11 Mar 22:03 2015
Picon
Picon

Graphs as Models, 11-12 April 2015: Call for Tool Demos

============================================================================
                            Call for Tool Demos
                        GRAPHS AS MODELS (GaM 2015)
                       First International Workshop
                          http://utwente.nl/gam2015/
          Satellite Event of ETAPS 2015, London -- 11-12 April 2015
============================================================================

=== Description ===

     Graphs are used as models in all areas of computer science. A key 
aspect in
the adoption of graphs as models is the existence of proper tooling to 
support
their manipulation in practice. The new Graphs as Models (GaM) workshop
combines the strengths of two pre-existing workshop series: GT-VMT (Graph
Transformation and Visual Modelling Techniques) and GRAPHITE (Graph 
Inspection
and Traversal Engineering), but also solicits research from other areas.

=== Submissions ===

The workshop now seeks submissions of tool demos proposals. These proposals
will not be filtered by reviews, unless selection turns out to be needed. We
will try to accommodate as many demos as possible in the Tool Demos session
planned for Saturday (11/April).

If you have a tool that is based on or makes use of graphs, we want to hear
from you! This is great opportunity to advertise your tool to a large,
engaged audience of graph practitioners.

The proposals should be submitted through EasyChair at:

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

When submitting, please select the category 'Tool demo'. You will be 
asked to
supply the tool title and a brief summary of what you plan to show in 
your demo.

=== Important Dates ===

   - Deadline for tool demos submission: 31 March 2015
   - Workshop: 11-12 April 2015

=== Workshop Format ===

GaM is a one and a half-day workshop programmed as a mixture of:

   - Submitted paper presentations.
   - Fully interactive sessions, such as:
     . Community challenges:
         In-depth discussions about unresolved, graph-related problems.
     . Discussion groups:
         Brainstorm discussions on a chosen  topic concerning the use of 
graphs
         as models.
     . Tool Demos:
         Presentation of tool demos to convince the audience that they 
really
         need the functionality a graph-based tool offers.

For the tentative workshop schedule, see
   - Day 1 - Saturday, 11 April:
     http://www.etaps.org/index.php/2015/workshops/programme#GaM1
   - Day 2 - Sunday, 12 April:
     http://www.etaps.org/index.php/2015/workshops/programme#GaM2

=== Chairs ===

   - Arend Rensink, University of Twente, The Netherlands
     [arend.rensink <at> utwente.nl]

   - Eduardo Zambon, IFES/UFES, Brazil
     [zambon <at> inf.ufes.br]

=== Program Committee ===

   - Vicente Acuña  (University of Chile, Chile)
   - Dragan Bošnački  (TU Eindhoven, Netherlands)
   - Mohammad Dashti  (ETH Zurich, Switzerland)
   - Stefan Edelkamp  (University of Bremen, Germany)
   - Gregor Engels  (University of Paderborn, Germany)

   - Holger Giese  (Hasso Plattner Institute, Germany)
   - Henri Hansen  (Tampere University of Technology, Finland)
   - Reiko Heckel  (University of Leicester, England)
   - Keijo Heljanko  (Aalto University, Finland)
   - Frank Hermann  (University of Luxembourg, Luxembourg)

   - Barbara König  (University of Duisburg-Essen, Germany)
   - Christian Krause  (SAP Innovation Center Potsdam, Germany)
   - Jochen Küster  (Bielefeld University of Applied Sciences, Germany)
   - Yngve Lamo  (Bergen University, Norway)
   - Juan de Lara  (Universidad Autónoma de Madrid, Spain)

   - Alberto Lluch-Lafuente  (Technical University of Denmark, Denmark)
   - Alice Miller  (University of Glasgow, Scotland)
   - Mark Minas  (Universität der Bundeswehr München, Germany)
   - Leila Ribeiro (Federal University of Rio Grande do Sul, Brazil)
   - Andy Schürr  (TU Darmstadt, Germany)

   - Gabriele Taentzer  (Philipps-Universität Marburg, Germany)
   - Matthias Tichy  (Chalmers University of Technology, Sweden)
   - Dániel Varró  (Budapest University of Technology and Economics, 
Hungary)
   - Bernhard Westfechtel  (University of Bayreuth, Germany)
   - Anton Wijs  (RWTH Aachen University, Germany & TU Eindhoven, 
Netherlands)

=== Steering Committee ===

   - Stefan Edelkamp  (University of Bremen, Germany)
   - Frank Hermann  (University of Luxembourg, Luxembourg)
   - Barbara König  (University of Duisburg-Essen, Germany)
   - Juan de Lara  (Universidad Autónoma de Madrid, Spain)
   - Anton Wijs  (RWTH Aachen University, Germany & TU Eindhoven, 
Netherlands)
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Dana Fisman | 9 Mar 16:30 2015

ExCAPE Postdoc Openings (for academic year 2015-2016)

ExCAPE Postdoc Openings (for academic year 2015-2016)

Application deadline: March 31 2015

 

Expeditions in Computer Augmented Program Engineering (ExCAPE) is a multi-university multi-disciplinary project funded by US National Science Foundation as part of the Expeditions in Computing program. 

 

Universities involved are:

  Cornell University
  Massachusetts Institute of Technology
  Rice University
  University of California, Berkeley 
  University of California, Los Angeles        

  University of Illinois, Urbana-Champaign
  University of Maryland, College Park 
  University of Michigan 
  University of Pennsylvania

 

The goal of ExCAPE is to transform the way programmers develop software by advancing the theory and practice of software synthesis. To achieve this goal, the ExCAPE team brings together expertise in theoretical foundations (computer-aided verification, control theory, program analysis), design methodology (human-computer interaction, model-based design, programming environments), and applications (concurrent programming, network protocols, robotics, system architecture). 

 

ExCAPE has funding available for multiple post-doctoral research positions for the academic year 2015-2016. We seek applicants with domain expertise necessary to advance the practice of synthesis in one of the challenge problems as well as applicants with expertise in theory and tools for synthesis. Each post-doctoral researcher will be advised by two PIs, and will be expected to split time between the institutions of the two mentors. For more information, please feel free to contact any of the PIs.

 

Instructions to Candidates: 

Review of applications will begin upon receipt and continue until the position is filled. Applicants should prepare the following materials:

  • Two representative publications
  • Curriculum vita
  • Statement of research (1-2 pages)
  • 2-3 recommendation letters

 

The application is done online via the following link. All material, except for the recommendation letters, should be uploaded using this link. Recommendation letters should be sent by email to Dr. Dana Fisman.


_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Lars Michael Kristensen | 9 Mar 14:41 2015
Picon

PhD positions in model-driven software engineering and verification at Bergen University College, Norway

Bergen University College, Faculty of Engineering and Business Administration has 1-2 open positions for PhD research fellows within model-driven software engineering and software verification.

The PhD research fellows will be affiliated with the faculty’s ICT-oriented strategic research programme on ICT engineering (http://prosjekt.hib.no/ict ) which currently includes 20 professors and associate professors, several PhD students, and a number of master’s students.  The ICT engineering research environment at Bergen University College has a strong focus on use-inspired and applied research, and cooperation with national and international research groups, and with industry partners. The ICT engineering programme is organized into four main research themes: software engineering, engineering computing, communication systems, and the applications of ICT in engineering. The PhD research fellows will be part of the research group on model-based software engineering (http://prosjekt.hib.no/ict/research/model-based-software-engineering/). The group is conducting research ranging from theoretical foundations to software tools and technology transfer activities aimed at the practical application of model-driven engineering for software development.

For further information about the positions, see http://hib.easycruit.com/vacancy/1346899/41311?iso=no

 

Lars Michael Kristensen, Professor, PhD

Department of Computing, Mathematics, and Physics

Faculty of Engineering and Business Administration

Bergen University College, Bergen, Norway

Office: +47 555 871 64

Email: Lars.Michael.Kristensen-4HyLIcCoWzg@public.gmane.org

Web: home.hib.no/ansatte/lmkr

 

 

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

Gmane