Organization
General Chair:
General Chair:
Francesco Ricca, University of Calabria, Italia
Francesco Ricca, University of Calabria, Italia
Program Chairs:
Program Chairs:
Martin Gebser, Universität Klagenfurt, Austria
Martin Gebser, Universität Klagenfurt, Austria
Daniela Inclezan, Miami University, USA
Daniela Inclezan, Miami University, USA
Organizing Chairs:
Organizing Chairs:
Carmine Dodaro, University of Calabria, Italy
Carmine Dodaro, University of Calabria, Italy
Antonio Ielo, University of Calabria, Italy
Antonio Ielo, University of Calabria, Italy
Giuseppe Mazzotta, University of Calabria, Italy
Giuseppe Mazzotta, University of Calabria, Italy
Workshop Chairs:
Workshop Chairs:
Pierangela Bruno, University of Calabria, Italy
Pierangela Bruno, University of Calabria, Italy
Jorge Fandinno, University of Nebraska at Omaha, USA
Jorge Fandinno, University of Nebraska at Omaha, USA
Recently Published Research Track Chairs:
Recently Published Research Track Chairs:
Manuel Carro, IMDEA Software Institute and Universidad Politécnica de Madrid, Spain
Manuel Carro, IMDEA Software Institute and Universidad Politécnica de Madrid, Spain
Miroslaw Truszczynski, University of Kentucky, USA
Miroslaw Truszczynski, University of Kentucky, USA
Doctoral Consortium Chairs:
Doctoral Consortium Chairs:
Alice Tarzariol, University of Klagenfurt, Austria
Alice Tarzariol, University of Klagenfurt, Austria
Markus Hecher, Univ. Artois, CNRS, Computer Science Research Center of Lens (CRIL), France
Markus Hecher, Univ. Artois, CNRS, Computer Science Research Center of Lens (CRIL), France
Autumn School Chairs:
Autumn School Chairs:
Sarah Gaggl, Technische Universität Dresden, Germany
Sarah Gaggl, Technische Universität Dresden, Germany
Manuel Hermenegildo, IMDEA Software Institute and Universidad Politécnica de Madrid, Spain
Manuel Hermenegildo, IMDEA Software Institute and Universidad Politécnica de Madrid, Spain
Programming Contest Chairs:
Programming Contest Chairs:
Mario Alviano, University of Calabria, Italy
Mario Alviano, University of Calabria, Italy
Wolfgang Faber, University of Klagenfurt, Austria
Wolfgang Faber, University of Klagenfurt, Austria
Publicity Chairs:
Publicity Chairs:
Manuel Alejandro Borroto Santana, University of Calabria, Italy
Manuel Alejandro Borroto Santana, University of Calabria, Italy
Francesco Calimeri, University of Calabria, Italy
Francesco Calimeri, University of Calabria, Italy
Program Committee:
Program Committee:
Salvador Abreu, NOVA-LINCS / University of Evora
Salvador Abreu, NOVA-LINCS / University of Evora
Mario Alviano, University of Calabria
Mario Alviano, University of Calabria
Nicos Angelopoulos, The Pirbright Institute
Nicos Angelopoulos, The Pirbright Institute
Marcello Balduccini, Saint Joseph’s University
Marcello Balduccini, Saint Joseph’s University
Mutsunori Banbara, Nagoya University
Mutsunori Banbara, Nagoya University
Elena Bellodi, University of Ferrara
Elena Bellodi, University of Ferrara
Stefano Bistarelli, University of Perugia
Stefano Bistarelli, University of Perugia
Bart Bogaerts, KU Leuven
Bart Bogaerts, KU Leuven
Pedro Cabalar, University of Corunna
Pedro Cabalar, University of Corunna
Roberta Calegari, Alma Mater Studiorum–University of Bologna
Roberta Calegari, Alma Mater Studiorum–University of Bologna
Angelos Charalambidis, Harokopio University
Angelos Charalambidis, Harokopio University
Michael Codish, Ben-Gurion University of the Negev
Michael Codish, Ben-Gurion University of the Negev
Stefania Costantini, University of L'Aquila
Stefania Costantini, University of L'Aquila
Alessandro Dal Palù, University of Parma
Alessandro Dal Palù, University of Parma
Marina De Vos, University of Bath
Marina De Vos, University of Bath
Marc Denecker, KU Leuven
Marc Denecker, KU Leuven
Carmine Dodaro, University of Calabria
Carmine Dodaro, University of Calabria
Thomas Eiter, TU Wien
Thomas Eiter, TU Wien
Esra Erdem, Sabanci University
Esra Erdem, Sabanci University
Wolfgang Faber, University of Klagenfurt
Wolfgang Faber, University of Klagenfurt
François Fages, INRIA Saclay
François Fages, INRIA Saclay
Jorge Fandinno, University of Nebraska Omaha
Jorge Fandinno, University of Nebraska Omaha
Johannes K. Fichte, Linköping University
Johannes K. Fichte, Linköping University
Fabio Fioravanti, University of Chieti-Pescara
Fabio Fioravanti, University of Chieti-Pescara
Andrea Formisano, University of Udine
Andrea Formisano, University of Udine
Gerhard Friedrich, University of Klagenfurt
Gerhard Friedrich, University of Klagenfurt
Sarah Alice Gaggl, TU Dresden
Sarah Alice Gaggl, TU Dresden
Marco Gavanelli, University of Ferrara
Marco Gavanelli, University of Ferrara
Laura Giordano, DISIT, University of Eastern Piedmont
Laura Giordano, DISIT, University of Eastern Piedmont
Ricardo Gonçalves, NOVA University Lisbon
Ricardo Gonçalves, NOVA University Lisbon
Carito Guziolowski, Centrale Nantes
Carito Guziolowski, Centrale Nantes
Markus Hecher, CNRS, Artois University
Markus Hecher, CNRS, Artois University
Giovambattista Ianni, University of Calabria
Giovambattista Ianni, University of Calabria
Tomi Janhunen, Tampere University
Tomi Janhunen, Tampere University
Nikos Katzouris, NCSR Demokritos
Nikos Katzouris, NCSR Demokritos
Gabriele Kern-Isberner, TU Dortmund
Gabriele Kern-Isberner, TU Dortmund
Matthias Knorr, NOVA University Lisbon
Matthias Knorr, NOVA University Lisbon
Isabelle Kuhlmann, University of Hagen
Isabelle Kuhlmann, University of Hagen
Joao Leite, NOVA University Lisbon
Joao Leite, NOVA University Lisbon
Michael Leuschel, Heinrich-Heine University of Düsseldorf
Michael Leuschel, Heinrich-Heine University of Düsseldorf
Vladimir Lifschitz, The University of Texas at Austin
Vladimir Lifschitz, The University of Texas at Austin
Francesca Alessandra Lisi, University of Bari Aldo Moro
Francesca Alessandra Lisi, University of Bari Aldo Moro
Yanhong A. Liu, Stony Brook University
Yanhong A. Liu, Stony Brook University
Marco Maratea, University of Calabria
Marco Maratea, University of Calabria
Viviana Mascardi, DIBRIS, University of Genova
Viviana Mascardi, DIBRIS, University of Genova
Jose F. Morales, Technical University of Madrid / IMDEA Software Institute
Jose F. Morales, Technical University of Madrid / IMDEA Software Institute
Johannes Oetsch, Jönköping University
Johannes Oetsch, Jönköping University
Simona Perri, University of Calabria
Simona Perri, University of Calabria
Enrico Pontelli, New Mexico State University
Enrico Pontelli, New Mexico State University
Fabrizio Riguzzi, University of Ferrara
Fabrizio Riguzzi, University of Ferrara
Ricardo Rocha, University of Porto
Ricardo Rocha, University of Porto
Chiaki Sakama, Wakayama University
Chiaki Sakama, Wakayama University
Zeynep G. Saribatur, TU Wien
Zeynep G. Saribatur, TU Wien
Torsten Schaub, University of Potsdam
Torsten Schaub, University of Potsdam
Konstantin Schekotihin, University of Klagenfurt
Konstantin Schekotihin, University of Klagenfurt
Tom Schrijvers, KU Leuven
Tom Schrijvers, KU Leuven
Dietmar Seipel, University of Würzburg
Dietmar Seipel, University of Würzburg
Theresa Swift, Johns Hopkins Applied Physics Lab
Theresa Swift, Johns Hopkins Applied Physics Lab
Hans Tompits, TU Wien
Hans Tompits, TU Wien
Mirek Truszczynski, University of Kentucky
Mirek Truszczynski, University of Kentucky
Athénaïs Vaginay, University of Caen Normandy
Athénaïs Vaginay, University of Caen Normandy
Germán Vidal, VRAIN, Polytechnic University of Valencia
Germán Vidal, VRAIN, Polytechnic University of Valencia
Concepcion Vidal, University of Corunna
Concepcion Vidal, University of Corunna
Alicia Villanueva, VRAIN – Polytechnic University of Valencia
Alicia Villanueva, VRAIN – Polytechnic University of Valencia
Johannes P. Wallner, TU Graz
Johannes P. Wallner, TU Graz
Kewen Wang, Griffith University
Kewen Wang, Griffith University
David S.Warren, Stony Brook University
David S.Warren, Stony Brook University
Felix Weitkämper, German UDS Potsdam
Felix Weitkämper, German UDS Potsdam
Stefan Woltran, TU Wien
Stefan Woltran, TU Wien
Roland Yap, National University of Singapore
Roland Yap, National University of Singapore
Jia-Huai You, University of Alberta
Jia-Huai You, University of Alberta
Zhizheng Zhang, Southeast University
Zhizheng Zhang, Southeast University
Yuanlin Zhang, Texas Tech University
Yuanlin Zhang, Texas Tech University
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center