[Caml-list] FroCoS'09 Final Call for Papers

-------------------------------------------------------------------------
WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!! ABSTRACT SUBMISSION: April 26th, 2009 !!!!!!!!!!!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Final Call for Papers

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

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.

RELEVANT TOPICS
Typical topics of interest include (but are not limited to):
* combinations of logics such as combined predicate, temporal, modal,
or epistemic logics;
* combinations and modularity in ontologies;
* combination of decision procedures, of satisfiability procedures,
and of CS techniques;
* combinations and modularity in term rewriting;
* integration of equational and other theories into deductive systems;
* combination of deduction systems and computer algebra;
* integration of data structures into CLP formalisms and deduction processes;
* hybrid methods for deduction, resolution and constraint propagation;
* hybrid systems in knowledge representation and natural language semantics;
* combined logics for distributed and multi-agent systems;
* logical aspects of combining and modularizing programs and specifications.

INVITED SPEAKERS
* Alessandro Armando, University of Genoa, Italy
* Thomas Eiter, TU Wien, Austria
* Boris Motik, Oxford University, UK
* Ashish Tiwari, SRI International, USA

PAPER SUBMISSION
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Selection criteria include
accuracy and originality of ideas, clarity and significance of
results, and quality of presentation. All submissions will be subject
to academic peer review by at least three members of the program
committee. For each accepted paper, at least one author is required to
attend the conference to present the paper.
Papers must be edited in LATEX using the llncs style and be submitted
electronically as PDF files via the EasyChair system:
http://www.easychair.org/conferences/?conf=frocos09.
The page limit in Springer LNCS style is 16 pages.
Prospective authors are required to register a title and an abstract a
week before the paper submission deadline (see below).
Further information about paper submission is available at FROCOS'09 web page.

PROCEEDINGS
The proceedings of FroCoS'09 will be published by Springer-Verlag in
the LNAI/LNCS series.

IMPORTANT DATES
Abstract submission deadline: April 26th, 2009
Full paper submission deadline: May 3rd, 2009
Notification of acceptance: June 8th, 2009
Camera Ready Copy: June 22th, 2009
Conference: September 16-18th 2009

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] FroCoS'09 Final Call for Papers

-------------------------------------------------------------------------
WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!! ABSTRACT SUBMISSION: April 26th, 2009 !!!!!!!!!!!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Final Call for Papers

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

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.

RELEVANT TOPICS
Typical topics of interest include (but are not limited to):
* combinations of logics such as combined predicate, temporal, modal,
or epistemic logics;
* combinations and modularity in ontologies;
* combination of decision procedures, of satisfiability procedures,
and of CS techniques;
* combinations and modularity in term rewriting;
* integration of equational and other theories into deductive systems;
* combination of deduction systems and computer algebra;
* integration of data structures into CLP formalisms and deduction processes;
* hybrid methods for deduction, resolution and constraint propagation;
* hybrid systems in knowledge representation and natural language semantics;
* combined logics for distributed and multi-agent systems;
* logical aspects of combining and modularizing programs and specifications.

INVITED SPEAKERS
* Alessandro Armando, University of Genoa, Italy
* Thomas Eiter, TU Wien, Austria
* Boris Motik, Oxford University, UK
* Ashish Tiwari, SRI International, USA

PAPER SUBMISSION
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Selection criteria include
accuracy and originality of ideas, clarity and significance of
results, and quality of presentation. All submissions will be subject
to academic peer review by at least three members of the program
committee. For each accepted paper, at least one author is required to
attend the conference to present the paper.
Papers must be edited in LATEX using the llncs style and be submitted
electronically as PDF files via the EasyChair system:
http://www.easychair.org/conferences/?conf=frocos09.
The page limit in Springer LNCS style is 16 pages.
Prospective authors are required to register a title and an abstract a
week before the paper submission deadline (see below).
Further information about paper submission is available at FROCOS'09 web page.

PROCEEDINGS
The proceedings of FroCoS'09 will be published by Springer-Verlag in
the LNAI/LNCS series.

IMPORTANT DATES
Abstract submission deadline: April 26th, 2009
Full paper submission deadline: May 3rd, 2009
Notification of acceptance: June 8th, 2009
Camera Ready Copy: June 22th, 2009
Conference: September 16-18th 2009

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Extended draft paper submission: SETP-09 call for papers

Extended draft paper submission: SETP-09 call for papers   This Extended Call for Papers is for those who didn't get a chance to submit the papers for the earlier call for papers. The papers received and accepted in response to this extended call for papers will be included in the final version of the respective conference proceedings. These proceedings will be either ready by the time of the conference (i.e., they will be available during the conference) or soon after the conference (before the end of August 2009), based how fast the proceedings can be prepared. Note: If you have already submitted a paper (whether accepted or rejected or currently under review) for MULTICONF-09, please DO NOT submit that paper again to this extended call for papers. IMPORTANT DATES: Draft paper submission date: May 11, 2009 Acceptance/rejection decision: May 21, 2009 Camera ready paper and copyright and pre-registration due: May 28, 2009 Conference dates: July 13-16, 2009     The 2009 International Conference on Software Engineering Theory and Practice (SETP-09) (website: http://www.PromoteResearch.org ) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The conference will take place at the same time and venue where several other international conferences are taking place. The other conferences include: ·         International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) ·         International Conference on Automation, Robotics and Control Systems (ARCS-09) ·         International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) ·         International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) ·         International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) ·         International Conference on Information Security and Privacy (ISP-09) ·         International Conference on Recent Advances in Information Technology and Applications (RAITA-09) ·         International Conference on Theory and Applications of Computational Science (TACS-09) ·         International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09)   The website http://www.PromoteResearch.org contains more details.   Sincerely John Edward Publicity committee

[Caml-list] ICE09: CALL FOR PAPERS

***************************************************************
2st Interaction and Concurrency Experience (ICE'09)
Structured Interactions

Satellite workshop of CONCUR 2009
31th of August 2009
Bologna, Italy

http://ice09.dimi.uniud.it/
***************************************************************

Interaction and Concurrency Experiences (ICEs) is intended as a series
of international scientific meetings oriented to researchers in
various fields of theoretical computer science. The timeliness and
novelty of these events relies both on the variety of the topics that
will be treated on each event and on the adopted paper selection
mechanism.

Every experience will focus on a different specific topic which
affects several areas of computer science. A thorough scientific
debate among PC and authors of submitted papers will parallel the
reviewing process. After the paper selection phase, papers will be
published on the web and the discussion will be extended to
perspective participants.

-- Scope of ICE'09 --

The general scope is to include theoretical and applied aspects of
interactions and the synchronization mechanisms used among actors of
concurrent/distributed systems. The workshop intends to attract
researchers interested in models, verification, tools, and programming
primitives concerning such structured interactions.

The theme of ICE09 will be structured interactions by which we mean
the class of synchronisations that go beyond the "simple"
point-to-point synchronisations. A few examples of such structured
interactions are: multicast or broadcast synchronisations,
even-notification based interactions, time dependent interactions,
distributed transactions, stateless/statefull interactions.

Not only structured interactions have been studied "in isolation", but
researchers have also considered mutual relations and theoretical
frameworks featuring uniform representations and/or co-existence of
different structured interactions.
As a matter of fact, different structured interactions are typically
required when specifying views of a distributed system or when
considering it at different levels of abstraction. For instance,
multicast or broadcast interactions (desirable at a high level of
abstraction) have to be mapped on more basic kind of interactions like
point-to-point asynchronous synchronisations.

The interest in such interactions is growing due to the recent trend
in providing abstractions that allow one to master the complexity of
distributed systems. Remarkable research lines in this area are the
use of types or behavioural equivalences to guarantee properties of
concurrent/distributed systems (eg., progress properties) or the use
of model-driven approaches in order to achieve correctness "by
construction" (eg., graceful termination), or else the relations among
interactions, mobility and spatial aspects (eg., bigraphs).

-- Topics --

Topics of interest include, but shall not be limited to:
- models, logic and types for structured interactions;
- expressiveness results;
- timed and hybrid interactions;
- verification, analysis and tools;
- programming primitives for structured interactions;
- structured interactions as coordination mechanisms;
- structured interactions inspired by emerging computational models (systems
biology, quantum computing, etc.).

-- Selection Procedure --

The workshop proposes an innovative paper selection mechanism based on
an interactive discussion amongst authors and PC members. As shown by
the past edition of ICE, this considerably improves the quality of the
papers, the reviews and the discussion during the workshop. We
continue by detailing the selection procedure.

After the submission deadline expires, each PC member selects a number
of suitable papers to review before the start of the discussion
phase. At the beginning of the discussion, each submitted paper is
published on a Wiki and associated with a discussion forum whose
access will be restricted to the authors and to all the PC
members. The latter will be able to post comments/questions which the
authors will reply to (authors will obviously have access only to
forums associated with their own papers). Thus, the discussion on
forums (and hence the reviewing process of papers) may be enhanced by
the additional comments of interested PC members.

-- The Public Wiki --

After the notification, the accepted papers will be published on a
public forum, the rationale being to initiate public discussions that
will trigger and stimulate the scientific debate of the workshop. We
argue that this will drive the workshop discussions and let
perspective participants to interact with each other well in advance
with respect to the modus operandi of more traditional events.

-- Submission Guidelines --

Papers must report previously unpublished work and not be submitted to
another conference/workshops with refereed proceedings. Programme
Committee members, barring the co-chairs, may (and indeed are
encouraged) to contribute. Accepted papers must be presented at the
workshop by one of the authors.

There is no specific page limit, but authors should strive for
brevity. Details of the submission mechanism will follow in due
course.

-- Dissemination --

The ICE09 post-proceeding will be published in a novel series:
Electronic Proceedings in Theoretical Computer Science.

-- Important Dates --

- Abstract submission: 29 May 2009
- Submission deadline: 5 June 2009
- Reviews due: 26 June 2009
- Discussion: from 29 June to 11 July 2009
- Notification to authors: 13 July 2009
- Workshop: 31 August 2009

-- Program Committee --

* Simon Bliudze (CEA LIST, France)
* Eduardo Bonelli (LIFIA, University of LaPlata, Argentina)
* Andrea Bracciali (University of Pisa, Italy)
* Roberto Bruni (University of Pisa, Italy)
* Marco Carbone (IT University of Copenhagen, Denmark)
* Bob Coecke (Oxford University, UK)
* Vincent Danos (University of Edinburgh, UK)
* Erik de Vink (Technische Universiteit Eindhoven)
* Georgios Fainekos (NEC Laboratories, USA)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag,France)
* Carlo A. Furia (ETH Zuerich, Switzerland)
* Fabio Gadducci (University of Pisa, Italy)
* Ichiro Hasuo (Kyoto University, Japan)
* Thomas Hildebrandt (IT University of Copenhagen, Denmark)
* Daniel Hirschkoff (ENS, Lyon, France)
* Barbara Koenig (University of Duisburg-Essen, Germany)
* Ivan Lanese (University of Bologna, Italy)
* Hernan Melgratti (Universidad de Buenos Aires, Argentina)
* Dimitris Mostrous (Imperial College, London, UK)
* Madhavan Mukund (Chennai mathematical Institute, India)
* Dejan Nickovic (EPFL Lausanne, Switzerland)
* Ana Sokolova (University of Salzburg, Austria)
* Hugo Torres Vieira (New University of Lisbon, Portugal)
* Angelo Troina (University of Torino, Italy)
* Herbert Wiklicky (Imperial College, London, UK)
* Nobuko Yoshida (Imperial College, London, UK)

-- Invited Speakers --

- Farhad Arbab (CWI)
- Doron Peled (Bar Ilan University)

-- ICEcreamers --

- Filippo Bonchi (CWI)
- Davide Grohmann (Universita' di Udine)
- Paola Spoletini (Politecnico di Milano)
- Emilio Tuosto (University of Leicester)

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Call for Papers: PLMMS 2009

The ACM SIGSAM 2009 International
Workshop on Programming Languages for
Mechanized Mathematics Systems
PLMMS 2009

Munich, Germany; August 21, 2009
http://plmms09.cse.tamu.edu/

CALL FOR PAPERS

The ACM SIGSAM 2009 International Workshop on Programming Languages
for Mechanized Mathematics Systems will be co-located with TPHOLs 2009.

General Information

The scope of this workshop is at the intersection of programming
languages (PL) and mechanized mathematics systems (MMS). The latter
category subsumes present-day computer algebra systems (CAS),
interactive proof assistants (PA), and automated theorem provers
(ATP), all heading towards fully integrated mechanized mathematical
assistants. Areas of interest include all aspects of PL and MMS that
meet in the following topics, but not limited to:

* Dedicated input languages for MMS: covers all aspects of languages
intended for the user to deploy or extend the system, both
algorithmic and declarative ones. Typical examples are tactic
definition languages such as Ltac in Coq, mathematical proof
languages as in Mizar or Isar, or specialized programming
languages built into CA systems.

* Mathematical modeling languages used for programming: covers the
relation of logical descriptions vs. algorithmic content. For
instance the logic of ACL2 extends a version of Lisp, that of Coq
is close to Haskell, and some portions of HOL are similar to ML
and Haskell, while Maple tries to do both simultaneously. Such
mathematical languages offer rich specification capabilities,
which are rarely available in regular programming languages. How
can programming benefit from mathematical concepts, without
limiting mathematics to the computational world view?

* Programming languages with mathematical specifications: covers
advanced mathematical concepts in programming languages that
improve the expressive power of functional specifications, type
systems, module systems etc. Programming languages with dependent
types are of particular interest here, as is intentionality vs
extensionality.

* Language elements for program verification: covers specific means
built into a language to facilitate correctness proofs using
MMS. For example, logical annotations within programs may be
turned into verification conditions to be solved in a proof
assistant eventually. How need MMS and PL to be improved to make
this work conveniently and in a mathematically appealing way?

These issues have a very colorful history. Many PL innovations first
appeared in either CA or proof systems first, before migrating into
more mainstream programming languages. This workshop is an
opportunity to present the latest innovations in MMS design that may
be relevant to future programming languages, or conversely novel PL
principles that improve upon implementation and deployment of MMS.
Why are all the languages of mainstream CA systems untyped? Why
are the (strongly typed) proof assistants so much harder to use than
a typical CAS? What forms of polymorphism exist in mathematics?
What forms of dependent types may be used in mathematical modeling?
How can MMS regain the upper hand on issues of "genericity" and
"modularity"? What are the biggest barriers to using a more
mainstream language as a host language for a CAS or PA/ATP?

PLMMS 2007 was held as a satellite event of, and PLMMS 2008 was
a CICM 2008 workshop.

Submission Details

* Submission deadline: May 11, 2009 (Apia, Samoa time)
* Author Notification: June 22, 2009
* Final Papers Due: July 10, 2009
* Workshop: August 21, 2009

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The length
is restricted to 10 pages, and the font size 9pt. Each submission
must adhere to SIGPLAN's republication policy, as explained on the
web. Violation risks summary rejection of the offending submission.

Papers are exclusively submitted via EasyChair

http://www.easychair.org/conferences?conf=plmms09

We expect that at least one author of each accepted paper attends
PLMMS 2009 and presents her or his paper.

Accepted papers will appear in the ACM Digital Library.

Links

* http://plmms09.cse.tamu.edu/, the PLMMS 2009 workshop web site
* http://tphols.in.tum.de/, the THOPLs 2009 conference web site

Program Committee

* Clemens Ballarin, aicas GmbH
* Gabriel Dos Reis, Texas A&M University (Co-Chair)
* Jean-Christophe Filliâtre, CNRS Université Paris Sud
* Predrag Janicic, University of Belgrade
* Jaakko Järvi, Texas A&M University
* Florina Piroi, Johannes Kepler University
* Laurent Théry, INRIA Sophia Antipolis (Co-Chair)
* Makarius Wenzel, Technische Universität München

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] ASP-competition Call for Participation

................................................................

The Second Answer Set Programming Competition

Call For Participation

K.U.Leuven, Belgium, spring 2009

http://www.cs.kuleuven.be/~dtai/events/ASP-competition/

................................................................

The second ASP competition is a Modeling and Solving competition open
to all declarative problem solving systems from areas such as ASP, SAT
and CP. In the competition, both satisfiability problems and
optimization problems need to be solved. Each team submits a solver
and modelings for all benchmark problems. These are used to solve a
number of instances of each benchmark problem. The solver that solves
the most instances wins. The results will be published in the Tenth
International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'09). For more details on the format of the
competition, see the webpage.

The competition is open for all solvers. The Modeling and Solving
formula offers the best opportunities for different communities to
show the strength of their applications and solvers. Modeling support
for SAT teams, for whom modeling can be a burden, is available on the
webpage.

The competition is currently in its second phase: the registration of
participating teams and the installation of solutions to the submitted
benchmarks. We invite teams from different areas to enter their solvers
in the competition. For more details, see the webpage.

IMPORTANT DATES:
* 01/03/2009-01/05/2009:
o Registration of teams.
* 01/03/2009-15/05/2009:
o Installation period: Participants install and test
solvers and programs on the K.U.Leuven pinac pool.
* 15/05/2009-15/06/2009:
o Competition phase
* 15/09/2009:
o Results announced at LPNMR'09.

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] FroCoS'09 Call for Papers

-------------------------------------------------------------------------
WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE
-------------------------------------------------------------------------

Final Call for Papers

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

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.

RELEVANT TOPICS
Typical topics of interest include (but are not limited to):
* combinations of logics such as combined predicate, temporal, modal,
or epistemic logics;
* combinations and modularity in ontologies;
* combination of decision procedures, of satisfiability procedures,
and of CS techniques;
* combinations and modularity in term rewriting;
* integration of equational and other theories into deductive systems;
* combination of deduction systems and computer algebra;
* integration of data structures into CLP formalisms and deduction processes;
* hybrid methods for deduction, resolution and constraint propagation;
* hybrid systems in knowledge representation and natural language semantics;
* combined logics for distributed and multi-agent systems;
* logical aspects of combining and modularizing programs and specifications.

INVITED SPEAKERS
* Alessandro Armando, University of Genoa, Italy
* Thomas Eiter, TU Wien, Austria
* Boris Motik, Oxford University, UK
* Ashish Tiwari, SRI International, USA

PAPER SUBMISSION
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Selection criteria include
accuracy and originality of ideas, clarity and significance of
results, and quality of presentation. All submissions will be subject
to academic peer review by at least three members of the program
committee. For each accepted paper, at least one author is required to
attend the conference to present the paper.
Papers must be edited in LATEX using the llncs style and be submitted
electronically as PDF files via the EasyChair system:
http://www.easychair.org/conferences/?conf=frocos09.
The page limit in Springer LNCS style is 16 pages.
Prospective authors are required to register a title and an abstract a
week before the paper submission deadline (see below).
Further information about paper submission is available at FROCOS'09 web page.

PROCEEDINGS
The proceedings of FroCoS'09 will be published by Springer-Verlag in
the LNAI/LNCS series.

IMPORTANT DATES
Abstract submission deadline: April 26th, 2009
Full paper submission deadline: May 3rd, 2009
Notification of acceptance: June 8th, 2009
Camera Ready Copy: June 22th, 2009
Conference: September 16-18th 2009

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs