[SMT-LIB] RCRA 2013: Call for Participation

[Francesco Ricca]

[APOLOGIES FOR MULTIPLE POSTINGS]

* ______________________________________________________________________   *
                         CALL FOR PARTICIPATION 

    The RCRA group (Knowledge Representation & Automated Reasoning) of the
           AI*IA (Italian Association for Artificial Intelligence)

                                organizes the

                             20th RCRA workshop:
               Experimental evaluation of algorithms for solving
               problems with combinatorial explosion  (RCRA 2013)

                        Rome, Italy, 14-15 June 2013

    RCRA group web site: http://rcra.aixia.it/
    Workshop web site:   http://rcra.aixia.it/rcra2013
    e-mail:              rcra2013 at gmail.com

* ______________________________________________________________________   *

    This event follows the series of the RCRA (Knowledge Representation
    and Automated Reasoning) annual meetings, held since 1994.
    RCRA is becoming a major forum for exchanging ideas and proposing 
    experimentation methodologies for algorithms in Artificial Intelligence.

* ______________________________________________________________________   *
                          REGISTRATION IS OPEN

The registration in open at http://rcra.aixia.it/rcra2013/registration

Thanks to the kind support of University of Genova, participation to RCRA 2013 
is free for authors of accepted papers.
All attendees are supposed to be members of AI*IA, 
the annual AI*IA membership can be bought at http://www.aixia.it/iscrizioni

* ______________________________________________________________________   *

                            WORKSHOP PROGRAM:

----------- Friday 14 June 2013 

------
 9:15 	 Registration
 9:45 	 Welcome 
------
	 Answer Set Programming
 10:00 	 Mario Alviano and Wolfgang Faber
 Solving NP-SPEC Domains Using ASP
 10:30 	 Francesco Calimeri, Giovambattista Ianni, Simona Perri and Jessica Zangari
         The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain
 11:00 	 Esra Erdem, Doga G. Kisa, Umut Oztok and Peter Schüller
         Experimental Evaluation of Multi-Agent Pathfinding Problems using Answer Set Programming
------
 11:30   Coffee break
------
	 Evaluation of AI Tools
 12:00 	 Jean Remy Bourguet, Giuseppe Cicala, Luca Pulina and Armando Tacchella
         An experimental evaluation of tools for Ontology-Based Data Access
 12:30 	 Domenico Bertoncelli, Pasquale Caianiello and Stefania Costantini
         Feature Selection in High Dimension Sample Spaces
------
 12:50   Lunch break
------
	 Satisfiability and Optimization
 14:30 	 Antonio Morgado, Mark Liffiton and Joao Marques-Silva
         MaxSAT-Based MCS Enumeration
 15:00 	 Ruben Martins, Vasco Manquinho and Inês Lynce
         Model-based Partitioning for MaxSAT Solving
 15:30 	 Zineb Habbas, Kamal Amroun and Daniel Singer
         A cluster-oriented Forward Checking Algorithm based on Generalized Hypertree Decomposition
------
 16:00	 Coffee break
------
	 Planning
 16:30 	 Filip Dvorak, Daniel Toropila and Roman Bartak
         Towards AI Planning Efficiency: Finite-domain State Variable Reformulation
 17:00 	 Alfonso Gerevini, Alessandro Saetti and Ivan Serina
         Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval
------
 17:30	 Break
------ 
 20:30	 RCRA 2013 social dinner
------

----------- Saturday 15 June 2013 

------
	 Scheduling
 9:30 	 David Fernandez, Sergio Gonzalez, Angel Juan and Daniel Riera
         A Heuristic Algorithm for the Resource Assignment Problem in Satellite Telecommunication Networks
 10:00 	 Amedeo Cesta, Andrea Orlandini and Alessandro Umbrico
         Toward a general purpose software environment for timeline-based planning
------
 10:30	 Coffee break
------ 
	 Applications
 11:00 	 Matthias Sauer, Sven Reimer, Stefan Kupferschmid, Tobias Schubert, Paolo Marin and Bernd Becker
         Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits
 11:30 	 Andrea Peano, Maddalena Nonato, Marco Gavanelli, Stefano Alvisi and Marco Franchini
         A Bilevel Mixed Integer Linear Programming Model for Valves Location in Water Distribution Systems
 12:00 	 Federico Campeotto, Agostino Dovier and Enrico Pontelli
         Protein Structure Prediction on GPU: an experimental report
------ 
 12:30	 Closing remarks and end of the workshop
------

WORKSHOP CHAIRS
  * Toni Mancini               Sapienza University, Rome, Italy
  * Marco Maratea              University of Genova, Genova, Italy
  * Francesco Ricca            University of Calabria, Rende, Italy