Thomas Buchmann | 21 Nov 13:07 2014
Picon
Picon

ICGT 2015: Call for Papers

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

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

First 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
(Continue reading)

Sophie Pinchinat | 17 Nov 13:39 2014
Picon

TTL 2015: Tools for Teaching Logic, Rennes (France), 9-12 Jun 2015

TTL2015
4th INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC
June 9-­12, 2015, Rennes, France
http://ttl2015.irisa.fr/
Call for Papers

* TOPICS
Tools for Teaching Logic  seeks for original papers with a clear
significance in the following topics (but are not limited to):
teaching logic in sciences and humanities; teaching logic at different
levels of instruction  (secondary education, university level, and
postgraduate); didactic software; facing some difficulties concerning
what to teach; international postgraduate programs; resources and
challenges for e­Learning Logic; teaching Argumentation Theory,
Critical Thinking and
Informal Logic; teaching specific topics, such as Modal Logic,
Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of
Logic, and others; dissemination of logic courseware and logic
textbooks; teaching Logic Thinking.

* INSTRUCTIONS FOR AUTHORS
Submitted papers in PDF format should not be longer than 8 pages and
must be submitted electronically using the EasyChair system.
A demonstration is expected to accompany papers describing software tools.
At least one author of each accepted paper must be registered and
attend TTL2015 to present the paper or the tool.

* PUBLICATIONS
All accepted papers will be published electronically in the LIPICS
style by University of Rennes 1 with  an ISBN (a USB key will be
provided to the conference participants).
After the conference, a special issue containing extended versions of
the best accepted papers is going to be published in the IfCoLog
Journal of Logics and their Applications.

* CONFERENCE FORMAT
Papers presentations will be presented in parallel sessions along the week.
A half-­day slot will be dedicated to demo tools.

* IMPORTANT DATES
Paper submission: 30 January 2015
Notification: 1 March 2015
Final camera­-ready due: 29 March 2015
Conference: 9­-12 June 2015
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Samir OUCHANI | 17 Nov 18:24 2014
Picon

The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

The First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

 

satoss.uni.lu/sacps2015/

in conjunction with ANT-2015 conference

June 2 - 5, 2015 London, UK

 

SCOPE

 

Security of Cyber-Physical Systems (CPS) is challenging due to the inherent complexity of CPS. Moreover, it is not sufficient to ascertain the security of the individual components in isolation: threats in CPS systems could also be due to the interaction between the physical, digital and software parts of CPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields. This workshop provides a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS.

 

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

 

·         Modeling CPS (formal models, UML, SysML, ADAAL, etc)

·         Design secure CPS

·         Risks analysis of CPS

·         Formal methods for CPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)

·         Threat modeling for CPS

·         Security policies and access control for CPS

·         Safety and reliability analysis for CPS

·         Security requirements specification for CPS

·         Human aspects for CPS

·         Case studies, tools, and experimental results for CPS

 

SUBMISSION AND PROCEEDINGS

 

All papers accepted for workshops will be included in the ANT-2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2014 website (http://cs-conferences.acadiau.ca/ant-14/). The number of pages for workshop papers is limited to 6 pages. Authors should submit their contributions electronically in PDF format at: https://easychair.org/conferences/?conf=sacph2015.

 

The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date.

 

The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. In case of any problem with submission, please contact the workshop chair for assistance.

 

All workshops accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (on-line). Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (http://www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) (http://www.engineeringvillage.com). This includes EI Compendex (http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/).

 

The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues at ANT'13 and in IJFCST.

 

Important dates

Submission due: 10 Feb, 2015

Notification of acceptance: 20 March, 2015

Camera-ready due: 1 April, 2015

Workshop: 2-5 June, 2015

 

Program committee

 

General chair

Sjouke Mauw, University of Luxembourg, Luxembourg.

 

PC chairs

Otmane Ait Mohamed, Concordia University, Canada.

Samir Ouchani, University of Luxembourg, Luxembourg.

 

PC members

·         Yamine Ait-Ameur (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, FR)

·         Vincent Aravantinos (Fortiss GmbH, D)

·         Yacine Atif (UAE University, UAE)

·         Hamad Binsalleeh (Al-Imam University, KSA)

·         Mourad Debbabi (Concordia University, CA)

·         Karim Djouani (Université Paris-Est Créteil, FR)

·         Jannik Dreier (ETH Zurich, CH)

·         Iqbal Farkhund (Zayed University, UAE)

·         Osman Hassan (National University of Science & Technology Pakistan, PK)

·         Hugo Jonker (University of Luxembourg, L)

·         Barbara Kordy (Université d'Orléans, FR)

·         Gabriele Lenzini (University of Luxembourg, L)

·         Chamseddine Talhi (Ecole de Technologie Supérieure, CA)

 

Please visit: http://cs-conferences.acadiau.ca/ant-15/#registration for more information.

 

VENUE, ACCOMMODATION & VISA REQUIREMENTS

 

Please visit: http://cs-conferences.acadiau.ca/ant-15/#conferenceVenue for more information.

 

 

If you have any further questions please contact one of the workshop organizer.

 

Dr. Samir OUCHANI

email: samir.ouchani-Bc4zhm9Ex8o@public.gmane.org 

Phone: (+352) 46 66 44 5743

Fax : (+352) 46 66 44 3 5743

University of Luxembourg

Interdisciplinary Centre for Security, Reliability and Trust (SnT)

6, rue Richard Coudenhove-Kalergi

L-1359 Luxembourg

 

 

 

 

Attachment (smime.p7s): application/pkcs7-signature, 7453 bytes
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Paul Levy | 20 Nov 00:58 2014
Picon
Picon

Fwd: Annual Peter Landin Semantics Seminar: On correspondences between programming languages and semantic notations, By Prof.Peter Mosses -- 8th December, 2014, 6pm, London


Begin forwarded message:

> From: Paul Boca <paul.boca <at> googlemail.com>
> Date: Mon, Sep 29, 2014 at 9:40 PM
> Subject: Annual Peter Landin Semantics Seminar: On correspondences
> between programming languages and semantic notations, By Prof.Peter
> Mosses -- 8th December, 2014, 6pm, London
> To: facs-events <at> jiscmail.ac.uk, facs <at> jiscmail.ac.uk,
> fmnet <at> jiscmail.ac.uk, fortest <at> jiscmail.ac.uk, procos <at> jiscmail.ac.uk
> Cc: Peter Mosses <P.D.Mosses <at> swansea.ac.uk>, "Tony N. Clark"
> <t.n.clark <at> mdx.ac.uk>
>
>
> (Apologies if you receive multiple copies of this announcement)
>
>            BCS FACS - Annual Peter Landin Semantics Seminar
>
>
> On correspondences between programming languages and semantic  
> notations
>
>                    By Prof Peter Mosses (Swansea University)
>
>
>                        Date/Time: 8th December 2014, 6pm
>
>
> Venue: BCS, First Floor, The Davidson Building, 5 Southampton Street,
> London, WC2E 7HA | Maps
>
> Cost to attend: **Free of charge**, but, please book your place via  
> the
> BCS online booking system:
>
>                             https://events.bcs.org/book/1170/
>
>
> Peter Landin (1930 - 2009) was a pioneer whose ideas underpin modern
> computing. In the the 1950s and 1960s, Landin showed that programs
> could be defined in terms of mathematical functions, translated into
> functional expressions in the lambda calculus, and their meaning
> calculated with an abstract mathematical machine. Compiler writers
> and designers of modern-day programming languages alike owe much
> to Landin's pioneering work.
>
> Each year, a leading figure in computer science will pay tribute to
> Landin's contribution to computing through a public seminar. This
> year's seminar is entitled "On correspondences between programming
> languages and semantic notations" and will be given by
> Prof. Peter Mosses (Swansea University).
>
> Programme
> ========
>
> 5.15pm               Tea/Coffee
>
>
> 6.00pm               Welcome & Introduction (Professor Tony Clark,
> Middlesex University)
>
> 6.05pm               Peter Landin Semantics Seminar
>
>                         On correspondences between programming
> languages and semantic notations
>
>                                          Prof Peter Mosses
>
>                                        (Swansea University)
>
> 7.20pm -8.30pm   Drinks Reception
>
>
> Seminar details
> ===========
>
> 50 years ago, at the IFIP Working Conference on Formal Language
> Description Languages, Peter Landin presented a paper on “A formal
> description of ALGOL 60”. In it, he explained “a correspondence  
> between
> certain features of current programming languages and a modified form
> of Church’s λ-notation”, and suggested using that as the basis  
> for formal
> semantics. He regarded his formal description of ALGOL 60 as a  
> “compiler”
> from ALGOL abstract syntax to λ-notation.
>
> 10 years later, denotational semantics was well established, and two
> denotational descriptions of ALGOL 60 had been produced as case
> studies: one in the VDM style developed at IBM-Vienna, the other in  
> the
> continuations-based style adopted in Christopher Strachey’s  
> Programming
> Research Group at Oxford.
>
> After recalling Landin’s approach, I’ll illustrate how it differs  
> from
> denotational semantics, based on the ALGOL 60 descriptions. I’ll  
> also
> present a recently developed component-based semantics for ALGOL 60,
> involving its translation to an open-ended collection of so-called  
> fundamental
> constructs. I’ll assume familiarity with the main concepts of
> denotational semantics.

--
Paul Blain Levy
School of Computer Science, University of Birmingham
+44 121 414 4792
http://www.cs.bham.ac.uk/~pbl

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Ezio Bartocci | 19 Nov 12:41 2014
Picon

PhD on Mixed Signal IC Verification

PhD Thesis: Mixed Signal IC Verification

Location:Job code:Start date:
Villach, Austria
5066
01.12.2014



The goal of this PhD activity is to develop and investigate new methods and concepts for verification of Mixed-Signal Smart Power ICs for various automotive applications, like lighting, heating, power distribution, motor driving etc. Short time to market requirements, increasing complexity, miniaturisation of modern ICs and latest safety standards result in stringent requirements and considerable effort for the pre-silicon verification process. To satisfy these needs Infineon Technologies Austria together with KAI and the Vienna University of Technology will set up a research project on new methods and concepts for IC verification. 

Within this PhD activity your tasks will be 

  • Behavioral modelling of analog macro-blocks in VHDL, VHDL-AMS, Verilog-A(MS)
  • Definition of analog mixed-signal test metrics including coverage models and fault models
  • Evaluation of the performances of “concolic” (concrete and symbolic) test methods on smart power ICs
  • Generation of automatic test patterns for full chip pre and post verification to meet the targeted coverage goals
  • Investigation on SAT and SMT methods for ATPG (Automatic Test Pattern Generation)

The duration of the PhD-project is 3 years. The student will be placed at TU Vienna and will closely cooperate with the IC developments groups at Infineon Technologies and KAI in Villach. This project will be supervised by Prof. Radu Grosu (radu.grosu-8zxNtbQCHXIjuwv8T7myQQ@public.gmane.org) from the Vienna University of Technology. 

Your Profile

Must have an university degree in either electrical engineering with focus on digital design or in computer engineering with focus on embedded systems. Experience with modern EDA tools for the design of silicon devices is mandatory, as well as fluent English. Willingness to travel between Vienna and Villach, is required. Some industry experience and basic German skills are preferred.

_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Marta Kwiatkowska | 17 Nov 15:52 2014
Picon
Picon

Up to 15 fully-funded doctoral studentships in CS at Oxford

[Apologies for multiple postings]

Following a generous donation by Google, the Department of Computer 
Science at the University of Oxford is delighted to invite applications 
for up to 15 fully-funded DPhil (Oxford'ss PhD) studentships tenable 
from 1st October 2015.

   http://www.cs.ox.ac.uk/files/6952/studentshipad.pdf

The University of Oxford is consistently ranked amongst the very best 
Computer Science departments in the world, for both teaching and 
research. We are committed to attracting the world's most talented 
students and working with them to continue the success of the department.

The topics for the studentships are open, but should relate to the 
interests of one of the Department's research areas: Algorithms, 
Artificial Intelligence, Automated Verification, Computational Biology, 
Foundations, Logic & Structures, Information Systems, Machine Learning, 
Multi-Agent Systems, Programming Languages, Security, Semantics and 
Software Engineering.  We also encourage applications in cross 
disciplinary areas such as Linguistics, Biology, Medicine and Quantum 
Foundations & Quantum Computation.

The studentships are for three years and are open to students of any 
nationality.  Each studentship will cover university and college fees 
with a stipend of at least £13,863 per year. Applicants are normally 
expected to have, or be predicted to achieve, a first-class or a strong 
upper second-class grade in either (i) a four-year undergraduate degree 
(with integrated masters) in a relevant subject (or equivalent 
international qualifications), or (ii) a three-year BSc/BA degree 
followed by excellent (distinction) performance in a master's degree in 
a relevant subject.

Applicants must obtain the support of a potential supervisor in the 
Department prior to submitting their application. Initial contact with 
supervisors should be made at least two weeks prior to the closing date 
for applications. Informal enquiries may be addressed to 
Julie.sheppard@... and for more information please see our 
webpages (http://www.cs.ox.ac.uk/).

Please apply online here  quoting 15-STUD-CS-01 in the studentship 
reference box:
https://apply.graduate.ox.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app_crs

Closing date for applications:  9th January 2015

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509
Email: Marta.Kwiatkowska@...
URL: http://www.cs.ox.ac.uk/people/marta.kwiatkowska/

Personal Assistant: Renate Henison
Email: Renate.Henison@...
Tel: +44 (0)1865 610650
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Arend Rensink | 20 Nov 13:18 2014
Picon
Picon

CfP: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015


============================================================================
                                Call for Papers

                         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: 
examples are
state space graphs, control flow graphs, syntax graphs, UML-type models 
of all
kinds, network layouts, social networks, dependency graphs, and so 
forth. Used
to model a particular phenomenon or process, graphs are then typically 
analysed
to find out properties of the modelled subject, or transformed to construct
other types of models.

     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 related areas, such as Social Network 
Analysis and
Bioinformatics.

=== Topics ===

     This workshop seeks to attract and stimulate research on the 
techniques for
graph analysis, inspection and transformation, on a general level rather 
than in
any specific domain. Thus, the concept of a graph (in its many guises) is
central; contributions should address scenarios for the use of graphs in a
modelling context that potentially transcend specific settings and can be
applied across domains. Good, well-known examples of such techniques are 
model
checking and graph transformation; but we welcome contributions on any 
of the
following (non-exhaustive) list of topics:

   - The use of graphs in software development, such as synthesis, planning,
     bug mitigation and repair.
   - The use of graphs in software analysis, such as verification, testing,
     static analysis, and simulation.
   - Graph search optimisation techniques such as state space reduction
     techniques and search heuristics.
   - Graph algorithms exploiting parallel and distributed architectures, 
such
     as clusters, grids and cloud platforms.
   - Graph algorithms exploiting dedicated hardware, such as graphics
     processing units and massive storage.
   - Dedicated algorithms or implementation techniques for graph matching,
     isomorphism checking, graph distance and other graph-based problems.
   - Stochastic processes on graphs, including random walks.
   - Analysis of large graphs, such as large state spaces, social 
network graphs,
     large networks, and big (graph) data.
   - Visual language definition and syntax, such as meta-modelling, 
grammars and
     graphical parsing.
   - Static and dynamic semantics of visual languages, including OCL, graph
     constraints, simulation and animation.
   - Model-to-model and model-to-text transformations and their 
application in
     model-driven development.
   - Visual modelling techniques and graph transformations for systems with
     quality properties like performance, real-time, safety, 
reliability, and
     energy consumption.
   - Case studies and applications.
   - Tool support for any of the above.

=== Workshop Format ===

This is a two-day workshop programmed as a mixture of:

   - Submitted paper presentations.
   - Fully interactive sessions, such as:
     . Community challenges:
       What open issues do you see? What unresolved, graph-related 
problems are
       you facing? Give a 5-minute presentation and receive 10 minutes of
       feedback and in-depth discussion from an involved audience.
     . Brainstorm groups:
       Be part of a small group for a 45-minute brainstorm discussion on 
a chosen
       topic concerning the use of graphs as models; think out of the 
box and
       bring back your conclusions afterwards.
     . Informal tool demos:
       Convince the audience in 10 minutes that they really need the
       functionality your graph-based tool offers.

=== Submissions ===

The workshop seeks submissions of three kinds:

   1.) Full papers: We solicit papers of up to 15 pages, in LaTeX format,
       containing original results. Accepted papers will be published in 
EPTCS
       (Electronic Proceedings in Theoretical Computer Science).

   2.) Work-in-progress papers: We solicit papers of up to 15 pages, in 
LaTeX
       format, describing ongoing research. Accepted papers will be 
presented at
       the workshop and might be selected for publication in EPTCS.

   3.) Informal tool demo proposals: Tool demos limited to 10 minutes. 
Proposals
       will not be reviewed, unless selection turns out to be needed.

Submissions of type 1.) and 2.) must adhere to the EPTCS format available at

       http://style.eptcs.org/

All contributions, including those of type 3.), should be submitted through
EasyChair at:

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

=== Important Dates ===

   - Deadline for submission: 16 January 2015
   - Notification: 13 February 2015
   - Final manuscript: 13 March 2015
   - Workshop: 11-12 April 2015

=== 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
Jiri Srba | 20 Nov 15:40 2014
Picon
Picon

Postdoc position in the group of prof. Kim G. Larsen (Aalborg University)

The distributed and embedded systems group of prof. Kim G. Larsen (Aalborg 
University, Denmark) is seeking qualified applicants for a postdoctoral 
researcher position connected to application of theoretical results 
on Collective Adaptive Systems Synthesis with Non-Zero-Sum Games to realistic 
cases taken from the domain of intelligent buildings related to the projects 
Intrepid (http://www.fp7-intrepid.eu/), Arrowhead (http://www.arrowhead.eu/) 
and Totalflex (http://www.totalflex.dk/In%20English/). The researcher will be
involved in adapting abstract games and control strategies into an executable
code on various platforms provided by the industrial partners of the projects. 
The principal investigators involved in the project are prof. Kim G. Larsen, 
assoc. prof. Arne Skou and assoc. prof. Jiri Srba. Researchers with 
the interest in applying formal methods into industrial case studies with a PhD
in one of the following areas are welcome to apply.

* Formal methods, model checking, verification and control synthesis.

* Game theory, control theory, hybrid and real-time systems.

* Programming languages and program analysis.

A successful applicant will get the possibility to work in a creative 
international environment and conduct a highly competitive research 
on a global scale. Within the research there are numerous opportunities 
to cooperate with highly recognized national and international partners. 
There is also the possibility to gain valuable experience in the emerging 
field of energy optimization of distributed embedded systems, in terms of 
new theoretical models and methods and in prototype systems. 

The candidate must hold a PhD degree with a top performance and have
a track record in conducting original competitive scientific research and 
publishing the results in reputable conferences and scientific journals. 
Maturity, self-motivation and the ability to work both independently and 
as a team player in local and international research teams are expected. 
Experience with software development, for example verification/analysis tool 
prototypes, is very welcome. We prefer to hire an individual with a good
balance between a solid theoretical background and a practical experience 
in software development. Good English language skills are mandatory.

The position is initially offered for the period of one year, starting 
as soon as possible and preferably in the first quarter of 2015. A competitive 
salary and social benefits will be offered.

Interested candidates may send further questions and a short statement 
of research interests, including their CV, to the Director of CISS,
prof. Kim Guldstrand Larsen (kgl@...).

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

Mohamed Yassin Chkouri | 12 Nov 01:00 2014
Picon

Workshop SESA’2014 : Call For Papers - Paper submission deadline - 15 November 2014


=========================================================================================
SESA’2014 : Workshop on

Software Engineering and Systems Architecture.

 

December 13, 2014 - Tetouan, Morroco

http://sesa2014.uae.ma/

 

Description :

To foster academic and industrial research in Morroco in innovative domains, the National School of Tetouan propose a common workshop for professors, researchers and students on the design of models and algorithms for embedded and networked systems.

Global Journal of Engineering Science band Researches, GJESR (ISSN- 2348 – 8034), will publish the 10 best papers (extended version) accepted by the SESA’2014 Workshop in a special issues. http://www.gjesr.com/

The workshop aims at highlighting recent results as well as presenting ongoing challenges in the following domains, but are not limited to :

-          Formal techniques for the construction of software with guaranteed safety;

-          Methods based on formal techniques for developing software,

-          Modeling and validating formal requirements,

-          Specializaiton and extension of modeling techniques and evaluation induced by application domains,

-          Parallel and distributed algorithmic for networks

-          Ad-hoc and wireless networks,

-          Fault-tolerance, attacks and security,

-          Embedded & Real-time systems,

-          Cloud and Grid Computing.

-          Distributed Systems

-          Natural Language Processing

-          E-learning


Invited Speakers :

-          Mamoun FILALI AMINE (Université Paul Sabatier , IRIT CNRS Laboratory, Toulouse -France-)

-          Farid NAIT ABDESSELAM ( Université Paris Descartes, LIPADE Laboratory, Paris -France-)

-          Ylies Falcon ( Université Joseph Fourrier, LIG Laboratory, Grenoble -France-)

Submissions :

Authors are invited to submit papers in English (4 pages) with double-column, reasonable margins and line spacing. Articles should be submitted through the dedicated Easychairs interface:

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

Accepted papers must be presented under two forms during the workshop: during a short presentation and during a poster session.

Important Dates :

-          Article submission          : November 15, 2014

-          Notification to authors     : November 30, 2014

-          Registration deadline      : December 1, 2014

-          Camera-ready version     : December 5, 2014

-          SESA 2014 Workshop     : December 16, 2014

Program Committee :

-          Nora AKNIN, Faculté des Sciences Tetouan

-          Mohamed Yassin CHKOURI, ENSAT Tetouan

-          Kamal Eddine EL KADIRI, ENSA Tetouan

-          Gilles SERASSETUniversity Joseph Fourier Grenoble, GETALP-LIG Laboratory, France

-         Olivier HABERT, University of Lorraine, LASC Laboratory - Metz, France

-         Farid NAIT ABDESSELAM, University Paris Descartes, LIPADE Laboratory - Paris, France

-          Rachid Ouald Haj Thami, ENSIAS – Rabat

-          Abdelaziz SDIGUI DOUKKALI, ENSIAS – Rabat

-          Mamoun FILALI AMINE, University Paul Sabatier, Toulouse - France

-          Abderrahim TAHIRI, National School of Applied Sciences (ENSA) of Tetouan

-          Yacine EL YOUNOUSSI, National School of Applied Sciences (ENSA) of Tetouan

-          Anouar ABTOY, National School of Applied Sciences (ENSA) of Tetouan

-          Jean-Paul BODEVEIXUniversité of Toulouse - France

-          Geroges Da COSTA Université of Toulouse - France

-          Hassan MOUNTASSIRInstitut Femto-ST - UMR CNRS  Besançon

-          Jaber EL BOUHDIDI, National School of Applied Sciences (ENSA) of Tetouan

-          Mohammed AL ACHHAB, National School of Applied Sciences (ENSA) of Tetouan,

-          Mohamed CHRAYAH, National School of Applied Sciences (ENSA) of Tetouan

-          Mohamed LAZAAR, National School of Applied Sciences (ENSA) of Tetouan

-         Abdelfattah HAMDANI, University of Mohammed V - Rabat Souissi

-          Abdellah YOUSFI, University of Mohammed V - Rabat Souissi

-          Habib BENLAHMER, Faculty of Science - BEN M'SIK CASABLANCA

-          Nourreddine MITTAFaculty of Science - Kenitra -Morocco-

-          Mohammad BENBOUBKER National School of Applied Sciences (ENSA)


Best regards,


-- 
Pr. CHKOURI M. Yassin
 
Ecole Nationale des Sciences Appliquées (ENSA)
Mhannech II, B.P 2121 Tetouan / Maroc
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Luca Aceto | 11 Nov 10:19 2014
Picon

Presburger Award for Young Scientists 2015: Call for Nominations

I encourage members of the concurrency theory community to submit excellent nominations for this prestigious young-researcher award. Nominated scientists must be at most 35 at the time of the deadline of nomination (i.e., for the Presburger Award of 2015 the date of birth should be in 1979 or later).

Luca

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

Presburger Award for Young Scientists 2015

Call for Nominations


Deadline: December 31st, 2014

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years at the time of the deadline of nomination (i.e., for the Presburger Award of 2015 the date of birth should be in 1979 or later). The Presburger Award Committee of 2015 consists of Zoltan Esik (Szeged), Claire Mathieu (Paris), and Peter Widmayer (Zürich, chair). Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent by e-mail to:

Peter Widmayer
widmayer-gy3b+zu4XSAfv37vnLkPlQ@public.gmane.org

The subject line of every nomination should start with Presburger Award 2015, and the message must be received before December 31st, 2014.

The award includes an amount of 1000 Euro and an invitation to ICALP 2015 for a lecture.

PreviousWinners:
Mikołaj Bojanczyk, 2010
Patricia Bouyer-Decitre, 2011
Venkatesan Guruswami and Mihai Patrascu, 2012
Erik Demaine, 2013
David Woodruff, 2014

Official website: http://www.eatcs.org/index.php/presburger

_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Luca Aceto | 11 Nov 09:41 2014
Picon

Call for nominations: EATCS Award 2015


The EATCS Award 2015

Call for Nominations

Deadline: December 31st, 2014

The European Association for Theoretical Computer Science (EATCS) annually honours a respected scientist from our community with the prestigious EATCS Distinguished Achievement Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career.  For the EATCS Award 2015, candidates may be nominated to the Award Committee consisting of
  • Fedor Fomin (University of Bergen),
  • Kim Guldstrand Larsen (Aalborg University) and 
  • Vladimiro Sassone (University of Southampton).
Nominations will be kept strictly confidential. They should include supporting justification and be sent by e-mail to the chair of the EATCS Award Committee:

Vladimiro Sassone
Email: vsassone-Fv7Bckdh1xP10XsdtD+oqA@public.gmane.org

The list of previous recipients of the EATCS Award is at

http://eatcs.org/index.php/eatcs-award

The next award will be presented during ICALP 2015 in Kyoto, Japan
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Gmane