Calls for participation

2010-01-22

[Caml-list] Call for Papers: LoCoCo 2010

LoCoCo 2010 -- Workshop on Logics for Component Configuration
Workshop of SAT at FLoC 2010, Edinburgh, Scotland, July 10, 2010
http://lococo2010.mancoosi.org/
First Call for Papers

Scope:
======
Modern software distributions are based on the notion of components, which
denote units of independent development and deployment. Components provide
the necessary flexibility when organizing a complex software distribution,
but also are a challenge when it comes to selecting components from a large
repository of possible choices, and configuring these components according
to user needs, resource constraints, and interdependencies with other
components. Representing and solving configuration problems is a hot topic
of great importance for many application domains. Some well-known examples
of complex systems of components in the world of Free and Open Source
software are the different distributions for GNU/Linux, BSD, or Eclipse
plugins.

Understanding and solving these questions is an attractive research
topic since the problems to be solved are complex and interesting for
researchers working on solving techniques, and on the other hand have
the potential of high impact on the way the software we all use
everyday is developed and deployed. Not only adequate logical
formalisms to represent a configuration problem are required, but also
sophisticated reasoning technologies to deal with large amounts of
data. Further relevant aspects include diagnosis of failed
configuration settings and an intelligent behavior dealing with user
preferences.

This workshop will focus on logic-based methods for specifying and solving
complex configuration problems for software components. The goal of the
workshop is to bring together both researchers and practitioners active in
the area of component configuration of software systems, using different
modeling and solving techniques, such as constraint and logic programming,
description logics, satisfiability and its extensions. The workshop will be
an opportunity to discuss common and complementary solutions for solving
component configuration.

Topics:
=======
Main areas of interest include, but are not restricted to:
o Configuration problems and models: knowledge representation and
acquisition, incomplete knowledge, inconsistent knowledge, etc.
o Reasoning methods for solving configuration problems: constraint
satisfaction and optimization, SAT solving and extensions, integer
programming, local search, symmetry breaking, etc.
o Interactivity: user preferences, machine learning, distributed
environments, etc.
o Applications and tools: case studies, current challenges,
application reports, etc.

Invited Talk
============
An invited talk will be given by Carsten Sinz (University of Karlsruhe).

MISC 2010
=========
The first Mancoosi International Solver Competition will be held in
conjunction with the LoCoCo workshop.

Important Dates
===============
Friday, March 26 Submission deadline
Friday, April 23 Notification about acceptance
Friday, May 21 Final paper due
Saturday, July 10 Workshop

Submission and Publication
==========================
We welcome submissions of various types of presentations related to
the topics of the workshop, such as
- full research papers
- abstracts of ongoing work
- tutorial overview papers
- summaries of research projects
- system descriptions, if possible including system demonstration at the
workshop. These must provide the means to download and evaluate the
system, with preference to distribution under an open source licence.

Papers presented at the workshop will have to carry an open access
licence agreement. We will attempt to publish the papers at an
open access archive of workshop proceedings. Details will be posted
later.

Submitted papers must not exceed a limit of 10 pages, but authors may
provide pointers to additional online resources if necessary. Papers
may be submitted in the formats Postscript or PDF. Details of the
exact page style to be used will be posted later. Submissions will be
handled through easychair at

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

Program Committee
=================
Daniel Le Berre (Universite d'Artois, France)
Roberto Di Cosmo (Universite Paris-Diderot, France)
Georg Gottlob (Oxford University, UK)
Pascal van Hentenryck (Brown University, USA)
Matti Jarvisalo (University of Helsinki, Finland)
Ines Lynce (INESC-ID, Lisbon, Portugal), co-chair
Toni Mancini (Sapienza Universita di Roma, Italy)
Albert Oliveras (Technical University of Catalonia, Barcelona, Spain)
Christian Schulte (KTH, Stockholm, Sweden)
Ralf Treinen (Universite Paris-Diderot, France), co-chair
Nic Wilson (UCC, Cork, Irland)

_______________________________________________
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] DisCoTec 2010: 2nd Call for Papers

[We apologize for multiple copies]

====================================================================
2nd Call for Papers

DisCoTec 2010

5th International Federated Conferences on
Distributed Computing Techniques

http://discotec.project.cwi.nl/

Amsterdam, The Netherlands, 7-10 June 2010
====================================================================

The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:

* COORDINATION
* DAIS
* FMOODS & FORTE

This year IFIP offers some travel grants for students and an award
for the best paper of DisCoTec.

The DisCoTec invited speakers are:

Joe Armstrong, Ericsson Telecom AB
Gerard Holzmann, Jet Propulsion Laboratory, USA
Joost Roelandts, Director of Development Netlog

All conferences share the same deadlines:

* Important Dates *

February 08, 2010 Abstract Submission
February 12, 2010 Paper Submission
March 19, 2010 Notification of Acceptance
April 02, 2010 Camera ready version
June 07-09, 2010 Conference
June 10, 2010 Workshops

* General Chair *
Frank S. de Boer CWI, Netherlands

* Publicity Chair *
Gianluigi Zavattaro University of Bologna, Italy

* Workshops Chair *
Marcello M. Bonsangue University of Leiden, Netherlands

* Advisory Board *
John Derrick University of Sheffield, UK
Einar Broch Johnsen University of Oslo, Norway
Elie Najm Technical University of Paris, France
Rocco De Nicola University of Florence, Italy
George Angelos Papadopoulos University of Cyprus, Cyprus
Antonio Ravara University of Lisboa, Portugal
Gianluigi Zavattaro University of Bologna, Italy

--------------------------------------------------------------------

COORDINATION
12th International Conference on Coordination Models and Languages
http://discotec.project.cwi.nl/COORDINATION

--------------------------------------------------------------------

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software
development. The conference focuses on the design and implementation
of models that allow compositional construction of large-scale
concurrent and distributed systems, including both practical and
foundational models, run-time systems, and related verification and
analysis techniques.

Past incarnations of Coordination have emphasized foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organizers of Coordination 2010 are keen
to provide a strong forum for high-quality papers that address
practical aspects of concurrent programming models; for example,
application of concurrency to novel domains, comparisons of
alternative programming models on important problems, or
domain-specific languages.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

Dave Clarke Katholieke Universiteit Leuven, Belgium
Gul Agha University of Illinois at Urbana-Champaign, USA

--------------------------------------------------------------------

DAIS
10th IFIP International Conference on
Distributed Applications and Interoperable Systems
http://discotec.project.cwi.nl/DAIS

--------------------------------------------------------------------

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and
practice reports. This time we welcome in particular contributions
on architectures, models, technologies and platforms for large scale
and complex distributed applications and services that are related
to the latest trends towards bridging the physical/virtual worlds
based on flexible and versatile service architectures and platforms.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

Extended versions of selected best papers published in DAIS'10 will
be invited for publication in a dedicated special issue of
Wiley Software: Practice and Experience

* Program Committee Chairs *

Frank Eliassen University of Oslo, Norway
Ruediger Kapitza University of Erlangen, Germany

--------------------------------------------------------------------

FMOODS & FORTE
12th IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems
30th IFIP International Conference on
FORmal TEchniques for Networked and Distributed Systems
http://discotec.project.cwi.nl/FmoodsForte

--------------------------------------------------------------------

* Scope *

The joined conference FMOODS & FORTE is a forum for fundamental
research on theory and applications of distributed systems. The
conference solicits original contributions that advance the science
and technologies for distributed systems, in particular
in the areas of:

* component- and model-based design
* object technology, modularity, software adaptation
* service-oriented, ubiquitous, pervasive, grid and mobile
computing
* software quality, reliability and security

The conference encourages contributions that combine theory and
practice, address problems from the development of distributed
systems, and present novel solutions with formal methods and
theoretical foundations. FMOODS & FORTE covers distributed computing
models and formal specification, testing and verification methods.
The application domains include all kinds of application-level
distributed systems, telecommunication services, Internet, embedded
and real time systems, as well as networking and communication
security and reliability.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

John Hatcliff Kansas State University, United States of America
Elena Zucca University of Genoa, Italy

2010-01-21

[Caml-list] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials

CALL FOR PAPERS AND TUTORIALS

International Conference on Runtime Verification (RV 2010)
November 1 - 4, 2010
Sliema, Malta

http://www.rv2010.org/

Runtime verification (RV) is concerned with monitoring and analysis of
software or hardware system executions. The field is often referred to
under different names, such as runtime verification, runtime monitoring,
runtime checking, runtime reflection, runtime analysis, dynamic
analysis, symbolic dynamic analysis, trace analysis, log file analysis,
etc. RV can be used for many purposes, such as program understanding,
systems usage understanding, security or safety policy monitoring,
debugging, testing, verification and validation, fault protection,
behavior modification (e.g., recovery), etc. A running system can be
abstractly regarded as a generator of execution traces, i.e., sequences
of relevant states or events. Traces can be processed in various ways,
e.g., checked against formalized specifications, analyzed with special
algorithms, visualized, etc. Topics of interest include, but are not
limited to:

- program instrumentation techniques
- specification languages for writing monitors
- extraction of monitors from specifications; APIs for writing monitors
- programming language constructs for monitoring
- model-based monitoring and reconfiguration
- the use of aspect oriented programming for dynamic analysis
- algorithmic solutions to minimize runtime monitoring impact
- combination of static and dynamic analysis; full program verification
based on runtime verification
- intrusion detection, security policies, policy enforcement
- log file analysis
- model-based test oracles
- observation-based debugging techniques
- fault detection and recovery, model-based integrated health management
and diagnosis
- program steering and adaptation
- dynamic concurrency analysis
- dynamic specification mining
- metrics and statistical information gathered during runtime
- program execution visualization

The RV series of events started in 2001, as an annual workshop. The
RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV
proceedings have been published in LNCS. Starting with year 2010, RV is
an international conference. Links to past RV events can be found at
the permanent URL http://runtime-verification.org.

PAPER SUBMISSION

RV will have two research paper categories: regular and short papers.
Papers in both categories will be reviewed by the conference Program
Committee.

- Regular papers (up to 15 pages) should present original unpublished
results. Applications of runtime verification are particularly
welcome. A Best Paper Award (300 Euro) will be offered. Selected
papers will be published in an issue of Formal Methods in System
Design.

- Short papers (up to 5 pages) may present novel but not necessarily
thoroughly worked out ideas, for example emerging runtime verification
techniques and applications, or techniques and applications that
establish relationships between runtime verification and other
domains. Accepted short papers will be presented in special short
talk (5-10 minutes) and poster sessions.

In addition to short and regular papers, proposals for tutorials and
tool demonstrations are welcome. Proposals should be up to 2 pages
long.

- Tutorial proposals on any of the topics above, as well as on topics at
the boundary between RV and other domains, are welcome. Accepted
tutorials will be allocated up to 15 pages in the conference
proceedings. Tutorial presentations will be at least 2 hours.

- Tool demonstration proposals should briefly introduce the problem
solved by the tool and give the outline of the demonstration. Tool
papers will be allocated 5 pages in the conference proceedings. A Best
Tool Award (200 Euro) will be offered.

Submitted tutorial and tool demonstration proposals will be evaluated by
the corresponding chairs, with the help of selected reviewers.

All accepted papers, including tutorial and tool papers, will appear in
the LNCS proceedings. Submitted papers must use the LNCS style. At
least one author of each accepted paper must attend RV'10 to present the
paper. Papers must be submitted electronically using the EasyChair
system. A link to the electronic submission page is available on the
RV'10 web page.

IMPORTANT DATES

May 1, 2010 - Submission of tutorial proposals
May 15, 2010 - Notification for tutorial proposals
June 1, 2010 - Submission of regular and short papers
June 15, 2010 - Submission of tool demonstration proposals
July 13, 2010 - Notification for regular, short, and tool papers
August 17, 2010 - Camera-ready versions of accepted papers are due

ORGANIZERS

General chairs:
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA JPL, USA)
Insup Lee (University of Pennsylvania, USA)

Programme committee chairs:
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)

Local organization chair:
Gordon Pace (University of Malta, MT)

Tutorials chair:
Bernd Finkbeiner (Saarland University, DE)

Tool demonstrations chair:
Nikolai Tillmann (Microsoft Research, USA)

Publicity chair:
Ylies Falcone (INRIA Rennes, FR)

PROGRAMME COMMITTEE

Jamie Andrews (University of Western Ontario, Canada)
Thomas Ball (Microsoft Research Redmond, USA)
Saddek Bensalem (Verimag, France)
Eric Bodden (Technical University Darmstadt, Germany)
Rance Cleaveland (University of Maryland, USA)
Mads Dam (KTH, SE)
Matthew Dwyer (University of Nebraska, USA)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California at Santa Cruz, USA)
Jean Goubault-Larrecq (ENS Cachan, France)
Patrice Godefroid (Microsoft Research Redmond, USA)
Susanne Graf (Verimag, France)
Radu Grosu (State University of New York at Stony Brook, USA)
Lars Grunske (Swinburne University of Technology, Australia)
Rajiv Gupta (University of California at Riverside, USA)
John Hatcliff (Kansas State University, USA)
Mats Heimdahl (University of Minnesota, USA)
Sarfraz Khurshid (University of Texas at Austin, USA)
Kim Larsen (Aalborg University, Denmark)
Martin Leucker (Technical University Muenchen, Germany)
Paul Miner (NASA Langley, USA)
Brian Nielsen (Aalborg University, Denmark)
Klaus Ostermann (University of Marburg, Germany)
Corina Pasareanu (NASA Ames, USA)
Doron Peled (Bar Ilan University, Israel)
Martin Rinard (Massachussets Institute of Technology, USA)
Greg Morrisett (Harvard University, USA)
Wolfram Schulte Microsoft Research Redmond, USA)
Koushik Sen (University of California at Berkeley, USA)
Peter Sestoft (University of Copenhagen, Denmark)
Scott Smolka (State University of New York at Stony Brook, USA)
Serdar Tasiran (Koc University, Turkey)
Shmuel Ur (IBM Haifa Research Laboratory, Israel)
Willem Visser (University of Stellenbosch, South Africa)
Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)
Brian Williams (Massachusetts Institute of Technology, USA)

2010-01-18

[Caml-list] Calculemus 2010: First Call for Papers

[Apologies for cross-postings.]

-----------------------------------------
CALCULEMUS 2010 - First Call for Papers
-----------------------------------------

17th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

CNAM, Paris, France, July 7-8, 2010

http://cicm2010.cnam.fr/calculemus/

Calculemus is a series of conferences dedicated to the integration of computer
algebra systems (CAS) and systems for mechanised reasoning, the interactive
theorem provers or proof assistants (PA) and the automated theorem provers
(ATP).

Currently, symbolic computation is divided into several (more or less)
independent branches: traditional ones (e.g., computer algebra and mechanised
reasoning) as well as newly emerging ones (on user interfaces, knowledge
management, theory exploration, etc.) The main concern of the Calculemus
community is to bring these developments together in order to facilitate the
theory, design, and implementation of integrated systems for computer
mathematics that will routinely be used by mathematicians, computer scientists
and engineers in their every day business.

We seek original research papers for the upcoming Calculemus meeting, which
will be held jointly with AISC 2010 and MKM 2010 (confederated in the
Conferences on Intelligent Computer Mathematics, CICM 2010) in Paris (France).

Topics of Interest
==================

The scope of Calculemus covers all aspects of the interplay of mechanised
reasoning and computer algebra, including cross-fertilisation between those two
research areas, as well as the development of integrated systems that transcend
both computer algebra and theorem proving. Potential topics of interest
include:

* Theorem proving in computer algebra (CAS)
* Computer algebra in theorem proving (PA and ATP)
* Case studies and applications that both involve computer algebra and
mechanised reasoning
* Representation of mathematics in computer algebra
* Adding computational capabilities to PA and ATP
* Formal methods requiring mixed computing and proving
* Combining methods of symbolic computation and formal deduction
* Mathematical computation in PA and ATP
* Theory, design and implementation of interdisciplinary systems for computer
mathematics
* Infrastructure for mathematical services
* Theory exploration techniques

Papers on other topics closely related to the above research areas will also be
welcomed for consideration.

Submission
==========

Theoretical and applied research papers on all topics within the scope of the
symposium are invited. Submitted papers must be in English and must not exceed
15 pages for full papers and we suggest 10 pages for emerging trends extended
abstracts (the upper limit is 20 pages, authors must provide at least a title
and 200 word abstract). The title page should contain the title, author(s) with
affiliation(s), e-mail address(es), listing of keywords and abstract. The
program committee will subject all full papers submitted to a peer review.
Emerging trends papers will be lightly reviewed. Results must be unpublished.

Papers should be prepared in LaTeX and formatted according to the requirements
of the Springer's LNAI series (the corresponding style files can be downloaded
from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS
and LNAI).

The web page for electronic submission is:
http://www.easychair.org/conferences/?conf=calculemus2010

Proceedings
===========

The proceedings of full papers of the conference will be published as a volume
in the series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag.

Extended abstracts on emerging trends will be published as a technical report
of CEDRIC (CNAM/ENSIIE) and will be electronically available.

Important Dates
===============

For (reviewed) full paper submissions:

Abstract submission: February 24, 2010
Submission deadline: March 3, 2010
Notification of acceptance: April 14, 2010
Camera ready copies due: April 28, 2010

For extended abstracts on emerging trends:

Abstract submission: April 30, 2010
Submission deadline: May 7, 2010
Notification of acceptance: May 30, 2010
Camera ready copies due: June 7, 2010

The Calculemus conference is on July 7-8, 2009.

Programme Committee
===================

Markus Aderhold (TU Darmstadt, Germany)
Arjeh Cohen (Eindhoven University of Technology, The Netherlands)
Thierry Coquand (Chalmers University of Technology, Sweden)
James H. Davenport (University of Bath, UK)
David Delahaye (CNAM, France), Chair
Lucas Dixon (University of Edinburgh, UK)
William M. Farmer (McMaster University, Canada)
Temur Kutsia (RISC, Austria)
Assia Mahboubi (INRIA Saclay, France)
Renaud Rioboo (ENSIIE, France), Chair
Julio Rubio (Universidad de La Rioja, Spain)
Volker Sorge (University of Birmingham, UK)
Stephen M. Watt (University of Western Ontario, Canada)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC, Austria)

2010-01-10

[Caml-list] MKM 2010: First Call for Papers

[Apologies for duplicate postings]

The 9th International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

MKM 2010

http://cicm2010.cnam.fr/mkm/

CNAM, Paris, France, 8th-10th July 2010

CALL FOR PAPERS

Mathematical Knowledge Management is an innovative field at the
intersection of mathematics, computer science, library science, and
scientific publishing. Its development is driven, on the one hand, by
new technological possibilities which computer science, the Internet,
and intelligent knowledge processing offer, and, on the other hand, by
the increasing demand by engineers and scientists for new techniques to
help in producing, transmitting, consuming, and managing sophisticated
mathematical knowledge.

The conference is concerned with all aspects of mathematical knowledge
management. Topics covered include, but are not limited to:.

* Representations of mathematical knowledge
* Repositories of formalized mathematics
* Mathematical digital libraries
* Diagrammatic representations
* Multi-modal representations
* Mathematical OCR
* Mathematical search and retrieval
* Deduction systems
* Math assistants, tutoring and assessment systems
* Authoring languages and tools
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Computer algebra systems
* Collaboration tools for mathematics
* Challenges and solutions for mathematical workflows

MKM 2010 welcomes research papers and workshop proposals with links to
the above topics. The conference proceedings will be published in the
Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI).

More information about the MKM conference series can be found at the MKM
Interest Group Webpage: http://www.mkm-ig.org/

Submission Categories
=====================

Papers may be submitted in one of three categories: full papers, short
papers or system descriptions.

Both full papers and system descriptions should not exceed 15 pages,
must be original and not be submitted for consideration elsewhere. Full
or system description papers that are accepted will be published in the
conference proceedings. A submission not accepted as a full paper or
system description will automatically be considered as a short paper.

Short papers are of a less formal nature. They are intended to provide a
forum for the presentation and discussion of works in progress or ideas
that are not (yet) in a suitable form for submission as a full or system
description paper. They may be up to 5 pages in LNCS style. Depending on
the number of short papers accepted, presentation may be as a short talk
or as a poster. It will be at the discretion of the programme committee
to decide whether individual short papers will be accepted for
presentation only or for presentation and publication in the conference
proceedings.

The development of working systems in the field of Mathematical
Knowledge Management is a major undertaking of significant value to our
community. Papers describing such systems, however, are particularly
difficult to compare to non-system development based research with
respect to criteria common in reviewing. For this reason, papers in the
system description category will be considered separately and an
evaluation of their special contribution with be taken into account in
the review process.

Review Process
==============

* Authors must submit an abstract by the abstract submission date.

* The full paper, of any of the three categories, should be received by
the paper submission date.

* Authors will then be sent initial reviews of their submissions.

* Authors then have the option of, within one week, submitting a single
response to the reviews, limited to 500 words, in which they can
clarify any issues or anser any questions that the reviewers had about
their submission. This response can be submitted only once and cannot
thereafter be resubmitted or modified.

* Final reviews and acceptance rejection decisions will be sent to the
authors by the final notification date.

Important Dates
===============

Abstract Submission: Wed, February 24th, 2010
Paper Submission: Wed, March 3rd, 2010
Initial Reviews Sent: Wed, March 31st, 2010
Author's Response Due: Wed, April 7th, 2010
Notification: Wed, April 14th, 2010
Camera-ready Papers: Wed, April 28th, 2010
Conference: 8th-10th July 2010

Proceedings
===========

The proceedings of the conference will be published as a volume in the
series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag.

Submission Details
==================

By submitting a paper the authors agree that if it is accepted at least
one of the authors will attend the conference to present it.

All submissions (except workshop proposals) must be formatted according
to the guidelines used by Springer Verlag for their LNCS and LNAI
series. This format can be found at
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0

Submission website:
http://www.easychair.org/conferences/?conf=mkm10

2010-01-07

[Caml-list] AISC'10: First Call for Papers

[Apologies for possible multiple postings. See below on how to
unsubscribe.]
----------------------------------------------------------------------

AISC 2010 - 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://www.informatik.uni-bremen.de/~autexier/aisc2010

CNAM, Paris, France, July 5th - July 6th, 2010

CALL FOR PAPERS

Artificial Intelligence and Symbolic Computation are two views and
approaches for automating problem solving, in particular mathematical
problem solving. The two approaches are based on heuristics and on
mathematical algorithmics, respectively. Artificial Intelligence can
be applied to Symbolic Computation and Symbolic Computation can be
applied to Artificial Intelligence. Hence, a wealth of challenges,
ideas, theoretical insights and results, methods and algorithms arise
in the interaction of the two fields and research communities.
Advanced tools of software technology and system design are needed and
a broad spectrum of applications is possible by the combined problem
solving power of the two fields.

Hence, the conference is in the center of interest and interaction for
various research communities:

* Artificial Intelligence * Logic
* Symbolic Computation * Software Technology
* Computer Algebra * Semantic Web Technology
* Automated Reasoning * Mathematical Knowledge Management
* Formal mathematics * Computer-based Math Teaching & Didactics
* Machine Learning * Computer-Supported Publishing
* Automated Discovery * Language and System Design

Topics
======

Topics of particular interest of the conference include:

* AI in Symbolic Mathematical Computing
* Computer Algebra Systems and Automated Theorem Provers
* Symmetries in AI problems
* Engineering, Industrial and Operations Research Applications
* Foundations and Complexity of Symbolic Computation
* Mathematical Modeling of Multi-Agent Systems
* Implementations of Symbolic Computation Systems
* Programming Languages for Symbolic Computation
* Symbolic Computations for Expert Systems and Machine Learning
* Symbolic Computation and Ontologies
* Logic and Symbolic Computing
* Implementation and Performance Issues
* Intelligent Interfaces
* Symbolic Techniques for Document Analysis

Papers on other topics with links to the above research fields and
topics will also be welcomed for consideration.

Proceedings
===========

The proceedings of the conference will be published as a volume in the
series Lecture Notes in Artificial Intelligence (LNAI) by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the requirements of the Springer's LNAI series
(the corresponding style files can be downloaded from
http://www.springer.de/comp/lncs/authors.html and are the same for
LNCS and LNAI).

Submission
==========

Theoretical and applied research papers on all topics within the scope
of the conference are invited. Submitted papers (in English) must not
exceed 15 pages in length (in the LNCS style). The title page should
contain the title, author(s) with affiliation(s), e-mail address(es),
listing of keywords and abstract plus the topics from the above list
to which the paper is related. The program committee (PC) will subject
all submitted papers to a peer review. Theoretical papers will be
judged on their originality and contribution to their field, and
applied papers on the importance and originality of the application.
Results must be original and have not been published elsewhere.

The web page for electronic submission is at:

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

Best Paper Awards
=================

Every submission automatically competes for the Best Paper Award.
Papers which have been mainly developed by (PhD) students can be
marked as student papers upon submission to also compete for the Best
Student Paper Award.

Important Dates
===============

Abstract Submission deadline: February 19, 2010
Submission deadline: February 26, 2010
Notification: April 18, 2010
Camera Ready Version: April 28, 2010
Conference: July 5 - July 6, 2010

----------------------------------------------------------------------
We apologize if you receive multiple copies of this email. If you do
not want any further announcements regarding AISC 2010, reply to
aisc2010_0@easychair.org and put 'UNSUBSCRIBE' in the body or subject
of your reply.

2010-01-05

[Caml-list] CSL 2010 - 1st Call for Papers

CSL 2010
First Call for Papers
The Annual Conference of the European Association for Computer Science Logic

August 23-27, 2010, Brno, Czech Republic

http://www.mat.uc.pt/~csl/

Submission (title & abstract): March 26, 2010
Notification: May 17, 2010
Submission (full paper): April 2, 2010
Final papers: June 6, 2010

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is intended
for computer scientists whose research activities involve logic, as well as
for logicians working on issues significant for computer science. The 19th
EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th
International Symposium on Mathematical Foundations of Computer Science
(MFCS 2010) are federated and organized in parallel at the same place. The
federated MFCS & CSL 2010 conference has common plenary sessions and social
events for all participants. The technical program and proceedings of MFCS
2010 and CSL 2010 are prepared independently. The MFCS & CSL 2010 conference
is accompanied by satellite workshops on more specialized topics.

Suggested topics of interest include (but are not limited to) automated
deduction and interactive theorem proving, constructive mathematics and type
theory, equational logic and term rewriting, automata and games, modal and
temporal logic, model checking, decision procedures, logical aspects of
computational complexity, finite model theory, computational proof theory,
logic programming and constraints, lambda calculus and combinatory logic,
categorical logic and topological semantics, domain theory, database theory,
specification, extraction and transformation of programs, logical foundations
of programming paradigms, verification and program analysis, linear logic,
higher-order logic, nonmonotonic reasoning.

Proceedings will be published in the Advanced Research in Computing and
Software Science (ARCoSS) subline of the LNCS series. Each paper accepted
by the Programme Committee must be presented at the conference by one of
the authors, and a final copy must be prepared according to Springer's
guidelines. Submitted papers must be in Springer's LNCS style and of no more
than 15 pages, presenting work not previously published. They must not be
submitted concurrently to another conference with refereed proceedings. The
PC chairs should be informed of closely related work submitted to a
conference or journal by March 19, 2010. Papers authored or coauthored by
members of the Programme Committee are not allowed.

Papers will be submitted through the conference website. Submitted papers
must be in English and provide sufficient detail to allow the Programme
Committee to assess the merits of the papers. Full proofs may appear in a
technical appendix which will be read at the reviewers' discretion. Authors
are strongly encouraged to include a well written introduction which is
directed at all members of the program committee.

The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

*** Programme Committee

Armin Biere (Linz)
Lars Birkedal (ITU, Denmark)
Nikolaj Bjorner (Redmond)
Manuel Bodirsky (Paris)
Mikolaj Bojanczyk (Warsaw)
Iliano Cervesato (Doha)
Krishnendu Chatterjee (Klosterneuburg)
Agata Ciabattoni (Vienna)
Anuj Dawar (Cambridge, co-chair)
Azadeh Farzan (Toronto)
Georg Gottlob (Oxford)
Martin Hofmann (Munich)
Orna Kupferman (Jerusalem)
Christof Loeding (Aachen)
Joao Marques-Silva (Dublin)
Tobias Nipkow (Munich)
Prakash Panangaden (Montreal)
R. Ramanujam (Chennai)
Simona Ronchi della Rocca (Torino)
Alex Simpson (Edinburgh)
Pascal Tesson (Quebec)
Helmut Veith (Vienna, co-chair)
Yde Venema (Amsterdam)

*** CSL/MFCS Plenary Speakers

David Basin (Zurich)
Herbert Edelsbrunner (Klosterneuburg)
Erich Gr¨adel (Aachen)
Joseph Sifakis (Gieres)

*** CSL Invited Speakers

Peter O'Hearn (London)
Jan Krajicek (Prague)
Andrei Krokhin (Durham)
Andrey Rybalchenko (Munich)
Viktor Kuncak (Lausanne)

*** Organizing Committee

Jan Bouda (Brno, chair)

*** Conference address

MFCSL 2010
Faculty of Informatics
Masaryk University,
Botanicka 68a, 60200 Brno
Czech Republic

mfcsl2010@fi.muni.cz

Calls for participation

2010-01-22

[Caml-list] Call for Papers: LoCoCo 2010

[Caml-list] DisCoTec 2010: 2nd Call for Papers

2010-01-21

[Caml-list] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials

2010-01-18

[Caml-list] Calculemus 2010: First Call for Papers

2010-01-10

[Caml-list] MKM 2010: First Call for Papers

2010-01-07

[Caml-list] AISC'10: First Call for Papers

2010-01-05

[Caml-list] CSL 2010 - 1st Call for Papers

Web Box

Blog Archive