Miao, Wang | 12 May 12:50 2015

Call for Papers: The 13th IEEE International Conference on Pervasive Intelligence and Computing (PICom-2015)

[Please accept our apologies if you receive multiple copies of this email]

**************************** IEEE PICom-2015 CFP ***************************

The 13th IEEE International Conference on Pervasive Intelligence and Computing



Liverpool, England, UK, 26-28 October 2015

Sponsored by
IEEE, IEEE Computer Society and IEEE Technical Committee of Scalable Computing (TCSC)

Over the last fifty years, computational intelligence has evolved from logic-based artificial intelligence, nature-inspired soft computing, and social-oriented agent technology to cyber-physical integrated ubiquitous intelligence towards Pervasive Intelligence (PI). The International Conference on Pervasive Intelligence and Computing is intended to cover all kinds of these intelligent paradigms as well as their applications in various pervasive computing. PICom-2015 is the next event, in a series of highly successful International Conferences on Pervasive Intelligence and Computing (PICom), previously held as PCC-2003 (Las Vegas, USA, June 2003), PCC-2004 (Las Vegas, USA, June 2004), PSC-2005 (Las Vegas, USA, June 2005), PCAC-2006 (Vienna, Austria, April 2006), PCAC-2007 (Niagara Falls, Canada, May 2007) , IPC-2007 (Jeju, Korea, December 2007), IPC-2008 (Sydney, Australia, December 2008), PICom-2009 (Chengdu, China, December 2009), PICom-2011 (Sydney, Australia, December 2011), PICom-2012 (Changzhou, China, December 2012), PICom-2013 (Chengdu, China, December 2013), and PICom-2014 (Dalian, China, August 2014).

PICom-2015 will be held on 26-28 October 2015 in Liverpool, UK. The goal of this year’s event is to bring together computer scientists, industrial engineers, and researchers to discuss and exchange experimental and theoretical results, novel designs, work-in-progress, experience, case studies, and trend-setting ideas in the areas of Pervasive Intelligence and Computing.



Topics of particular interests include the following tracks, but are not limited to:

·      Artificial Intelligence & Knowledge Computing

·      Autonomous Agents and Multiagent Systems

·      Nature-inspired Intelligence & Soft Computing

·      Social Intelligence & Agent-based Computing

·      Ubiquitous Intelligence & Cyber-Physical Computing

·      The Internet of Things

·      Embedded Hardware, Software & Systems

·      Pervasive Computers and Devices, Wearable Computers, RFIDs, Sensor technology

·      Pervasive Networks & Communications

·      Pervasive Services & Systems, EaaS, SaaS, IaaS, PaaS

·      Multimedia Technologies & Applications

·      Intelligent HCI Design

·      Pervasive Electronic Market Management

·      Pervasive Mobile Commerce

·      Handheld Computing

·      Context-Aware Computing

·      Situation-Aware Reasoning and Recognition

·      Mobile Data Mining

·      Ubiquitous Data Mining

·      Activity Recognition

·      Cloud Computing and Services for Pervasive Computing

·      Smart Urban Spaces

·      Intelligent Social Networking 

·      Pervasive Technologies for Intelligent Transportation Systems

·      Smart Homes

·      Software Engineering

·      Big Data

·      Ambient Intelligence

·      HCI for Pervasive Computing

·      Evolutionary Computation

·      Multimedia over Cognitive Radio Networks

·      Multimedia over Wireless Ad-hoc and P2P Networks

·      Mobility and Multimedia Data Traffic Modeling

·      Mobile Multimedia Test-beds And Related Research Infrastructures

·      Rapid Application Development for Mobile, Pervasive and Ubiquitous Systems



Workshop Proposal

30 April 2015

Submission Deadline:

15 June 2015

Authors Notification:

15 August 2015

Camera-ready Paper Due:

15 September 2015

Registration Due:

15 September 2015

Conference Date:

26-28 October 2015


All papers need to be submitted electronically through the conference website (http://cse.stfx.ca/~picom2015/sub/) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). You can confirm the IEEE Computer Society Proceedings Author Guidelines at the following web page: http://www.computer.org/web/cs-cps/

Once accepted, the paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference.


Concurrency mailing list
Ningfang Mi | 11 May 21:07 2015

Call For Participation: IEEE ICAC'15, Grenoble, France, July 7-10, 2015


The 12th IEEE International Conference on Autonomic Computing
Grenoble, France, July 7-10, 2015
In cooperation with USENIX and SPEC
Corporate supporters: Google, HP Labs, Orange Labs


The early registration prices end on June 02, 2015 (23:59 UTC/GMT +2H, Paris).



ICAC 2015 has feature three keynote talks:

  • ·        Prof. Jeremy Pitt (Imperial College London): Governance, Justice and Paradox in Self-Organising Rule-Oriented Systems
  • ·        Prof. Tarek Abdelzaher (University of Illinois): The Social Frontier for Autonomic Systems
  • ·        Dr. Alexander Keller (IBM): A Service Provider Perspective of the past 12 Years of Autonomic Computing

For more information see the http://icac2015.imag.fr/keynotes/.

Accepted Papers

Full papers

  • ·        A Mission-Oriented Service Discovery Mechanism for Highly Dynamic Autonomous Swarms of Unmanned Systems. Vincent Autefage, Serge Chaumette and Damien Magoni.
  • ·        Model-driven Geo-Elasticity In Database Clouds. Tian Guo and Prashant Shenoy.
  • ·        Distributed Real-time Event Analysis. Julian James Stephen, Daniel Gmach, Rob Block, Adit Madan and Alvin Auyoung.
  • ·        Ubora: Measuring and Managing Answer Quality for Online Data-Intensive Services. Jaimie Kelley, Christopher Stewart, Devesh Tiwari, Yuxiong He, Sameh Elnikety and Nathaniel Morris.
  • ·        Towards Security-Aware Virtual Server Migration Optimization to the Cloud. Bowu Zhang, Jinho Hwang, Liran Ma and Timothy Wood.
  • ·        SocialTrove: A Self-summarizing Storage Service for Social Sensing. Md Tanvir Al Amin, Shen Li,Muntasir Raihan Rahman, Panindra Tumkur Seetharamu, Shiguang Wang, Tarek Abdelzaher, Indranil Gupta,Mudhakar Srivatsa, Raghu Ganti, Reaz Ahmed and Hieu Le.
  • ·        ICE: An Integrated Configuration Engine for Interference Mitigation in Cloud Services. Amiya Maji, Subrata Mitra and Saurabh Bagchi.
  • ·        Behavioural Model-based Control for Autonomic Software Components. Frederico Alvares De Oliveira,Eric Rutten and Lionel Seinturier.
  • ·        Revenue Driven Resource Allocation for Virtualized Data Centers. Sajib Kundu, Raju Rangaswami, Ming Zhao, Ajay Gulati and Kaushik Dutta.
  • ·        Centaur: Host-side SSD Caching for Storage Performance Control. Ricardo Koller, Ali Mashtizadeh and Raju Rangaswami.
  • ·        Optimizing Energy, Locality and Priority in a MapReduce Cluster. Yijun Ying, Robert Birke, Cheng Wang, Lydia Y. Chen and Gautam Natarajan.
  • ·        CADRE: Carbon-Aware Data Replication for Geo-Diverse Services. Zichen Xu, Nan Deng, Chris Stewart and Xiaorui Wang.
  • ·        Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems. Mainak Ghosh, Wenting Wang, Gopalakrishna Holla and Indranil Gupta.
  • ·        QoS-driven Cloud Resource Management through Fuzzy Model Predictive Control. Lixi Wang, Jing Xu and Ming Zhao.

Short Papers

  • ·        A Symbiotic Cognitive Computing Perspective on Autonomic Computing. Jeffrey Kephart and Jonathan Lenchner.
  • ·        Towards Reusability in Autonomic Computing. Christian Krupitzer, Felix Maximilian Roth, Sebastian Vansyckel and Christian Becker.
  • ·        Cost Minimization using Renewable Cooling and Thermal Energy Storage in CDNs. Stephen Lee, Rahul Urgaonkar, Ramesh Sitaraman and Prashant Shenoy.
  • ·        Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream? Daniel Dean, Peipei Wang, Xiaohui Gu, William Enck and Guoliang Jin.

Experience Paper

  • ·        Organic Architecture for Energy Management and Smart Grids. Ingo Mauser, Christian Hirsch, Sebastian Kochanneck and Hartmut Schmeck.


In addition, the ICAC’2015 program will include interesting Work in Progress and Poster Sessions

Ningfang Mi
Assistant Professor
Department of Electrical and Computer Engineering 
Northeastern University
Concurrency mailing list
Gilles Geeraerts | 9 May 15:17 2015

Petri Nets 2015 and ACSD 2015: 2nd call for participation (early registration ends on May, 15th)

**** Apologies for multiple copies due to cross-posting ****
*** Please forward to colleagues who might be interested ***

                      * CALL FOR PARTICIPATION *

36th International Conference On Application and Theory of  Petri Nets
and Other Models of Concurrency (*Petri Nets 2015*)


15th International Conference on Application of Concurrency to System Design
(*ACSD 2015*)

Co-located in Brussels, Belgium, 21-26 June 2015

Conference website: http://www.ulb.ac.be/di/verif/pn2015acsd2015/

                            * IMPORTANT *

-> Early registration ends on May, 15th

-> We are still welcoming proposals for the tool exhibition (see hereunder)

-> The call for paper of the PNSE workshop is still open until May, 15th

Please visit: http://www.ulb.ac.be/di/verif/pn2015acsd2015/registration.html


- Andrew Brown (Southampton, UK): SpiNNaker – a neural simulation

- Marlon Dumas (Tartu, Estonia): Process Mining Reloaded:
       Event Structures as a Unified Representation of Process Models 
       and Event Logs

- Marta Kwiatkowska (Oxford, U.K): On quantitative modelling and verification
        of DNA walker circuits using stochastic Petri nets

- Robert Lorenz (Augsburg, Germany): Modeling Quantitative Aspects of 
        Concurrent Systems using Weighted Petri Net Transducers

We are very sorry to announce that, due to personal reasons,
Prof. Michael Rabin will not be able to deliver the `Distinguished
Petri lecture', contrary to what was previously announced.


- Petri net course: Basic net classes, Coloured Petri nets and
      Timed and stochastic Petri nets
    June, 21st and 22nd
    Lecturers: Joerg Desel, Lars Kristensen and Serge Haddad
    Organisers: Joerg Desel and Jetty Kleijn

- Tutorial: Modeling, Synthesis and Verification of Hardware
    Organiser: Alex Yakovlev 
    June, 23rd

- Tutorial: From Symmetric Nets to Symmetric Nets with Bags
    Organisers: Fabrice Kordon, Laure Petrucci and Souheib Baarir
    June, 23rd


- ATAED 2015
  Algorithms and Theories for the Analysis of Event Data 
  Organisers: Wil Van der Aalst, Robin Bergenthum and Josep Carmona

- PNSE 2015
  Petri Nets and Software Engineering
  Organisers: Daniel Moldt, Harald Störrle and Heiko Rölke 
  *Deadline for papers*: May, 15th

- BioPPN 2015
  Biological Processes and Petri Nets
  Organisers: Anegret Wagler and Monika Heiner

- ADECS 2015
  Petri Nets for Adaptive Discrete-Event Control Systems
  Organisers: Kamel Barkaoui and Chadlia Jerad


The Model Checking Contest called for model and tool submissions
with the objective to compare the efficiency of techniques according
to characteristics of models.  The results of the contest are
presented in a session close to the workshops.


The Tool Exhibition consists of informal demonstrations for small
groups/individuals without any scheduled talks. If you want to present
your favourite tool during the session, send an e-mail to the 
organisers: pn2015 at lit.ulb.ac.be. Posters are welcome too.

Contact OC Chair : pn2015 at lit.ulb.ac.be

Université libre de Bruxelles (ULB)

Home Page: http://www.ulb.ac.be/di/verif/ggeeraer
Federated Center in Verification: http://cfv.ulb.ac.be
Belgian olympiad of computer science: http://www.be-oi.be

Concurrency mailing list
Concurrency <at> listserver.tue.nl
Dana Fisman | 11 May 05:27 2015

SyGuS-COMP 2015: Call for Benchmarks and Solvers

SyGuS-COMP 2015: 2nd Syntax Guided Synthesis Competition
                      Satellite event of CAV and SYNT 2015

Important Dates:

Benchmark Submission Deadline: 31 May 2015

Solver Submission Deadline: 15 June 2015

Competition Date: 28 June 2015

Results published: 10 July 2015

Solver Presentations: 18 July 2015 (with SYNT)

Submission Links:

Benchmark submission

Solver submission

Call for Participation:

This is a call for participation for the Second Syntax-Guided Synthesis Competition to be organized as a satellite event of SYNT/CAV 2015.

The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowing the user to supplement the logical specification with a syntactic template that constrains the space of allowed implementation. The motivation is twofold. First, narrowing the space of implementations makes the synthesis problem more tractable. Second, providing a specific syntax can potentially lead to better optimizations.

The input to the syntax-guided synthesis problem (SyGuS) consists of a background theory, a semantic correctness specification for the desired program given by a logical formula, and a syntactic set of candidate implementations given by a grammar. The computational problem then is to find an implementation from the set of candidate expressions that satisfies the specification in the given theory.

The SyGuS-Comp competition will allow solvers to compete on a collection of benchmarks and advance the state-of-the-art for program-synthesis tools. The competition is organized as part of NSF Expeditions in Computing project ExCAPE by Rajeev Alur (Penn), Dana Fisman (Penn), Rishabh Singh (Microsoft Research) and Armando Solar-Lezama (MIT). For questions regarding the competition please contact the organizers at sygus-organizers-hkHJxBBPWjbG6jMu9gPlYQ@public.gmane.org.


In addition to a general track (similar to last year's competition), we will also be having two special tracks: 1) Invariant Synthesis track, and 2) Conditional Linear Integer Arithmetic track. The Invariant Synthesis track would consist of invariant synthesis benchmarks over linear integer arithmetic where the correctness specification would be structured in the form of pre-condition, post-condition, and a transition relation. The Conditional Linear Integer Arithmetic track would consist of synthesis benchmarks where the grammar of candidate implementations will be fixed generating expressions in the theory of linear integer arithmetic with Boolean conditionals. [See here the enhanced SyGuS-IF syntax.] 

Benchmarks for the competition

We will evaluate the solvers on a subset of public benchmarks and some secret benchmarks. The benchmarks domain areas include bit-vector manipulation, including bit-vector algorithms, concurrency, robotics, and invariant generation. We are still finalizing the set of benchmarks, and would appreciate your contribution especially for the newer tracks of invariant synthesis and conditional linear integer arithmetic. [benchmark submission link]


Evaluation of the solvers will be done on the StarExec system (200 dual quad-core machines with 256GB memory each). The solvers would be run with a TIMEOUT value. The SyGuS-correctness checker, as well as two initial solvers (enumerative and stochastic) are available on the SyGuS community at StarExec. Candidate participants are invited to register to StarExec where they can easily and discreetly compare their solvers to the initial ones against the public benchmarks.

Scoring Scheme

The solvers scores will be based primarily on the number of benchmark solved and the solving time, and secondarily on the succinctness of the synthesized solution.

Tool Submission and Description

We expect the tool developers to test their solvers on the public benchmarks, and submit the solver binaries by the Solver submission deadline. Each solver submission should be accompanied by a 1-2 page (IEEE format) description of the key ideas of the solvers. [solver submission link]

Licensing of Tools and Benchmarks:

All benchmarks will be made public after the competition. We encourage the tool developers to make their solvers open-source, but participants are welcomed to submit binaries of proprietary tools as well.

Best regards,
SyGuS-COMP15 Organizers

Concurrency mailing list
Abdallah Khreishah | 12 May 20:22 2015

The International Workshop on Networking Algorithms and Technologies for IoT (NAT-IoT 2015): August 17-20, 2015, Belfort, France

The International Workshop on Networking Algorithms and Technologies for IoT (NAT-IoT 2015)
August 17-20, 2015, Belfort, France 
In Cojuction with the 10th International Conference on Future Networks and Communications
The international workshop on networking algorithms and technologies for IoT (NAT-IoT) seeks to bring people from both industry and academia to present high quality papers on the networking aspects of the emerging concept of Internet of Things. 
Topics of Interests: 

Including but not limited to 

Lightweight protocols for IoT such as Efficient XML Interchange (EXI) and JavaScript Object Notation (JSON). 
Interworking of IoT with other technologies and systems such as Network Functions Virtualization (NFV) and cloud computing. 
Naming and addressing for the IoT. 
Optimization and enhancement of the currently standardized IoT architectures.
Applications of IoT: Smart Homes, smart cities, etc.
IoT/M2M Management: Device management evolutions, Autonomous management, Conflict management, service harmonization. 
Security, Trust, Privacy and Identity in the IoT. 
Important Dates : 
  • Paper Submission: May 22, 2015
  • Author's Notification: June 01, 2015
  • Camera-ready paper submission : June 14, 2015
Papers Submissions Guidelines:
The submitted paper must be formatted according to the guidelines of Procedia Computer Science, MS Word Template, Latex , Template Generic , Elsevier. Submitted technical papers must be no longer than 6 pages including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system in PDF format before the deadline (see Important Dates).
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.
All accepted papers will be scheduled for oral presentations and will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one author of each accepted paper is required to register and attend the conference to present the work.
Selected Papers from the workshop will be invited to submit extended versions to one of the following Special issues: 


Workshop co-Chairs: 
Ala Al-Fuqaha, Western Michigan University, USA 
Issa Khalil, Qatar Foundation, Qatar 
Technical Program co-Chairs: 
Abdallah Khreishah, New Jersey Institute of Technology, USA
Moussa Ayyash, Chicago State University, USA
Yaser Jararweh, Jordan University of Science and Technology, Jordan
Invited Speaker and Panel Chair:
Elhadj Benkhelifa, Staffordshire University, UK.
Publicity Chair 
Haythem Bany Salameh, Yarmouk University, Jordan 


Please send any inquiry on NAT-IoT 2015 to Abdallah-ibM/kCCv768@public.gmane.org 

Concurrency mailing list
Schewe, Sven | 15 May 15:05 2015

PhD Positions at the University of Liverpool

The Department of Computer Science of the University of Liverpool offers a number of PhD positions in the research fields pursued in the department. We have two positions available for home and EU students in Computer Science for starting in, or shortly after, October 2015.

Our research is centred around the following themes:

algorithmic game theory
algorithmic mechanism design
algorithms and data structures
approximation algorithms
agent logics
argumentation and dialogue
automata and game theory
automated reasoning
autonomous agents
bioinformatics, computational biology and medicine
complexity of equilibria
computational complexity and computability theory
computational economics
control theory
data mining
database theory
distributed and parallel computing
graph algorithms
machine learning
Markov chains and decision processes
multi agent systems
natural language processing
network and congestion games
network communication
randomised algorithms and data structures
scheduling and energy optimisation
temporal logics

To learn more about our exciting research environment, staff, and students, we encourage you to study the pages of our research groups on
Agents http://www.csc.liv.ac.uk/research/agents/,
Complexity Theory and Algorithms http://www.csc.liv.ac.uk/research/ctag/,
Economics and Computation http://www.csc.liv.ac.uk/research/ecco/, and
Logic and Computation http://www.csc.liv.ac.uk/research/logics/
and to contact prospective supervisors to discuss a research topic before you apply.

You can apply through http://www.liv.ac.uk/study/postgraduate/applying/.

The deadline for this application round is Friday, June 12. While applications will be possible until all positions are filled, your chances will be increased by applying before this deadline.

Please do not hesitate to ask (sven.schewe-sZfJFUT1i4lOXXNyRuEUqw@public.gmane.org or hannahf <at> liverpool.ac.uk) if you have any questions.
Concurrency mailing list
Dr. Tayseer ALkhdour | 4 May 22:50 2015

CFPs: The 3rd International Workshop on Sensor Cloud (SC 2015)

The 3rd  International Workshop on Sensor Cloud (SC 2015)

In conjunction with the 6th  International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)

September 27-30, 2015.

Berlin, Germany

Workshop Website : https://sites.google.com/site/thirdsensorcloud/


Important Dates :


- Papers Submission Deadline:    June 10, 2015

- Acceptance Notification:            June 26, 2015

- Camera-Ready Submission:     July 24, 2015


Research and applications of Wireless Sensor Networks (WSNs) and Cloud Computing (CC) continue to grow. The integration of the sensor networks and cloud computing play a vital role in the advancement of modern sensor technology with the strength of cloud computing. The aim of sensor cloud (SC) is to make the sensed and processed data accessible from distributed networks. With sensor clouds, large-scale data can be collected, processed, and shared among multiple networks. SC raises many research and practical challenges such as event processing and management, real time data processing, large scale computing infrastructure and frameworks, and harvesting collective intelligence.

The 3rd  International Workshop on Sensor Cloud (SC 2015) will be held in conjunction with the 6th  International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) at Berlin, Germany, September 27-30, 2015.

The goal of the SC 2015 workshop is to bring together multi-disciplinary researchers, professionals and practitioners from academia and industry who are involved in the fields of both WSNs and CC to discuss recent advances and innovative ideas in these fields. The workshop solicits papers on either completed or ongoing research in the following topics (but not limited to): 


Topics of Interest:

·        Mobility in Sensor Clouds

·        Monitoring techniques/mechanism for Sensor-Cloud infrastructure

·        Performance management of sensor in cloud (Algorithms and Protocols)

·        Platform to manage sensory data in the clouds.

·        Provisioning of virtual sensor in cloud

·        Security and Reliability issues in Sensor Cloud

·        QoS guarantees for sensing technologies

·        Sensor Cloud enabled applications (e.g., Health-care, Traffic management, Weather monitoring and Surveillance)

·        Sensor Cloud Intelligence

·        Sensor Cloud management (Aggregation, Enablement, Interoperability and Resource management)

·        Sensor Cloud vision: Case-studies, Challenges, Lesson-learnt and Opportunities

·        Smart tags, location aware remote sensing and RFID as Services (Raas) in clouds

·        Standardization mechanism/functions for Sensor Cloud



All SC 2015 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 Science is  hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Thomson Reuters'  Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/).



Concurrency mailing list
Sophie Pinchinat | 4 May 21:37 2015


TTL 2015


The 4th International Conference on Tools for Teaching Logic


9-12 June 2015, Rennes, France


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.


  • Gilles Dowek (INRIA Rocquencourt, France)

  • Mordechai Ben-Ari (Weizmann Institute of Science, Israel)

  • Claude Kirchner (INRIA, France)

  • Johan van Benthem (University of Amsterdam and Stanford university)

  • Patrick Blackburn (University of Roskilde, Denmark)

  • Nicole Schweikardt (Humboldt-Universität, Berlin)


  • M. Antonia Huertas Sánchez (Universitat Oberta de Catalunya, Spain)

  • Joao Marcos (Universidade Federal Do Rio Grande do Norte, Brazil)

  • María Manzano (Universidad de Salamanca, Spain)

  • Sophie Pinchinat (Université Rennes 1 / IRISA, France)

  • François Schwarzentruber (ENS Rennes / IRISA, France)


  • Giovanna d’Agostino (University of Udine, Italy)

  • Carlos Areces (Univeridad Nacional de Córdoba, Argentina)

  • Philippe Besnard (IRIT / CNRS, Toulouse, France)

  • Iliano Cervesato (Carnegie Mellon University - Qatar campus)

  • Hans van Ditmarsch (LORIA / CNRS, Nancy, France)

  • Ulle Endriss (Institute for Logic, Language and Computation, university of Amsterdam, Netherlands)

  • Susanna Epp (DePaul university, Chicago, USA)

  • Annie Foret (Université de Rennes 1 / IRISA, France)

  • María José Frápolli (Universidad de Granada, Spain)

  • Tim French (University of Western Australia)

  • Olivier Gasquet (University of Toulouse 3 / IRIT, France)

  • Patrick Girard (University of Auckland, New Zealand)

  • Hubert Marraud González (Universidad autonoma de Madrid)

  • Valentin Goranko (Stockholm University, Sweden)

  • Andreas Herzig (IRIT / CNRS, Toulouse, France)

  • Colin de la Higuera (University in Nantes, France)

  • Steffen Hölldobler (Technische Universität Dresden, Germany)

  • Theo Janssen (Vrije Universiteit Amsterdam, Netherlands)

  • Fenrong Liu (Tsinghua University, China and university of Amsterdam, Netherlands)

  • Josje Lodder (Open University of the Netherlands)

  • Concepción Martínez Vidal (Universidad de Santiago, Spain)

  • Manuel Martins (University of Aveiro, Portugal)

  • Angelo Montanari (University of Udine, Italy)

  • Angel Nepomuceno (Universidad de Sevilla, Spain)

  • Valeria de Paiva (Nuance Communications, Inc., USA)

  • Ram Ramanujam (The Institute of Mathematical Sciences, Chennai, India)

  • Christian Rétoré (Université de Montpellier / LIRMM, France)

  • Giovanni Sambin (Università degli studi di Padova, Italy)

  • Martin Strecker (Université de Toulouse 3, France)

  • Sergio Tessaris (Free University of Bozen-Bolzano, Italy)

  • Helmut Veith (Vienna University of Technology, Austria)

  • Audrey Yap (University of Victoria, Canada)

Concurrency mailing list
liyuanfang | 7 May 13:57 2015

Associate Professor (Software Engineering) position at Monash University

The Faculty of Information Technology at Monash University is seeking an experienced academic in the
field of Software Engineering, with a demonstrated track record of excellence in teaching and research,
to lead its Software Engineering programs.

A member of the prestigious Australian Group of Eight Universities, Monash University is the only
Australian university with a dedicated Faculty of IT, where both our research and education programs
cover the full span of IT, from Computer Science and Software Engineering, through Networks and
Security, to Business Information Systems and the Digital Humanities. 

This Associate Professor (Level D) position will be located at our Clayton campus (located in Melbourne's
south-eastern suburbs), where we offer a 4-year Bachelor of Software Engineering degree, accredited by
both Engineers Australia and the Australian Computer Society.

Monash is seeking to boost its existing expertise in Software Engineering, and the successful applicant
will be asked to lead a new hiring round for further Lecturer/Senior Lecturer positions.

For full details and to apply, see here:

Closing date: Sunday 14 June 2015, 11:55pm Aus. Eastern Standard Time

Enquiries: Prof. Graham Farr, Head of Campus, Clayton, Faculty of IT +61 3 9905 5201. email: graham.farr@...
Concurrency mailing list
Giuseppe Lettieri | 5 May 11:22 2015

[Call for papers] The Third International Conference for the History and Philosophy of Computing (HaPoC 2015)

We apologize in advance if you receive multiple copies of this CFPs.
We really appreciate your help if you forward this CFPs to your email lists.

******************  SUBMISSION DEADLINE: JUNE 19, 2015 ****************
*   Submission Website:                                               *
*  https://www.easychair.org/conferences/?conf=hapoc2015              *

                            Call For Papers

HaPoC 3: Third International Conference for the History and Philosophy 
of Computing

October 8--11, 2015

Pisa, Italy

URL: http://hapoc2015.sciencesconf.org/

The DHST commission for the history and philosophy of computing 
(www.hapoc.org) is happy to announce the third HAPOC conference. The 
seriesaims at creating an interdisciplinary focus on computing, 
stimulating a dialogue between the historical and philosophical 
viewpoints. To this end, the conference hopes to bring together 
researchers interested in the historical developments of computing, as 
well as those reflecting on the sociological and philosophical issues 
springing from the rise and ubiquity of computing machines in the 
contemporary landscape. In the past editions, the conference has 
successfully presented a variety of voices, contributing to the creation 
of a fruitful dialogue between researchers with different backgrounds 
and sensibilities.

For HaPoC 2015 we welcome contributions from historians and philosophers 
of computing as well as from philosophically aware computer scientists 
and mathematicians. Topics include but are not limited to

     History and Philosophy of Computation (interpretation of the 
Church-Turing thesis; models of computation; logical/mathematical 
foundations of computer science; information theory...)
     History and Philosophy of Programming (classes of programming 
languages; philosophical status of programming...)
     History and Philosophy of the Computer (from calculating machines 
to the future of the computer; user interfaces; abstract architectures...)
     History and Epistemology of the use of Computing in the sciences 
(simulation vs. modelisation; computer-assisted proofs; linguistics...)
     Computing and the Arts: historical and conceptual issues 
(temporality in digital art; narration in interactive art work...)
     Social, ethical and pedagogical aspects of Computing (pedagogy of 
computer science; algorithms and copyright; internet, culture, society...)

We cordially invite researchers working in a field relevant to the main 
topics of the conference to submit a short abstract of approximately 200 
words and an extended abstract of at most a 1000 words (references 
included) to the EasyChair conference page.

Abstracts must be written in English and anonymised. Please note that 
the format of uploaded files must be either .pdf or .doc. In order to 
access the submission page, an EasyChair account will be required. 
Please notice that what is called “abstract” in the EasyChair “Title, 
Abstract and Other Information” section corresponds to the short 
abstract of this call, and what is called “paper” in the EasyChair 
“Upload Paper” section corresponds to the extended abstract of this call.

A post-proceedings volume is going to appear in the IFIP Advances in 
Information and Communication Technology series, published by Springer.

Dr. Ing. Giuseppe Lettieri
Dipartimento di Ingegneria della Informazione
Universita' di Pisa
Largo Lucio Lazzarino 1, 56122 Pisa - Italy
Ph. : (+39) 050-2217.649 (direct) .599 (switch)
Fax : (+39) 050-2217.600
e-mail: g.lettieri <at> iet.unipi.it

Dr. Ing. Giuseppe Lettieri
Dipartimento di Ingegneria della Informazione
Universita' di Pisa
Largo Lucio Lazzarino 1, 56122 Pisa - Italy
Ph. : (+39) 050-2217.649 (direct) .599 (switch)
Fax : (+39) 050-2217.600
e-mail: g.lettieri <at> iet.unipi.it
Concurrency mailing list
Concurrency <at> listserver.tue.nl
Frank D. Valencia | 7 May 02:34 2015

2nd CfP: ICTAC 2015 - Cali, Colombia

                2nd CALL FOR PAPERS -- ICTAC 2015
                 12th International Colloquium on
                 Theoretical Aspects of Computing
               29-31 October 2015, Cali, Colombia
                      ** http://www.ictac2015.co **


ICTAC 2015 will take place at the campus of Universidad Javeriana, Cali,
Colombia during October 29-31, 2015.  The ICTAC conference series aims
at bringing together practitioners and researchers to exchange ideas and
experiences addressing challenges in theoretical aspects of computing as
well as in exploiting theory through methods and tools for system
development.  ICTAC also aims to promote cooperation between
participants and institutions from developing and industrial countries
in research and education.

Topics of interest include theories of computation and programming,
foundations of software engineering and formal techniques in software
design and verification, as well as  tools that support formal
techniques for software modeling, system design and verification.

The topical areas of the conference include, but are not limited to
*     Automata theory and formal languages;
*     Principles and semantics of programming languages;
*     Theories of concurrency, mobility and reconfiguration;
*     Logics and their applications;
*     Software architectures, their models, refinement and verification;
*     Relationship between software requirements, models and code;
*     Program static and dynamic analysis and verification;
*     Software specification, refinement, verification and testing;
*     Model checking and theorem proving;
*     Models of object and component systems;
*     Coordination and feature interaction;
*     Integration of theories, formal methods and tools for engineering
computing systems;
*     Service-oriented architectures: models and development methods;
*     Models of concurrency, security, and mobility;
*     Theory of distributed, grid and cloud computing;
*     Real-time, embedded, hybrid and cyber-physical systems;
*     Type and category theory in computer science.

* Jean-Raymond Abrial
* Volker Diekert
* César Muñoz
* Catuscia Palamidessi
* Davide Sangiorgi
* Moshe Vardi
* Glynn Winskel

* ICTAC Summer School on Formal Methods (October 25-27)
* DCM 2015: 11th International Workshop on Developments in Computational
Models (October 28)

== Important Dates
* Abstract submission: Monday, June 1, 2015.
* Paper submission:   Friday, June 5, 2015.
* Author notification:  Monday, July 20, 2015.
* Camera ready:  Monday, August 3, 2015.

== Paper Categories and Format
We call for submissions, related to the above areas and topics,
according to the following three categories:
* Regular papers, with original research contributions;
* Short papers, on recent work or proposals of emerging challenges;
* Tool papers, on tools that support formal techniques for software
modeling, system design and verification.
Submissions should adhere to the LNCS format (see
http://www.springer.de/comp/lncs/authors.htmlfor details). Regular
papers should not exceed 18 pages. Short and tool papers should not
exceed 10 pages.

Submissions to the colloquium must not have been published or be
concurrently considered for publication elsewhere. All submissions will
be judged on the basis of originality, contribution to the field,
technical and presentation quality, as well as their relevance to the

==Submission Link
Papers must be submitted by using

As for the past editions, the proceedings of ICTAC 2015 will be
published by Springer in the series Lecture Notes in Computer Science

==Special Issue
Extended versions of selected papers from ICTAC 2015 will be invited to
a special issue of Mathematical Structures in Computer Science

* Martin Leucker, University of Luebeck (DE).
* Camilo Rueda, Pontificia Universidad Javeriana - Cali (CO).
* Frank Valencia, CNRS and LIX, Ecole Polytechnique (FR).

* Frank D. Valencia (frank.valencia-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org).

* Nazareno Aguirre (AR)
* Gerard Assayag (FR)
* Mauricio Ayala-Rincón (BR)
* Pablo Barceló (CL)
* Gustavo Betarte (UY)
* Filippo Bonchi (FR)
* Marco Carbone (DK)
* Ilaria Castellani (FR)
* Néstor Cataño (CO)
* Gabriel Ciobanu (RO)
* Silvia Crafa (IT)
* Pedro R. D'Argenio (AR)
* Nicolas D'Ippolito (AR)
* Stefan Dantchev (UK)
* Rocco De Nicola (IT)
* Yuxin Deng (CN)
* Gilles Dowek (FR)
* Moreno Falaschi (IT)
* José Luiz Fiadeiro (UK)
* Wan Fokkink (NL)
* Fabio Gadducci (IT)
* Julian Gutierrez (UK)
* Stefan Haar (FR)
* Thomas Hildebrandt (DK)
* Einar Broch Johnsen (NO)
* Bartek Klin (PL)
* Marta Kwiatkowska (UK)
* Kim G. Larsen (DK)
* Martin Leucker (DE) (co-chair)
* Etienne Lozes (FR)
* Larissa Meinicke (AU)
* Hernan Melgratti (AR)
* Dominique Mery (FR)
* Matteo Mio (FR)
* Andrzej Murawski (UK)
* Vivek Nigam (BR)
* Mauricio Osorio (MX)
* Prakash Panangaden (CA)
* Jorge A. Pérez (NL)
* Elaine Pimentel (BR)
* António Ravara (PT)
* Camilo Rocha (CO)
* Camilo Rueda (CO) (co-chair)
* Augusto Sampaio (BR)
* Vijay Saraswat (US)
* Vladimiro Sassone (UK)
* Gerardo Schneider (SE)
* Alexandra Silva (NL)
* Jiri Srba (DK)
* Jean-Bernard Stefani (FR)
* Perdita Stevens (UK)
* Kohei Suenaga (JP)
* Alwen Tiu (SG)
* Kazunori Ueda (JP)
* Frank Valencia (FR) (co-chair)
* Vasco T. Vasconcelos (PT)
* Kapil Vaswani (IN)
* Björn Victor (SE)
* Igor Walukiewicz (FR)
* Farn Wang (TW)
* Alan Wassyng (CA)
* Gianluigi Zavattaro (IT)
Frank D. Valencia
CNRS and LIX, Ecole Polytechnique de Paris
Concurrency mailing list