[SMT-LIB] FroCoS'09: Call for Participation

Roberto Sebastiani rseba at disi.unitn.it
Wed Jul 29 10:55:51 EDT 2009


-------------------------------------------------------------------------
       WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------
 
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!  FROCOS'09 REGISTRATION IS NOW OPEN                  !!!!!!!!!!
!!!!!!!!  EARLY-BIRD REGISTRATION DEADLINE: August 28th, 2009 !!!!!!!!!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

                       Call for Participation

                 7th International Symposium on
            FRONTIERS OF COMBINING SYSTEMS (FroCoS’09)

                   Conference Center "Panorama"
              Trento, Italy, September 16-18th, 2009 
                http://events.unitn.it/en/frocos09/

MOTIVATIONS 
In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence, knowledge
representation, and automated reasoning, there is an obvious need for
using specialized formalisms and inference mechanisms for special
tasks. In order to be usable in practice, these specialized systems
must be combined with each other, and they must be integrated into
general purpose systems. The development of general techniques and
methods for the combination and integration of special formally defined
systems, as well as for the analysis and modularization of complex
systems has been initiated in many areas. The International Symposium
on Frontiers of Combining Systems (FROCOS) traditionally focuses on
this type of research questions and activities and aims at promoting
progress in the field. 
Like its predecessors, FROCOS’09 wants to offer a common forum for
research activities in the general area of combination, modularization
and integration of systems (with emphasis on logic-based ones), and of
their practical use.  

INVITED SPEAKERS & ACCEPTED PAPERS
(See http://events.unitn.it/en/frocos09/accepted-and-invited-papers.)
There will be 19 presentations of refereed papers, plus four 
long presentations from the following invited speakers:
* Alessandro Armando, University of Genoa, Italy 
* Thomas Eiter, TU Wien, Austria 
* Boris Motik, Oxford University, UK 
* Ashish Tiwari, SRI International, USA 

REGISTRATION
(See http://events.unitn.it/en/frocos09/accepted-and-invited-papers.)
Registration is open at http://events.unitn.it/en/frocos09/.
Fees: Early (before August 28th): 300EU
      Late (after August 28th):   400EU
The fees includes VAT, and cover registration, LNAI conference proceedings,
coffee breaks, lunches, the social dinner and the social events. 
It does not cover the hotel expenses. 

ACCOMODATION
(See http://events.unitn.it/en/frocos09/travel-and-accommodation)
A limited number of cheap and nice rooms are available at the
conference site, the Conference Center "Panorama", on a
first-come-first-served basis (so please book as soon as possible).
Special room rates for conference participants have been
negotiated with some hotels in downtown Trento.

IMPORTANT: ANY QUESTION ABOUT REGISTRATION AND ACCOMODATION SHOULD BE SENT TO 
"convegni at unitn.it" AND *NOT* TO THE CHAIRS.  

TRAVELLING
(See http://events.unitn.it/en/frocos09/travel-and-accommodation)
Trento can be reached by train or car from Verona (nearest), Venice, Milan,
Innsbruck and Munich international airports. 

SOCIAL EVENTS
Social events involve a welcome reception, a boat excursion on the
Garda Lake and the social dinner, which  will be held at "Ristorante
Castel Toblino", a well-known restaurant located in an ancient castle
on a wonderful location on lake Toblino. 
 
ABOUT TRENTO AND TRENTO AREA
(See http://www.apt.trento.it/en/Home.htm)
Trento is a small Reinassance town, not far from Verona and Venice, 
famous for the Council (1545-1563) which gave rise to the Catholic 
Counter-Reformation. Trento area (Trentino) is a well-known touristic 
and holiday area.

CHAIRS 
- Silvio Ghilardi, University of Milano, Italy 
- Roberto Sebastiani, University of Trento, Italy

PROGRAMME COMMITTEE 
- Franz Baader, T.U. Dresden, Germany 
- Peter Baumgartner, NICTA, Camberra, Australia 
- Torben Brauner, Roskilde University, DK 
- Leonardo de Moura, Microsoft Research, USA 
- Bernhard Gramlich, T.U. Wien, Austria 
- Sava Krstic, Intel Corporation, USA 
- Viktor Kuncak, E.P.F. Lausanne, Switzerland
- Albert Oliveras, T.U. of Catalonia, Spain 
- Silvio Ranise, University of Verona, Italy 
- Christophe Ringeissen, LORIA, Nancy, France 
- Ulrike Sattler, Univ. of Manchester, UK 
- Renate Schmidt, Univ. of Manchester, UK 
- Luciano Serafini, FBK-Irst, Italy 
- Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany 
- Cesare Tinelli, University of Iowa, USA 
- Frank Wolter, University of Liverpool, UK 
- Michael Zakharyaschev, London Knowledge Lab, UK

SPONSORS 
FroCos 2009 gratefully aknowledges the support from Rettorato and
Dipartimento di Scienze dell'Informazione of Universita` degli Studi
di Milano, Universita` degli Studi di Trento, and Microsoft Research.



Silvio Ghilardi and Roberto Sebastiani
FroCoS 2009 chairs




More information about the SMT-LIB mailing list