[Hol-info] QBFEVAL'18 - Call for Contributions

2018-03-06 Thread Luca Pulina
ults: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Profe

[Hol-info] QBFEVAL'18 - Deadline extension

2018-04-13 Thread Luca Pulina
load: June 14 -    Final results: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pu

[Hol-info] QBFEVAL'18 -- Registration closes in 1 week

2018-03-30 Thread Luca Pulina
T'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Professor of Computer Science Univer

[Hol-info] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-04-03 Thread Luca Pulina
ael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info m

[Hol-info] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION

2019-04-05 Thread Luca Pulina
tage solvers due: May 30, 2019 Competition Benchmarks available for download: July 1, 2019 Final results: presented at SAT'19 *Organization* Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz Ankit Shukla, Johannes Kepler Universitat Linz -- -- *Dona il  5x

[Hol-info] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-04-07 Thread Luca Pulina
[apologies for any cross-posting] **CALL FOR TUTORIAL PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for

[Hol-info] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-04-07 Thread Luca Pulina
[apologies for any cross-posting] **CALL FOR WORKSHOP PROPOSALS AIIA19 - The 18th International Conference of the Italian Association for

[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-05-17 Thread Luca Pulina
ael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info m

[Hol-info] Call for Participation - CPS Summer School 2019

2019-05-25 Thread Luca Pulina
Francesca Palumbo, Università degli Studi di Sassari (ITA) [School Director, fpalu...@uniss.it] Christian Pilato, Politecnico di Milano (ITA) Luca Pulina, Università degli Studi di Sassari (ITA) Carlo Sau, Università degli Studi di Cagliari (ITA) -- -- *Dona il  5x1000* all'Università degli

[Hol-info] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems

2019-05-25 Thread Luca Pulina
student, and 50 € for others. Workshop Chair Luca Pulina, University of Sassari -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https

[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-06-01 Thread Luca Pulina
Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca

[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence

2019-06-29 Thread Luca Pulina
Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca

[Hol-info] AIIA 2019 Doctoral Consortium

2019-08-31 Thread Luca Pulina
Students are invited to apply for admission to the Doctoral Consortium to be held at the the AIIA 2019 conference which will take place in Rende, from the 19th to the 22nd of November 2019. Submission Deadline: September 15th, 2019 The AIIA 2019 Doctoral Consortium provides an opportunity for