Europe
- Saarland University (DE)
-
Dependable Systems and Software
Holger Hermanns
Andrea Turrini
Luis Ferrer Fioriti
Hernán Baró Graf
Christian Eisentraut
Lei Song
Hassan Hatefiardakani
Vahid Hashemi
Arnd Hartmanns
Lijun Zhang
Alexander Graf-Brill
-
Programming Systems
Gert Smolka
-
Programming Languages and Compiler Construction
Reinhard Wilhelm
-
Foundations of Artificial Intelligence
Jörg Hoffmann
-
Software Engineering
Juan P. Galeotti
-
PL/Verification (MPI-SWS)
Beta Ziliani
- RWTH Aachen University (DE)
-
Software Modeling and Verification
Joost-Pieter Katoen
Erika Abraham
Thomas Noll
Friedrich Gretz
Nils Jansen
Maximilian Odenbrett
Falak Sher
- Technische Universität Dresden (DE)
-
Algebraic and Logical Foundations of Computer Science
Christel Baier
- INRIA (FR)
-
COMETE: Concurrency, Mobility and Transactions
Catuscia Palamidessi
Kostas Chatzikokolakis
Miguel E. Andrés
Nicolás Emilio Bordenabe
Luis Fernando Pino Duque
-
VeriDis: Verification of Distributed Systems
Stephan Merz
Pascal Fontaine
-
DAHU: Databases and Verification
Stéphane Demri
Luc Segoufin
-
Indes: Informatique Diffuse et Sécurisée
Tamara Rezk
-
ESTASE
Axel Legay
Sean Sedwards
Cyrille Jegourel
Uli Fahrenberg
-
RMoD
Stéphane Ducasse
-
MEXICO: Modelling and Exploitation of Interaction and Concurrency
Hernán Ponce de León
- Imperial College (UK)
-
Distributed Software Engineering
Jeff Kramer
Jeff Magee
Alessandra Russo
Dalal S. Alrajeh
Nicolas R. D'Ippolito
German Emir Sibay
- University of Leicester (UK)
-
Department of Computer Science
Nir Piterman
Emilio Tuosto
Neil Walkinshaw
Julien Lange
Irek Ulidowski
José Luiz Fiadeiro
- Technische Universiteit Eindhoven (NL)
-
Systems Engineering
Jos Baeten
Michel Reniers
Allan van Hulst
Damián Nadales Agut
-
Model Driven Software Engineering (MDSE)
Jan Friso Groote
Suzana Andova
Sjoerd Cranen
Bas Luttik
Erik de Vink
Anton Wijs
-
Security
Sandro Etalle
Jerry den Hartog
|
Argentina
- Universidad Nacional de Córdoba
-
Dependable Systems
Pedro R. D'Argenio
Damián Barsotti
Matías D. Lee
Pedro Sánchez Terraf
Nicolás Wolovick
Laura Brandan Briones
Ricardo Corin
Silvia Pelozo
Carlos Budde
Raúl Monti
Carlos Bederián
Felipe Manzano
-
Logics, Interaction and Intelligent Systems
Carlos Areces
Guillaume Hoffmann
Luciana Benotti
Raul Fervari
Ezquiel Orbe
-
Natural Language Processing
Gabriel Infante-Lopez
- Universidad de Buenos Aires
-
LAFHIS: Tools and Foundations for Software Engineering
Víctor Braberman
Diego Garbervetsky
Hernán Melgratti
Esteban Pavese
Guido de Caso
Hernan Czemerisnky
-
GLyC: Logic, Language and Computability Research
Santiago Figueira
Diego Figueira
Daniel Gorín
Sergio Mera
Facundo Carreiro
-
Relational Formal Methods
Carlos Gustavo Lopez Pombo
- Universidad Nacional de Río Cuarto
-
Departamento de Computación
Nazareno Aguirre
Valeria Bengolea
Pablo Castro
Renzo Degiovanni
Pablo Ponzio
Germán Regis
Nicolás Ricci
- Instituto Tecnológico Buenos Aires
-
CISoft: Centro de Calidad Integral del Software
Marcelo Frias
Pablo Abad
Santiago Bermúdez
|
