Workshop on Logic, Language and Information

edit SideBar

Main.Committees History

Show minor edits - Show changes to output

September 05, 2015, at 12:19 AM by 179.210.57.231 -
Changed lines 70-73 from:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]] ||UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]] ||CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] ||UFRJ, Brazil||
to:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]]||UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]||CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]]||UFRJ, Brazil||
September 05, 2015, at 12:17 AM by 179.210.57.231 -
Changed line 69 from:
||border=0
to:
||border=0 width=710px
Changed line 73 from:
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] ||UFRJ, Brazil||
to:
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] ||UFRJ, Brazil||
September 05, 2015, at 12:17 AM by 179.210.57.231 -
Changed line 69 from:
||border=0 width=710px
to:
||border=0
September 05, 2015, at 12:16 AM by 179.210.57.231 -
Changed lines 70-73 from:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]] || UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]] || UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]] || CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] || UFRJ, Brazil||
to:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]] ||UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]] ||UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]] ||CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] ||UFRJ, Brazil||
September 05, 2015, at 12:16 AM by 179.210.57.231 -
Changed lines 70-73 from:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]]||UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]||CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]]||UFRJ, Brazil||
to:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]] || UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]] || UFF, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]] || CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]] || UFRJ, Brazil||
September 05, 2015, at 12:15 AM by 179.210.57.231 -
Changed lines 70-71 from:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]]||Universidade Federal Fluminense, Brazil||
to:
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||UFF, Brazil||
||[[http://www.ic.uff.br/~bruno|Bruno Lopes]]||UFF, Brazil||
September 05, 2015, at 12:14 AM by 179.210.57.231 -
Deleted line 71:
||[[http://www.inf.puc-rio.br/~hermann|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:
||[[http://www.inf.puc-rio.br/~hermann|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:
||[[http://lafhis.dc.uba.ar/en/~melgratti|Hernán Melgratti]]||University of Buenos Aires, Argentina||
January 22, 2015, at 10:27 PM by 84.213.32.157 -
Changed line 62 from:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zurich, Switzerland||
to:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zürich, Switzerland||
January 22, 2015, at 10:22 PM by 84.213.32.157 -
Changed line 35 from:
||[[http://formal.cs.illinois.edu/kbae/|Kyungmin Bae]]||Carnegie-Mellon University, USA||
to:
||[[http://formal.cs.illinois.edu/kbae/|Kyungmin Bae]]||Carnegie Mellon University, USA||
January 22, 2015, at 01:54 PM by 179.210.165.234 -
Changed line 63 from:
||[[https://www4.in.tum.de/~schaetz/|Bernhard Schatz]]||Technical University Munchen, Germany||
to:
||[[http://www.fortiss.org/en/about-us/people/bernhard-schaetz/|Bernhard Schätz]]||fortiss GmbH, Germany||
January 22, 2015, at 01:20 PM by 179.210.165.234 -
Changed lines 32-55 from:
||[[http://www.doc.ic.ac.uk/~da04/|Dalal Alrajeh]]||Imperial College||
||[[http://homepages.cwi.nl/~farhad/|Farhad Arbab]]||CWI and Leiden University||
||[[https://staff.aist.go.jp/c.artho/|Cyrille Artho]]||AIST||
||[[http://formal.cs.illinois.edu/kbae/|Kyungmin Bae]]||Carnegie-Mellon University||
||[[http://lmf.di.uminho.pt/~lsb/|Luis Barbosa]]||Universidade do Minho||
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense||
||[[http://www.di.unipi.it/~bruni/|Roberto Bruni]]||Universita di Pisa||
||[[http://www.lcc.uma.es/~canal/|Carlos Canal]]||University of Malaga||
||[[http://www-users.cs.york.ac.uk/~alcc/|Ana Cavalcanti]]||University of York||
||[[http://pure.rhul.ac.uk/portal/en/persons/jose-luiz-fiadeiro%28c4ed8fbc-8d78-49af-b591-11638132ab3a%29.html|Jose Luiz Fiadeiro]]||Royal Holloway University of London||
||[[http://www.cs.sun.ac.za/~bfischer/|Bernd Fischer]]||Stellenbosch University||
||Marcelo Frias||Buenos Aires Institute of Technology||
||[[http://www.pst.ifi.lmu.de/people/staff/hennicker|Rolf Hennicker]]||Ludwig-Maximilians-Universitat Munchen||
||[[http://ramtung.ir/|Ramtin Khosravi]]||University of Tehran||
||[[http://www.cs.unibo.it/~lanese/|Ivan Lanese]]||University of Bologna/INRIA||
||[[http://people.irisa.fr/Axel.Legay/|Axel Legay]]||IRISA/INRIA||
||[[http://www.bcu.ac.uk/computing-telecommunications-networks/about-us/our-staff/zhiming-liu|Zhiming Liu]]||Birmingham City University||
||[[http://www.dtu.dk/english/Service/Phonebook/Person?id=94040&tab=2&qt=dtupublicationquery|Alberto Lluch Lafuente]]||Technical University of Denmark||
||[[http://www.ict.swin.edu.au/personal/mlumpe/|Markus Lumpe]]||Swinburne University of Technology||
||[[http://www-sop.inria.fr/oasis/Eric.Madelaine/|Eric Madelaine]]||INRIA||
||[[http://www.cs.waikato.ac.nz/~robi/|Robi Malik]]||University of Waikato||
||[[http://www.inf.ufrgs.br/~afmoreira/doku.php|Alvaro Moreira]]||Universidade Federal do Rio Grande do Sul||
||[[http://santana.ic.unicamp.br/|Arnaldo Moura]]||Universidade Estadual de Campinas||
||[[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]]||RWTH Aachen University||
to:
||[[http://www.doc.ic.ac.uk/~da04/|Dalal Alrajeh]]||Imperial College, UK||
||[[http://homepages.cwi.nl/~farhad/|Farhad Arbab]]||CWI and Leiden University, The Netherlands||
||[[https://staff.aist.go.jp/c.artho/|Cyrille Artho]]||AIST, Japan||
||[[http://formal.cs.illinois.edu/kbae/|Kyungmin Bae]]||Carnegie-Mellon University, USA||
||[[http://lmf.di.uminho.pt/~lsb/|Luis Barbosa]]||Universidade do Minho, Portugal||
||[[http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
||[[http://www.di.unipi.it/~bruni/|Roberto Bruni]]||Universita di Pisa, Italy||
||[[http://www.lcc.uma.es/~canal/|Carlos Canal]]||University of Malaga, Spain||
||[[http://www-users.cs.york.ac.uk/~alcc/|Ana Cavalcanti]]||University of York, UK||
||[[http://pure.rhul.ac.uk/portal/en/persons/jose-luiz-fiadeiro%28c4ed8fbc-8d78-49af-b591-11638132ab3a%29.html|Jose Luiz Fiadeiro]]||Royal Holloway University of London, UK||
||[[http://www.cs.sun.ac.za/~bfischer/|Bernd Fischer]]||Stellenbosch University, South Africa||
||Marcelo Frias||Buenos Aires Institute of Technology, Argentina||
||[[http://www.pst.ifi.lmu.de/people/staff/hennicker|Rolf Hennicker]]||Ludwig-Maximilians-Universitat Munchen, Germany||
||[[http://ramtung.ir/|Ramtin Khosravi]]||University of Tehran, Iran||
||[[http://www.cs.unibo.it/~lanese/|Ivan Lanese]]||University of Bologna/INRIA, Italy||
||[[http://people.irisa.fr/Axel.Legay/|Axel Legay]]||IRISA/INRIA, France||
||[[http://www.bcu.ac.uk/computing-telecommunications-networks/about-us/our-staff/zhiming-liu|Zhiming Liu]]||Birmingham City University, UK||
||[[http://www.dtu.dk/english/Service/Phonebook/Person?id=94040&tab=2&qt=dtupublicationquery|Alberto Lluch Lafuente]]||Technical University of Denmark, Denmark||
||[[http://www.ict.swin.edu.au/personal/mlumpe/|Markus Lumpe]]||Swinburne University of Technology, Australia||
||[[http://www-sop.inria.fr/oasis/Eric.Madelaine/|Eric Madelaine]]||INRIA, France||
||[[http://www.cs.waikato.ac.nz/~robi/|Robi Malik]]||University of Waikato, New Zealand||
||[[http://www.inf.ufrgs.br/~afmoreira/doku.php|Alvaro Moreira]]||Universidade Federal do Rio Grande do Sul, Brazil||
||[[http://santana.ic.unicamp.br/|Arnaldo Moura]]||Universidade Estadual de Campinas, Brazil||
||[[http://www-i2.informatik.rwth-aachen.de/i2/noll/|Thomas Noll]]||RWTH Aachen University, Germany||
January 22, 2015, at 01:14 PM by 179.210.165.234 -
Changed line 57 from:
||[[http://ti.arc.nasa.gov/profile/pcorina/|Corina Pasareanu]]||CMU/NASA Ames||
to:
||[[http://ti.arc.nasa.gov/profile/pcorina/|Corina Pasareanu]]||CMU/NASA Ames, USA||
January 22, 2015, at 01:14 PM by 179.210.165.234 -
Changed line 58 from:
||[[http://d3s.mff.cuni.cz/~plasil/|Frantisek Plasil]]||Charles University, Tchec Republic||
to:
||[[http://d3s.mff.cuni.cz/~plasil/|Frantisek Plasil]]||Charles University, Czech Republic||
January 22, 2015, at 01:13 PM by 179.210.165.234 -
Changed lines 58-61 from:
||[[http://d3s.mff.cuni.cz/~plasil/|Frantisek Plasil]]||Charles University||
||[[http://www.cin.ufpe.br/~acas/|Augusto Sampaio]]||Universidade Federal de Pernambuco||
||[[http://www.camilorocha.info/|Camilo Rocha]]||Escuela Colombiana de Ingenieria||
||[[http://www.inrialpes.fr/vasy/people/Gwen.Salaun/|Gwen Salaun]]||Grenoble INP - INRIA - LIG||
to:
||[[http://d3s.mff.cuni.cz/~plasil/|Frantisek Plasil]]||Charles University, Tchec Republic||
||[[http://www.cin.ufpe.br/~acas/|Augusto Sampaio]]||Universidade Federal de Pernambuco, Brazil||
||[[http://www.camilorocha.info/|Camilo Rocha]]||Escuela Colombiana de Ingenieria, Colombia||
||[[http://www.inrialpes.fr/vasy/people/Gwen.Salaun/|Gwen Salaun]]||Grenoble INP - INRIA - LIG, France||
January 22, 2015, at 01:12 PM by 179.210.165.234 -
Changed line 62 from:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zurich, Sweden||
to:
||[[http://people.inf.ethz.ch/rsasse/|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:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zurich||
||[[https://www4.in.tum.de/~schaetz/|Bernhard Schatz]]||Technical University Munchen||

to:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zurich, Sweden||
||[[https://www4.in.tum.de/~schaetz/|Bernhard Schatz]]||Technical University Munchen, Germany||

Changed lines 70-72 from:
||[[http://www.tecmf.inf.puc-rio.br/BrunoLopes|Bruno Lopes]]||PUC-Rio||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]||CEFET||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]]||UFRJ||
to:
||[[http://www.tecmf.inf.puc-rio.br/BrunoLopes|Bruno Lopes]]||PUC-Rio, Brazil||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]||CEFET, Brazil||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]]||UFRJ, Brazil||
January 22, 2015, at 01:07 PM by 179.210.165.234 -
Changed lines 38-41 from:
||[[http://www.di.unipi.it/~bruni/|Roberto Bruni]]||Universita di Pisa]]
||[[http://www.lcc.uma.es/~canal/|Carlos Canal]]||University of Malaga]]
||[[http://www-users.cs.york.ac.uk/~alcc/|Ana Cavalcanti]]||University of York]]
||[[http://pure.rhul.ac.uk/portal/en/persons/jose-luiz-fiadeiro%28c4ed8fbc-8d78-49af-b591-11638132ab3a%29.html|Jose Luiz Fiadeiro]]||Royal Holloway University of London]]
to:
||[[http://www.di.unipi.it/~bruni/|Roberto Bruni]]||Universita di Pisa||
||[[http://www.lcc.uma.es/~canal/|Carlos Canal]]||University of Malaga||
||[[http://www-users.cs.york.ac.uk/~alcc/|Ana Cavalcanti]]||University of York||
||[[http://pure.rhul.ac.uk/portal/en/persons/jose-luiz-fiadeiro%28c4ed8fbc-8d78-49af-b591-11638132ab3a%29.html|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:
||[[http://www.tecmf.inf.puc-rio.br/BrunoLopes|Bruno Lopes]] || PUC-Rio||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]|| CEFET||
to:
||[[http://www.tecmf.inf.puc-rio.br/BrunoLopes|Bruno Lopes]]||PUC-Rio||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]||CEFET||
January 22, 2015, at 01:05 PM by 179.210.165.234 -
Added lines 70-72:
||[[http://www.tecmf.inf.puc-rio.br/BrunoLopes|Bruno Lopes]] || PUC-Rio||
||[[http://www2.ic.uff.br/~dbrandao/|Diego Brandão]]|| CEFET||
||[[https://www.dcc.ufrj.br/component/professores/professor/211-anamaria-martins-moreira.html|Anamaria Moreira]]||UFRJ||
January 22, 2015, at 01:02 PM by 179.210.165.234 -
Changed line 62 from:
||[[http://people.inf.ethz.ch/rsasse/|Ralf Sasse]]||ETH Zurich]]
to:
||[[http://people.inf.ethz.ch/rsasse/|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:
||[[http://www.inf.ufrgs.br/~afmoreira/doku.php|Alvaro Moreira]]||Universidade Federal do Rio Grande do Sul||
||[[http://santana.ic.unicamp.br/|
Arnaldo Moura]]||Universidade Estadual de Campinas||
||[[http://www-i2.informatik.rwth-aachen.de/i2/noll/|
Thomas Noll]]||RWTH Aachen University||
||[[http://folk.uio.no/peterol/|
Peter Csaba Ölveczky]]||University of Oslo, Norway||
||[[http:
//ti.arc.nasa.gov/profile/pcorina/|Corina Pasareanu]]||CMU/NASA Ames||
||[[http://d3s.mff.cuni.cz/~plasil/|
Frantisek Plasil]]||Charles University||
||[[http://www.cin.ufpe.br/~acas/|
Augusto Sampaio]]||Universidade Federal de Pernambuco||
||[[http://www.camilorocha.info/|
Camilo Rocha]]||Escuela Colombiana de Ingenieria||
||[[http://www.inrialpes.fr/vasy/people/
Gwen.Salaun/|Gwen Salaun]]||Grenoble INP - INRIA - LIG||
||[[http://people.inf.ethz.ch/rsasse/|
Ralf Sasse]]||ETH Zurich]]
||[[https://www4.in.tum.de/~schaetz/|
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:
||[[http://www.bcu.ac.uk/computing-telecommunications-networks/about-us/our-staff/zhiming-liu|Zhiming Liu]]||Birmingham City University||
||[[http://www.dtu.dk/english/Service/Phonebook/Person?id=94040&tab=2&qt=dtupublicationquery|Alberto
Lluch Lafuente]]||Technical University of Denmark||
||[[http://www.ict.swin.edu.au/personal/mlumpe/|
Markus Lumpe]]||Swinburne University of Technology||
||[[http://www-sop.inria.fr/oasis/
Eric.Madelaine/|Eric Madelaine]]||INRIA||
||[[http://www.cs.waikato.ac.nz/~robi/|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:
||[[http://ramtung.ir/|Ramtin Khosravi]]||University of Tehran||
||[[http:
//www.cs.unibo.it/~lanese/|Ivan Lanese]]||University of Bologna/INRIA||
||[[http://people.irisa.fr/Axel.Legay/|Axel Legay]]||IRISA/INRIA||
January 22, 2015, at 12:47 PM by 179.210.165.234 -
Changed line 39 from:
||[[http://www.lcc.uma.es/~canal/|Carlos Canal\\||University of Malaga]]
to:
||[[http://www.lcc.uma.es/~canal/|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:
||[[http://www.lcc.uma.es/~canal/|Carlos Canal\\||University of Malaga]]
||[[http://www-users.cs.york.ac.uk/~alcc/|Ana Cavalcanti]]||University of York]]
||[[http://pure.rhul.ac.uk/portal/en/persons/jose-luiz-fiadeiro%28c4ed8fbc-8d78-49af-b591-11638132ab3a%29.html|Jose Luiz
Fiadeiro]]||Royal Holloway University of London]]
||[[http://www.cs.sun.ac.za/~bfischer/|Bernd
Fischer]]||Stellenbosch University||
||Marcelo
Frias||Buenos Aires Institute of Technology||
||[[http://www.pst.ifi.lmu.de/people/staff/hennicker|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:
||[[http://formal.cs.illinois.edu/kbae/|Kyungmin Bae]]||Carnegie-Mellon University||
||[[http://lmf.di.uminho.pt/~lsb/|Luis
Barbosa]]||Universidade do Minho||
||[[http://www.ic.uff.br/~cbraga|Christiano
Braga]]||Universidade Federal Fluminense||
||[[http://www.di.unipi.it/~bruni/|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:
||[[http://www.doc.ic.ac.uk/~da04/|Dalal Alrajeh]]||Imperial College||
||[[http://homepages.cwi.nl/~farhad/|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||
||[[https://staff.aist.go.jp/c.artho/|Cyrille
Artho]]||AIST||
January 22, 2015, at 12:33 PM by 179.210.165.234 -
Changed line 25 from:
||[[ http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
to:
||[[http://www.ic.uff.br/~cbraga|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:
||border=0 width=710px
Changed line 33 from:
|| left-aligned || left-aligned ||
to:
January 22, 2015, at 12:30 PM by 179.210.165.234 -
Added line 33:
|| left-aligned || 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:
||[[http://www.fortiss.org/en/about-us/people/bernhard-schaetz/|Bernhard Schätz]]||fortiss GmbH, Germany||

Changed lines 37-38 from:

TBA
to:
||border=0 width=710px
||[[ http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
October 14, 2014, at 04:08 PM by 130.126.255.112 -
Changed line 18 from:
to:
||[[http://ti.arc.nasa.gov/profile/pcorina/|Corina Pasareanu]]||NASA Ames, USA||
October 14, 2014, at 04:05 PM by 130.126.255.112 -
Changed line 9 from:
||[[http://homepages.cwi.nl/~farhad/|Farhad Arbab]]||CWI and Leiden University, The Netherlands||
to:
||[[http://homepages.cwi.nl/~farhad/|Farhad Arbab]] (chair)||CWI and Leiden University, The Netherlands||
October 14, 2014, at 04:05 PM by 130.126.255.112 -
Added line 16:
||[[http://www-sop.inria.fr/oasis/Eric.Madelaine/|Eric Madelaine]]||INRIA Sophia Antipolis, France||
October 14, 2014, at 04:02 PM by 130.126.255.112 -
Added line 15:
||[[http://www.ict.swin.edu.au/personal/mlumpe/|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:
||[[http://www.bcu.ac.uk/computing-telecommunications-networks/about-us/our-staff/zhiming-liu|Zhiming Liu]]||Birmingham City University, United Kingdom||
October 14, 2014, at 03:57 PM by 130.126.255.112 -
Added line 13:
||[[http://www.cs.unibo.it/~lanese/|Ivan Lanese]]||University of Bologna/INRIA, Italy||
October 14, 2014, at 03:55 PM by 130.126.255.112 -
Added line 10:
||[[http://lmf.di.uminho.pt/~lsb/|Luís Soares Barbosa]]||Universidade do Minho, Portugal||
October 14, 2014, at 03:48 PM by 130.126.255.112 -
Added line 9:
||[[http://homepages.cwi.nl/~farhad/|Farhad Arbab]]||CWI and Leiden University, The Netherlands||
October 14, 2014, at 03:46 PM by 130.126.255.112 -
Added line 9:
||[[ http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
Added line 11:
||[[http://folk.uio.no/peterol/|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
----------------------
||border=0 width=710px
||[[http://www.lcc.uma.es/~canal/|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:
||border=0 width=910px
to:
||border=0 width=710px
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:
[[ http://www.ic.uff.br/~cbraga |Christiano Braga]] and [[http://folk.uio.no/peterol/|Peter Csaba Ölveczky]]
to:
||border=0 width=910px
||[[
http://www.ic.uff.br/~cbraga|Christiano Braga]]||Universidade Federal Fluminense, Brazil||
||
[[http://folk.uio.no/peterol/|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:
%define=titlered    color=#990000%
September 27, 2014, at 11:13 PM by 193.157.242.32 -
Changed line 5 from:
[[http://folk.uio.no/peterol/|Peter Csaba Ölveczky]] and [[ http://www.ic.uff.br/~cbraga |Christiano Braga]] 
to:
[[ http://www.ic.uff.br/~cbraga |Christiano Braga]] and [[http://folk.uio.no/peterol/|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:
[[http://folk.uio.no/peterol/|Peter Csaba Ölveczky]] and [[ http://www.ic.uff.br/~cbraga |Christiano Braga]] (Chairs)
to:
!! Program Committee Chairs

[[http://folk.uio.no/peterol/|Peter Csaba Ölveczky]] and [[ http://www.ic.uff.br/~cbraga |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:
[[http://folk.uio.no/peterol/|Peter Csaba Ölveczky]] and [[ http://www.ic.uff.br/~cbraga |Christiano Braga]] (Chairs)
September 21, 2014, at 03:48 AM by 179.210.219.25 -
Added line 1:
'+To be announced+'
Edit - History - Print - Recent Changes - Search
Page last modified on September 05, 2015, at 12:19 AM