[TYPES/announce] DisCoTec 2018 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION DisCoTec 2018 13th International Federated Conference on Distributed Computing Techniques http://2018.discotec.org Madrid, Spain, 18-21 June 2018 Early registration: May 10, 2018 (A limited amount of student travel grants provided by IFIP are available. Please contact the General Chair, Manuel Nunez (m...@sip.ucm.es), for details.) The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information Processing (IFIP). DisCoTec 2018 will feature: *** 3 MAIN CONFERENCES *** --- * COORDINATION 2018: 20th International Conference on Coordination Models and Languages * DAIS 2018: 18th International Conference on Distributed Applications and Interoperable Systems * FORTE 2018: 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems *** 2 WORKSHOPS *** --- * ICE 2018: 11th Interaction and Concurrency Experiences * FADL 2018: 1st Workshop on Foundations and Applications of Distributed Ledgers *** 3 PRESTIGIOUS KEYNOTE SPEAKERS *** --- * Véronique Cortier, CNRS, Loria, France. * Paolo Romano, IST, Lisbon University & INESC-ID, Portugal * Franco Zambonelli, Università di Modena e Reggio Emilia, Italy --- * General Chair * Manuel Núñez (Universidad Complutense de Madrid, Spain) * Organisation Chairs * Jesús Correas (Universidad Complutense de Madrid, Spain) Sonia Estévez (Universidad Complutense de Madrid, Spain) * Workshops Chairs * Luis Llana (Universidad Complutense de Madrid, Spain) Ngoc-Thanh Nguyen (Wroclaw University of Science and Technology, Poland)
[TYPES/announce] DisCoTec 2017 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- CALL FOR PARTICIPATION DisCoTec 2017 The 12th Federated Conference on Distributed Computing Techniques http://2017.discotec.org Facebook: https://www.facebook.com/groups/DisCoTecConference/ June 19-22, 2017 Neuchatel, Switzerland Early registration: May 19, 2017 Sponsored by the IFIP TC6 WG6.1, Architectures and Protocols for Distributed Systems The DisCoTec series of federated conferences is a major event sponsored by the International Federation of Information Processing (IFIP). DisCoTec 2017 will feature: *** 3 MAIN CONFERENCES *** - - COORDINATION 2017: 19th IFIP Int. Conf. on Coordination Models and Languages - DAIS 2017: 17th IFIP Int. Conf. on Distributed Applications and Interoperable Systems - FORTE 2017: 37th IFIP Int. Conf. on Formal Techniques for Distributed Objects, Components and Systems *** 2 WORKSHOPS *** (submission still open) - - ICE 2017 (10th Interaction and Concurrency Experience) - SHCIS 2017 (4th Workshop on Security in Highly Connected IT Systems) *** 1 SPECIAL EVENT *** - - DIEBS 2017 (Dependability and Interoperability with Event-Based Systems: EBSIS-sponsored session) *** 3 PRESTIGIOUS KEYNOTE SPEAKERS *** - - Prof. Giovanna Di Marzo Serugendo (UniGE, Switzerland) - Dr Marko Vukolić (IBM Research, Switzerland) - Dr Rupak Majumdar (MPI, Germany)
[TYPES/announce] DisCoTec 2nd CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers DisCoTec 2017 12th International Federated Conference on Distributed Computing Techniques http://2017.discotec.org Neuchâtel, Switzerland, 19-22 June 2017 The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information Processing (IFIP). The main conferences are: * COORDINATION * DAIS * FORTE This year IFIP offers some travel grants for students and an award for the best paper of DisCoTec. All conferences share the same deadlines: * Important Dates * - February 3, 2017: Submission of abstract - February 10, 2017: Submission of papers - April 10, 2017: Notification of acceptance - April 24, 2017: Final version - June 19-22, 2017: Conference and workshops * General Chair * Pascal Felber, University of Neuchatel, Switzerland * Organisation Chair * Valerio Schiavoni, University of Neuchatel, Switzerland * Publicity Chair * Ivan Lanese, University of Bologna/INRIA, Italy * Workshops Chair * Romain Rouvoy, University of Lille, France * Steering Board * Farhad Arbab (CWI, Amsterdam, Netherlands) Rocco De Nicola (IMT Lucca, Italy) Kurt Geihs (University of Kasel, Germany) Michele Loreti (University of Florence, Italy) Elie Najm (Telecom Paris Tech -- Chair) Rui Oliveira (University do Minho, Portugal) Jean-Bernard Stefani (INRIA Grenoble, France) Uwe Nestmann (TU Berlin, Germany) * Publication * Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer-Verlag in the LNCS series. COORDINATION 2017 19th IFIP International Conference on Coordination Models and Languages * Scope * Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogeneous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination. Topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of: - Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, emergent behaviour, types, semantics; - Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; - Coordination, architectural, and interface definition languages: implementation, interoperability, heterogeneity; - Middlewares and coordination; - Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing; - Nature- and bio-inspired approaches to coordination; - Coordination of multiagent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour; - Coordination and modern distributed computing: Web services, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing; - Programming languages, middleware, tools, and environments for the development of coordinated applications; - Programming methodologies and verification of coordinated applications; - Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, case studies; - Interdisciplinary aspects of coordination. * Program Committee Chairs * - Jean-Marie Jacquet, University of Namur, Belgium - Mieke Massink, CNR-ISTI, Italy DAIS 2017 17th IFIP International Conference on Distributed Applications and Interoperable Systems * Scope * The DAIS conference series addresses all aspects of distributed applications, including their design
[TYPES/announce] FACS'2014: Deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to give you a short extension for the FACS'2014 submissions, and take this opportunity also to annonce that we shall be delivering a Best paper award in partnership with EASST * FACS 2014 The 11th International Symposium on Formal Aspects of Component Software Bertinoro, Italy, September 10-12, 2014 http://facs2014.cs.unibo.it/ Colocated with iFM2014: the 11th Int. Conf. on Integrated Formal Methods * Important Dates === - Abstract submission: June 9, 2014---Sunday June 15 - Paper submission: June 16, 2014--Sunday June 22 - Notification: July 21, 2014 - Final version due:August 8, 2014 Invited speakers Sophia Drossopoulou, Imperial College (for iFM) Helmut Veith, TU Wien (shared between iFM and FACS) Rocco De Nicola, IMT Lucca (shared between iFM and FACS) Jean-Bernard Stefani, INRIA (for FACS) Colocated workshops === Harnessing Theories for Tool Support in Software (TTSS) Date: 9/9/2014 Organizers: Volker Stolz, University of Oslo, Norway Michael Lienhardt, University of Bologna, Italy Business Impact of Application of Formal Methods to Security relevant Devices (FM - BIASED) Date: 9/9/2014 Organizers: Alberto Stefanini, University of Piemonte Orientale, Italy Logics and Model-checking for Self-* Systems (MOD*) Date: 12/9/2014 Organizers: Marcello M. Bersani, Politecnico di Milano, Italy Davide Bresolin, University of Bologna, Italy Luca Ferrucci, Politecnico di Milano, Italy Manuel Mazzara, Politecnico di Milano, Italy Tools and Methods for Cyber-Physical Systems of Systems Date: 12/9/2014 Organizers: John Fitzgerald, Newcastle University, UK Wan Fokkink, VU University Amsterdam, The Netherlands Michel Reniers, Technical University Eindhoven, The Netherlands ENVISAGE Contracts for SLAs Date: 12/9/2014 Organizers: Mario Bravetti, University of Bologna/INRIA, Italy Elena Giachino, University of Bologna/INRIA, Italy Scope = Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. FACS 2014 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. Topics of Interest == The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - stochastic techniques for modelling and verification - simulation techniques for complex networks of interacting components - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance -
[TYPES/announce] FACS'2014: 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for multiple receptions. You can find a pdf poster version on the web site. * FACS 2014: 2nd CALL FOR PAPERS The 11th International Symposium on Formal Aspects of Component Software Bertinoro, Italy, September 10-12, 2014 http://facs2014.cs.unibo.it/ Colocated with iFM2014: the 11th Int. Conf. on Integrated Formal Methods * Important Dates === - Abstract submission: June 9, 2014 - Paper submission: June 16, 2014 - Notification: July 21, 2014 - Final version due:August 8, 2014 Invited speakers Sophia Drossopoulou, Imperial College (for iFM) Helmut Veith, TU Wien (shared between iFM and FACS) Rocco De Nicola, IMT Lucca (shared between iFM and FACS) Jean-Bernard Stefani, INRIA (for FACS) Colocated workshops === Harnessing Theories for Tool Support in Software (TTSS) Date: 9/9/2014 Organizers: Volker Stolz, University of Oslo, Norway Michael Lienhardt, University of Bologna, Italy Business Impact of Application of Formal Methods to Security relevant Devices (FM - BIASED) Date: 9/9/2014 Organizers: Alberto Stefanini, University of Piemonte Orientale, Italy Logics and Model-checking for Self-* Systems (MOD*) Date: 12/9/2014 Organizers: Marcello M. Bersani, Politecnico di Milano, Italy Davide Bresolin, University of Bologna, Italy Luca Ferrucci, Politecnico di Milano, Italy Manuel Mazzara, Politecnico di Milano, Italy Tools and Methods for Cyber-Physical Systems of Systems Date: 12/9/2014 Organizers: John Fitzgerald, Newcastle University, UK Wan Fokkink, VU University Amsterdam, The Netherlands Michel Reniers, Technical University Eindhoven, The Netherlands ENVISAGE Contracts for SLAs Date: 12/9/2014 Organizers: Mario Bravetti, University of Bologna/INRIA, Italy Elena Giachino, University of Bologna/INRIA, Italy Scope = Component-based software development is a paradigm that has been proposing sound engineering principles and techniques for coping with the complexity of software-intensive systems. However, many challenging conceptual and technological issues remain that require further research. Moreover, the advent of service-oriented and cloud computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures. As software applications become themselves components of wider socio-technical systems, further challenges arise from the need to create and manage interactions, which can evolve in time and space, and rely on the use of resources that can change in non-computable ways. FACS 2014 is concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic world. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. Whilst those avenues still need to be further explored, time is also ripe to bring new techniques to the fore, such as those based on stochastic models and simulation. Topics of Interest == The symposium seeks to address the development and application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, business processes, cloud computing, ensembles, or similar programming artifacts - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - stochastic techniques for modelling and verification - simulation techniques for complex networks of interacting components - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive
[TYPES/announce] Deadline extension: 7th Interaction and Concurrency Experience (ICE 2014)
(IT University of Copenhagen, Denmark) Nicolas D'Ippolito (Imperial College London, UK) Mike Dodds (York University, UK) Bernd Finkbeiner (Universität des Saarlandes, Germany) Elena Giachino (University of Bologna, Italy) Tobias Heindel (LIX École Polytechnique, France) Ludovic Henrio (CNRS, France) Sophia Knight (LIX École Polytechnique, France) Barbara Koenig (University of Duisburg, Germany) Vasileios Koutavas (Trinity College Dublin, UK) Julien Lange (Imperial College London, UK) Hernán Melgratti (University of Buenos Aires, Argentina) Shiva Nejati (University of Luxembourg, Luxembourg) Peter Ölveczky (University of Oslo, Norway) Luca Padovani (University of Torino, Italy) Antonio Ravara (Universidade NOVA de Lisboa, Portugal) Owen Stephens (University of Southampton, UK) Ali Sezgin (IST Austria, Austria) Alexandra Silva (Radboud University Nijmegen, The Netherlands) Paola Spoletini (University of Insubria, Italy) Bernardo Toninho (Universidade NOVA de Lisboa, Portugal Carnegie Mellon University, USA) Emilio Tuosto (University of Leicester, UK) === ICEcreamers === Ivan Lanese (University of Bologna/INRIA, Italy; PC chair) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Ana Sokolova (University of Salzburg, Austria; PC chair) Hugo Torres Vieira (University of Lisbon, Portugal) === Steering Committee === Alexandra Silva (Radboud University Nijmegen, The Netherlands) Simon Bliudze (EPFL, Switzerland) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Emilio Tuosto (University of Leicester, UK) Paola Spoletini (University of Insubria, Italy) === Contact === ice2...@easychair.org === Previous editions === The previous six editions of ICE have been held on * July 6th, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3). * August 31st, 2009 in Bologna, Italy, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2). * June 10th, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec'10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI). * June 9th, 2011 in Reykjavik, Iceland, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and selected papers appeared in a special issue of SACS (Vol. XXII). * June 16th, 2012 in Stockholm, Sweden, co-located with DisCoTec'12. The post-proceedings were published in EPTCS (vol.104) and a special issue of SCP is now in preparation. * June 6th, 2013 in Florence, Italy, co-located with DisCoTec’13. The post-proceedings were published in EPTCS (vol.131) and a special issue of SCP is now in preparation.
[TYPES/announce] Postdoc position on Reversible computing
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for PostDocs The ANR REVER project is seeking applicants for two 1-year post-doctoral research positions. The work will be done either at the Spades team at INRIA Grenoble, at the Focus team at University of Bologna (joint team with INRIA Sophia Antipolis Méditerranée) or at the PPS laboratory at the University of Paris Denis Diderot. The REVER project aims at facilitating the programming of recoverable systems, i.e. of systems that can tolerate faults by means of system recovery techniques, using reversible computing. More precisely, the REVER project aims to study the possibility of defining semantically well-founded and composable abstractions for dependable computing on the basis of a reversible programming language substrate, where reversibility means the ability to undo any distributed program execution, possibly step by step, and to revert it to a state consistent with the past execution. See http://www.pps.univ-paris-diderot.fr/~jkrivine/ANR/REVER/ANR_REVER/Welcome.html for more information on the REVER project. The successful applicants will be expected to contribute to this research effort, which will include both semantic foundations, programming abstractions, and practical implementations. Requirements for application: * Ph.D. in Computer Science (completed or near completion) * A research background on concurrency theory, programming language semantics, programming language implementation, or distributed algorithms. Application procedure: * To apply send a curriculum, a publication record and a statement of interest via e-mail to Prof. Jean-Bernard Stefani jean-bernard.stef...@inria.fr, Dr. Ivan Lanese lan...@cs.unibo.it, and Dr Jean Krivine jean.kriv...@pps.univ-paris-diderot.fr. * Deadline: April 30, 2014
[TYPES/announce] Final CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany
College London, UK) Mike Dodds (York University, UK) Bernd Finkbeiner (Universität des Saarlandes, Germany) Elena Giachino (University of Bologna, Italy) Tobias Heindel (LIX École Polytechnique, France) Ludovic Henrio (CNRS, France) Sophia Knight (LIX École Polytechnique, France) Barbara Koenig (University of Duisburg, Germany) Vasileios Koutavas (Trinity College Dublin, UK) Julien Lange (Imperial College London, UK) Hernán Melgratti (University of Buenos Aires, Argentina) Shiva Nejati (University of Luxembourg, Luxembourg) Peter Ölveczky (University of Oslo, Norway) Luca Padovani (University of Torino, Italy) Antonio Ravara (Universidade NOVA de Lisboa, Portugal) Owen Stephens (University of Southampton, UK) Ali Sezgin (IST Austria, Austria) Alexandra Silva (Radboud University Nijmegen, The Netherlands) Paola Spoletini (University of Insubria, Italy) Bernardo Toninho (Universidade NOVA de Lisboa, Portugal Carnegie Mellon University, USA) Emilio Tuosto (University of Leicester, UK) === ICEcreamers === Ivan Lanese (University of Bologna/INRIA, Italy; PC chair) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Ana Sokolova (University of Salzburg, Austria; PC chair) Hugo Torres Vieira (University of Lisbon, Portugal) === Steering Committee === Alexandra Silva (Radboud University Nijmegen, The Netherlands) Simon Bliudze (EPFL, Switzerland) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Emilio Tuosto (University of Leicester, UK) Paola Spoletini (University of Insubria, Italy) === Contact === ice2...@easychair.org === Previous editions === The previous six editions of ICE have been held on * July 6th, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3). * August 31st, 2009 in Bologna, Italy, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2). * June 10th, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec'10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI). * June 9th, 2011 in Reykjavik, Iceland, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and selected papers appeared in a special issue of SACS (Vol. XXII). * June 16th, 2012 in Stockholm, Sweden, co-located with DisCoTec'12. The post-proceedings were published in EPTCS (vol.104) and a special issue of SCP is now in preparation. * June 6th, 2013 in Florence, Italy, co-located with DisCoTec’13. The post-proceedings were published in EPTCS (vol.131) and a special issue of SCP is now in preparation.
[TYPES/announce] ICE 2013: Deadline extended until Sunday 24th March
of the best full papers selected by the PC will be invited to appear in a special issue of the journal of Science of Computer Programming (http://www.journals.elsevier.com/science-of-computer-programming/ ). Such contributions will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. === Program Committee === Luca Aceto (Reykjavik University, Iceland) Simon Bliudze (EPFL, Switzerland) Laura Bocchi (University of Leicester, UK) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Marcello Bonsangue (Leiden University, The Netherlands) Ornela Dardha (University of Bologna/INRIA, Italy) Ichiro Hasuo (University of Tokyo, Japan) Tobias Heindel (CEA Saclay, France) Ludovic Henrio (CNRS, France) Clemens Kupke (University of Strathclyde, Scotland, UK) Julien Lange (University of Leicester, UK) Antonia Lopes (University of Lisbon, Portugal) Giuliano Losa (EPFL, Switzerland) Claudio A. Mezzina (FBK Trento, Italy) Matteo Mio (?cole Polytechnique, France) Valentina Monreale (University of Pisa, Italy) Luca Mottola (Politecnico di Milano, Italy) Daniela Petrisan (University of Leicester, UK) Paola Spoletini (University of Insubria, Italy) Emilio Tuosto (University of Leicester, UK) Valerio Senni (IMT Lucca, Italy) Alexandra Silva (Radboud University Nijmegen, The Netherlands) Josef Widder (TU Vienna, Austria) Roberto Zunino (Universit? degli Studi di Trento and COSBI, Italy) === ICEcreamers === - Marco Carbone (IT University of Copenhagen, Denmark; co-chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (IMT Lucca, Italy) - Ana Sokolova (University of Salzburg, Austria; co-chair) === Contact === ice2...@easychair.org === Previous editions === The previous five editions of ICE have been held on * July 6th, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3). * August 31st, 2009 in Bologna, Italy, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS?09 and SOS?09, Vol. 22, Number 2). * June 10th, 2010 in Amsterdam, The Netherlands, co-located with DisCoTec'10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI). * June 9th, 2011 in Reykjavik, Iceland, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and selected papers appeared in a special issue of SACS (Vol. XXII). * June 16th, 2012 in Stockholm, Sweden, co-located with DisCoTec'12. The post-proceedings were published in EPTCS (vol.104) and a special issue of SCP is now in preparation. ___ Sensoria mailing list senso...@lists.tcs.ifi.lmu.de http://lists.tcs.ifi.lmu.de/mailman/listinfo/sensoria ___ FMxSOCandBPM mailing list fmxsocand...@cs.unibo.it http://www.cs.unibo.it/cgi-bin/mailman/listinfo/fmxsocandbpm
[TYPES/announce] SOAP track new deadline: September 28
- Adaptable Web Services - Software Product Lines for Services - Artificial Intelligence Techniques for Service-Oriented Computing IMPORTANT DATES (strict) September 28, 2012: Paper submissions November 10, 2012: Author notification November 30, 2012: Camera-Ready Copy March 18-22, 2013: Conference SUBMISSIONS Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. Peer groups with expertise in the track focus area will double-blindly review submissions. Accepted papers will be published in the annual conference proceedings. SOAP track chairs will not submit to the track. Submissions from SOAP PC members and from PC members and track chairs of other SAC tracks are welcome. Submission guidelines can be found on SAC 2013 Website: http://www.acm.org/conferences/sac/sac2013/ Prospective papers should be submitted to the track using the provided automated submission system. Please pay attention to ensure anonimity of your submitted manuscript as detailed in the submission page so to allow for double-blind review. Papers not satisfying this constraint will be automatically rejected. The maximum length for papers is 8 pages. Accepted papers whose camera-ready version will exceed 6 pages will have to pay an extra charge. For each accepted paper, an author or a proxy attending SAC MUST present the paper. This is a requirement for the paper to be included in the ACM/IEEE digital library. SPECIAL ISSUE Authors of best papers will be invited to submit an extended and revised version of their work to a special issue of Science of Computer Programming. STUDENT RESEARCH COMPETITION PROGRAM Graduate students are invited to submit research abstracts (minimum of 2-page and maximum of 4-page) following the instructions published at SAC 2013 website. Submission of the same abstract to multiple tracks is not allowed. All research abstract submissions will be reviewed by researchers and practitioners with expertise in the track focus area to which they are submitted. Authors of selected abstracts will have the opportunity to give poster presentations of their work and compete for three top-winning places. The Student Research Competition committee will evaluate and select First-, Second-, and Third- place winners. The winners will receive cash awards and SIGAPP recognition certificates during the conference banquet. Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award program for support. PC MEMBERS Faycal Abouzaid, University of Montreal (Canada) Luis Barbosa, Universidade do Minho - Braga (Portugal) Jesper Bengtson, IT University of Copenhagen (Denmark) Laura Bocchi, University of Leicester (UK) Roberto Bruni, University of Pisa (Italy) Nicola Dragoni, Technical University of Denmark (Denmark) Schahram Dustdar, Technical University of Vienna (Austria) Ettore Ferranti, ABB Switzerland Ltd Corporate Research (Switzerland) Tim Hallwyl, Visma Sirius (Denmark) Koji Hasebe, University of Tsukuba (Japan) Nickolas Kavantzas, ORACLE (USA) Marcello La Rosa, Queensland University of Technology (Australia) Hernàn Melgratti, University of Buenos Aires (Argentina) Nicola Mezzetti, Engineering Ingegneria Informatica S.p.A. - Bologna (Italy) Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden) Antonio Ravara, New University of Lisbon (Portugal) Gwen Salaün, INRIA Grenoble (France) Martin Schäf, UNU-IIST (Macao) Francesco Tiezzi, IMT Lucca (Italy) Emilio Tuosto, University of Leicester (UK) Mirko Viroli, University of Bologna (Italy) Sebastian Wieczorek, SAP (Germany) Peter Wong, Fredhopper - Amsterdam (Netherlands) Huibiao Zhu, East China Normal University - Shanghai (China) TRACK CHAIRS Ivan Lanese lanese @ cs.unibo.it FOCUS Team, University of Bologna/INRIA, Italy Manuel Mazzara manuel.mazzara @ newcastle.ac.uk UNU-IIST, Macao / School of Computing Science, Newcastle university, UK Fabrizio Montesi fmontesi @ italianasoftware.com IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy
[TYPES/announce] REVER Call for Ph.D. and post-doc
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for PostDoc and Ph.D. The ANR REVER project is seeking applicants for both a PhD student position and a 2-year post-doctoral research position. The work will be done either inside the Sardes team at INRIA Grenoble or inside the Focus team at University of Bologna (joint team with INRIA Sophia Antipolis Méditerranée). The REVER project aims at facilitating the programming of recoverable systems, i.e. of systems that can tolerate faults by means of system recovery techniques. More precisely, the REVER project aims to study the possibility of defining semantically well-founded and composable abstractions for dependable computing on the basis of a reversible programming language substrate, where reversibility means the ability to undo any distributed program execution, possibly step by step, and to revert it to a state consistent with the past execution. See http://www.pps.jussieu.fr/~jkrivine/REVER/ANR_REVER/Welcome.html for more information on the REVER project. The successful applicants will be expected to contribute to this research effort, which will include both semantic foundations, programming abstractions, and practical implementations. Requirements for Ph.D. application: * Master Degree in Computer Science, Mathematics, or related field Requirements for PostDoc application: * Ph.D. in Computer Science (completed or near completion) * A research background on concurrency theory, programming language semantics, or distributed algorithms. For both the positions: * To apply send a curriculum, a publication record and a statement of interest via e-mail to Prof. Jean-Bernard Stefani jean-bernard.stef...@inria.fr and Dr. Ivan Lanese lan...@cs.unibo.it * Deadline: April 15, 2012
[TYPES/announce] SOAP track for SAC CfP
to Services * Statement papers about future possible directions for research Important Dates * August 16, 2008: Paper submissions (strict) * October 11, 2008: Author notification * October 25, 2008: Camera-Ready Copy * March 8-12, 2009: Conference Submissions * Papers must follow the template reported at this http://www.acm.org/conferences/sac/sac2009/downloads09.htm * The author(s) name(s) and address(s) must NOT appear in the body of the submitted paper, and self-references should be in the third person. This is to facilitate blind review required by ACM. All submitted papers must include the paper identification number on the front page, above the title of the paper provided to you by the eCMS when you register your paper. * Submit your paper in electronic format by using the eCMS site: http://sac.cs.iupui.edu/SAC2009/ PC Members * Marco Aiello, University of Groningen, The Netherlands * Roberto Bruni, Universit di Pisa, Italy * Reicko Heckel, University of Leicester, UK * Kohei Honda, Queen Mary Westfield College of London, UK * Nickolas Kavantzas, Oracle, USA * Nora Koch, LMU and Cirquent GmbH, Germany * Roberto Lucchi, European Commission - Joint Research Centre (Italy) * Li MA, IBM China Research Lab, China * Jing Mei, IBM China Research Lab, China * Hernan Melgratti, Universidad de Buenos Aires, Argentina * Greg Meredith, Biosimilarity LLC, USA * Fabrizio Montesi, italianaSoftware s.r.l., Italy * Martin Wirsing, LMU, Germany * Gianluigi Zavattaro, Universit di Bologna, Italy Track Chairs * Claudio Guidi cguidi @ cs.unibo.it Polo Scientifico e didattico di Cesena, University of Bologna, Italy * Ivan Lanese lanese @ cs.unibo.it Dipartimento di Scienze dell'Informazione, University of Bologna, Italy * Manuel Mazzara manuel.mazzara @ newcastle.ac.uk School of Computing Science, Newcastle university, UK