Jose A Martin | 17 May 2013 13:03
Picon

CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems

-- Second Call for Papers -- FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems http://foclasa.lcc.uma.es/ September 11, 2013, Malaga (Spain) In conjunction with ESOCC 2013 -- http://esocc2013.lcc.uma.es/ ================================================================= FOCLASA 2013 is a workshop co-located with the European Conference on Service-Oriented and Cloud Computing (ESOCC 2013). The goal of the FOCLASA workshop is to put together researchers and practitioners to identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. == IMPORTANT DATES == Abstract submission: June 9th, 2013 Paper submission: June 14th, 2013 Notification: July 16th, 2013 Final version: July 25th, 2013 == TOPICS OF INTEREST == * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self- monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems). In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling Cloud computing Service-oriented computing * Component-based systems Grid computing Large-scale distributed systems * Multi-agent systems Peer-to-peer systems Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. == PAPER SUBMISSION == Submissions must describe authors' original research work and their results. Description of work-in- progress with concrete results is also encouraged. The contributions should not exceed 15 pages and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2013 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn. The authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a separate volume or as part of joint ESSOC workshop proceedings. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FOCLASA 2013. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop. == PROGRAM COMMITTEE CHAIRS == * Natallia Kokash, Leiden University, The Netherlands natallia.kokash-rh8NL+sEX9E@public.gmane.org * Javier Cámara Moreno, Carnegie Mellon University, USA jcmoreno-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org == PUBLICITY CHAIR == * José Antonio Martín, University of Málaga, Spain == PROGRAM COMMITTEE == * Carlos Cuesta, Rey Juan Carlos University, Spain * Holger Giese, University of Potsdam, Germany * Ludovic Henrio, INRIA Sophia Antipolis, France * Rogério de Lemos, University of Kent, UK * Antónia Lopes, University of Lisbon, Portugal * António Ravara, New University of Lisbon, Portugal * Liliana Pasquale, University of Limerick, Ireland * Pascal Poizat, University of Evry, France * José Proença, Katholieke Universiteit Leuven, Belgium * Bradley Schmerl, Carnegie Mellon University, USA * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy * Mirko Viroli, University of Bologna, Italy * Uwe Zdun, University of Vienna, Austria * Huibiao Zhu, East China Normal University, China * Keijo Heljanko, Aalto University, Finland == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Málaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Málaga, Spain * Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France -- José Antonio Martín Universidad de Málaga SPAIN Linkedin: http://linkd.in/jamartin Academia: http://bit.ly/jamartin_edu
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Lukas Holik | 14 May 2013 14:46
Picon
Favicon

CfP INFINITY 2013

=========== INFINITY 2013 | CALL FOR PAPERS ====================

INFINITY 2013: The 15th International Workshop on Verification of 
Infinite-State Systems

October, 2013, Hanoi, Vietnam, collocated with ATVA'13

Web Page: http://www.fit.vutbr.cz/~holik/INFINITY13/

Submission page: http://www.easychair.org/conferences/?conf=infinity2013

Submission deadline: July 12, 2013

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

Aim:
The aim of the INFINITY workshop is to provide a forum for researchers 
interested in the development of formal methods and algorithmic 
techniques for the analysis of systems with infinitely many states, and 
their application in automated verification of complex software and 
hardware systems.

Topics of interest include (but are not limited to):

- Infinite-state models of software/hardware systems

- Abstraction techniques for infinite-state systems

- Symbolic analysis techniques and data structures for representing 
infinite
state spaces

- Model-checking, static analysis, abstract interpretation,
preorder/equivalence-checking,
and control synthesis for infinite-state systems

- Parameterized networks of parallel processes, dynamic networks, mobile 
systems

- Systems with unbounded dynamic data and control structures
(recursion, dynamic instantiation of processes, dynamic linked data
structures, unbounded communication channels, web services,
infinite data domains)

- Probabilistic and timed systems

- Games in modeling and verification of infinite-state systems

- Verification techniques for security properties, cryptographic protocols

- Verification techniques for systems biology

Important Dates:
Submission deadline: July 12, 2013 (AOE)
Notification: August 16, 2013
Final version: August 30, 2013
Workshop: October, 2013

Paper submission:
There are two types of submissions. First, regular papers will be 
thoroughly evaluated by the programme committee and accepted submissions 
will be published in the proceedings. Authors are invited to submit an 
original contribution presenting unpublished work in the relevant areas. 
By submitting you agree that, in case of acceptance, at least one 
(co-)author will register and present the paper at the workshop. 
Contributions should be typeset in the EPTCS format and should not 
exceed 15 pages. Second, presentations are reports on recent (or 
ongoing) work. It is possible to submit a paper which recently appeared 
(or which is going to appear) in proceedings of another conference, or 
which has not yet been submitted. Neither the paper nor the abstract 
will be published in the proceedings. These contributions will be judged 
solely on the basis of their attractiveness to the workshop. Authors are 
invited to submit a one-page abstract. Both kind of papers should be 
submitted through EasyChair by following the link 
http://www.easychair.org/conferences/?conf=infinity2013.

Proceedings:
Pre-proceedings of INFINITY 2013 will be available at the workshop in a 
printed form. Final versions of the papers will appear in a volume of 
Electronic Proceedings in Theoretical Computer Science.

Programme Committee:
- Parosh Abdulla, Uppsala University, Sweden
- Mohamed Faouzi Atig, Uppsala Universioty, Sweden
- Yu-Fang Chen, Academia Sinica, Taiwan
- Lorenzo Clemente (co-chair), University of Bordeaux, France
- Giorgio Delzanno, University of Genova, Italy
- Peter Habermehl, LIAFA, Université Denis Diderot---Paris 7, CNRS, France
- Lukáš Holík (co-chair), Brno University of Technology, Czech Rep.
- Anthony W. Lin, University of Oxford, UK
- Richard Mayr, University of Edinburgh, United Kingdom
- Jean-François Raskin, Université Libre de Bruxelles, Belgium
- Ahmed Rezine, Linköping University, Sweden
- Arnaud Sangnier, Università di Genova, Italy
- Jiří Srba, Aalborg University, Denmark
- Gregoire Sutre, University of Bordeaux, France
- Tomáš Vojnar, Brno University of Technology, Czech Republic
- Bow-Yaw Wang, Academia Sinica, Taiwan

Invited speakers will be announced on the web page of the workshop.
Attachment (infinity13-cfp.pdf): application/pdf, 83 KiB
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Thomas Hildebrandt | 14 May 2013 11:25
Picon
Favicon

GlynnFest Workshop, May 31st and June 1st, Cambridge University Computer Laboratory

We are happy to announce a workshop to honour Glynn Winskel on the occasion of his 60th birthday.

The workshop will take place at Cambridge University Computer Laboratory on May 31st and June 1st.

The speakers will be:

- Samson Abramsky, University of Oxford
- Henrik R. Andersen, Configit
- Steve Brookes, Carnegie-Mellon University
- Pierre-Louis Curien, University of Paris 7
- Olivier Danvy, University of Aarhus
- Marcelo Fiore, University of Cambridge
- Thomas T. Hildebrandt, IT University of Copenhagen
- Martin Hyland, University of Cambridge
- Kim G. Larsen, University of Aalborg
- Ugo Montanari, University of Pisa
- Mogens Nielsen, University of Aarhus
- Prakash Panangaden, McGill University
- Andy Pitts, University of Cambridge
- Gordon Plotkin, University of Edinburgh
- Vladimiro Sassone, University of Southampton

Participation to the workshop is open, but attendees are kindly requested to register in advance.
More details about the workshop venue and program and about the registration procedure can be found at the following link
http://www.itu.dk/research/models/wiki/index.php/GlynnFestWorkshop

Best wishes on behalf of the organizing committee,
Thomas Hildebrandt
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Bruno Blanchet | 15 May 2013 17:29
Picon
Picon
Favicon

Call for participation: FCS'13 Workshop on Foundations of Computer Security

+-------------------------------------------------------------------------+
!                                                                         !
!                         Call for participation                          !
!			         FCS 2013                                 !
!                Workshop on Foundations of Computer Security             !
!               Tulane University, New Orleans, Louisiana, USA            !
!                              June 29, 2013                              !
!              http://prosecco.inria.fr/personal/bblanche/fcs13/          !
!                                                                         !
!                   Affiliated with LICS 2013 and CSF 2013                !
!                                                                         !
+-------------------------------------------------------------------------+

Registration is via the CSF/LICS/MFPS registration web site:
        http://csf2013.seas.harvard.edu/registration.html
Early registration deadline: May 22.

Programme
---------

9:00-10:00 Invited talk

Static Analysis of Cache Side Channels
Boris Koepf

10:00-10:30 Coffee break

10:30-12:30 Information flow

When not all bits are equal: Incorporating "worth" into information-flow measures
Mario S. Alvim, Andre Scedrov, and Fred B. Schneider.

Abstract channels, gain functions and the information order
Annabelle McIver, Carroll Morgan, Larissa Meinicke, Geoffrey Smith, and Barbara Espinoza.

MAP-REDUCE Runtime Enforcement of Information Flow Policies
Minh Ngo, Fabio Massacci, and Olga Gadyatskaya.

A Framework for Composing Noninterferent Languages
Andreas Gampe and Jeffery Von Ronne.

12:30-14:00 Lunch

14:00-15:30 Security protocols (1)

A Formal Framework for Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, and Boon Loo.

Translating between equational theories for automated reasoning
Ben Smyth, Myrto Arapinis, and Mark Ryan

Using Interpolation for the Verification of Security Protocols (Extended Abstract)
Giacomo Dalle Vedove, Marco Rocchetto, Luca Viganò, and Marco Volpe.

15:30-16:00 Coffee break

16:00-17:00 Security protocols (2)

Bounded Memory Protocols and Progressing Collaborative Systems
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov.

A Multi-Role Translation of Protocol Narration into the Spi-Calculus with Correspondence Assertions
Eijiro Sumii and Yuji Sato.
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Wijs, A.J. | 18 May 2013 00:25
Picon
Picon
Favicon

GRAPHITE 2013 - Call for post-proceedings (short) papers

GRAPHITE 2013
Second Workshop on GRAPH Inspection and Traversal Engineering
(affiliated with ETAPS 2013)
http://www.win.tue.nl/~awijs/graphite

Call for (Short) Papers - Post-proceedings EPTCS
--------------------------------------------------------------------

Objectives
---------------

The topic of the GRAPHITE workshop is graph analysis in all its forms in computer science.
Graphs are used to represent data in many application areas, and they are subjected to
various computational algorithms in order to acquire the desired information. These graph
algorithms tend to have common characteristics, such as duplicate detection to guarantee
their termination, independent of their application domain. Over the past few years, it has
been shown that the scalability of such algorithms can be dramatically improved by using,
e.g., external memory, by exploiting parallel architectures, such as clusters, multi-core
CPUs, and graphics processing units, and by using heuristics to guide the search. Novel
techniques to further scale graph search algorithms, and new applications of graph search
are within the scope of this workshop. Another topic of interest of the event is more
related to the structural properties of graphs: which kind of graph characteristics are
relevant for a particular application area, and how can these be measured? Finally, any
novel way of using graphs for a particular application area is on topic. The goal of this
event is to gather scientists from different communities, such as model checking, artificial
intelligence planning, game playing, and algorithm engineering, who do research on graph
search algorithms, such that awareness of each others' work is increased.

The workshop has been held as a satellite event of ETAPS 2013, the
16th edition of The European Joint Conferences on Theory and Practice
of Software (ETAPS). ETAPS is a primary European forum for academic
and industrial researchers working on topics relating to Software Science.

The current call is for submissions for the post-proceedings, to be published in the second half of 2013. As
such, authors of accepted papers will not be invited to present their work, but their papers will be
included in the proceedings.

Workshop Specific Topics
------------------------------------

We encourage submission of works which include but are not limited to the following topics:

* Algorithms for the verification of hardware and software based on graph exploration
  (e.g. the computation of an explicit state space based on an implicit description)

* Application of graph based techniques originating in one application domain, applied on
  a problem in another domain (e.g. verification algorithms on artificial intelligence problems)

* Techniques to deal with potentially infinite graphs and infinite families of graphs

* Innovative or otherwise particularly significant case studies of applications of graph based
  methods

* Theoretical results on the limits and possibilities of graph based methods

* Parallel algorithms for graph exploration for distributed and shared memory systems (e.g.
  clusters, multi-core CPUs, GPGPUs)

* Graph algorithms in artificial intelligence; planning; game playing; social network analysis;
  biological network analysis, and similar

* Graph minimisation and abstraction techniques as a preprocessing step for analysis (e.g.
  bisimulation reduction, transitive reduction)

* Computation on graphs through graph transformation techniques

* I/O Efficient graph algorithms using external memory

Papers on applications and papers bridging multiple application domains are strongly encouraged. In
addition, this call also encourages the submission of short papers, either presenting a new tool or new
scientific results that can be described succinctly.

Solicited Contributions 
-------------------------------

The submitted papers should contain original work which has not been
submitted or accepted for publication elsewhere. Submissions should
adhere to the EPTCS format. All accepted papers will be included in
the workshop proceedings.

We solicit two kinds of papers:

*Tool Papers or Short Technical Papers no longer than 7 pages. Tool papers should describe the
contribution of a new tool, how it works, and how it is implemented. Experimental results are encouraged.
Short technical papers are intended to succinctly present new scientific results related to the
GRAPHITE topics.

*Full Technical Papers no longer than 15 pages.

Submission and Publication
--------------------------------------

Submission can be done via the Easy Chair web-based conference management
system. (Follow the link from the workshop web page.) All papers will be
peer reviewed.

The proceedings will appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS) as post-proceedings.

Important Dates
----------------------

July 21, 2013, submission deadline
August 11, 2013, Notification of acceptance/rejection
August 25, 2013, Camera-ready version deadline

Organization
------------

Anton Wijs (Eindhoven University of Technology, Netherlands)
Dragan Bosnacki (Eindhoven University of Technology, Netherlands)
Stefan Edelkamp (University of Bremen, Germany)

Programme Committee
--------------------------------

Henri Bal (VU University Amsterdam, The Netherlands)
Dragan Bosnacki (Eindhoven University of Technology, The Netherlands) (co-chair)
Alastair Donaldson (Imperial College London, England)
Stefan Edelkamp (University of Bremen, Germany) (co-chair)
Ansgar Fehnker (The University of the South Pacific, Fiji)
Wan Fokkink (VU University Amsterdam, The Netherlands)
Keijo Heljanko (Aalto University, Finland)
Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)
Gunnar Klau (Centrum Wiskunde & Informatica, The Netherlands)
Juan de Lara (Universidad Autónoma de Madrid, Spain)
Stefan Leue (University of Konstanz, Germany)
Ulrich Meyer (Goethe University Frankfurt am Main, Germany)
Jun Pang (Université du Luxembourg, Luxembourg)
David Parker (University of Birmingham, England)
Arend Rensink (University of Twente, The Netherlands)
Anton Wijs (Eindhoven University of Technology, The Netherlands) (co-chair)

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

Timothy M Jones | 15 May 2013 14:13
Picon
Picon
Favicon

PostDoc / Research Associate in Compilation for Heterogeneous Many-Core Processors

** Overview **

PostDoc / Research Associate in Compilation for Heterogeneous Many-Core 
Processors

The University of Cambridge
Deadline 7 June 2013

http://www.jobs.cam.ac.uk/job/-28652/

** The Project **

Applications are invited for a Postdoc (Research Associate) position to 
work on compilation for future heterogeneous multi- and many-core 
processors. The successful candidate will join a growing team of 
Postdocs and PhD students investigating performance, reliability and 
energy-efficiency in future many-core systems. The position is within 
the Computer Architecture Group at the University of Cambridge Computer 
Laboratory, but will also involve significant collaboration with 
researchers nearby at ARM. The project will consider how to compile 
applications, both statically and at runtime, to take advantage of 
heterogeneous many-core processors. Performance extraction via automatic 
parallelisation and compilation schemes to increase application 
reliability are two examples, amongst other techniques. Responsibilities 
include the development of original, internationally-leading research, 
in addition to providing support for the PhD students on the project. 
The research is funded by EPSRC and collaboration with other groups, 
both within Cambridge and beyond, are encouraged.

We seek candidates with a PhD in Computer Science and a strong 
background in compilers and runtime systems. Experience in bordering 
areas (e.g. computer architecture or parallel programming) would be 
advantageous and preference will be given to candidates who demonstrate 
a desire to work across the system hierarchy. Furthermore, experience in 
JIT compilers or simulation of processor cores will be a significant 
advantage. Candidates should provide evidence of relevant work, 
demonstrated by an excellent research publication track record in 
international conferences or journals commensurate with their years of 
experience, or time spent in industrial settings. The appointment will 
start on the 1st September 2013 and will run for 4 years, with the 
possibility of extension for a final, fifth year.

** More Information **

Further details may be obtained from Dr Timothy Jones, email 
timothy.jones@...

** Application **

Please follow the instructions on the following page:

http://www.jobs.cam.ac.uk/job/-28652/

Applications should include:

- A CV
- A completed form CHRIS6: 
http://www.admin.cam.ac.uk/offices/hr/forms/chris6/ (parts 1 and 3 only)

Applications should be sent, preferably by email to 
personnel-admin@... Postal Address: Personnel-Admin, 
University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, 
Cambridge, CB3 0FD

--

-- 
Timothy M. Jones
http://www.cl.cam.ac.uk/~tmj32
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Gregor Goessler | 13 May 2013 14:47
Picon
Picon
Favicon

fully funded PhD thesis on safe contract-based design of cyber-physical systems

PhD thesis offer: Safe Contract-Based Design of Cyber-Physical Systems

Context

Anti-lock breaking systems, temperature regulation in buildings, and
drug infusion pumps are examples of cyber-physical systems (CPS) where
software interacts with physical processes so as to ensure a desired
safe and efficient behavior. CPS are usually subject to safety and
reliability requirements. Depending on the application, their failure
may have unacceptable consequences. It is therefore crucial to ensure
their correctness at design time.

In order to reason about interactions between software and physical
processes one has to use hybrid models combining continuous and
discrete dynamics. In addition to the problem of undecidability,
several characteristics of hybrid systems such as their infinite state
space and the lack of analytic solutions for systems described by
differential equations, make these systems particularly hard to
analyze using exact methods; often one has to use
approximations. Existing methods and tools for formal analysis of
hybrid systems do not scale well and only allow, in practice, for
partial analysis of systems due to their high complexity.

Goals

This thesis focuses on contract-based design of safe CPS. The contract
of a component formally specifies the hypotheses the component makes
on its environment, and its commitments (or expected behavior) in case
the hypotheses are verified.

The goal of this thesis is to develop a contract-based design approach
for hybrid systems, in order to overcome the current limitations of
formal analysis. Further details can be found here:

https://team.inria.fr/spades/files/2013/05/thesisHybridContracts.pdf

Working Context

The thesis will be co-advised by Thao Dang (Verimag) and Gregor
Goessler (INRIA). The PhD student will be hosted by the Verimag
laboratory, near Grenoble in the French Alps. The work will be
performed in collaboration with Vasiliki Sfyrla (Viseo) who will
participate in the different research phases including the evaluation
in an industrial context.

Required Skills

Candidates should have good background in theoretical computer science
and continuous mathematics. Good programming skills are a plus.

Application

Interested candidates should send a cover letter and CV to
Thao.Dang@...

--
Gregor Goessler
INRIA Grenoble - Rhône-Alpes, SPADES team

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

Timothy M Jones | 15 May 2013 14:14
Picon
Picon
Favicon

PostDoc / Research Associate in the Design of Heterogeneous Many-Core Processors

** Overview **

PostDoc / Research Associate in the Design of Heterogeneous Many-Core 
Processors

The University of Cambridge
Deadline 7 June 2013

http://www.jobs.cam.ac.uk/job/-28662/

** The Project **

Applications are invited for a Postdoc (Research Associate) position to 
work on future heterogeneous multi- and many-core processors. The 
successful candidate will join a growing team of Postdocs and PhD 
students investigating performance, reliability and energy-efficiency in 
future many-core systems. The position is within the Computer 
Architecture Group at the University of Cambridge Computer Laboratory, 
but will also involve significant collaboration with researchers nearby 
at ARM. The project will consider how to build and manage heterogeneous 
many-core processors, with trade-offs between specialisation for 
performance and energy efficiency, and the need for reliability built-in 
from the start. Responsibilities include the development of original, 
internationally-leading research, in addition to providing support for 
the PhD students on the project. The research is funded by EPSRC and 
collaboration with other groups, both within Cambridge and beyond, are 
encouraged.

We seek candidates with a PhD in Computer Science and a strong 
background in computer architecture. Experience in bordering areas (e.g. 
circuits, compilers or runtimes) would be advantageous and preference 
will be given to candidates who demonstrate a desire to work across the 
system hierarchy. Furthermore, experience in design and simulation of 
processor cores will be a significant advantage. Candidates should 
provide evidence of relevant work, demonstrated by an excellent research 
publication track record in international conferences or journals 
commensurate with their years of experience, or time spent in industrial 
settings. The appointment will start on the 1st September 2013 and will 
run for 4 years, with the possibility of extension for a final, fifth year.

** More Information **

Further details may be obtained from Dr Timothy Jones, email 
timothy.jones@...

** Application **

Please follow the instructions on the following page:

http://www.jobs.cam.ac.uk/job/-28662/

Applications should include:

- A CV
- A completed form CHRIS6: 
http://www.admin.cam.ac.uk/offices/hr/forms/chris6/ (parts 1 and 3 only)

Applications should be sent, preferably by email to 
personnel-admin@... Postal Address: Personnel-Admin, 
University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, 
Cambridge, CB3 0FD

--

-- 
Timothy M. Jones
http://www.cl.cam.ac.uk/~tmj32
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Lucia Pomello | 10 May 2013 17:33
Picon

Petri Nets Course - call for participation

===================================
Petri Net Course - Milano, June 23-25,  2013
===================================

The Petri Net Course takes place from Sunday to Tuesday before the "34th International Conference on Application and Theory of Petri Nets and Concurrency" (http://www.mc3.disco.unimib.it/petrinets2013/index.shtml)
It offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday:

*   Basic Net Classes
*   Coloured Petri Nets 1
*   Coloured Petri Nets 2
*   Timed and Stochastic Petri Nets

On Tuesday there is a choice between two full-day tutorial modules on applications of Petri Nets and/or new developments presented by experts in the area. This year the subjects are:

*    Petri Nets for Multiscale Systems Biology
*    Unfoldings

Each module of the course can be taken separately. In particular, the lectures on Tuesday can be followed as independent Tutorials.


Schedule of the Petri Net course
--------------------------------------------


Credits
-----------

All Course modules are open for everyone interested.
For the Course as a whole, graduate and PhD Students are the intended audience. It is possible to earn credit points (3 ECTS awarded by Leiden University, NL) on basis of successful participation in the Course including:

    a preparation phase before the Course,
    examinations for the theory modules in the form of small exercises or homework, and
    a written report as an outcome of a project associated with the tutorial chosen for the third day.

For the preparation phase, students who have registered for the full Course, will receive one to two weeks in advance material containing preliminaries on the philosophy of net theory, basic notions, small examples, typical application areas etc.
For the examination of the Sunday/Monday modules, time will be available during the Course.
The completion of the assignment of the Tuesday module will take place after the Course as agreed with the lecturer(s).


For further information please contact the organizers

    Jetty Kleijn (kleijn-f5PYZWLQjOo@public.gmane.org) or


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


Lucia Pomello
DISCo, University of Milano - Bicocca
Building U14 - Room 2064
Viale Sarca 336
20126 Milano

Phone: +39 02 6448 7816



_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Mohamed Faouzi Atig | 7 May 2013 15:16
Picon
Picon
Favicon

RP2013



We apologize if you receive multiple copies of this call. 

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


      The 7th International Workshop on Reachability Problems (RP2013)
              (25 - 27 September 2013, University of Uppsala, Sweden)
                              http://www.it.uu.se/conf/RP2013/

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

***  Paper Submission:   24  May, 2013


The Department of Information Technology will organize the 7th International 
Workshop on Reachability Problems (RP'2013). This event will take place at 
Norrlands nation in the heart of central Uppsala, 25 - 27 September 2013.

Papers presenting original contributions related to reachability problems 
in different computational models and systems are being sought.
This will also be the occasion to review recent breakthroughs by 
renown invited experts and survey emerging trends and emphasize 
on key open challenges. Participants are kindly encouraged to discuss 
on core scientific issues that need to be further tackled.

The Reachability Workshop is specifically aimed at gathering together 
scholars from diverse disciplines and backgrounds interested in 
reachability problems that appear in
   -  Algebraic structures
   -  Computational models
   -  Hybrid systems
   -  Logic and Verification


Invited Speakers: 
------------------------

●   Patricia Bouyer-Decitre (Cachan, France) 
●   Daniel Kroening (Oxford, UK)
●   Rupak Majumdar (MPI-SWS, Germany)
●   Shaz Qadeer (Microsoft Research Redmond, USA)
●   Thomas Schwentick (TU Dortmund University, Germany)


Submissions: 
------------------

Papers presenting original contributions related to 
reachability problems in different computational 
models and systems are being sought. 

Topics of interest include (but are not limited to): 
Reachability for infinite state systems, rewriting 
systems; Reachability analysis in counter/ timed/ 
cellular/ communicating automata; Petri-Nets; 
computational aspects of semigroups, groups and 
rings; Reachability in dynamical and hybrid systems; 
frontiers between decidable and undecidable 
reachability problems; complexity and decidability aspects; 
predictability in iterative maps and new computational paradigms 

Authors are invited to submit a draft of a full paper with 
at most 12 pages (in LaTeX, formatted according to LNCS guidelines) 
via the conference web page. 
Proofs omitted due to space constraints must be put into an 
appendix to be read by the program committee members at their discretion. 
Submissions deviating from these guidelines risk rejection. 
Electronic submissions should be formatted in pdf.
Simultaneous submission to other  conferences or workshops 
with published proceedings is not allowed. 

Important Dates 
----------------------

- Submission deadline: 24 May 2013
- Notification to authors: 2 July 2013
- Final version: 12 July 2013
- Workshop: 25 - 27 September 2013

Proceedings 
-----------------

The Conference Proceedings will be published 
as the volume of the Springer Verlag LNCS 
(Lecture Notes in Computer Science) series and 
distributed at the Conference. We plan also to publish 
selected papers in a special issue of a high quality journal 
following the regular referee procedure. 


RP2013 Program Committee:
----------------------------------------

●   Parosh Aziz Abdulla (co-chair), Uppsala University
●   Rajeev Alur, University of Pennsylvania 
●   Mohamed Faouzi Atig, Uppsala University 
●   Bernard Boigelot, University of Liege 
●   Ahmed Bouajjani, LIAFA, University Paris Diderot 
●   Krishnendu Chatterjee, Institute of Science and Technology 
●   Giorgio Delzanno, DIBRIS, Università di Genova 
●   Javier Esparza, Technische Universität München 
●   Alain Finkel, ENS Cachan 
●   Pierre Ganty, IMDEA Software Institute 
●   K. Narayan Kumar, Chennai Mathematical Institute 
●   Kim Guldstrand Larsen, Aalborg University 
●   Jerome Leroux, CNRS-LABRI 
●   Richard Mayr, University of Edinburgh 
●   Markus Müller-Olm, Wilhelms-Universität Münster 
●   Andreas Podelski, University of Freiburg 
●   Igor Potapov (co-chair), University of Liverpool 
●   Jean-Francois Raskin, Université Libre de Bruxelles 
●   Ahmed Rezine, Linköping University 
●   James Worrell, Oxford University 
●   Hsu-Chun Yen, National Taiwan University 
●   Gianluigi Zavattaro, Università di Bologna


Organizing Committee: 
-------------------------------

Parosh Aziz Abdulla (co-chair), Uppsala University
Mohamed Faouzi Atig (co-chair), Uppsala University 
Carl Leonardsson, Uppsala University 
Igor Potapov (co-chair), University of Liverpool 
Jari Stenman, Uppsala University 
Othmane Rezine, Uppsala University
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Emilio Tuosto | 9 May 2013 18:58
Picon
Picon
Favicon

CfP: PDP 2014 - The 22nd Euromicro Intl. Conference on Parallel, Distributed and Network-Based Computing

We apologise for multiple copies
--------------------------------------------

PDP 2014 - The 22nd  Euromicro International Conference on Parallel, Distributed and Network-Based Computing
                      
12th - 14th February, 2014 
Turin, Italy
 

We invite you to submit papers to the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, to be held at the University of Turin, Italy, on 12th – 14th February 2014.

Important dates

Paper submission: 31st Jul 2013
Acceptance notification: 7th Oct 2013
Camera ready due: 31st Oct 2013
Conference: 12th - 14th Feb 2014

Scope

Parallel, Distributed, and Network-Based Processing has undergone impressive change over recent years. New architectures and applications have rapidly become the central focus of the discipline. These changes are often a result of cross-fertilisation of parallel and distributed technologies with other rapidly evolving technologies. It is of paramount importance to review and assess these new developments in comparison with recent research achievements in the well-established areas of parallel and distributed computing, from industry and the scientific community. 

PDP 2014 will provide a forum for the presentation of these and other issues through original research presentations and will facilitate the exchange of knowledge and new ideas at the highest technical level. 

Topics of interest include, but are not restricted to:

  • Parallel Computing: massively parallel machines; embedded parallel and distributed systems; multi- and many-core systems; GPU and FPGA based parallel systems; parallel I/O; memory organisation.
  • Distributed and Network-based Computing: Cluster, Grid, Web and Cloud computing; mobile computing; interconnection networks.
  • Big Data: large scale data processing; distributed databases and archives; large scale data management; metadata; data intensive applications.
  • Models and Tools: programming languages and environments; runtime support systems; performance prediction and analysis; simulation of parallel and distributed systems.
  • Systems and Architectures: novel system architectures; high data throughput architectures; service-oriented architectures; heterogeneous systems; shared-memory and message-passing systems; middleware and distributed operating systems; dependability and survivability; resource management. 
  • Advanced Algorithms and Applications: distributed algorithms; multi-disciplinary applications; computations over irregular domains; numerical applications with multi-level parallelism; real-time distributed applications.

Please find more details on the web site http://www.pdp2014.org.

Special Sessions

In addition to the main track, 9 special sessions on specific topics will be organised within the conference. They are:

  • High Performance Computing in Modelling and Simulation (HPCMS) 
  • On-Chip Parallel and Network-Based Systems (OCPNBS)
  • Multi-Core and Many-Core systems for EMbedded Computing (MC3)
  • Cloud Computing on Infrastructure as a Service and its Applications
  • Energy-Aware Computing
  • Security in Networked and Distributed Systems (SNDS)
  • Advances in High-Performance Bioinformatics, Systems and Synthetic Biology
  • GPU Computing and Hybrid Computing
  • Formal Approaches to Parallel and Distributed Systems (4PAD)

The call for papers for special sessions is available at: http://www.pdp2014.org/specialsessions.html

Paper Submission

Prospective authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). Double-bind review: the first page of the paper should contain only the title and abstract; in the reference list, references to the authors’ own work should appear as "omitted for blind review" entries.

Proceedings (of both the main track and the special sessions) will be published  in one volume by IEEE Computer Society. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be indexed, among others, by IEEE explore, DBLP, Scopus ScienceDirect, and ISI Web of Knowledge.

Programme Chairs

Marco Aldinucci (University of Torino, Italy)
Daniele D'Agostino (IMATI - CNR, Italy)
Peter Kilpatrick (Queen's University Belfast, UK)

---
Marco Aldinucci
Computer Science Dept - University of  Torino - Italy







-- *************************************************************** Emilio Tuosto Department of Computer Science University of Leicester Leicester, LE1 7RH United Kingdom Tel. +44 (0) 116 252 5392 Fax. +44 (0) 116 252 3915 homepage -> http://www.cs.le.ac.uk/people/et52 ***************************************************************
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Gmane