Tamara DEWALQUE | 28 Jan 11:11 2016
Picon

ANT- ABM Trans Conference

The 5th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-2016)

http://www.abmtrans.eu/
http://cs-conferences.acadiau.ca/ant-16/#workshop_approved

in conjunction with

The 7th International Conference on Ambient Systems, Networks and Technologies (ANT-2016)
http://cs-conferences.acadiau.ca/ant-16/
May 23 - 26, 2016 Madrid, Spain

CALL FOR PAPERS : ANT-2016(MSTS) and ABMTRANS-2016

The ANT-2016 conference dedicates the MSTS track to Modeling and Simulation in Transportation Sciences while the ABMTRANS-2016 workshop focuses on the agent-based approach in that domain. Both provide an international forum on the latest technologies and research in the field of traffic and transportation modeling. Both are organized by the Transportation Research Institute (IMOB), Hasselt University, Belgium.

SCOPE

The aim of the ANT-2016 MSTS track is to bring together communities interested in the computation, knowledge discovery and technology policy aspects of transportation systems. The organizers of ANT-2016 (MSTS track) welcomes papers from researchers in the domains of transportation sciences and engineering, computer science, urban and regional planning, civil engineering, geography, geo-informatics and related disciplines to submit papers for consideration for presentation and for publication in the conference proceedings.

The ABMTRANS workshop provides a multidisciplinary collaborative forum for researchers and practitioners to submit papers presenting new research results and novel ideas related to the theory or the practice of agent-based traffic and transportation modeling. This workshop also invites researchers to submit their work focusing on the data mining, management and configuration for agent-based traffic and transportation modeling.

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

Agent-based transportation modeling and simulation
Agent-based negotiation of QoS and SLAs in traffic and transportation models
Agent-based scheduling to establish synthetic agenda for day-to-day activities
Calibration and validation of agent-based models for traffic and transportation
Collaboration, cooperation, competition, coalitions in traffic and transportation models, including collaborative multi-modal transport
Conceptual modeling of agent-based approach
Data mining and statistical learning for travel information
Environment modeling and interaction protocols
Human-computer interfaces in intelligent transportation applications
Human factors including adaptive driving, travel behavior, persuasive technology
Large scale simulation of agent-based microscopic traffic models
Logistics and transportation management
Marketing decision support
Mathematical optimization in traffic engineering and smart city topic
Multi-modal routing of agents in a dynamic traffic environment
Novel applications targeted to health, mobility, livable environment and sustainability
Renewable energy sources in transportation
Role of multi-agent methodologies for complex systems
Simulation of traffic, passenger flows, assisted driving or collaborative transport
Social and emergent behavior in MAS-T (multi-agent systems applied to traffic and transport)
Social and institutional information related to travel
Traffic flow and transportation modeling
Travel information, including recommender systems and user feedback systems
Uncertain information in collaborative transport and assisted traveling

SUBMISSION AND PROCEEDINGS

All ANT-2016 and ABMTRANS-2016 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 (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/).

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 authors must follow Elsevier guidelines as given in ANT-2016 website ( http://cs-conferences.acadiau.ca/ant-16/ ).

For ANT-2016, submitted technical papers must be no longer than 8 pages for full papers and 5 pages for short papers including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system (https://easychair.org/conferences/?conf=ant2016 )in PDF format before the deadline (see Important Dates).

For ABMTRANS-2016 workshop papers, the number of pages is limited to 6 pages. Authors are requested to submit their contributions electronically in PDF format at: https://www.easychair.org/conferences/?conf=abmtrans16 .

IMPORTANT DATES for ANT-2016

Submission due: January 30, 2016
Notification of acceptance: February 21, 2016
Camera-ready due: March 21, 2016
Conference: May 23-26, 2016

IMPORTANT DATES for ABMTRANS-2016

Submission due: January 30, 2016
Notification of acceptance: February 21, 2016
Camera-ready due: March 21, 2016
Workshop: May 23-26, 2016

PROGRAM COMMITTEE

Bruno Kochan, IMOB - Hasselt University (Belgium)
Camille Kamga, University of New York (USA)
Carlo Giacomo Prato, Danmarks Tekniske Universitet - DTU (Denmark)
Davy Janssens, IMOB - Hasselt University (Belgium)
Davy Preuveneers, Katholieke Universiteit Leuven (Belgium)
Eric van Berkum, University of Twente (the Netherlands)
Filippo Simini, Bristol University (UK)
Harry Timmermans, Eindhoven University of Technology (the Netherlands)
Irith Ben-Arroyo Hartman, University of Haifa (Israel)
Johan Holmgren, Blekinge Institute of Technology (Sweden)
Josep Maria Salanova, Center for Research and Technology Hellas (Greece)
Kai Nagel, TU Berlin (Germany)
Marco Luetzenberger, DAI-Labor (Germany)
Michal Jakob, Czech Technical University (Czech Republic)
Michał Maciejewski, Poznan University of Technology (Poland)
Muhammad Usman, IMOB - Hasselt University (Belgium)
Nicole Ronald, Swinburne University of Technology (Australia)
Oded Cats, KTH Stockholm (Sweden)
Reinhilde D'Hulst, VITO (Belgium)
Stephane Galland, UTBM (France)
Theo Arentze, Eindhoven University of Technology (the Netherlands)
Tom Bellemans, IMOB - Hasselt University (Belgium)

REGISTRATION

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

VENUE, ACCOMMODATION & VISA REQUIREMENTS

Please visit: http://cs-conferences.acadiau.ca/ant-16/#conferenceVenuefor more information.

ANT-2016 PROGRAM VICE-CHAIRS

Prof. dr. Davy Janssens
Transportation Research Institute
Hasselt University, Belgium
davy.janssens at uhasselt.be

Prof. dr. ir. Tom Bellemans
Transportation Research Institute
Hasselt University, Belgium
tom.bellemans at uhasselt.be

Prof. dr. Ansar-Ul-Haque Yasar
Transportation Research Institute
Hasselt University, Belgium
ansar.yasar at uhasselt.be

ABMTRANS-2016 WORKSHOP ORGANIZERS

Prof. dr. Ansar-Ul-Haque Yasar
Transportation Research Institute (IMOB)
Hasselt University, Belgium
ansar.yasar at uhasselt.be

dr. ir. Luk Knapen
Transportation Research Institute (IMOB)
Hasselt University, Belgium
luk.knapen at uhasselt.be



_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Tarmo Uustalu | 27 Jan 12:57 2016
Picon
Picon

ETAPS 2017 call for satellite events

20th European Joint Conferences on Theory and Practice of Software
                              ETAPS 2017
                   Uppsala, Sweden, 23-29 April 2017
                      http://www.etaps.org/2017/

                      Call for  Satellite Events

-- ABOUT ETAPS --

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. It is an
annual event held in Europe each spring since 1998. Its twentieth
edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala,
Sweden.

ETAPS 2017 main conferences, scheduled for 25-28 April, are:

* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and 
      Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and 
      Analysis of Systems

-- SATELLITE EVENTS --

The ETAPS 2017 organizing committee invites proposals for satellite
events (workshops) that will complement the main conferences. They
should fall within the scope of ETAPS. This encompasses all aspects of
the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a
spectrum from practically-motivated theory to soundly-based
practice. Satellite events provide an opportunity to discuss and
report on emerging research approaches and practical experience
relevant to theory and practice of software.

ETAPS 2017 satellite events will be held immediately before and after
the main conferences, on 23-24 April and 29 April.

-- ARRANGEMENTS FOR SATELLITE EVENTS --

The organizers of an ETAPS 2017 satellite are expected to:

* create and maintain a website for the event,
* form a PC, produce a call for papers for the event (if appropriate),
* advertise the event through specialist mailing lists etc. to
  complement the publicity of ETAPS,
* review the submissions received and make acceptance decisions,
* prepare an informal (pre)proceedings for the event (if appropriate),
* prepare the event's program complying with any scheduling
  constraints defined by the ETAPS 2017 organizing committee,
* prepare and organize the publication of a formal (post)proceedings
  (if desired).

The ETAPS 2017 organizing committee will:

* promote the event on the website and in the publicity material of
  ETAPS 2017,
* integrate the event's program into the overall program of the
  conference,
* arrange registration for the event as a component of registration
  for ETAPS,
* collect a participation fee from the registrants,
* produce a compilation USB memory stick of the informal
  (pre)proceedings of the satellite events of ETAPS 2017 and
  distribute this to the registrants,
* provide the event with a meeting room of an appropriate size, A/V
  equipment, coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite
events.

-- SUBMISSION OF SATELLITE EVENT PROPOSALS --

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals to the workshop co-chairs Konstantinos
Sagonas and Mohamed Faouzi Atig using the web form at 
http://www.etaps.org/2017/call-for-workshops .

The following information is requested:

* the name and acronym of the satellite event
* the names and contact information of the organizers
* the duration of the event: one or two days
* the preferred period: 23 April, 24 April, 23-24 April or 29 April
* the expected number of participants
* a brief description (120 words approximately) of the event topic for
  the website and publicity material of ETAPS 2017
* a brief explanation of the event topic and its relevance to ETAPS
* an explanation of the selection procedure of contributions to the
  event, the PC chair and members, if known already, information about
  past editions of the event, if applicable
* any other relevant information, like a special event format, invited
  speakers, demo sessions, special space requirements, etc.
* a tentative schedule for paper submission, notification of
  acceptance and final versions for the (informal pre-)proceedings
  (the ETAPS 2017 organizing committee will need the final files by
  the end of Feb. 2017)
* the plans for formal publication (no formal publication, formal
  proceedings ready by the event, formal post-proceedings, publication
  venue - EPTCS or elsewhere)

The proposals will be evaluated by the ETAPS 2017 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2017. Prospective organizers may wish to consult the web pages
of previous satellite events as examples:

ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops

-- IMPORTANT DATES --

Satellite event proposals deadline: 14 March 2016

Notification of acceptance: early April 2016

-- HOST CITY --

Uppsala has a rich history, having for long periods been the
political, religious and academic center of Sweden.  Uppsala
University is over 500 years old, is consistently ranked among the top
100 in the world, and has been the home of many great scientists over
the years, for instance Carl von Linne, Anders Celsius and Anders
Jonas Ångström.

Uppsala is 60 kms from Stockholm and is well connected to Stockholm
Arlanda airport.

-- FURTHER INFORMATION AND ENQUIRIES --

Please contact the workshop co-chairs, Konstantinos Sagonas,
kostis <at> it.uu.se, and Mohamed Faouzi Atig,
mohamed_faouzi.atig <at> it.uu.se.
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Simon Gay | 29 Jan 11:16 2016
Picon

2nd International Summer School on Behavioural Types


*** Funding available for students and early-career researchers from Europe.

*** Application deadline: 8th April.

----------------------------------------------------------------------
         SECOND INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES

                          LIMASSOL, CYPRUS

                     27th JUNE - 1st JULY 2016

               summerschool2016.behavioural-types.eu

Organized by COST Action IC1201: Behavioural Types for Reliable
Large-Scale Software Systems (BETTY)
----------------------------------------------------------------------

Modern society is increasingly dependent on large-scale software
systems that are distributed, collaborative and communication-centred.
Correctness and reliability of such systems depend on compatibility
between components and services that are newly developed or may
already exist. The consequences of failure are severe, including
security breaches and unavailability of essential services. Current
software development technology is not well suited to producing these
large-scale systems, because of the lack of high-level structuring
abstractions for complex communication behaviour.

COST Action IC1201 uses behavioural type theory as the basis for new
foundations, programming languages, and software development methods
for communication-intensive distributed systems. Behavioural type
theory encompasses concepts such as interfaces, communication
protocols, contracts, and choreography. As a unifying structural
principle it has the potential to transform the theory and practice of
distributed software development.

In order to train PhD students and early-career researchers in the
theory and applications of behavioural types, the 2nd International
Summer School on Behavioural Types will take place from 27th June to
1st July 2016, in Limassol, Cyprus.

Lecturers and Provisional Topics
--------------------------------

- Massimo Bartoletti (University of Cagliari, Italy)
   Behavioural contracts

- Laura Bocchi (University of Kent, UK)
   Multiparty session types

- Luís Caires (Universidade Nova de Lisboa, Portugal)
   Linear logic and session types

- Ornela Dardha (University of Glasgow, UK)
   Introduction to session types

- Raymond Hu (Imperial College London, UK)
   Practical programming with Scribble and session types

- Vasco Vasconcelos (University of Lisbon, Portugal)
   Type-based tools: SePi and ParTypes

Full information will be updated at
http://summerschool2016.behavioural-types.eu

Application procedure
---------------------

Places are limited. Applications will be evaluated by the organizing
committee. Up to thirty participants (PhD students and early-career
researchers) from COST countries (list available at www.cost.eu) can
be funded by COST Action IC1201. Other participants may attend at
their own expense; the cost is expected to be around 500 euros,
including accommodation.

Please send your CV, a statement of your current research topic and
your interest in the summer school, and a supporting letter from your
PhD supervisor or, in the case of early-career researchers, from a
mentor, to Simon Gay (Simon.Gay <at> glasgow.ac.uk). If you want to
request funding from COST Action IC1201 then please state this in your
application. Any enquiries can also be sent to Simon Gay.

Important dates
---------------

Application deadline: 25th March

Notification of acceptance: 15th April

Notification of funding: 15th April

Summer school: 27th June - 1st July

Organizing Committee
--------------------

Ilaria Castellani (INRIA Sophia Antipolis Méditerranée, France)
Simon Gay (University of Glasgow, UK), Chair
Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Hans Hüttel (Aalborg University, Denmark)
Luca Padovani (University of Torino, Italy)
Anna Philippou (University of Cyprus), Local Organiser
António Ravara (Universidade Nova de Lisboa, Portugal)
Vasco Vasconcelos (University of Lisbon, Portugal)

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Sven Wohlgemuth | 28 Jan 15:19 2016
Picon

CfP Annual Privacy Forum 2016

(I apologize if you receive multiple copies of this CfP)

Call For Papers

Annual Privacy Forum 2016 (http://privacyforum.eu/) bringing research & policy together, 7-8
September, Frankfurt am Main

Nowadays electronic communication networks and digital services are an essential part of an increasing
number of everyday commodities. In the era of automated profiling and electronic surveillance,
citizens face a serious threat against their right to privacy and informational self-determination,
especially when using the internet and mobile services. The lack of transparency regarding the
functionality and interconnection of such services increases the risk of uncontrollable processing of
personal data. In this regard, the upcoming Data Protection Regulation will be a useful instrument to
protect the privacy of individuals. However, for its successful implementation, this new framework
needs to be enforced by proper technologies and encompassed with sustainable business models along with
mechanisms to promote privacy awareness and help users to understand the value of their data.

ENISA is organizing the 2016 edition of the annual privacy forum, in the light of the upcoming data
protection regulation and the European digital agenda. We invite papers covering original work on the
technological, economic, legal and societal aspects of the challenges that will come up with the
implementation of the new framework. We particularly invite multidisciplinary papers that make it
explicit how the presented work can contribute to bridging the gap between research and policy.

Moreover, in order to also encourage contributions from policy makers, representatives of competent
authorities (such as Data Protection Authorities), industry experts, NGOs and civil society
associations, we invite opinion papers from all stakeholders on the above mentioned topics. Opinion
papers will reflect the opinion/position of the author(s) on the selected privacy-related topic.
◾Implementation aspects of ‘by design’ and 'by default' paradigms
◾Implementation and adoption of PETs in today’s digital services
◾Modelling of data protection and privacy requirements, such as: machine readable representations
and automatic evaluation of policies
◾Enabling transparency: technological and organizational challenges.
◾Technical solutions for the enforcement and the implications of the subject’s right, e.g. right to
erasure, access and correction.
◾Aspects of privacy impact and risk assessment
◾Technical solutions for data portability
◾Sustainable business models for privacy friendly online services
◾Information and consent in online environments: practical solutions and implementations
◾Privacy awareness, reliability and usability of PETs
◾Trust services for the protection of personal data - privacy aware trust services (i.e. electronic
certificates, signatures, etc.)
◾Security measures for the protection of personal data
◾Economics of privacy and personal data

Review and Publication

All submissions will be thoroughly reviewed by our PC members. We aim at minimal 3 average 4 reviews per
Paper. Furthermore, papers will be published in the proceedings of the conference with a publishing
house soon to be selected and announced.

Important dates

Submission of full papers: March 15, 2016 23:59 AoE 
Notification to author: May 10, 2016 
Camera-ready copies: May 31, 2016 
APF 2016 taking place on: September 7-8, 2016 

----
LinkedIn: https://www.linkedin.com/pub/sven-wohlgemuth/4/766/26
ResearchGate: http://www.researchgate.net/profile/Sven_Wohlgemuth 
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Nicolas Markey | 30 Jan 16:57 2016
Picon

Cassting Workshop at ETAPS'16: games for synthesis -- call for presentations

--------------------------------------------------------------------
                 Call for abstracts of presentations
--------------------------------------------------------------------

                            Cassting'16
       Workshop on Games for the Synthesis of Complex Systems

                     Colocated with ETAPS'16

              Eindhoven (Netherlands), 2-3 April 2016

           http://www.cassting-project.eu/workshop2016/

Important dates:
----------------
Submissions:  8 February 2016 (abstracts of presentations)
Notification: 19 February 2016
Workshop:     2-3 April 2016

Scope of the workshop:
----------------------
Cassting is a European research project funded by the European
Commission under the FP7 for Information and Communication Technology.
The objective of Cassting is to develop a novel approach for analysing
and designing collective adaptive systems in their totality, by using
games on graphs: components are viewed as players, their behaviour is
captured by strategies, system runs are plays, and specifications are
winning conditions. Currently, most of the games played on graphs are
of the sort "two-player zero-sum", we aim to extend them to
"multiple-player non-zero-sum", and show the applicability of the new
theory to the analysis and synthesis of interactive computational
systems.

This workshop is the final event of the Cassting project. It aims to
bring together researchers working on topics broadly related to formal
methods for the automatic verification and synthesis of complex
systems. The workshop will be composed of four invited talks, together
with contributed talks (presenting either original or already published
work). Topics of interest include:
  - Adapted notions of games for synthesis of complex interactive
    computational systems
  - Games played on complex and infinite graphs
  - Games with quantitative objectives
  - Games with incomplete information and over dynamic structures
  - Heuristics for efficient game solving.

Submissions:
------------
The deadline for submissions of original research papers has passed.
The workshop now seeks abstracts reporting on-going research or results 
already submitted or published in another venue. These submissions will 
be 2 to 4-page abstracts using the EPTCS LaTeX format. Those abstracts 
cannot be included in the EPTCS proceedings.

Submissions should be sent electronically using the EasyChair page of the 
workshop:
   https://easychair.org/conferences/?conf=cassting16

Invited speakers:
-----------------
  - Kousha Etessami: Algorithms for branching MDPs and branching
      stochastic games
  - Nathanaël Fijalkow: Boundedness Games
  - Anca Muscholl: title to be announced
  - Jan H. van Schppen: Control of dynamic discrete-event-system games

Important dates:
----------------
Submissions:   8 February 2016 (abstracts of presentations)
Notification:  19 February 2016
Workshop:      2-3 April 2016

Participation:
--------------
The workshop is a two-day satellite event of ETAPS 2016. Logistics and
registrations will be managed by the organizers of ETAPS 2016. See
http://www.etaps.org/

Organizers:
-----------
  - Thomas Brihaye
  - Nicolas Markey

More informations can be found at
     http://www.cassting-project.eu/workshop2016/

--

-- 
Thomas and Nicolas
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Jun Suzuki | 28 Jan 21:39 2016

Software engineering faculty position at University of Massachusetts, Boston

Assistant/Associate Professor Position in Software Engineering at
University of Massachusetts, Boston

https://umb.interviewexchange.com/candapply.jsp?JOBID=65134#pageTop

The Computer Science Department at the University of Massachusetts
Boston invites applications for a full-time position in Software
Engineering at the rank of Assistant/Associate Professor, to begin
September 1, 2016. We offer an ABET-accredited BS as well as a BA in
Computer Science, a BS in Information Technology, an MS in Computer
Science with an emphasis on software engineering, and a Ph.D. in
Computer Science. Current faculty interests include bioinformatics,
computer and human vision, data mining, databases, graphics, high
performance computing, networks, security, software engineering, and
theoretical computer science.

A PhD in computer science or a related area is required. A successful
candidate at the Assistant Professor level is expected to establish a
highly-recognized, externally-funded independent research program at
UMass Boston. Candidates at the Associate Professor level should have a
well-established research program with a significant funding record. We
offer a competitive salary and start-up package.

Our campus overlooks Boston harbor; our faculty and students enjoy
professional life in a center of academia and the software industry. For
more information, visit us at http://www.cs.umb.edu.

A complete application consists of a cover letter, curriculum vitae,
statements about research and teaching, and the names and email
addresses of three references. Please submit your application online.

The University of Massachusetts Boston provides equal employment
opportunities to all employees and applicants for employment without
regard race, color, religion, gender, gender identity or expression,
age, sexual orientation, national origin, ancestry, disability, military
status, or genetic information. In addition to federal law requirements,
the University of Massachusetts Boston complies with applicable state
and local laws governing nondiscrimination in employment in every
location in which the university operates. This policy applies to all
terms and conditions of employment.

--

-- 
Jun Suzuki
   Associate Professor of Computer Science
   University of Massachusetts, Boston
   jxs <at> cs.umb.edu
   http://www.cs.umb.edu/~jxs/
   http://dssg.cs.umb.edu/
    <at> JunSuzukiBoston
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

SEN-MAS 2016 - CALL FOR PAPERS

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

5th International Workshop on Smart Energy Networks & Multi-Agent 
Systems (SEN-MAS'16)

Gdansk, Poland, 11 - 14 September, 2016

WWW: http://fedcsis.org/sen-mas
E-mail: sen-mas2016 <at> fedcsis.org

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

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

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

The SEN-MAS'16 Workshop aims at providing a forum for presenting and 
discussing recent advances and experiences in building and using 
multi-agent systems for modelling, simulation and management of smart 
energy networks. In particular, it includes (but is not limited to) the 
following topics of interest:

- Experiences of Smart Grid implementations by using MAS
- Applications of Smart Grid technologies
- Management of distributed generation and storage
- Islands Power Systems, Microgrid Applications
- Real time configurations of energy networks
- Distributed planning process for energy networks by using MAS
- Self-configuring or self-healing energy systems
- Load modelling and control with MAS
- Simulations of Smart Energy Networks
- Software Tools for Smart Energy Networks
- Energy Storage
- Electrical Vehicles
- Interactions and exchange between networks for electricity, gas and heat
- Stability in Energy Networks
- Distributed Optimization in Energy Networks

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

Papers should be submitted by April 18, 2016 (strict deadline). 
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, ISSN and DOI 
numbers will posted at the conference WWW site. Extended versions of 
selected papers presented during the conference will be published as 
Special Issue(s) 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 18, 2016 (strict deadline)
- Position paper submission: May 30, 2016
- Acceptance decision: June 13, 2016
- Final version of paper submission: July 4, 2016
- Final deadline for discounted fee: July 31, 2016
- Conference dates: September 11-14, 2016

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

- Derksen, Christian, University Duisburg-Essen, Germany
- Kowalczyk, Ryszard, Swinburne University of Technology, Melbourne, 
Victoria, Australia

STEERING COMMITTEE
=======================================

- Derksen, Christian, University Duisburg-Essen, Germany
- Lehnhoff, Sebastian, OFFIS - Institute for Information Technology, Germany
- Kowalczyk, Ryszard, Swinburne University of Technology, Melbourne, 
Victoria, Australia
- Nahorski, Zbigniew, Systems Research Institute - Polish Academy of 
Science, Poland

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

- Moench, Lars, FernUniversität Hagen, Germany
- Ossowski, Sascha, University Rey Juan Carlos, Spain
- Renz, Wolfgang, HAW Hamburg
- Sonnenschein, Michael, Carl von Ossietzky University, Oldenburg, Germany
- Sudeikat, Jan, Hamburg Energie GmbH, Germany

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
Razieh Behjati | 23 Jan 16:32 2016
Picon

iFMCloud'16 2nd CfP: 1st Int'l Workshop on Formal Methods for and on the Cloud

[We apologize if you receive multiple copies of this Call for Papers.]


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

                                                           iFMCloud 2016

                                                          1st International
                                Workshop on Formal Methods for and on the Cloud
                                                   https://ifmcloud2016.nntb.no/

                         co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland
=====================================================================

Important Dates

Abstract submission deadline:  February 13, 2016
Paper submission deadline:     February 20, 2016
Author notifications:                  March 25, 2016 
Camera-ready copies:              April 10, 2016
Workshop date:                        June 4, 2016


Keynote Speaker 

Gul Agha (University of Illinois at Urbana-Champaign, USA) 



Motivation

Cloud solutions are increasingly used for a plethora of purposes, including 
solving memory-intensive and computation-intensive problems. Ensuring the 
reliability, availability, scalability, and security of cloud solutions, as 
networked distributed systems with properties such as dynamic reallocation 
of resources, is a challenging problem that requires rigorous modeling, 
analysis, and verification tools. Such tools can be devised using the 
techniques provided by the formal methods community. On the other hand, many 
formal analysis and verification tools are memory-intensive and 
computation-intensive solutions, which can benefit from the cloud technology. 


The goal of the iFMCloud workshop is to identify and better understand 
challenges of using formal and semi-formal methods for modeling and 
verification of Cloud-based systems and computer and communication networks, 
as well as challenges and opportunities in providing formal analysis and 
verification as services on the Cloud. We aim to reach these goals by 
bringing together researchers and practitioners from these, and other 
related fields.


Topics

We particularly encourage position papers and experience reports, which 
identify and structure open challenges and research questions. We are 
interested in all topics related to synergies between the fields of formal 
and semi-formal methods and the fields of cloud computing and computer and 
communication networks, including but not limited to:

  * Formal and semi-formal methods for modeling, analysis, and verification 
    of Cloud-based systems and computer and communication networks:
      - Methods for analysis and design of cloud infrastructures
      - Methods for analysis and design of cloud applications 
      - Modeling and verification of networked systems, in particular
        SDN-based systems 
      - Runtime analysis, monitoring, and performance evaluation
  * Formal analysis and verification as services on the Cloud
      - Opportunities and challenges of providing formal analysis and 
        verification as services on the Cloud
      - Distributed algorithms for analysis and verification
  * Testing as a service on the Cloud
  * Case studies and experience reports 
  * Position statements setting a research agenda for collaboration between 
    the formal methods community, the cloud computing community, and other 
    related fields

 
Submission guidelines

Authors are invited to submit position papers and experience reports (max 8 pages) in 
EPTCS proceedings format. Submissions must be original, and will be selected based on
the relevance to the workshop topics and the suitability to trigger discussions. All 
submissions will be reviewed by at least three members of the program committee. 
Accepted papers will be published in an EPTCS volume. Papers should be submitted via 
Easychair at: 


Contact Information

To contact the organizers, please send an email to:


Organizing Committee

Razieh Behjati, Simula Research Laboratory, Norway
Ahmed Elmokashfi, Simula Research Laboratory, Norway


Program Committee

Eva Darulova, MPI-SWS, Germany
Fatemeh Ghassemi, University of Tehran, Iran
Arnaud Gotlieb, Simula Research Laboratory, Norway  
Ernst Gunnar Gran, Simula Research Laboratory, Norway 
Hossein Hojjat, Cornell University, USA
Geir Horn, University of Oslo, Norway 
Andreas Kassler, Karlstad University, Sweden 
Steven Latre, University of Antwerp - iMinds, Belgium
Meriem Ouederni, IRIT/INPT Toulouse, France
Rosario Pugliese, University of Florence, Italy
Sven-Arne Reinemo, Fabriscale Technologies,  Norway
Hamideh Sabouri, Shahid Beheshti University, Iran 
Jesus Escudero Sahuquillo, Technical University of Valencia, Spain
Sagar Sen, Simula Research Laboratory, Norway
Marjan Sirjani, Reykjavik University, Iceland
Martin Steffen, University of Oslo, Norway
Amirhossein Taherkordi, University of Oslo, Norway

_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency
Alexandra Silva | 27 Jan 01:54 2016
Picon

New MSc in Logic, Semantics, and Verification of Programs

Dear all,

We are excited to announce a new one year MSc programme at University College London (UCL). This new Master’s programme is unique in the UK and one of the few in Europe bringing together deep theoretical subjects and practical program and systems verification. You can find more details about the programme on the website: 


The new MSc is organized by the Programming Principles, Logic, and Verification (PPLV) group.

Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving.

We have outstanding connections with cutting-edge industry and excellent connections with other groups at UCL, including Systems and Networks, Information Security, and Software Systems Engineering. 

Attached is the poster advertising the programme. 

Best wishes,

Alexandra Silva
Programme Director 


_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

ABC:MI 2016 - CALL FOR PAPERS

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

11th Workshop on Agent Based Computing: from Model to Implementation 
(ABC:MI'16)

Gdansk, Poland, 11 - 14 September, 2016

WWW: https://fedcsis.org/abcmi
E-mail: abcmi2016 <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 2016).

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

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
- Organization and self-organization of agent systems
- 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 18, 2016 (strict deadline). 
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, ISSN and DOI 
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

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

- Paper submission: April 18, 2016 (strict deadline)
- Position paper submission: May 30, 2016
- Acceptance decision: June 13, 2016
- Final version of paper submission: July 4, 2016
- Final deadline for discounted fee: July 31, 2016
- Conference dates: September 11-14, 2016

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
- 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
- Ivanović, Mirjana, University of Novi Sad, Serbia
- Jedrzejowicz, Piotr, Gdynia Maritime University, Poland
- Jezic, Gordan, University of Zagreb, Croatia
- Kaleta, Mariusz, Warsaw University of Technology, Poland
- 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
- Niazi, Muaz, COMSATS Institute of IT, Pakistan
- Oliveira, Eugenio, Faculty of Engineering, University of Porto, Portugal
- Omicini, Andrea, Alma Mater Studiorum–Universita 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
- Tang, Yuqing, Carnegie Mellon University, United States
- Thimm, Matthias, University of Koblenz-Landau, Germany
- Venticinque, Salvatore, Second University of Naples, Italy
- Vouros, George, University of Piraeus, Greece
- Wahjudi, Paulus, Marshall Unviersity, United States

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
M.R. Mousavi | 15 Jan 09:42 2016
Picon
Picon

6th Halmstad Summer School on Testing: Call for Participation

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

The 6th Halmstad Summer School on Testing

Halmstad University, Sweden

June 13 - June 16, 2016

http://ceres.hh.se/mediawiki/index.php/HSST_2016

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


Scope
========

Software testing accounts for a major part of software development cost and effort,
yet the current practice of software testing is often insufficiently structured and disciplined.
There have been various attempts in the past decades to bring more rigour and structure into this field,
resulting in several industrial-strength processes, techniques and tools for different levels of testing.
The 6th Halmstad Summer School on Testing provides an overview of the state of the art in testing,
including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers.

Tutorials
========

Automatic Software Verification with the Infer Static Analyzer  (Dino Distefano, Queen Mary, University of London and Facebook, UK)

Testing and Verification Methods for Many-Core Concurrency (Alastair F. Donaldson, Imperial College, UK)

Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George Mason University, USA)

Fault Model-Based Testing from State-Oriented Models (Alexandre Petrenko, Computer Research Institute of Montreal (CRIM), Canada)

The Role of Testing and Tools for Innovation (Per Runeson, Lund University, Sweden)

Fault Tree Analysis (Marielle Stoelinga, University of Twente, The Netherlands)


Ph.D. Symposium
===============

We have 6 time slots for Ph.D. presentations, where each student gets to present her/his research project (and possibly results) and receive feedback from our experts. We solicit abstracts of 2 pages in the EasyChair Style in order to make a selection (see: http://www.easychair.org/publications/for_authors ). The abstract should contain a clear overview of the problem description, approach, (existing results, if any,) and future milestone.


Abstract submissions can be made already via https://easychair.org/conferences/?conf=hsst2016 .

The deadline for submissions is May 15, 2016.



Registration
==========

The registration deadline is April 15, 2016.

To apply to the summer school, please fill in the form at: http://bit.ly/HSST2016 .
If you have any dietary requirements, or
would like to attend only certain days of the summer school, please indicate in the form .


The registration fee is 3000 SEK (approx. 325 EUR) and covers lunches, coffee breaks, and the study material, but
it does not include the social event and the social dinner.

A ticket to the social event and the social dinner costs 500 SEK and can be requested upon registration.


Venue
======

The summer school will be held on the campus of Halmstad University  in Halmstad, Sweden.  
Halmstad is a popular summer destination located on the Swedish west coast.
Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill.  
Trains take you directly to Göteborg in 75 minutes, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours.  
There are also daily flights from Halmstad Airport to Stockholm.

If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup).  
The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly toHalmstad.  


More travel information can be found at the school page:

http://ceres.hh.se/mediawiki/index.php/HSST_2016#Venue



Organizers
========

Stella Erlandsson (Local Organization, stella.erlandsson-j6GJ5Nif7xo@public.gmane.org)

Veronica Gaspes (Organization Chair,  veronica.gaspes-j6GJ5Nif7xo@public.gmane.org)

Mohammad Mousavi (Program Co-Chair, m.r.mousavi-j6GJ5Nif7xo@public.gmane.org)



The abstracts of the tutorials and the biographies of the speakers can be found at:

http://ceres.hh.se/mediawiki/index.php/HSST_2016

For more information, contact one of the organizers.
_______________________________________________
Concurrency mailing list
Concurrency <at> listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency

Gmane