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

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

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

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

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

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

[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

[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

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

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

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

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

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

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

[Hol-info] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing

ission         February 22, 2020 Author response period   March 29 – April 2, 2020 Author notification      April 18, 2020 Camera-ready             May 3, 2020 *** Organization *** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop

[Hol-info] QBFEVAL'20 - Competitive Evaluation of QBF Solvers

cond stage solvers due: May 17, 2020 Competition Benchmarks available for download: July 1, 2020 Final results: presented at SAT'20 *Organization* Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz Ankit Shukla, Johannes Kepler Universitat Linz -- -- *Dona il  5x

[Hol-info] [CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing

erence               July 6-9, 2020 Abstract submission      February 15, 2020 Paper submission         February 22, 2020 Author response period   March 29 – April 2, 2020 Author notification      April 18, 2020 Camera-ready             May 3, 2020 *** Organization *** Program Chairs * Luca