[Hol-info] QBFEVAL'18 - Call for Contributions
[apologies for any cross-posting] ** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qb...@qbflib.org. ** Important Dates ** - Registration open: March 14 (for all tracks) - Registration close: April 7 - Solvers and Benchmarks due: April 14 (for all tracks except Hard-Instances Track) - First stage results: April 30 - Second stage solvers due: May 10 (for all tracks except Hard-Instances Track) - Hard instances solver due: June 1 - Competition Benchmarks available for download: 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 Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] QBFEVAL'18 - Deadline extension
[apologies for any cross-posting] ** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qb...@qbflib.org. ** Important Dates ** - Registration close: April 22 (incl. solver description) - EXTENDED - Solvers and Benchmarks due: April 25 (for all tracks except Hard-Instances Track) - EXTENDED - First stage results: May 3 - Second stage solvers due: May 15 (for all tracks except Hard-Instances Track) - Hard instances solver due: June 1 (no registration is necessary) - Competition Benchmarks available for download: 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 Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] QBFEVAL'18 -- Registration closes in 1 week
** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qb...@qbflib.org. ** Important Dates ** - Registration open: March 14 (for all tracks) - Registration close: April 7 - Solvers and Benchmarks due: April 14 (for all tracks except Hard-Instances Track) - First stage results: April 30 - Second stage solvers due: May 10 (for all tracks except Hard-Instances Track) - Hard instances solver due: June 1 - Competition Benchmarks available for download: 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 Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987 -- Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
irs: 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 Pulina (UNISS, Italy) -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION
apologies for any cross-posting] QBFEVAL'19 - Competitive Evaluation of QBF Solvers A joint event with the 22nd Int. Conference on Theory and Applications of Satisfiability Testing (SAT) Lisbon, Portugal, July 7 - 12 2019 QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the fourteenth evaluation of QBF solvers and instances ever. QBFEVAL'19 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'19, please get in touch with the organizers via qbfe...@qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval19.php *Important Dates* Registration open: March 31, 2019 Registration close: April 21, 2019 Solvers and Benchmarks due: April 30, 2019 First stage results: May 15, 2019 Second stage 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 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[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 Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ** AIIA is the premier venue for presenting innovative systems and research results related to Artificial Intelligence, attracting a large number of high quality submissions every year and participants from both industry and academia. AI*IA brings together researchers from different areas, such as artificial intelligence, databases, natural language processing, information systems, human computer interaction, information retrieval, web science, etc., who investigate, develop and use novel methods and technologies concerning the Artificial Intelligence research field. In addition to the regular research and workshop program, AIIA 2019 will include a tutorial program addressing the diverse interests of its audience: Artificial Intelligence practitioners that wish to learn about new technologies, novices to Artificial Intelligence interested in introductory tutorials to key topics, government and industry representatives focusing on the applicability of Artificial Intelligence technologies in practical settings. This program will follow the successful experiment started during AIIA 2018. We invite you to submit a tutorial proposal on a research topic relevant to the AIIA 2019 audience. Each tutorial will be a half-day event of about 3.5 hours. -- Review Criteria -- The decision on acceptance or rejection of tutorial proposals will be made on the basis of the overall quality of the proposal and its appeal to a reasonable fraction of the Artificial Intelligence community. In particular, tutorials should satisfy each of the following criteria: - the research topic falls in the general scope of the conference. - there is a clear focus on a specific technology, problem or application. - there is a sufficiently large community interested in the topic. We expect proposals for the following types of tutorials: - Tutorials providing an introduction to well established Artificial Intelligence aspects. - Tutorials describing the cross link between Artificial Intelligence technologies and other disciplines and application domains. - Tutorials presenting specific Artificial Intelligence technologies and trends. Additionally, we expect tutorials to have practical parts in terms of examples or, preferably, exercises and hands-on sessions to be carried out by the participants. -- Submission Guidelines -- Proposals should be submitted via Easychair at https://easychair.org/conferences/?conf=aixia2019wt selecting Tutorial as the submission topic. A proposal consists of a single PDF file no longer than 4 (four) pages, written in English and containing the following sections: - Title and Acronym - Motivation: Why is the topic timely and of particular interest to AIIA participants? What is the relation of this tutorial to other similar tutorials presented at other events? (One to three paragraphs) - Detailed Description: Length (expected number of hours), overview of content and schedule, description of learning outcomes, presentation style, tutorial format, justification of length if longer than 3.5 hours (why a shorter time would not suffice), prior knowledge required by the attendees (No longer than two pages) - Tutorial Material: Overview of the material used for the tutorial. In case of slides, handouts or other teaching material please specify when the material will be made available and how (e.g, under a CC license to anyone, only to the attendees, not at all, and so on) (One to three paragraphs). - Audience: Who and how many people are likely to attend? (One paragraph). - Presenters: Name, affiliation, email address, homepage and short (One paragraph) biography of each presenter, their expertise in the tutorial topic, and their experience in teaching and in tutorial presentation. Please indicate which presenter is the primary contact. (One to two paragraphs per presenter) - Related events (if the tutorial was presented before in a similar form): Link to previous event(s) and materials. The number of attendees of the previous event(s). Why is it relevant to continue the tutorial in 2019? - Requirements: Audio-visual or technical requirements and any special room requirements (One to
[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 Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 ** The AIIA 2019 Conference will host a series of workshops dedicated to specific and hot topics that will complement the main conference program. AI*IA Working Groups, scientific and industrial research groups, and individual researchers interested in a subarea of Artificial Intelligence or in a related topic of growing importance are invited to submit proposals of workshops associated with the AIIA 2019 conference. We particularly welcome proposals aimed at bringing together researchers from a wide range of disciplines, to exchange ideas and to allow cross-fertilization. Workshop proposals should be submitted in English as a single PDF file not longer than 4 (four) pages containing the following sections: - Workshop title and acronym - Workshop organizers (affiliation, contact details, homepage, prior experiences with workshop organization) - Motivation and scientific relevance to the conference audience - Keywords (describing the main themes of the workshop) (from 3 to 5) - Abstract (up to 200 words) - Description of the workshop (topics and goals of the workshop) (up to 800 words) - Organizational details such as: thematic panels, demo sessions, invited talks - Initial list of (potential) members of the program committee - Previous editions of the workshop series (if applicable) (URLs, conference it was co-located with, number of registrants, number of submissions, number of accepted papers, and any other relevant information) - Length of the workshop (in hours) Proposals should be submitted via Easychair: https://easychair.org/conferences/?conf=aixia2019wt The expected number of submissions is at least 5 for half-day workshops and at least 8 for full-day ones. Workshops that do not reach the suggested target might not be activated or may be merged with other events. Workshop schedule: each workshop will be assigned a number of slots (from 1 to 3 slots) during the conference days. A slot can vary from 1 to 2.5 hours. The distribution of slots will take into account the accepted papers and workshop organization. **Management of the submission, review, and publishing process.** The workshops organizers will manage on their own the submission, review, and publishing process. The key dates and publication policy must be shared with the conference organization. Workshop proceedings should preferably be published in CEUR Workshop Proceedings AIIA Series http://ceur-ws.org/aixia.html selecting Workshop as the submission topic. The workshop Call for Papers, all other calls, and the website should clearly state that the workshop is held within the AIIA 2019 Conference, including the URL of the conference website (https://aiia2019.mat.unical.it) All workshop participants (including the organizers) will have to register through the AIIA 2019 registration service. The workshops must notify acceptance of papers by September 20th, 2019, to allow authors to enjoy the early registration fee. ***Important dates*** Deadline for workshop proposals submission: June 5th, 2019 Notification: June 21st, 2019 Workshops date: November 19th-22nd, 2019 Workshops Chair Rafael Peñaloza, University of Milano-Bicocca, Italy -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
irs: 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 Pulina (UNISS, Italy) -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] Call for Participation - CPS Summer School 2019
[apologies if you receive multiple copies of this message] -- CPS Summer School 2019 Designing Cyber-Physical Systems – From concepts to implementation Porto Conte Ricerche - Alghero - Sardinia - Italy September 23-27, 2019 http://www.cpsschool.eu -- Cyber-physical systems (CPS) are complex and autonomous ensembles of different components that interact to offer smart and adaptive functionalities. These systems are increasingly used in a variety of applications with a growing market, potentially bringing about significant social benefits. However, there is no such thing as a free lunch, and there area several new challenges and trade-offs to face when designing CPS, especially since they should be able to adapt to the changing environments, or heal themselves. Uncertain operation environments and interactions with humans as users and/or as operators complicate the scenarios of these ever increasingly pervasive systems. The CPS summer school is targeted at students, research scientists, and R experts from academia and industry, who want to learn about CPS engineering and applications. The program is composed of both lectures and practical sessions, covering all the design phases of CPS (i.e., from concept to the definition of the final system and the discussion of the key challenges). Topics (http://www.cpsschool.eu/program/) include, but are not limited to, the following: - Market trends for CPS - Hardware/software and multi-view modelling - Adaptivity - Low power design of heterogeneous systems - Tools for dataflow design, high-level synthesis, hardware/software co-design, and coarse/fine reconfiguration Application and Registration (http://www.cpsschool.eu/application/) The school is open to up to 40 participants. Application deadline: June 10, 2019. Notification deadline: June 15, 2019. Confirmed Speakers (http://www.cpsschool.eu/confirmed-speakers/) include the following lecturers: - Davide Ariu, PluribusOne, Cagliari (Italy) - Luca Carloni - Columbia University, New York City (USA) - Luigia Carlucci Aiello, La Sapienza University, Rome (Italy) - Jeronimo Castrillon, Technische Universität Dresden, Dresden (Germany) - Nuria de Lama, Vice-Secretary General (BDVA) and European Programs Manager (Atos) - Nikil Dutt - University of California, Irvine (USA) - Giovanni Pruneddu - University of Sassari, Sassari (Italy) - Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA) - Armando Tacchella - University of Genova, Genova (Italy) Organization 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 Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems
[apologies if you receive multiple copies of this message] -- 2nd PhD Workshop on Cyber-Physical Systems Porto Conte Ricerche - Alghero - Sardinia - Italy September 23, 2019 http://www.cpsschool.eu/cps-workshop/ -- The PhD Workshop on Cyber-Physical Systems (CPS) is an initiative of the CPS Summer School community to offer participants a close contact with leading experts on the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students to submit papers describing their research on any of the topics of interest of the school. Topics of Interest Models, methods, tools, and architectures for CPS Testing, modelling, and validation of CPS Verification and formal methods for CPS Intelligent methods and algorithms for CPS Reactive and real-time systems Reconfigurable and self-aware systems On-line monitoring and management of CPS Security, trust and dependability of CPS Examples of CPS applications Submission The submissions should contain a description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The accepted papers will be presented during the evening on the September 23th to an interested audience and will be discussed with a panel of senior researchers from academia and the industry. Participants will present their work with brief oral presentations and poster session. Papers are expected to be 6-10 pages (excluding references), written in English following the LNCS format and submitted electronically in PDF format via EasyChair (https://easychair.org/conferences/?conf=cpsws19). Important deadlines Submission by 21 June 2019 Notification by 28 June 2019 Camera-ready by 5 July 2019 Proceedings Accepted papers will be published online as part of CEUR- WS Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic databases such as DBLP. N.B. Papers accepted will only be included in the published Proceedings under the condition that at least one author attend the workshop to present it. Fees Workshop only: 30 € for PhD 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://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
Conference Web Site - For the most up to date information, please visit: https://aiia2019.mat.unical.it - Organizing Committee - Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi 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 Pulina (UNISS, Italy) -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
Conference Web Site - For the most up to date information, please visit: https://aiia2019.mat.unical.it - Organizing Committee - Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi 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 Pulina (UNISS, Italy) -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[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 Ph.D. students to explore and develop their research interests in the Artificial Intelligence field, in the broader sense, under the guidance of a panel of distinguished researchers from both academia and industry. Attending students will have the opportunity to present their work in a dedicated workshop and to share their work with other students in a similar situation and with senior researchers during a dedicated workshop. During the entire conference every student will be paired with a senior mentor (selected from the DC program committee) who will dedicate some time for interacting with the student. AIIA Doctoral Consortium main objectives are the following: Provide a supportive setting for feedback on students' current research and guidance on future research directions. Offer each student comments and fresh perspectives on their own work from faculty and students outside their own institution, taking advantage of mentorship opportunities. Promote the development of a supportive community of scholars and a spirit of collaborative research. Contribute to the conference goals through interaction with other researchers and conference events. We accept contributions from students regularly enrolled in some Ph.D. program. Exceptions might include students not yet enrolled in a Ph.D. program, but that are strongly motivated to enroll in the near future. Every contribution should be in the form of up to 5 pages extended abstracts including references, in Springer LNCS format. In line with the main research track of the conference, the AIIA 2019 Doctoral Consortium welcomes submissions on research across all areas of AI, including (but not limited to) traditional topics such as machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. Students with accepted extended abstracts are invited to give an oral presentation of their work during the Doctoral Consortium, and to prepare a poster to be displayed during the poster sessions of the main conference. The authors of the accepted extended abstracts are requested to attend the Doctoral Consortium and to register to the main conference. Poster should include student's contacts in order to allow any interested person to fix an appointment with the student and discuss her/his work during the conference. Extended abstract submission, format and publication Prepare an up to five-pages extended abstract describing your current or future research work (or on some specific issue) in the LNCS Proceedings Format. You should be the only author of the extended abstract and you should mention your advisor. We allow two types of contributions: Overview of the Ph.D. work, which should include: Introduction/Motivation, State of the Art, Problem Statement and Contributions, Research Methodology and Approach, Preliminary or Intermediate Results, Evaluation Plan, Conclusions (recommended for students in an early stage of the Ph.D.) Presentation of one specific scientific achievement you have reached during the Ph.D. course. The contribution could have been already published in some other venue. Extended abstracts will be evaluated by at least 2 members of the Doctoral Consortium Committee. The main evaluation criteria include originality of the work, scientific quality, validity of claims and clarity. The DC Committee will assign a Best Ph.D. Paper award to the best contribution, by evaluating the subject described in the extended abstract, the quality of the presentation and poster. Accepted extended abstracts will be possibly published on CEUR WS Proceedings upon request. Extended abstract will be handled through Easychair at https://easychair.org/conferences/?conf=aiia2019 Important Dates Paper submission: September 15th, 2018 Notification: October 5th, 2018 Camera-ready extended abstracts due: November 5th, 2018 Doctoral Consortium: TBD (between 19th-22nd November 2018) Doctoral Consortium Chair Marco Maratea, University of Genova Programme Committee TBD -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing
Call for Papers The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) 5-9 July 2020, Alghero, Italy http://sat2020.idea-researchlab.org/ * The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020.idea-researchlab.org/ *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs <https://www.springer.com/lncs>. *** Important Dates *** Workshops July 5, 2020 Conference 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 Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San Diego * Florent Capelli, Université de Lille * Pascal Fontaine, Université de Liège, Belgium *
[Hol-info] QBFEVAL'20 - Competitive Evaluation of QBF Solvers
[apologies for any cross-posting] QBFEVAL'20 - Competitive Evaluation of QBF Solvers A joint event with the 23rd Int. Conference on Theory and Applications of Satisfiability Testing (SAT) Alghero, Italy, July 5 - 9 2020 QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'20 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'20, please get in touch with the organizers via qbfe...@qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval20.php *Important Dates* Registration open: February 26, 2020 Registration deadline: April 19, 2020 Solvers and Benchmarks due: April 26, 2020 First stage results: May 3, 2020 Second 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 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 ___ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
[Hol-info] [CfP] SAT2020 - The 23rd International Conference on Theory and Applications of Satisfiability Testing
Call for Papers The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) 5-9 July 2020, Alghero, Italy http://sat2020.idea-researchlab.org/ * The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Invited Speakers *** * Georg Gottlob, TU Wien, Austria * Aarti Gupta, Princeton University, US *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020.idea-researchlab.org/ *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs <https://www.springer.com/lncs>. *** Important Dates *** Workshops July 5, 2020 Conference 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 Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San
