September 05, 2015, at 12:19 AM by 179.210.57.231 -

Changed lines 70-73 from:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

to:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

September 05, 2015, at 12:17 AM by 179.210.57.231 -

Changed line 69 from:

to:

Changed line 73 from:

Anamaria Moreira

UFRJ, Brazil

to:

Anamaria Moreira

UFRJ, Brazil

September 05, 2015, at 12:17 AM by 179.210.57.231 -

Changed line 69 from:

to:

September 05, 2015, at 12:16 AM by 179.210.57.231 -

Changed lines 70-73 from:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

to:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

September 05, 2015, at 12:16 AM by 179.210.57.231 -

Changed lines 70-73 from:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

to:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

September 05, 2015, at 12:15 AM by 179.210.57.231 -

Changed lines 70-71 from:

Christiano Braga	Universidade Federal Fluminense, Brazil
Bruno Lopes	Universidade Federal Fluminense, Brazil

to:

Christiano Braga	UFF, Brazil
Bruno Lopes	UFF, Brazil

September 05, 2015, at 12:14 AM by 179.210.57.231 -

Deleted line 71:

E. Hermann Haeusler

Pontifícia Universidade Católica do Rio de Janeiro, Brazil

April 16, 2015, at 07:21 PM by 179.210.165.234 -

Added line 72:

E. Hermann Haeusler

Pontifícia Universidade Católica do Rio de Janeiro, Brazil

January 23, 2015, at 03:29 PM by 193.157.242.8 -

Added line 53:

Hernán Melgratti

University of Buenos Aires, Argentina

January 22, 2015, at 10:27 PM by 84.213.32.157 -

Changed line 62 from:

Ralf Sasse

ETH Zurich, Switzerland

to:

Ralf Sasse

ETH Zürich, Switzerland

January 22, 2015, at 10:22 PM by 84.213.32.157 -

Changed line 35 from:

Kyungmin Bae

Carnegie-Mellon University, USA

to:

Kyungmin Bae

Carnegie Mellon University, USA

January 22, 2015, at 01:54 PM by 179.210.165.234 -

Changed line 63 from:

Bernhard Schatz

Technical University Munchen, Germany

to:

Bernhard Schätz

fortiss GmbH, Germany

January 22, 2015, at 01:20 PM by 179.210.165.234 -

Changed lines 32-55 from:

Dalal Alrajeh	Imperial College
Farhad Arbab	CWI and Leiden University
Cyrille Artho	AIST
Kyungmin Bae	Carnegie-Mellon University
Luis Barbosa	Universidade do Minho
Christiano Braga	Universidade Federal Fluminense
Roberto Bruni	Universita di Pisa
Carlos Canal	University of Malaga
Ana Cavalcanti	University of York
Jose Luiz Fiadeiro	Royal Holloway University of London
Bernd Fischer	Stellenbosch University
Marcelo Frias	Buenos Aires Institute of Technology
Rolf Hennicker	Ludwig-Maximilians-Universitat Munchen
Ramtin Khosravi	University of Tehran
Ivan Lanese	University of Bologna/INRIA
Axel Legay	IRISA/INRIA
Zhiming Liu	Birmingham City University
Alberto Lluch Lafuente	Technical University of Denmark
Markus Lumpe	Swinburne University of Technology
Eric Madelaine	INRIA
Robi Malik	University of Waikato
Alvaro Moreira	Universidade Federal do Rio Grande do Sul
Arnaldo Moura	Universidade Estadual de Campinas
Thomas Noll	RWTH Aachen University

to:

Dalal Alrajeh	Imperial College, UK
Farhad Arbab	CWI and Leiden University, The Netherlands
Cyrille Artho	AIST, Japan
Kyungmin Bae	Carnegie-Mellon University, USA
Luis Barbosa	Universidade do Minho, Portugal
Christiano Braga	Universidade Federal Fluminense, Brazil
Roberto Bruni	Universita di Pisa, Italy
Carlos Canal	University of Malaga, Spain
Ana Cavalcanti	University of York, UK
Jose Luiz Fiadeiro	Royal Holloway University of London, UK
Bernd Fischer	Stellenbosch University, South Africa
Marcelo Frias	Buenos Aires Institute of Technology, Argentina
Rolf Hennicker	Ludwig-Maximilians-Universitat Munchen, Germany
Ramtin Khosravi	University of Tehran, Iran
Ivan Lanese	University of Bologna/INRIA, Italy
Axel Legay	IRISA/INRIA, France
Zhiming Liu	Birmingham City University, UK
Alberto Lluch Lafuente	Technical University of Denmark, Denmark
Markus Lumpe	Swinburne University of Technology, Australia
Eric Madelaine	INRIA, France
Robi Malik	University of Waikato, New Zealand
Alvaro Moreira	Universidade Federal do Rio Grande do Sul, Brazil
Arnaldo Moura	Universidade Estadual de Campinas, Brazil
Thomas Noll	RWTH Aachen University, Germany

January 22, 2015, at 01:14 PM by 179.210.165.234 -

Changed line 57 from:

Corina Pasareanu

CMU/NASA Ames

to:

Corina Pasareanu

CMU/NASA Ames, USA

January 22, 2015, at 01:14 PM by 179.210.165.234 -

Changed line 58 from:

Frantisek Plasil

Charles University, Tchec Republic

to:

Frantisek Plasil

Charles University, Czech Republic

January 22, 2015, at 01:13 PM by 179.210.165.234 -

Changed lines 58-61 from:

Frantisek Plasil	Charles University
Augusto Sampaio	Universidade Federal de Pernambuco
Camilo Rocha	Escuela Colombiana de Ingenieria
Gwen Salaun	Grenoble INP - INRIA - LIG

to:

Frantisek Plasil	Charles University, Tchec Republic
Augusto Sampaio	Universidade Federal de Pernambuco, Brazil
Camilo Rocha	Escuela Colombiana de Ingenieria, Colombia
Gwen Salaun	Grenoble INP - INRIA - LIG, France

January 22, 2015, at 01:12 PM by 179.210.165.234 -

Changed line 62 from:

Ralf Sasse

ETH Zurich, Sweden

to:

Ralf Sasse

ETH Zurich, Switzerland

January 22, 2015, at 01:10 PM by 179.210.165.234 -

January 22, 2015, at 01:08 PM by 179.210.165.234 -

Changed lines 62-65 from:

Ralf Sasse	ETH Zurich
Bernhard Schatz	Technical University Munchen

to:

Ralf Sasse	ETH Zurich, Sweden
Bernhard Schatz	Technical University Munchen, Germany

Changed lines 70-72 from:

Bruno Lopes	PUC-Rio
Diego Brandão	CEFET
Anamaria Moreira	UFRJ

to:

Bruno Lopes	PUC-Rio, Brazil
Diego Brandão	CEFET, Brazil
Anamaria Moreira	UFRJ, Brazil

January 22, 2015, at 01:07 PM by 179.210.165.234 -

Changed lines 38-41 from:

Roberto Bruni	Universita di Pisa]]
Carlos Canal	University of Malaga]]
Ana Cavalcanti	University of York]]
Jose Luiz Fiadeiro	Royal Holloway University of London]]

to:

Roberto Bruni	Universita di Pisa
Carlos Canal	University of Malaga
Ana Cavalcanti	University of York
Jose Luiz Fiadeiro	Royal Holloway University of London

January 22, 2015, at 01:06 PM by 179.210.165.234 -

Changed lines 70-71 from:

Bruno Lopes	PUC-Rio
Diego Brandão	CEFET

to:

Bruno Lopes	PUC-Rio
Diego Brandão	CEFET

January 22, 2015, at 01:05 PM by 179.210.165.234 -

Added lines 70-72:

Bruno Lopes	PUC-Rio
Diego Brandão	CEFET
Anamaria Moreira	UFRJ

January 22, 2015, at 01:02 PM by 179.210.165.234 -

Changed line 62 from:

Ralf Sasse

ETH Zurich]]

to:

Ralf Sasse

ETH Zurich

January 22, 2015, at 01:02 PM by 179.210.165.234 -

Changed lines 53-63 from:

Alvaro Moreira Universidade Federal do Rio Grande do Sul Arnaldo Moura Universidade Estadual de Campinas Thomas Noll RWTH Aachen University Peter Olveczky University of Oslo Corina Pasareanu CMU/NASA Ames Frantisek Plasil Charles University Augusto Sampaio Universidade Federal de Pernambuco Camilo Rocha Escuela Colombiana de Ingenieria Gwen Salaun Grenoble INP - INRIA - LIG Ralf Sasse ETH Zurich Bernhard Schatz Technical University Munchen

to:

Alvaro Moreira	Universidade Federal do Rio Grande do Sul
Arnaldo Moura	Universidade Estadual de Campinas
Thomas Noll	RWTH Aachen University
Peter Csaba Ölveczky	University of Oslo, Norway
Corina Pasareanu	CMU/NASA Ames
Frantisek Plasil	Charles University
Augusto Sampaio	Universidade Federal de Pernambuco
Camilo Rocha	Escuela Colombiana de Ingenieria
Gwen Salaun	Grenoble INP - INRIA - LIG
Ralf Sasse	ETH Zurich]]
Bernhard Schatz	Technical University Munchen

January 22, 2015, at 12:54 PM by 179.210.165.234 -

Changed lines 48-53 from:

Zhiming Liu Birmingham City University
Alberto Lluch Lafuente Technical University of Denmark

Markus Lumpe Swinburne University of Technology Eric Madelaine INRIA Robi Malik University of Waikato

to:

Zhiming Liu	Birmingham City University
Alberto Lluch Lafuente	Technical University of Denmark
Markus Lumpe	Swinburne University of Technology
Eric Madelaine	INRIA
Robi Malik	University of Waikato

January 22, 2015, at 12:49 PM by 179.210.165.234 -

Changed lines 45-47 from:

Ramtin Khosravi University of Tehran
Ivan Lanese University of Bologna/INRIA
Axel Legay IRISA/INRIA \\

to:

Ramtin Khosravi	University of Tehran
Ivan Lanese	University of Bologna/INRIA
Axel Legay	IRISA/INRIA

January 22, 2015, at 12:47 PM by 179.210.165.234 -

Changed line 39 from:

to:

Carlos Canal

University of Malaga]]

January 22, 2015, at 12:43 PM by 179.210.165.234 -

Changed lines 39-44 from:

Carlos Canal University of Malaga
Ana Cavalcanti University of York \\ Jose Luiz Fiadeiro Royal Holloway University of London
Bernd Fischer Stellenbosch University
Marcelo Frias Buenos Aires Institute of Technology
Rolf Hennicker Ludwig-Maximilians-Universitat Munchen \\

to:

Ana Cavalcanti	University of York]]
Jose Luiz Fiadeiro	Royal Holloway University of London]]
Bernd Fischer	Stellenbosch University
Marcelo Frias	Buenos Aires Institute of Technology
Rolf Hennicker	Ludwig-Maximilians-Universitat Munchen

January 22, 2015, at 12:38 PM by 179.210.165.234 -

Changed lines 35-38 from:

Kyungmin Bae Carnegie-Mellon University
Luis Barbosa Universidade do Minho
Christiano Braga Universidade Federal Fluminense
Roberto Bruni Universita di Pisa \\

to:

Kyungmin Bae	Carnegie-Mellon University
Luis Barbosa	Universidade do Minho
Christiano Braga	Universidade Federal Fluminense
Roberto Bruni	Universita di Pisa]]

January 22, 2015, at 12:35 PM by 179.210.165.234 -

Changed lines 32-33 from:

[[http://www.doc.ic.ac.uk/~da04/\|Dalal Alrajeh]	Imperial College
[[http://homepages.cwi.nl/~farhad/\|Farhad Arbab]	CWI and Leiden University

to:

Dalal Alrajeh	Imperial College
Farhad Arbab	CWI and Leiden University

January 22, 2015, at 12:34 PM by 179.210.165.234 -

Changed lines 33-35 from:

Farhad Arbab CWI and Leiden University
Cyrille Artho AIST \\

to:

[[http://homepages.cwi.nl/~farhad/\|Farhad Arbab]	CWI and Leiden University
Cyrille Artho	AIST

January 22, 2015, at 12:33 PM by 179.210.165.234 -

Changed line 25 from:

Christiano Braga

Universidade Federal Fluminense, Brazil

to:

Christiano Braga

Universidade Federal Fluminense, Brazil

Changed line 32 from:

Dalal Alrajeh

Imperial College

to:

[[http://www.doc.ic.ac.uk/~da04/|Dalal Alrajeh]

Imperial College

January 22, 2015, at 12:32 PM by 179.210.165.234 -

Changed line 32 from:

Dalal Alrajeh ?

Imperial College

to:

Dalal Alrajeh

Imperial College

January 22, 2015, at 12:31 PM by 179.210.165.234 -

Changed line 32 from:

Dalal Alrajeh

Imperial College

to:

Dalal Alrajeh ?

Imperial College

January 22, 2015, at 12:30 PM by 179.210.165.234 -

Changed line 31 from:

to:

Changed line 33 from:

left-aligned

to:

January 22, 2015, at 12:30 PM by 179.210.165.234 -

Added line 33:

left-aligned

January 22, 2015, at 12:29 PM by 179.210.165.234 -

Changed line 32 from:

Dalal Alrajeh Imperial College \\

to:

Dalal Alrajeh

Imperial College

January 22, 2015, at 12:25 PM by 179.210.165.234 -

Changed lines 32-64 from:

TBA

to:

Dalal Alrajeh Imperial College \\ Farhad Arbab CWI and Leiden University
Cyrille Artho AIST
Kyungmin Bae Carnegie-Mellon University
Luis Barbosa Universidade do Minho
Christiano Braga Universidade Federal Fluminense
Roberto Bruni Universita di Pisa
Carlos Canal University of Malaga
Ana Cavalcanti University of York \\ Jose Luiz Fiadeiro Royal Holloway University of London
Bernd Fischer Stellenbosch University
Marcelo Frias Buenos Aires Institute of Technology
Rolf Hennicker Ludwig-Maximilians-Universitat Munchen
Ramtin Khosravi University of Tehran
Ivan Lanese University of Bologna/INRIA
Axel Legay IRISA/INRIA
Zhiming Liu Birmingham City University
Alberto Lluch Lafuente Technical University of Denmark

Markus Lumpe Swinburne University of Technology Eric Madelaine INRIA Robi Malik University of Waikato Alvaro Moreira Universidade Federal do Rio Grande do Sul Arnaldo Moura Universidade Estadual de Campinas Thomas Noll RWTH Aachen University Peter Olveczky University of Oslo Corina Pasareanu CMU/NASA Ames Frantisek Plasil Charles University Augusto Sampaio Universidade Federal de Pernambuco Camilo Rocha Escuela Colombiana de Ingenieria Gwen Salaun Grenoble INP - INRIA - LIG Ralf Sasse ETH Zurich Bernhard Schatz Technical University Munchen

October 14, 2014, at 04:14 PM by 130.126.255.112 -

Changed lines 19-20 from:

to:

Bernhard Schätz

fortiss GmbH, Germany

Changed lines 37-38 from:

TBA

to:

Christiano Braga

Universidade Federal Fluminense, Brazil

October 14, 2014, at 04:08 PM by 130.126.255.112 -

Changed line 18 from:

to:

Corina Pasareanu

NASA Ames, USA

October 14, 2014, at 04:05 PM by 130.126.255.112 -

Changed line 9 from:

Farhad Arbab

CWI and Leiden University, The Netherlands

to:

Farhad Arbab (chair)

CWI and Leiden University, The Netherlands

October 14, 2014, at 04:05 PM by 130.126.255.112 -

Added line 16:

Eric Madelaine

INRIA Sophia Antipolis, France

October 14, 2014, at 04:02 PM by 130.126.255.112 -

Added line 15:

Markus Lumpe

Swinburne University of Technology, Australia

October 14, 2014, at 04:00 PM by 130.126.255.112 -

Deleted line 20:

October 14, 2014, at 03:59 PM by 130.126.255.112 -

Added line 14:

Zhiming Liu

Birmingham City University, United Kingdom

October 14, 2014, at 03:57 PM by 130.126.255.112 -

Added line 13:

Ivan Lanese

University of Bologna/INRIA, Italy

October 14, 2014, at 03:55 PM by 130.126.255.112 -

Added line 10:

Luís Soares Barbosa

Universidade do Minho, Portugal

October 14, 2014, at 03:48 PM by 130.126.255.112 -

Added line 9:

Farhad Arbab

CWI and Leiden University, The Netherlands

October 14, 2014, at 03:46 PM by 130.126.255.112 -

Added line 9:

Christiano Braga

Universidade Federal Fluminense, Brazil

Added line 11:

Peter Csaba Ölveczky

University of Oslo, Norway

October 14, 2014, at 03:45 PM by 130.126.255.112 -

Added lines 5-10:

Steering Committee

Carlos Canal

University of Málaga, Spain

September 27, 2014, at 11:43 PM by 193.157.242.32 -

Added line 6:

Added line 14:

Changed lines 16-17 from:

to:

Added line 20:

Added line 22:

September 27, 2014, at 11:42 PM by 193.157.242.32 -

Changed lines 4-5 from:

to:

Added line 7:

September 27, 2014, at 11:18 PM by 193.157.242.32 -

Changed line 7 from:

to:

September 27, 2014, at 11:18 PM by 193.157.242.32 -

Changed lines 3-4 from:

Committees

to:

Committees

Changed lines 7-9 from:

Christiano Braga and Peter Csaba Ölveczky

to:

Christiano Braga	Universidade Federal Fluminense, Brazil
Peter Csaba Ölveczky	University of Oslo, Norway

September 27, 2014, at 11:16 PM by 193.157.242.32 -

Changed line 3 from:

Committees

to:

Committees

September 27, 2014, at 11:15 PM by 193.157.242.32 -

Added lines 1-2:

September 27, 2014, at 11:13 PM by 193.157.242.32 -

Changed line 5 from:

Peter Csaba Ölveczky and Christiano Braga

to:

Christiano Braga and Peter Csaba Ölveczky

September 27, 2014, at 11:08 PM by 193.157.242.32 -

Changed lines 7-13 from:

PC to be announced

to:

Program Committee

TBA

Organizing Committee

TBA

September 27, 2014, at 11:07 PM by 193.157.242.32 -

Changed lines 3-5 from:

Peter Csaba Ölveczky and Christiano Braga (Chairs)

to:

Program Committee Chairs

Peter Csaba Ölveczky and Christiano Braga

September 21, 2014, at 11:14 PM by 179.210.219.25 -

Changed line 5 from:

To be announced

to:

PC to be announced

September 21, 2014, at 11:01 PM by 179.210.219.25 -

Added lines 1-2:

Committees

September 21, 2014, at 04:36 AM by 179.210.219.25 -

Added lines 1-2:

Peter Csaba Ölveczky and Christiano Braga (Chairs)

September 21, 2014, at 03:48 AM by 179.210.219.25 -

Added line 1:

To be announced

Main.Committees History

Steering Committee

Committees

Committees

Committees

Committees

Program Committee

Organizing Committee

Program Committee Chairs

Committees