[TYPES/announce] Postdoc/PhD position at Innopolis University

, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle and Politecnico di Milano. Scholarships and benefits are on a par with the most attractive international offerings. Numerous opportunities are available for

[TYPES/announce] MSE@SEFM 2017 - Workshop Call for Papers

University of Denmark (DTU), Denmark - Luca Ferrucci - ISTI-CNR, Italy - Manuel Mazzara - Innopolis University, Russia - Fabrizio Montesi - University of Southern Denmark *Important Dates* - June 15, 2017: Paper submission deadline - July 6, 2017: Notification of acceptance - September 4, 2017

[TYPES/announce] MSE@SEFM 2017 - Deadline Extended to 22.6.2017

University of Denmark (DTU), Denmark - Luca Ferrucci - ISTI-CNR, Italy - Manuel Mazzara - Innopolis University, Russia - Fabrizio Montesi - University of Southern Denmark *Important Dates* - *June 22, 2017: Paper submission deadline* - July 6, 2017: Notification of acceptance - September 4, 2017

[TYPES/announce] TOOLS 50+1: CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, We are working on the 50+1 edition of the TOOLS conference. Papers on all innovative aspects of software technology are welcome. The 2019 TOOLS 50+1, taking place near Kaza

[TYPES/announce] Latest news on TOOLS 50+1

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, we have now completed the PC and identified two keynote speakers for the main conference: https://easychair.org/cfp/TOOLS-50_1 We are planning to invite a third keynote s

[TYPES/announce] Last CFP: SAC 2012 track on Service-Oriented Architectures and Programming

ologna/INRIA, Italy Manuel Mazzara manuel.mazzara @ newcastle.ac.uk School of Computing Science, Newcastle university, UK Fabrizio Montesi fmontesi @ italianasoftware.com IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy

[TYPES/announce] 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS'12)

HAIRS Nicola Dragoni DTU Informatics Technical University of Denmark, Denmark n...@imm.dtu.dk Manuel Mazzara School of Computing Science Newcastle University, UK manuel.mazz...@newcastle.ac.uk PROGRAM COMMITTEE Faycal Abouzaid, CRAC, Ecole Polytechnique of Montreal, Canada Enrico Denti, DEIS, Uni

[TYPES/announce] 1s International Workshop on Trustworthy Multi-Agent Systems (TruMAS'12)

hed by Springer-Verlag in a volume of LNCS/LNAI. CHAIRS Nicola Dragoni DTU Informatics Technical University of Denmark, Denmark n...@imm.dtu.dk Manuel Mazzara School of Computing Science Newcastle University, UK manuel.mazz...@newcastle.ac.uk PROGRAM COMMITTEE Faycal Abouzaid, CRAC, Ecole

[TYPES/announce] SOAP track CfP

logna (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

[TYPES/announce] MOD* CFP

co di Milano, marcellomaria.bers...@polimi.it Davide Bresolin, Università di Bologna, davide.breso...@unibo.it Luca Ferrucci, Politecnico di Milano, ferru...@elet.polimi.it Manuel Mazzara, Politecnico di Milano, mazz...@elet.polimi.it PROGRAM COMMITTEE Ezio Bartocci, Vienna University of Techn

[TYPES/announce] MOD* CFP

co di Milano, marcellomaria.bers...@polimi.it Davide Bresolin, Università di Bologna, davide.breso...@unibo.it Luca Ferrucci, Politecnico di Milano, ferru...@elet.polimi.it Manuel Mazzara, Politecnico di Milano, mazz...@elet.polimi.it PROGRAM COMMITTEE Ezio Bartocci, Vienna University of Techn

[TYPES/announce] MOD* CFP

co di Milano, marcellomaria.bers...@polimi.it Davide Bresolin, Università di Bologna, davide.breso...@unibo.it Luca Ferrucci, Politecnico di Milano, ferru...@elet.polimi.it Manuel Mazzara, Politecnico di Milano, mazz...@elet.polimi.it PROGRAM COMMITTEE Ezio Bartocci, Vienna University of Techn

[TYPES/announce] MOD* workshop - DEADLINE EXTENDED

rsani, Politecnico di Milano, marcellomaria.bers...@polimi.it Davide Bresolin, Università di Bologna, davide.breso...@unibo.it Luca Ferrucci, Politecnico di Milano, ferru...@elet.polimi.it Manuel Mazzara, Politecnico di Milano, mazz...@elet.polimi.it PROGRAM COMMITTEE Ezio Bartocci, Vienna Universi

[TYPES/announce] Postdoc and PhD positions at Innopolis University

, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle and Politecnico di Milano. Scholarships and benefits are on a par with the most attractive international offerings. Numerous opportunities are available for

[TYPES/announce] PSI 2015 CfP

Institute for System Programming, Russian Academy of Sciences Ugo Montanari University of Pisa Programme Committee Chairs Manuel Mazzara Innopolis University Andrei Voronkov The University of Manchester Conference Topics 1. Foundations of Program and System Development and Analysis

[TYPES/announce] 10th Ershov Informatics Conference, 25 - 27 August 2015, Innopolis, Kazan, Russia

Technische Universität München Victor Ivannikov Institute for System Programming, Russian Academy of Sciences Ugo Montanari University of Pisa Programme Committee Chairs Manuel Mazzara Innopolis University Andrei Voronkov The University of Manchester Keynote speakers Hans-Ulrich Heiss, TUB, Germany

[TYPES/announce] Postdoc and PhD positions at Innopolis University

, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle and Politecnico di Milano. Scholarships and benefits are on a par with the most attractive international offerings. Numerous opportunities are available for

[TYPES/announce] VERY* - Call for papers

r.it<mailto:ferru...@isti.cnr.it> * Manuel Mazzara, Innopolis University, m.mazz...@innopolis.ru<mailto:m.mazz...@innopolis.ru> * Salvatore Distefano, Politecnico di Milano [publicity chair], salvatore.distef...@polimi.it<mailto:salvatore.distef...@polimi.it>

[TYPES/announce] PSI 2015

. Ershov Institute, Novosibirsk Programme Committee Chairs Manuel Mazzara Innopolis University Andrei Voronkov The University of Manchester Steering Committee Dines Bjorner Technical University of Denmark Manfred Broy Technische Universität München Victor Ivannikov Institute for System Programming

[TYPES/announce] PSI 2015 - DEADLINE EXTENDED TO 23.4.2015

. Ershov Institute, Novosibirsk Programme Committee Chairs Manuel Mazzara Innopolis University Andrei Voronkov The University of Manchester Steering Committee Dines Bjorner Technical University of Denmark Manfred Broy Technische Universität München Victor Ivannikov Institute for System Programming

[TYPES/announce] The 2nd Workshop on Formal Verification for self-* systems (VERY*)

r.it<mailto:ferru...@isti.cnr.it> * Manuel Mazzara, Innopolis University, m.mazz...@innopolis.ru<mailto:m.mazz...@innopolis.ru> * Salvatore Distefano, Politecnico di Milano [publicity chair], salvatore.distef...@polimi.it<mailto:salvatore.distef...@polimi.it>

[TYPES/announce] Open positions in Software Engineering at Innopolis University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant / Associate / Full Professor (Open Rank Faculty Positions) Institution: Innopolis University Location: Innopolis (satellite city of Kazan), Tatarstan, Russia Category: Faculty of Co

[TYPES/announce] CFP: SOAP Track at SAC 2009

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

[TYPES/announce] DEADLINE EXTENSION - SOAP Track at SAC 2009 (now is August 23)

cientifico 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

[TYPES/announce] SOAP Track @ SAC 2010

ilkov, innoQ (Germany) Martin Wirsing, University of Muenchen (Germany) Track Chairs Claudio Guidi cguidi @ cs.unibo.it Polo Scientifico e didattico di Cesena, University of Bologna Ivan Lanese lanese @ cs.unibo.it Dipartimento di Scienze d

[TYPES/announce] Second CFP: SAC 2011 track on Service Oriented Architectures and Programming

dovani, Università di Torino (Italy) Andreas Roth, SAP (Germany) Maurice ter Beek, ISTI-CNR, Pisa (Italy) Peter Wong, Fredhopper, Amsterdam (Netherlands) TRACK CHAIRS Ivan Lanese lanese @ cs.unibo.it Dipartimento di Scienze dell'Informazione, University of Bologna Manuel Mazzara man

[TYPES/announce] [DEADLINE EXTENSION] SAC 2011 track on Service Oriented Architectures and Programming

s Roth, SAP (Germany) * Maurice ter Beek, ISTI-CNR, Pisa (Italy) * Peter Wong, Fredhopper, Amsterdam (Netherlands) TRACK CHAIRS Ivan Lanese lanese @ cs.unibo.it FOCUS Team, Dipartimento di Scienze dell'Informazione, University of Bologna/INRIA, Italy Manuel Mazzara manuel.mazzara @ ne

[TYPES/announce] INTRUSO 2011 CFP

Denmark - n...@imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavant...@oracle.com * Fabio Massacci, University of Trento, Italy - massa...@disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazz...@newcastle.ac.uk Program Committee * Mohamed Faical Abouzaid, Ecole Polytech

[TYPES/announce] INTRUSO 2011 - Second CFP

* Nicola Dragoni, Denmark Technical University (DTU), Denmark - n...@imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavant...@oracle.com * Fabio Massacci, University of Trento, Italy - massa...@disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazz...@newcastle.ac.uk Pro

[TYPES/announce] INTRUSO 2011: Deadline Extended to May 11

Chairs * Nicola Dragoni, Denmark Technical University (DTU), Denmark - n...@imm.dtu.dk * Nickolaos Kavantzas, Oracle, USA - nickolas.kavant...@oracle.com * Fabio Massacci, University of Trento, Italy - massa...@disi.unitn.it * Manuel Mazzara Newcastle University, UK - manuel.mazz...@newcastle