[Hol-info] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready

[Apologies for multiple postings] ** Reminder: the ASYDE @SEFM'19 submission deadline is June 10th, 2019 ** Keynote by Marjan Sirjani @ASYDE 2019, Mälardalen University ** Special Issue on Automated and Verifiable Internet Services and Applications Development - Springer Journal of Internet

[Hol-info] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019

of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019

, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [1st Call for Papers] ASYDE 2019 @ SEFM 2019

...@univaq.it == PROGRAM COMMITTEE == [to be announced] == WEB CHAIR == - Amleto Di Salle, University of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy ___ hol-info mailing list hol-info@lists.sourceforge.net

[Hol-info] [Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things

Call for Papers Springer Journal of Internet Services and Applications (JISA) - Thematic Series on Verification and Composition for the Internet of Services and Things - The Internet

[Hol-info] SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal

ty Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of software composition models - Formal verification and model checking of software integration code - Service-oriented software composition - Automated software com

[Hol-info] DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal

sity Amsterdam, Nederland - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, Università di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, Università degli studi di Milano, Italy == Web Chair & Publicity Chair == - A

[Hol-info] [VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal

land - Carlo Ghezzi, Politecnico di Milano, Italy - Antonio Bucchiarone, FBK-IRST, Italy - Antonio Brogi, Università di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, Università degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, Un

[Hol-info] [VeryComp 2016] - 1st Call for Paper

rogi, UniversitΓ  di Pisa, Italy - Amel Bennaceur, The Open University, UK - Carlo Bellettini, UniversitΓ  degli studi di Milano, Italy == Web Chair & Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == List of topics (not limited to) == - Specification and design of

[Hol-info] FOCLASA 2015 - Call for Participation

Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00

[Hol-info] FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended

and HASLab/INESC TEC, University of Minho, Portugal jose.proe...@cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tiv...@univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI

[Hol-info] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers

Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Amleto Di Salle, University of L'Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality

[Hol-info] FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers

, University of Minho, Portugal jose.proe...@cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tiv...@univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili

[Hol-info] [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers

Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Marco Autili, University of L’Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality

[Hol-info] SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers

Wien, Austria == Publicity Chair == - Alexander Perucci, University of L'Aquila, Italy == Web Chair == - Amleto Di Salle, University of L'Aquila, Italy == List of topics (although not limited to) == - Specification, architecture, and design of software composition models - Software quality

[Hol-info] Projects Showcase at STAF'15 - Deadline Extension

Dear Colleague, we extended the submission deadline for our Project Showcase at STAF'15 to May 17th, 2015 - http://www.disim.univaq.it/staf2015/projects-showcase/. The success of the showcase depends on the submissions we receive, and you might be a very important part of this endeavour. We

[Hol-info] CfP REMINDER - SCFI 2015 at IEEE SERVICES 2015

, Italy - Salvatore Di Stefano, Politecnico di Milano, Italy - Steffen Becker, University of Paderborn, Germany - Valerio Schiavoni, UNINE, Switzerland - Vincenzo Ciancia, CNR, Italy - Zachary Oster, University of Wisconsin-Whitewater, US == Publicity Chair == - Alexander Perucci, University of L

[Hol-info] Projects Showcase at STAF'15 - Call for Paper

** Projects Showcase at STAF'15 - Call for Paper ** --- Goals and Scope During the last decade a number of national and international financial instruments have been funding research, innovation and development programmes. From local to global scales, many projects have been

[Hol-info] SCART 2015 - 1st Call for Papers (at SEFM 2015)

== • Alexander Perucci, University of L’Aquila, Italy == Web Chair == • Amleto Di Salle, University of L’Aquila, Italy == List of topics (although not limited to) == • Specification, architecture, and design of software composition models • Software quality assurance for software

[Hol-info] FOCLASA 2015 - 1st Call For Papers

== * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proe...@cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tiv...@univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy