, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira
Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Ernesto Quadro-Vargas
(Radboud University, The Netherlands)
Renata Wassermann (Univ São Paulo) (Co-Chair)
STEERING COMMITTEE
Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz.
ADVISORY COMMITTEE
Johan van Benthem
ge London)
Valeria de Paiva (Nuance Comms and University of Birmingham)
Alessandra Palmigiano (Delft University of Technology)
Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco)
Yde Venema (University of Amsterdam)
Fan Yang (University of Helsinki)
STEERING COMMITTEE
Samson Abramsky,
almigiano (Delft University of Technology)
Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco)
Yde Venema (University of Amsterdam)
Fan Yang (University of Helsinki)
STEERING COMMITTEE
Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Juliette Kennedy, Ulrich K
o Nicolai (King's College London)
Valeria de Paiva (Nuance Comms and University of Birmingham)
Alessandra Palmigiano (Delft University of Technology)
Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco)
Yde Venema (University of Amsterdam)
Fan Yang (University of Helsinki)
STEERING
nce Comms and University of Birmingham)
Alessandra Palmigiano (Delft University of Technology)
Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco)
Yde Venema (University of Amsterdam)
Fan Yang (University of Helsinki)
STEERING COMMITTEE
Samson Abramsky, Johan van Benthem, Anuj Dawar, Jo
ltmann (CNRS, France)
Lawrence Moss (Indiana University, USA) (CHAIR)
Cláudia Nalon (University of Brasília, Brazil)
Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK)
Sophie Pinchinat (IRISA Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal d
R)
Cláudia Nalon (University of Brasília, Brazil)
Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK)
Sophie Pinchinat (IRISA Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil)
Revantha Ramanayake (Vienna University of
f Brasília, Brazil)
Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK)
Sophie Pinchinat (IRISA Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil)
Revantha Ramanayake (Vienna University of Technology, Austria)
Giselle Reis
Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil)
Revantha Ramanayake (Vienna University of Technology, Austria)
Giselle Reis (Carnegie Mellon University, Qatar)
Jeremy Seligman (The University of Auckland, New Zealand)
Yanjing Wang
t;http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh>
(Queen Mary, UK) (Local co-chair)
Paulo Oliva <http://www.eecs.qmul.ac.uk/~pbo/> (Queen Mary, UK)
James Brotherston <http://www0.cs.ucl.ac.uk/staff/J.Brotherston/> (Univ
College London, UK)
Anjolina G. de Oliveira <htt
ingen,
The Netherlands)
Andrés Villaveces <https://avillavecesn.net/> (Universidad Nacional,
Colombia)
Philip Welch <http://www.maths.bris.ac.uk/~mapdw/> (University of Bristol,
UK)
STEERING COMMITTEE
Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Koh
TWENTY-THIRD ANNUAL WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND
COMPUTATION (WoLLIC 2016)
16-19 August 2016, Puebla, Mexico
http://wollic.org/wollic2016/
http://www.wollic.cs.buap.mx/registration.html
* EVENT
WoLLIC 2016 will be hosted in Puebla, Mexico during August 16-18, 2016.
*
j Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz.
ORGANISING COMMITTEE
Mauricio Osorio (Fundación Universidad de las Américas, Puebla) (Local
co-chair)
Claudia Zepeda Cortés (Facultad d
r.de/vollmer.html> (U Hannover,
Germany)
Dag Westerståhl
<http://www.philosophy.su.se/english/research/our-researchers/faculty/dag-westerst%C3%A5hl-1.165620>
(Stockholm
U, Sweden)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Ko
<http://www.philosophy.su.se/english/research/our-researchers/faculty/dag-westerst%C3%A5hl-1.165620>
(Stockholm
U, Sweden)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke On
chers/faculty/dag-westerst%C3%A5hl-1.165620>
(Stockholm
U, Sweden)
(more to be added)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Valeria de Pa
, Brazil)
Anna Zamansky (U Haifa, Israel)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local
Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising
Leivant, Leonid Libkin, Angus Macintyre,
Luke Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
FURTHER INFORMATION
Macintyre,
Luke Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
FURTHER INFORMATION
Contact one of the Co-Chairs
, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Católica de Chile)
Cristián Riveros (Pontificia Universidad Católica de Chile
Terwijn (Radboud University Nijmegen)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local
Terwijn (Radboud University Nijmegen)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile
, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Católica de Chile)
Cristián Riveros
Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira
Ono, Ruy de Queiroz.
*Organising Committee*
Ulrich Kohlenbach (Tech U Darmstadt) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Martin Otto (Tech U Darmstadt)
Ruy de
, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy
de Queiroz.
*Organising Committee*
Carlos Areces (U Nacional Cordoba) (co-chair) (Local co-chair)
Santiago Figueira (U Buenos Aires) (Local co-chair)
Javier Legris (U Buenos Aires)
Anjolina G. de
/ (Recife)
- Kazushige Terui http://www.kurims.kyoto-u.ac.jp/~terui/ (Kyoto)
*Steering Committee*
- Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy
de Queiroz.
*Organising Committee
/~janos/ (Haifa)
Michael Moortgat http://www.let.uu.nl/~ctl/docenten/moortgat.html
(Utrecht)
Vincent van Oostrom http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz
)
Michael Moortgat http://www.let.uu.nl/~ctl/docenten/moortgat.html
(Utrecht)
Vincent van Oostrom http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http
Oostrom http://www.phil.uu.nl/~oostrom/ (Utrecht)
Prakash Panangaden http://www.cs.mcgill.ca/~prakash/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http://www.cin.ufpe.br/~ruy (Recife)
Alexander Shen http://www.poncelet.ru/pers/shen.htm
/ (Montréal)
Rohit Parikh http://www.sci.brooklyn.cuny.edu/cis/parikh/ (New York)
Ruy de Queiroz http://www.cin.ufpe.br/~ruy (Recife)
Alexander Shen http://www.poncelet.ru/pers/shen.htm (Marseilles and
Moscow)
Bas Spitters http://www.cs.ru.nl/~spitters/ (Nijmegen)
Helmut Veith http://www7
)
Ruy de Queiroz http://www.cin.ufpe.br/%7Eruy (U Fed Pernambuco,
Brazil) (co-chair)
*Further information*
Contact one of the Co-Chairs of the Organising Committee.
*Web page*
http://wollic.org/wollic2010/
Steering committee
Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid
://www.cin.ufpe.br/%7Eago (U Fed
Pernambuco, Brazil)
Ruy de Queiroz http://www.cin.ufpe.br/%7Eruy (U Fed Pernambuco,
Brazil, co-chair)
Ken Satoh http://research.nii.ac.jp/%7Eksatoh/ (Nat Inst of
Informatics, Japan)
*STEERING COMMITTEE*
Samson Abramsky
http://www.comlab.ox.ac.uk/people
)
Anjolina de Oliveira http://www.cin.ufpe.br/%7Eago (U Fed
Pernambuco, Brazil)
Ruy de Queiroz http://www.cin.ufpe.br/%7Eruy (U Fed Pernambuco,
Brazil, co-chair)
Ken Satoh http://research.nii.ac.jp/%7Eksatoh/ (Nat Inst of
Informatics, Japan)
*STEERING COMMITTEE*
Samson Abramsky
http
37 matches
Mail list logo