[TYPES/announce] Faculty position in Formal Methods at DTU Compute, Technical University of Denmark

, Denmark * Position level: ​​Associate Professor / Tenure Track Assistant Professor * Area: Formal Methods * Deadline: May 15, 2024 * Starting date (tentative/negotiable): January 1, 2025 Informal enquiries are welcome and may be sent to Alberto Lluch Lafuente (a...@dtu.dk). More information

[TYPES/announce] PhD Position in Formal Methods for Security

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, There is an open position in Formal Methods for Security in our group at the Technical University of Denmark. Detailed information can be obtained here

[TYPES/announce] Associate/Assistant Professor in Programming Languages at the Technical University of Denmark

t;h...@dtu.dk> - Flemming Nielson <f...@dtu.dk> - Sebastian Alexander Mödersheim <s...@dtu.dk> - Alberto Lluch Lafuente <a...@dtu.dk> Best wishes, Alberto, Hanne, Flemming, Sebastian

[TYPES/announce] CFP: COORDINATION 2016

. Watson Research Lab, USA) PC CHAIRS Alberto Lluch Lafuente (Technical University of Denmark, Denmark) José Proença (KU Leuven, Belgium and University of Minho, Portugal) PROGRAMME COMMITTEE Gul Agha (University of Illinois at Urbana Champaign, USA) Luís Barbosa (University of Minho, Portugal) Jacob

[TYPES/announce] CfP JLAMP - Special Issue on Automated Specification and Verification of Web Systems

". GUEST EDITORS Maurice H. ter Beek, ISTI-CNR, Pisa, Italy Alberto Lluch Lafuente, Technical University of Denmark, Denmark

[TYPES/announce] - deadlines extended - WWV 2015, with FM 2015 in Oslo, Keynotes by Meseguer (UIUC) and Distefano (QMUL, Facebook)

Alberto Lluch Lafuente Technical University of Denmark PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Massimo Bartoletti University of Cagliari, Italy Saddek BensalemVerimag, Grenoble, France Xinyu Feng University of Science and Technology

[TYPES/announce] 2nd CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems

Research, among other important repositories). An open call for a special issue in a highly-reputed journal on the topic of the WWV workshop is envisaged. This has been common practice for WWV since 2009. PROGRAM CHAIRS Maurice H. ter BeekISTI-CNR, Pisa, Italy Alberto Lluch Lafuente

[TYPES/announce] CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems

CHAIRS Maurice H. ter BeekISTI-CNR, Pisa, Italy Alberto Lluch Lafuente Technical University of Denmark PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Massimo Bartoletti University of Cagliari, Italy Saddek BensalemVerimag, Grenoble, France Xinyu Feng

[TYPES/announce] 1 Assistant Professorship Position and several PhD positions in Computer Science at IMT Lucca (Italy)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Assistant Professor in Systems Modeling and Analysis (Computer Science) - Deadline for applications: July 11th 2014 -

[TYPES/announce] JLAMP - The third life of a Journal

/2271084/www/JLAMP-editorial-note.pdf and a flyer with information about aims and scope and the editorial board at https://dl.dropboxusercontent.com/u/2271084/www/JLAMP-flyer.pdf Best regards, Rocco De Nicola, Editor-in-Chief Alberto Lluch Lafuente, Editorial Assistant

[TYPES/announce] GRAPHite 2014 ** Last CFP Deadline extension ** 3rd Etaps Workshop on Graph Inspection and Traversal Engineering

(Eindhoven University of Technology, The Netherlands) * Dragan Bošnački (Eindhoven University of Technology, The Netherlands) * Stefan Edelkamp (University of Bremen, Germany) * Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) PROGRAM COMMITTEE * Klemens Böhm (Karlsruhe Institute

[TYPES/announce] CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany

(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

[TYPES/announce] 2nd CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

of Technology, The Netherlands) * Stefan Edelkamp (University of Bremen, Germany) * Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) PROGRAM COMMITTEE * Klemens Böhm (Karlsruhe Institute of Technology, Germany) * Pierluigi Crescenzi (University of Florence, Italy) * Keijo

[TYPES/announce] 1st CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

, Germany) * Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) PROGRAM COMMITTEE * Klemens Böhm (Karlsruhe Institute of Technology, Germany) * Pierluigi Crescenzi (University of Florence, Italy) * Keijo Heljanko (Aalto University, Finland) * Martin Hofmann (LMU Munich, Germany

[TYPES/announce] TGC 2013: Call for Participation

of Munich, Germany) Programme chairs Martín Abadi (Microsoft Research and UC Santa Cruz, USA) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Programme committee === Gul Agha (University of Illinois at Urbana-Champaign, USA) Myrto Arapinis

[TYPES/announce] CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing

) Francesco Tiezzi, IMT Institute for Advanced Studies Lucca (Italy) Baokang Zhao, National University of Defense Technology (China) TRACK CHAIRS Mario Bravetti brave...@cs.unibo.it University of Bologna, Italy / FOCUS INRIA, France Alberto Lluch Lafuente alberto.ll...@imtulucca.it IMT

[TYPES/announce] CFP: 1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)

/wsfm2013/). Session Chairs Alberto Lluch Lafuente, IMT Institute for Advanced Studies Lucca (Italy) Emilio Tuosto, University of Leicester (UK) Program Committee === Michele Amoretti, University of Parma (Italy) Jiri Barnat, Masaryk University (Czech Republic) Massimo

[TYPES/announce] TGC 2013: Last CFP *** deadline extended *** 8th International Symposium on Trustworthy Global Computing (TGC 2013), Buenos Aires, 30-31 August 2013

of Southampton, UK) Martin Wirsing (LMU University of Munich, Germany) Programme chairs Martín Abadi (Microsoft Research and UC Santa Cruz, USA) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Programme committee === Gul Agha (University

[TYPES/announce] 2nd CFP: 8th International Symposium on Trustworthy Global Computing (TGC 2013)

, Germany) Programme chairs Martín Abadi (Microsoft Research and UC Santa Cruz, USA) Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy) Programme committee === Gul Agha (University of Illinois at Urbana-Champaign, USA) Myrto Arapinis

[TYPES/announce] PhD positions in Computer Science at IMT Lucca (Italy) - Deadline September 26, 2012

://www.imtlucca.it/phd/call_for_applications/ If you are not personally interested, please help us signaling these opportunities to colleagues and collaborators. For further information please contact the sender of this mail. -- Alberto Lluch Lafuente Assistant Professor @ IMT Lucca albertoll...@gmail.com