[UAI] ICTCS 2017: call for papers---extended deadlines

, knowledge representation languages, model checking, multi-agent systems, process algebras, quantum computing, rewriting systems, security and trust, semantics, specification and verification, systems biology, type theory Program co-chairs: -- Aniello Murano (University of Naples

[UAI] SR 2017 - EXTENDED DEADLINE for expository and novel-research + INVITED SPEAKERS

invited to a special issue of Information & Computation (in process). COMMITTEES Workshop co-Chairs Wiebe van der Hoek, University of Liverpool Bastien Maubert, University of Naples "Federico II" Aniello Murano, University of Naples "Federico II" Sa

[UAI] SR 2017 - Preliminary Call for Papers

special issue. COMMITTEES Workshop co-Chairs Wiebe van der Hoek, University of Liverpool Bastien Maubert, University of Naples "Federico II" Aniello Murano, University of Naples "Federico II" Sasha Rubin, University of Naples "Federico II" Prog

[UAI] ICTCS 2017- Preliminary Call for Papers

, security and trust, semantics, specification and verification, systems biology, type theory Program co-chairs: -- Aniello Murano (University of Naples "Federico II") Sasha Rubin (University of Naples "Federico II") Important dates: Abstract

[UAI] SR 2016 - Extended Deadline and Last Call for Contributions

inie, Université Paris Diderot Christof Löding, RWTH Aachen Emiliano Lorini, Université Paul Sabatier Jakub Michaliszyn, Univ of Wroclaw Aniello Murano, Universita’ di Napoli Wojciech Penczek, Polish Academy of Sciences Sophie Pinchinat, University of Rennes Nir Piterman, University of Leiceste

[UAI] SR 2016 - Extended Deadline and Last Call for Contributions

inie, Université Paris Diderot Christof Löding, RWTH Aachen Emiliano Lorini, Université Paul Sabatier Jakub Michaliszyn, Univ of Wroclaw Aniello Murano, Universita’ di Napoli Wojciech Penczek, Polish Academy of Sciences Sophie Pinchinat, University of Rennes Nir Piterman, University of Leiceste

[UAI] SR 2015 - Final call for papers - Oxford, Sept 21-22, UK

. -- COMMITTEES. Workshop Chairs * Julian Gutierrez, University of Oxford, UK * Fabio Mogavero, University of Naples Federico II, Italy * Aniello Murano, University of Naples Federico II, Italy * Michael Wooldridge, University of Oxford, UK [MAIN CONTACT] Program Committee

[UAI] GandALF 2014: Extended deadlines

[We apologize if you have received multiple copies of this message] * --GandALF 2014- * 5th International Symposium on Games,

[UAI] GandALF 2014: Call for papers

[We apologize if you have received multiple copies of this message] * --GandALF 2014- * 5th International Symposium on Games,

[UAI] GandALF 2014: Preliminary call for papers

[We apologize if you have received multiple copies of this message] * --GandALF 2014- * 5th International Symposium on Games, A

[UAI] SR 2014 - Extended Deadline and Last Call for Contributions

the major international journals of the area. GENERAL CHAIR Moshe Y. Vardi, Rice University, Texas, USA PROGRAM CO-CHAIRS Fabio Mogavero, Università di Napoli Federico II, Italy Aniello Murano, Università di Napoli Federico II, Italy PROGRAM COMMITTEE - Natasha Alechina, University of

[UAI] SR 2014 - call for contributions

PROGRAM CO-CHAIRS Fabio Mogavero, Università di Napoli Federico II, Italy Aniello Murano, Università di Napoli Federico II, Italy PROGRAM COMMITTEE - Natasha Alechina, University of Nottingham, United Kingdom - Thomas Agotnes, University of Bergen, Norway - Nils Bulling, Clausthal University of

[UAI] SR 2013 - Preliminary call for contributions

best workshop papers is also under consideration. PROGRAM CO-CHAIRS Fabio Mogavero, Università di Napoli Federico II, Italy Aniello Murano, Università di Napoli Federico II, Italy Moshe Y. Vardi, Rice University, Texas, USA PROGRAM COMMITTEE - Thomas Agotnes, University of Bergen, Norway