Ningfang Mi | 19 Dec 22:33 2014

CfP ICAC’2015, Paper submission deadline is January 22

ICAC 2015 Call for Papers

http://icac2015.imag.fr

 

12th International Conference on Autonomic Computing (ICAC 2015)

Grenoble, France, July 7-10, 2015

 

In cooperation with USENIX and SPEC

Corporate supporters: Google, HP Labs, Orange Labs

_________________________________________________________________

IMPORTANT DATES

 

Abstract Submission:     January 15, 2015

Paper Submission:        January 22, 2015

Author Notification:     April 10, 2015

Final Manuscript:        May 1, 2015

___________________________________________________________________

 

SCOPE AND TOPICS

 

ICAC is the leading conference on autonomic computing techniques, foundations, and applications. Large-scale systems of all types, such as data centers, compute clouds, smart cities, cyber-physical systems, sensor networks, and embedded or pervasive environments, are becoming increasingly complex and burdensome for people to manage. Achieving self-management requires and motivates research that spans a wide variety of scientific and engineering disciplines, including distributed systems, artificial intelligence, machine learning, modeling, control theory, optimization, planning, decision theory, user interface design, data management, software engineering, emergent behavior analy­sis, and bio-inspired computing.

 

Topics of interest include, but are not limited to:

  • Self-managing components, such as compute, storage, net­working devices, embedded and real time systems, and mobile devices.
  • AI and mathematical techniques, such as machine learning, control theory, operations research, probability and stochastic processes, queueing theory, rule-based systems, bio-inspired techniques.
  • End-to-end design and implementation of systems for manage­ment of resources, workloads, scalability, availability, perfor­mance, reliability, power/cooling, and security.
  • Monitoring components and platforms for autonomic systems in IT or cyber-physical environments.
  • Hypervisors, operating systems, middleware, and application sup­port for autonomic computing.
  • Novel human interfaces for monitoring and controlling auto­nomic systems.
  • Goal specification and policies, IT governance, and business-driven IT management.
  • Frameworks, architectures, toolkits (from soft­ware engineering practices and to agent-based techniques).
  • Automated management techniques for emerging applica­tions, systems, and platforms, including social networks, cloud computing, big data systems, multi-core servers, smart cities, and cyber-physical systems.
  • Fundamental science and theory of self-managing systems
  • Self-organization and emergent behavior in technical systems trustworthy self-organizing systems.

·       Infrastructures and architectures for organic computing systems.

  • Online self-integration of complex systems.
  • Applications of autonomic computing and experiences with prototyped or deployed systems solving real-world problems in science, engineering,   business, or society.

Paper Submission

 

All papers must represent original and unpublished work that is not currently under review. Papers will be judged on originality, significance, interest, correctness, clarity, and relevance to the broader community. Papers are strongly encouraged to report on experiences, measurements, user studies, and provide an appropriate quantitative evaluation if at all possible. At least one author of each accepted paper is expected to attend the conference.

 

Papers can be submitted in one of the following three categories with different acceptance criteria for each category:

 

·       Full research papers limited to 10 pages (IEEE format) plus 1 additional page for references

·       Experience papers limited to 8 pages (IEEE format) plus 1 additional page for references

·       Short papers limited to 6 pages (IEEE format) plus 1 additional page for references

 

Papers must be submitted electronically in PDF format through the ICAC’2015 submission site: EasyChair https://easychair.org/conferences/?conf=icac2015    See conference website for format instructions.

 

 

ORGANIZATION

General Chairs

·       Philippe Lalanda, University of Grenoble, France

·       Ada Diaconescu, Telecom ParisTech, France

 

Program Committee Co-Chairs

·       Lucy Cherkasova, HP Labs, USA

·       Samuel Kounev, University of Wuerzburg, Germany

 

Workshop Chair

·       Eric Rutten, INRIA Grenoble Rhone-Alpes, France

 

Publicity Co-Chairs

·       Ningfang Mi, Northeastern University, USA

·       David Carrera, UPC-BarcelonaTech & Barcelona Supercomputing Center, Spain

·       Shaolei Ren, Florida International University, USA

·       Jorge Villalobos, Universidad de Los Andes, Colombia

 

Finance Chair

·       Vincent Lestideau, University of Grenoble, France

 

Proceedings Chair

·       Sonia Ben Mokhtar, INSA de Lyon, France

 

Poster Chair

·       Marin Litoiu, York University, Canada

 

Local Arrangements Chair

·       Stephanie Chollet, Grenoble INP, France

 

Web Chair

·       Vincent Lestideau, University of Grenoble, France

 

Program Committee

·       Tarek Abdelzaher, University of Illinois at Urbana-Champaign, USA

·       Artur Andrzejak, Heidelberg University, Germany

·       Danilo Ardagna, Politecnico di Milano, Italy

·       Novella Bartolini, University of Rome "Sapienza“, Italy

·       Christian Becker, University of Mannheim, Germany

·       Kirstie Bellman, The Aerospace Corporation, USA              

·       Sonia Ben Mokhtar, LIRIS-CNRS, France

·       Andre Bottaro, Orange Labs, France

·       Giacomo Cabri, Universita di Modena e Reggio Emilia, Italy

·       David Carrera, UPC - BarcelonaTech and BSC, Spain

·       Claris Castillo, Renaissance Computing Institute, USA

·       Giuliano Casale, Imperial College London, UK

·       Lydia Chen, IBM Zurich, Switzerland

·       Elisabetta Di Nitto, Politecnico di Milano, Italy

·       Yuxin Diao, IBM Research, USA

·       Jose Fortes, University of Florida, USA

·       Rean Griffith, VMware, USA

·       Daniel Gmach, HP Labs, USA

·       Ashvin Goel, University of Toronto, Canada

·       Xiaohui Gu, North Carolina State University, USA

·       Indranil Gupta, UIUC, USA

·       Yuxiong He, Microsoft Research, USA

·       Alexandru Iosup, Delft University of Technology, The Netherlands

·       Vana Kalogeraki, Athens University of Economics and Business, Greece

·       Evangelia Kalyvianaki, City University London, UK

·       Fabio Kon, University of Sao Paulo, Brasil

·       Michael Kozuch, Intel, USA

·       Jayaram K.R., IBM Research, USA

·       Diwakar Krishnamurthy, University of Calgary, Canada

·       Marin Litoiu, York University, Canada

·       Julie McCann, Imperial College London, UK

·       Arif Merchant, Google, USA

·       Dejan Milojicic, HP Labs, USA

·       Ningfang Mi, Northeastern University, USA

·       Christian Mueller-Schloer, Leibniz Universitaet Hannover, Germany

·       Calton Pu, Georgia Institute of Technology, USA

·       Christian Plessl, University of Paderborn, Germany

·       Shaolei Ren, Florida International University, USA

·       Eric Rutten, INRIA, France

·       Kai Sachs, SAP, Germany

·       Hartmut Schmeck, Karlsruhe Institute of Technology, Germany

·       Onn Shehory, IBM Research Haifa, Israel

·       Evgenia Smirni, College of William and Mary, USA                     

·       Karsten Schwan, Georgia Institute of Technology, USA

·       Christopher Stewart, Ohio State University, USA

·       Vanish Talwar, HP Labs, USA

·       Sven Tomforde, University of Augsburg, Germany

·       Jordi Torres, Barcelona Supercomputing Center, Spain

·       Jim Torresen, University of Oslo, Norway

·       Timothy Wood, George Washington University, USA

·       Rolf Wuertz, Ruhr-Universitaet Bochum, Germany

·       Dongyan Xu, Purdue University, USA

·       Xin Yao, University of Birmingham, UK

·       Ming Zhao, Florida International University, USA

·       Xiaoyun Zhu, VMware, USA

·       Xiaobo Zhou, University of Colorado, USA


--
Ningfang Mi
Assistant Professor
Department of Electrical and Computer Engineering 
Northeastern University
www.ece.neu.edu/~ningfang
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Marco Serafini | 17 Dec 14:58 2014
Picon

CFP: Eurosys 2015 Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)

Many distributed applications today need low-latency, scalability,
high availability, and geo-replication. The well-known tradeoff
between Consistency, Availability, and Partition Tolerance (and low
latency) led to the development of weakly consistent data stores,
whose success made clear that "one size does not fit all" when it
comes to consistency. Designing correct applications using weakly
consistent shared data, however, is a challenging task.

The PaPoC workshop will bring forth ideas on how to use, specify, and
implement consistency semantics ranging from weaker to stronger
models. It will bring together academic researchers, industrial
researchers, and practitioners coming from different fields:
distributed algorithms, distributed systems, databases, programming
languages, and verification. Each of these fields has attacked the
problem of consistency from a different angle and there is ample
opportunity for synergies. PaPoC is the direct successor of the
EuroSys 2014 Workshop on Principles and Practice of Eventual
Consistency, which was attended by approximately 40 researchers from
the above fields.

Submissions should be short papers (2 pages or more) on cutting-edge
work, even if ongoing, or vision papers. Accepted papers will be
published in ACM Digital Library only upon the request of the authors.
Examples of relevant discussion topics include:

* Design principles, correctness conditions, and programming patterns
for scalable distributed data systems.
* Techniques for weak consistency: session guarantees, causal
consistency, operational transformation, conflict-free replicated data
types, monotonic programming, state merge, commutativity, etc.
* Consistency vs. performance and scalability trade-offs: guiding
developers, controlling the system.
* Analysis and verification of weakly consistent programs.
* Strengthening guarantees of weakly consistent system: transactions,
fault tolerance, security, ensuring invariants, bounding metadata
size, and controlling divergence.
* Platform guarantees vs. application involvement: guiding developers,
controlling the system.

More information about the conference can be found in the conference website

http://papoc.di.uminho.pt

*** IMPORTANT DATES ***

Paper submission: February 10, 2015

Authors notification: March 6, 2015

Workshop: April 21, 2015 (in Bordeaux, France - colocated with Eurosys 2015)

*** ORGANIZATION ***

Program Chairs

* Carlos Baquero (INESC TEC & University of Minho, Portugal)
* Marco Serafini (Qatar Computing Research Institute, Qatar)

Program Committee

* Peter Alvaro (UC Berkeley, USA)
* Sebastian Burckhardt (Microsoft Research, USA)
* Sean Cribbs (Basho Technologies Inc., USA)
* Wojciech Golab (University of Waterloo, Canada)
* Rachid Guerraoui (École Polytechnique Fédérale de Lausanne, Switzerland)
* Lindsey Kuper (Intel Labs, USA)
* Rune Skou Larsen (Trifork, Denmark)
* Fernando Pedone (University of Lugano (USI), Switzerland)
* Rodrigo Rodrigues (NOVA-LINCS & NOVA University of Lisbon, Portugal)
* Kapil Vaswani (Microsoft Research, India)

Steering Committee

* Peter Bailis (UC Berkeley, USA)
* Alexey Gotsman (IMDEA Software, Spain)
* Nuno Preguiça (NOVA-LINCS & NOVA University of Lisbon, Portugal)
* Marc Shapiro (INRIA & LIP6, France)
* Justin Sheehy (VMware Inc., USA)
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Vigano, Luca | 19 Dec 00:10 2014
Picon

2nd CFP: HotSpot 2015 (3rd Workshop on Hot Issues in Security Principles and Trust)

SECOND CALL FOR PAPERS
=======================

HotSpot 2015
3rd Workshop on Hot Issues in Security Principles and Trust
==============================================

Affiliated with ETAPS 2015 ( http://www.etaps.org/2015 )
London, UK
18 April 2015

http://www.lucavigano.com/HotSpot2015/

Important Dates
============
Deadline for submissions: January 5, 2015
Notification: February 6,  2015
Final version for informal proceedings (optional): February 15, 2015

Scope
=====
This workshop is intended to be a less formal counterpart to the
Principles of Security and Trust (POST) conference at ETAPS, and with
an emphasis on "hot topics", both of security and of its theoretical
foundations and analysis. 
Like POST, the themes are:

- theory of computer security;
- formal specification, analysis and design of security systems;
- automated reasoning for security analysis.

Submissions about new and emerging topics (for example, those that
have not appeared prominently in conferences and workshops until now)
are particularly encouraged. Submissions of preliminary, tentative
work are also encouraged. 
There is no page limit, but the length of your submission should be 
appropriate to its content. 
There will be no formal proceedings. Inclusion in informal proceedings is 
optional.

This workshop is organised by the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (http://www.dsi.unive.it./IFIPWG1_7/)

Program Committee
===============
Giampaolo Bella (University of Catania, Italy)
Bruno Blanchet (INRIA Paris-Rocquencourt, France)
Pierpaolo Degano (University of Pisa, Italy)
Joshua Guttman (Worcester Polytechnic Institute, USA)
Matteo Maffei (Saarland University, Germany)
Sergio Maffeis (Imperial College London, UK)
Cathy Meadows (Naval Research Laboratory, USA)
Sebastian Moedersheim (Technical University of Denmark)
Charles Morissett (Newcastle University, UK)
Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
Mark Ryan (University of Birmingham, UK)
Peter Y. A. Ryan (University of Luxembourg)
Pierangela Samarati (University of Milano, Italy)
Steve Schneider (University of Surrey, UK)
Geoffrey Smith (Florida International University, USA)
Luca Viganò (King's College London, UK; program chair)

Submissions
==========
Submissions are via EasyChair: https://easychair.org/conferences/?conf=hotspot2015

Contact
=======
Luca Viganò (program chair): luca.vigano@...

Registration, accommodation and travel
==============================
See ETAPS web site http://www.etaps.org/2015
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

ABC:MI 2015 - CALL FOR PAPERS

CALL FOR PAPERS
=======================================

10th Workshop on Agent Based Computing: from Model to Implementation 
(ABC:MI)

Lodz, Poland, September 13-16, 2015

WWW: https://fedcsis.org/abcmi
E-mail: abcmi2015 <at> fedcsis.org

We would like to cordially invite you to consider contributing a paper 
to ABC:MI - held as a part of the Federated Conference on Computer 
Science and Information Systems (FedCSIS 2015).

FedCSIS a yearly international multi-conference organized by the Polish 
Information Processing Society (PTI) in cooperation with the IEEE Region 
8, ACM Special Interest Group on Applied Computing, European Alliance 
for Innovation, Lodz ACM Chapter, Polish Operational and Systems 
Research Society - POSRS, Eastern Cluster ICT Poland, Mazovia Cluster 
ICT (further technical collaborations will be announced shortly).

The field of agent technology is rapidly maturing. One of key factors 
that influence this process is the gathered body of knowledge that 
allows in-depth reflection on the very nature of designing and 
implementing agent systems. As a result, there is now significant 
knowledge on how to design and implement them. There is also a deeper 
understanding of the most important issues to be addressed in the 
process. Therefore, on the top-most level a progress in development of 
methodologies for design of agent-based systems can be seen. 
Furthermore, these methodologies are usually supported by tools that 
allow not only top level conceptualization but guide the process towards 
implementation (e.g. by generating at least some code). Next, it can 
seen that new languages for agent based systems are created, e.g. AML or 
API Calculus. Separately, tools/platforms/environments that can be used 
for design and implementation of agent systems have been through a 
number of releases, eliminating problems and adding new, important 
features. Resulting products are becoming truly robust and flexible. 
Furthermore, open source products (e.g. JADE) are surrounded by user 
communities, which often generate powerful add-on components, further 
increasing value of existing solutions.

TOPICS
=======================================

The Workshop primarily focuses on all aspects of the process that leads 
from the model of the problem domain to the actual agent-based solution. 
These aspects will cover both principled approaches and established 
practices of software engineering aimed at producing high quality 
software. In this context, research into the application of agent-based 
solutions to key challenges faced by software engineering (e.g. 
reduction of costs and delivery times, coping with a larger diversity of 
problems) will be of primary importance. ABC:MI Workshop welcomes 
submissions of original papers concerning all aspects of software agent 
engineering.

Topics include but are not limited to:
- Methodologies for design of agent systems
- Multi-agent systems product lines
- Modeling agent systems
- Agent architectures
- Agent-based simulations
- Simulating and verifying agent systems
- Agent benchmarking and performance measurement
- Agent communication, coordination and cooperation
- Agent languages
- Agent learning and planning
- Agent mobility
- Agent modeling, calculi, and logic
- Agent security
- Agents and Service Oriented Computing
- Agents in the Semantic Web
- Applications and Experiences

PAPER SUBMISSION AND PUBLICATION
=======================================

Papers should be submitted by April 24, 2015. Preprints will be 
published on a USB memory stick provided to the FedCSIS participants. 
Only papers presented during the conference will be submitted to the 
IEEE for inclusion in the Xplore Digital Library. Furthermore, 
proceedings, published in a volume with ISBN and ISSN numbers will 
posted at the conference WWW site.  Extended versions of selected papers 
presented during the conference will be invited to:
- the Special Issue of Scalable Computing; Practice and Experience
- Complex Adaptive Systems Modeling (publication fee waiver for the 
papers that are going to be selected is expected)
- Multiagent and Grid Systems
- Computer Science Journal (7 points in current ranking of MNiSW - this 
is something cryptic to the outsiders, but will be clear for scientists 
from Poland)

IMPORTANT DATES
=======================================

- Paper submission: April 24, 2015
- Position paper submission: June 1, 2015
- Acceptance decision: June 15, 2015
- Final version of paper submission: July 1, 2015
- Final deadline for discounted fee: July 1, 2015
- Conference dates: September 13-16, 2015

EVENT CHAIRS
=======================================

- Badica, Costin, University of Craiova, Romania
- Ganzha, Maria, University of Gdańsk and Systems Research Institute 
Polish Academy of Sciences, Poland
- Paprzycki, Marcin, Systems Research Institute Polish Academy of 
Sciences, Poland
- Rahimi, Shahram, Southern Illinois University, United States

PROGRAM COMMITTEE (confirmed so far)
=======================================

- Agotnes, Thomas, University of Bergen, Norway
- Ambroszkiewicz, Stanislaw, Institute of Computer Science, Polish 
Academy of Sciences, Poland
- Balke, Tina, University of Surrey, United Kingdom
- Barseghyan, Artak, Yerevan, Armenia
- Botía, Juan, Universidad de Murcia, Spain
- Braubach, Lars, University of Hamburg, Germany
- Budimac, Zoran, Faculty of Sciences, Univ. of Novi Sad, Serbia
- Byrski, Aleksander, AGH University of Science and Technology, Poland
- Cabri, Giacomo, University of Modena and Reggio Emilia, Italy
- Cervenka, Radovan, Whitestein Technologies AG, Slovakia
- Cetnarowicz, Krzysztof, AGH University of Science and Technology, Poland
- Fernández, Alberto, Universidad Rey Juan Carlos, Spain
- Florea, Adina, University POLITEHNICA of Bucharest, Romania
- Gams, Matjaz, Jozef Stefan Institute, Slovenia
- Gomez Sanz, Jorge, Universidad Complutense de Madrid, Spain
- Goncalves, Ricardo, Uninova, Portugal
- Hinchey, Mike, Lero-the Irish Software Engineering Research Centre, 
Ireland
- Ivanović, Mirjana, University of Novi Sad, Serbia
- Jamroga, Wojtek, University of Luxembourg, Luxembourg
- Jedrzejowicz, Piotr, Gdynia Maritime University, Poland
- Jezic, Gordan, University of Zagreb, Croatia
- Kaleta, Mariusz, Warsaw University of Technology, Poland
- Khorasani, Elham, University of Illinois at Springfield, United States
- Koukam, Abder, IRTES-SeT Université de Technologie de Belfort 
Montbéliard, France
- Kruczkiewicz, Zofia, Wrocław University of Technology, Poland
- Kusek, Mario, University of Zagreb, Faculty of Electrical Engineering 
and Computing, Croatia
- Leszczyna, Rafal, Gdansk University of Technology, Poland
- Letia, Ioan Alfred, Technical University of Cluj-Napoca, Romania
- Morge, Maxime, Université Lille 1, France
- Negru, Viorel, West University of Timisoara, Romania
- Neruda, Roman, Institute of Computer Science, Academy of Sciences of 
the Czech Republic, Czech Republic
- Ngoc-Thanh, Nguyen
- Niazi, Muaz, Bahria University, Pakistan
- Novak, Peter, Dept. of Computer Science and Engineering, Czech 
Technical University in Prague, Czech Republic
- Nowostawski, Mariusz, University of Otago, Information Science 
Department, New Zealand
- Oliveira, Eugenio, Faculty of Engineering, University of Porto, Portugal
- Omicini, Andrea, Alma Mater Studiorum–Università di Bologna, Italy
- Oren, Nir, University of Aberdeen, United Kingdom
- Ouedraogo, Moussa, Public Research Centre Henri Tudor, Luxembourg
- Paik, Incheon, University of Aizu, Japan
- Poggi, Agostino, DII - University of Parma, Italy
- Pokahr, Alexander, University of Hamburg, Germany
- Rimassa, Giovanni, Whitestein Technologies AG, Switzerland
- Rykowski, Jarogniew, Poznan University of Economics, Poland
- Sakellariou, Ilias, Dept. of Applied Informatics, University of - 
Macedonia, Greece
- Santoro, Corrado, University of Catania, Italy
- Schaefer, Robert, AGH University of Science and Technology, Poland
- Senatore, Sabrina, University of Salerno, Italy
- Slavkovik, Marija, University of Luxembourg, Luxembourg
- Stanek, Stanislaw, General Tadeusz Kosciuszko Military Academy of Land 
Forces in Wrocław, Poland
- Tang, Yuqing, Carnegie Mellon University, United States
- Thimm, Matthias, University of Koblenz-Landau, Germany
- Trcek, Denis, University of Ljubljana, Slovenia
- Troquard, Nicolas, ISTC-CNR, Italy
- Tucci, Salvatore, University of Rome at Torvergata, Italy
- Venticinque, Salvatore, Second University of Naples, Italy
- Vouros, George, University of Piraeus, Greece
- Wahjudi, Paulus, Marshall Unviersity, United States
- Yazdani, Samaneh, Islamic Azad University, Science and Research 
branch, Iran

CHAIRS OF FedCSIS CONFERENCE SERIES

Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki

CONTACT FedCSIS AT: secretariat <at> fedcsis.org

FedCSIS on Facebook: http://tinyurl.com/FedCSISFacebook
FedCSIS on LinkedIN: http://tinyurl.com/FedCSISLinkedIN
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Radu Iosif | 13 Dec 23:48 2014
Picon
Picon

Funded 3-year PhD position in Program Verification

A fully funded PhD position at VERIMAG (Grenoble, France) is available starting early 2015. 


JOB DESCRIPTION
---------------------------
The goal of this PhD is to develop new methods and tools for program verification using Separation Logic. This is a logical framework suitable for reasoning about the dynamic structures manipulated by real-life imperative programs written in C, Java, etc. Separation Logic supports local and compositional reasoning via built-in logical connectives, which makes it particularly suited to design scalable verification methods.
The job of the PhD candidate is to investigate algorithmic aspects related to the decidability of various fragments of Separation Logic, and integrate these results into a full-fledged verification system.
The duration of the PhD thesis is 3 years, starting early 2015. The student will be based at VERIMAG, Grenoble and will closely cooperate with the partners of the VECOLIB projet. This project will be supervised by Dr. Radu Iosif from CNRS/University of Grenoble. The salary after tax is in the range of 1200-1500 euros/month. Access to the French public healthcare system (health insurance) is included. The University of Grenoble provides affordable student accomodation and free French classes.

APPLICANT’S PROFILE
---------------------------------
Must have an university degree in Computer Science or Mathematics with focus on logic, automata theory and/or programming languages (semantics). Good knowledge of C, OCAML or Java programming is considered a plus, as well as fluent English.

HOW TO APPLY ?
-------------------------
Send your CV to Radu.Iosif-wMUr/XMoy4A@public.gmane.org. The CV must contain previously obtained degrees with average grades (on the scale used by the local university) and (when applicable) a list of previous scientific work (publications, software, etc.). If possible, one may attach a list of grades to the email, as well
.
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Simon Gay | 11 Dec 09:52 2014
Picon

CFP: PLACES 2015 Workshop

                            CALL FOR PAPERS
                               PLACES'15
            Programming Language Approaches to Concurrency
                  and Communication-cEntric Software
                     18th April 2015, London, UK
                         Affiliated to ETAPS
                     http://places15.di.fc.ul.pt/

Applications today are built using numerous interacting services; soon
off-the-shelf CPUs will host thousands of cores, and sensor networks
will be composed from a large number of processing units. Many
applications need to make effective use of thousands of computing
nodes. At some level of granularity, computation in such systems is
inherently concurrent and communication-centred.

To exploit and harness the richness of this computing environment,
designers and programmers will utilise a rich variety of programming
paradigms, depending on the shape of the data and control
flow. Plausible candidates for such paradigms include structured
imperative concurrent programming, stream-based programming,
concurrent functions with asynchronous message passing, higher-order
types for events, and the use of types for communications and data
structures (such as session types and linear types), to name but a
few. Combinations of these abstractions will be used even in a single
application, and the runtime environment needs to ensure seamless
execution without relying on differences in available resources such
as the number of cores.

The development of effective programming methodologies for the coming
computing paradigm demands exploration and understanding of a wide
variety of ideas and techniques. This workshop aims to offer a forum
where researchers from different fields exchange new ideas on one of
the central challenges for programming in the near future, the
development of programming methodologies and infrastructures where
concurrency and distribution are the norm rather than a marginal
concern.

** Topics of Interest **

Submissions are invited in the general area of foundations of
programming languages for concurrency, communication and
distribution. Specific topics include: language design and
implementations for communications and/or concurrency, program
analysis, session types, multicore programming, use of message passing
in systems software, interface languages for communication and
distribution, concurrent data types, concurrent objects and actors,
web services, novel programming methodologies for sensor networks,
integration of sequential and concurrent programming, high-level
programming abstractions for security concerns in concurrent,
distributed programming, and runtime architectures for concurrency,
scalability and/or resource allocations. Papers are welcome which
present novel and valuable ideas as well as experiences.

** Invited Speaker **

To be confirmed

** Submission Guidelines **

Submissions will be 6-page extended abstracts and can also include an
appendix of up to 4 pages and should be submitted in PDF format by
Monday 5th January (anywhere on Earth) using the EasyChair proceedings
template available at:

http://www.easychair.org/publications/?page=1594225690

Abstracts and papers should be submitted using EasyChair:

http://www.easychair.org/conferences/?conf=places15

Preliminary proceedings will be available at the workshop.
A post-workshop proceedings will be published in EPTCS.
We are considering the possibility of a special journal issue.

The submission deadline is strict and will not be extended.

Enquiries can be sent to the PC co-chairs.

** Important Dates **

Abstract submission deadline:      Monday, 29th December 2014
Paper submission deadline:         Monday, 5th January 2015
Notification:                      Wednesday, 4th February 2015
Final version for pre-proceedings: Friday, 13th February 2015
Workshop date:                     Saturday, 18th April 2015

** Programme Committee **

Simon Gay, University of Glasgow, UK (co-chair)
Jade Alglave, University College London, UK (co-chair)
Josh Berdine, Microsoft Research Cambridge, UK
Stefan Blom, University of Twente, Netherlands
Nathan Chong, University College London, UK
Ornela Dardha, University of Glasgow, UK
Alexey Gotsman, IMDEA Software Institute, Spain
Hans Hüttel, Aalborg University, Denmark
Paul Keir, Codeplay Software Ltd, UK
Fabrizio Montesi, University of Southern Denmark, Denmark
David Pearce, Victoria University of Wellington, New Zealand
Pierre-Yves Strub, IMDEA Software Institute, Spain
Jules Villard, Imperial College London, UK

** Organising Committee **

Alastair Beresford,  University of Cambridge, UK
Simon Gay,  University of Glasgow, UK
Alan Mycroft,  University of Cambridge, UK
Vasco T. Vasconcelos,  University of Lisbon, Portugal
Nobuko Yoshida,  Imperial College London, UK
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency

Paula Henk | 8 Dec 10:46 2014
Picon

1st CfP: TbiLLC 2015, Tbilisi (Georgia), 21-26 Sep 2015

***********************************************************************
1st Call for Papers

THE ELEVENTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION

21-26 September 2015
Tbilisi, Georgia

***********************************************************************
CALL FOR PAPERS

The Eleventh International Tbilisi Symposium on Language, Logic and Computation will be held on 21-26 September 2015 in Tbilisi, Georgia. The Programme Committee invites submissions for contributions
on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to:

* Algorithmic game theory  
        * Computational social choice
* Constructive, modal and algebraic logic
* Formal models of multiagent systems
* Historical linguistics, history of logic
* Information retrieval, query answer systems
* Language evolution and learnability 
        * Linguistic typology and semantic universals
* Logic, games, and formal pragmatics
* Logics for artificial intelligence
* Natural language syntax, semantics, and pragmatics
* Natural logic, inference and entailment in natural language
* Distributional and probabilistic models of information and meaning

Authors can submit an abstract of three pages (including references) at the EasyChair conference system here:


PROGRAMME

The programme will include the following invited lectures and tutorials.

Tutorials:

Logic: Brunella Gerla (University of Insubria)
Language: Lisa Matthewson (University of British Columbia)
Computation: Joel Ouaknine (Oxford University)

Invited Lectures:

Rajesh Bhatt (University of Massachusetts )
Melvin Fitting (Graduate School and University Center of New York)
Helle Hansen (Delft University of Technology)
George Metcalfe (Bern University)
Sarah Murray (Cornell University)
Mehrnoosh Sadrzadeh (Queen Mary, University of London)

Workshops

There will also be a workshop on “Automata and Coalgebra”, organised by Helle Hansen and Alexandra Silva and a workshop on "How to make things happen in grammar: Encoding Obligatoriness”, organised by Rajesh Bhatt and Vincent Homer. More information will be available on the TbiLLC website: http://www.illc.uva.nl/Tbilisi/Tbilisi2015


Programme Committee

Daniel Altshuler (Chair, Heinrich-Heine-University Düsseldorf)
Nick Bezhanishvili (ILLC, University of Amsterdam)
Agata Ciabattoni (TU Vienna)
Petr Cintula (Czech Academy of Science)
Hana Filip (Heinrich-Heine-University Düsseldorf)
Davide Grossi (University of Liverpool)
Dag Haug (University of Oslo)
Achim Jung (University of Birmingham)
Dexter Kozen (Cornell University)
Marcus Kracht (Bielefeld University)
Clemens Kupke (University of Oxford)
Alda Mari (Institut Jean Nicod)
Roumi Pancheva (USC)
Jessica Rett (UCLA)
Alexandra Silva (Nijmegen University)
Alex Simpson (University of Edinburgh)
Sonja Smets (ILLC, University of Amsterdam)
Luca Spada (Chair, ILLC, University of Amsterdam and University of Salerno)
Mark Steedman (University of Edinburgh)
Matthew Stone (Rutgers University)
Henriette de Swart (Utrecht University)
Judith Tonhauser (Ohio State University)
Eytan Zweig (University of York) 

PUBLICATION INFORMATION

Post-proceedings of the symposium will be published in the LNCS series of Springer.


IMPORTANT DATES

Submission deadline: 1 March 2015
Notification: 1 May 2015
Final abstracts due: 1 June 2015
Registration deadline: 1 August 2015
Symposium: September 21-26, 2015

Programme and submission details can be found at:


_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Joost-Pieter Katoen | 12 Dec 13:25 2014
Picon
Picon

Call for Abstracts: Young Researchers' Conference Frontiers of Formal Methods in Computer Science


Young Researchers' Conference Frontiers of Formal Methods in Computer 
Science

http://ffm2015.rwth-aachen.de

Aachen, Germany
February 25 – 27, 2015

organized by the DFG Research Training Groups
- AlgoSyn (Algorithmic Synthesis of Reactive and Discrete-Continuous 
Systems), Aachen
- PUMA (Program and Model Analysis), Munich
- QuantLA (Quantitative Logics and Automata), Dresden & Leipzig
- SCARE (System Correctness under Adverse Conditons), Oldenburg
- and the Austrian Research Network ARiSE (Rigorous System Engineering)

This conference is a forum of young researchers (typically PhD students) 
for exchanging current research results and broadening their academic 
network. The scope of the conference ranges over formal and algorithmic 
methods in computer science, in a broad sense. Typical topics are the 
research areas of the participating organizations as indicated above.

The conference consists of
- invited lectures, by Moshe Vardi (Houston), Jean-François Raskin 
(Brussels), Joël Ouaknine (Oxford), Bernd Finkbeiner (Saarbrücken), 
Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt)
- short presentations (talks of 12 minutes duration).

Submissions are welcome via the conference webpage

                           ffm2015.rwth-aachen.de

for short presentations given by young researchers (up to two years 
after completion of PhD), with an abstract of 2-5 pages written by a
single author. The results may have been accepted or even published 
elsewhere. Each author is free to submit his/her “best result” (possibly 
obtained jointly with others). Multiple submissions by one author are 
not permitted. The language of the conference is English.

Proceedings will be available at the conference as a technical report of 
RWTH Aachen University, containing abstracts of 2-5 pages of accepted 
short presentations and, in a second part, optional one-page abstracts 
of participants who are young researchers. The program committee (from 
the organizing institutions) is announced on the conference website 
ffm2015.rwth-aachen.de.

=== Important Dates ===
Submission: December 31, 2014
Notification: January 15, 2015
Conference: February 25 - 27, 2015

Attachment (ffm2015call.pdf): application/x-download, 419 KiB
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Mahdi Jaghoori | 12 Dec 20:32 2014
Picon
Picon

Call for papers TTCS'15 (Tehran, Iran)


(apologies if you receive multiple copies)

=========================================
Topics in Theoretical Computer Science (TTCS 2015)
http://www.ttcs.ir/
Institute for Research in Fundamental Sciences (IPM), Tehran, Iran
August 26-28, 2015
=========================================

Scope

TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. 

There will be a number of satellite events at TTCS, These will feature presentation of early research results, and position papers. There will also be a forum for Ph.D. students to receive comments about their ongoing research projects.

Topics of interest include but are not limited to:

  • algebra and co-algebra in computer science,
  • algorithms and data structures,
  • algorithmic coding theory,
  • algorithmic graph theory and combinatorics,
  • approximation algorithms,
  • computational complexity,
  • computational geometry,
  • computational learning theory,
  • concurrency theory,
  • coordination languages,
  • economics and algorithmic game theory,
  • fixed parameter algorithms,
  • formal verification and model-based testing,
  • logic in computer science,
  • machine learning
  • methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems,
  • optimization,
  • parallel and distributed algorithms,
  • quantum computing,
  • randomness in computing,
  • stochastic and probabilistic specification and reasoning
  • theoretical aspects of other CS-related research areas, e.g., computational science, databases, information retrieval, and networking,
  • theoretical cryptography,
  • theory of programming languages, and
  • type theory and its application in program verification.
Anuj Dawar, Cambridge University, UK 
Michael Fellows, Charles Darwin University, Australia 
Mehrnoosh Sadrezadeh, Queen Mary University of London, UK 

Submission

For the main conference, we solicit research papers in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference.

Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the the authors' institutions.

Papers should be submitted through our EasyChair submission website: https://www.easychair.org/conferences/?conf=ttcs2015 . The web site is open for submissions.

Important Dates

  • Paper Submission: May 15, 2015 (Anywhwere on Earth)
  • Author notification: June 26, 2015
  • Camera ready paper due: July 10, 2015
  • Conference: August 26-28, 2015

Program Committee

Track A: Algorithms and ComplexityTrack B: Logic, Semantics, and Programming Theory


_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Emmanuel Filiot | 5 Dec 11:58 2014
Picon

CFP: TTATT 2015 - ETAPS Workshop on Trends in Tree Automata and Tree Transducers

--------------------------------------------------------------------------
TTATT 2015
3rd International Workshop on Trends in Tree Automata
and Tree Transducers
--------------------------------------------------------------------------

London, 18 April, 2015

Co-located with ETAPS 2015



IMPORTANT DATES

Submission: Jan 9
Notification: Feb 10
ETAPS Early Registration: Feb 14


OBJECTIVE AND SCOPE

Tree automata and tree transducers have a history of more
than forty years. Recently, the theories have interplayed with
and/or are applied to various areas including rewrite systems,
static analysis of software, program transformation, XML 
document processing and computational linguistics. 
This workshop aims at providing an opportunity for researchers
from different areas to exchange information and ideas on
theory and practice of tree automata and tree transducers.

Recently, tree automata and transducers have been combined
and applied to various areas in computer science, including 
rewrite systems, static analysis of software, program transformation, 
XML document processing, and computational linguistics. This
workshop aims to provide an opportunity for researchers from
different areas to exchange ideas on the theory and practice of tree
automata and tree transducers. The topics of the workshop include,
but are not limited to:

- advanced theory of word and tree automata
- advanced theory of word and tree transducers
- their extensions (higher-order/weighted/infinite models) 
- relations to TRS, regularity preservation
- application to static analysis and model checking
- application to program transformation
- application to XML document processing

New ! Compared to past editions, automata and transducer
on words are now included in the main topics of TTATT.


INVITED SPEAKERS

Mikolaj Bojanczyk (Warsaw University)
Christof Löding (RTWH Aachen)


PAPER SUBMISSION

Extended abstracts of at most 6 pages are solicited. The work
may be in a preliminary stage, or may be a short version of recently
published articles or papers submitted elsewhere. Accepted papers
will be made available electronically before the workshop. Original
contributions will be considered for post-workshop publication in a
volume of Electronic Proceedings in Theoretical Computer Science
(EPTCS). The deadline for final version will be about one month after
the workshop. Papers should be formatted according to EPTCS style
and submitted on Easychair.  


PROGRAM COMMITTEE

Arnaud Carayol (Université Paris-Est)
Olivier Carton (Université Paris-Diderot)
Emmanuel Filiot (chair, Université Libre de Bruxelles)
Andreas Maletti (Universität Stuttgart)
Sebastian Maneth (University of Edimburgh)
Keisuke Nakano (UEC Tokyo)
Helmut Seidl (TU München)
Hiroyuki Seki (Nagoya University)
Jean-Marc Talbot (Université Aix-Marseille)
Margus Veanes (Microsoft Research)
_______________________________________________
Concurrency mailing list
Concurrency@...
http://listserver.tue.nl/mailman/listinfo/concurrency
Picon

[CfP] FMICS'15: 20th International Workshop on Formal Methods for Industrial Critical Systems

FIRST CALL FOR PAPERS

FMICS 2015
20th International Workshop on
Formal Methods for Industrial Critical Systems
(http://fmics2015.org/)

22-23 June 2015, Oslo, Norway

In co-location with FM 2015: 20th International Symposium on Formal Methods

############################################################################

The aim of the FMICS workshop series is to provide a forum for researchers who
are interested in the development and application of formal methods in
industry. In particular, FMICS brings together scientists and engineers that
are active in the area of formal methods and interested in exchanging their
experiences in the industrial usage of these methods. The FMICS workshop series
also strives to promote research and development for the improvement of formal
methods and tools for industrial applications.

Important Dates

     Abstract submission: January 12nd, 2015
     Paper submission: January 19th, 2015
     Notification: March 13th, 2015
     Final version due: March 30th, 2015
     Workshop: June 22nd-23rd, 2015

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

- Design, specification, code generation and testing based on formal methods.
- Methods, techniques and tools to support automated analysis, certification,
  debugging, learning, optimization and transformation of complex, distributed,
  real-time systems and embedded systems.
- Verification and validation methods that address shortcomings of existing
  methods with respect to their industrial applicability (e.g., scalability and
  usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of formal
  methods, focusing on lessons learned or identification of new research
  directions.
- Impact of the adoption of formal methods on the development process and
  associated costs. Application of formal methods in standardization and
  industrial forums.

Paper Submission

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

Submissions should clearly demonstrate relevance to industrial application.
Case study papers should identify lessons learned, validate theoretical
results (such as scalability of methods), or provide specific motivation for
further research and development.

Submissions should not exceed 15 pages formatted according to the LNCS style
(Springer), and should be submitted as Portable Document Format (PDF) files
using the EasyChair submission site.

All submissions will be reviewed by the program committee who will make a
selection among the submissions based on the novelty, soundness and
applicability of the presented ideas and results. The proceedings of the
workshop will be published in the Springer series Lecture Notes in Computer
Science (LNCS) and distributed during the workshop.

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, a special issue
of either SCP or STTT will be devoted to FMICS 2015.
Selected participants will be invited to submit an extended version of their
papers after the workshop. These extended versions will again be reviewed to
decide on their final publication on the special issue.

Programme Committee

PC Chairs

        Manuel Núñez (Universidad Complutense de Madrid, Spain)
        Matthias Güdemann (Systerel, France)

Publicity Chair

     Alberto Núñez Covarrubias (Universidad Complutense de Madrid, Spain)

PC Members

        Maria Alpuente (Universitat Politècnica de València, Spain)
        Alvaro Arenas (IE University, Spain)
        Jiri Barnat (Masaryk University, Czech Republic)
        Jean Paul Blanquart (Astrium Satellites, France)
        Eckard Böde (Offis, Germany)
        Mario Bravetti (University of Bologna, Italy)
        Michael Dierkes (Rockwell Collins, France)
        Cindy Eisner (IBM Research - Haifa, Israel)
        Alessandro Fantechi (Università di Firenze, Italy)
        Francesco Flammini (Ansaldo STS, Italy)
        María del Mar Gallardo (University of Málaga, Spain)
        Stefania Gnesi (ISTI-CNR, Italy)
        Matthias Güdemann (Systerel, France)
        Clément Houtmann (Google, Switzerland)
        Frédéric Lang (Inria & LIG, France)
        Luis Llana (Universidad Complutense de Madrid, Spain)
        Alberto Lluch (DTU, Denmark)
        Paqui Lucio (University of the Basque Country, Spain)
        Tiziana Margaria (University of Potsdam, Germany)
        Jasen Markovski (GN ReSound Benelux, The Netherlands)
        Radu Mateescu (Inria, France)
        David Mentré (Mitsubishi Research, France)
        Benjamin Monate (TrustInSoft, France)
        Manuel Núñez (Universidad Complutense de Madrid, Spain)
        Charles Pecheur (Université catholique de Louvain, Belgium)
        Marielle Petit-Doche (Systerel, France)
        Ralf Pinger (Siemens AG, Germany)
        Jaco van de Pol (University of Twente, Netherlands)
        Wendelin Serwe (Inria & LIG, France)
        Hans Svensson (Quviq, Sweden)
        Anton Wijs (Technical U. Eindhoven, The Netherlands)
        Franz Wotawa (Graz University, Austria)
        Fatiha Zaïdi (Université Paris-Sud XI, France)


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

Gmane