Calls for participation: 2010-01

2010-01-28

[Caml-list] SECASA2010: Final Call for Papers; DEADLINE Feb 1, 2010

Dear colleagues,

[ Apologies for the crossposting or if you get multiple copies of this email ]

Final call for papers for the 3rd International Workshop
on Software Engineering for Context Aware Systems and Applications
SECASA 2010

a Special Session in SERA 2010
8th ACIS International Conference on
Software Engineering Research, Management and Applications (SERA2010)
Monday, May 24 â€" Wednesday, May 26, 2010
Montreal, Canada

http://users.encs.concordia.ca/~sera2010/

Sponsored by
International Association for Computer and Information Science (ACIS)

In cooperation with
IEEE Montreal Section, Concordia University, Ã‰cole de technologie supÃ©rieure (ETS)

Overview

We call for original contributions on the theme of context-aware computing, focusing both on the development of practical context-aware systems and application and on the theory to support this development. Context-aware concepts are readily found in multiple applications, including distributed and mobile computing, adaptive Web applications, distributed operating systems, and distributed communities for social networking and user collaboration. More generally, context-aware computing requires that the behavior of a piece of software be aware of, and adapt to a set of underlying runtime contexts and changes thereto, where the contexts are external varying environments that may affect computation. Examples of such external environments or contexts involve time, location, situation, and user profile. Context-aware programming means writing software programs that specify how computations or behaviors of context-aware applications depend on or vary in underlying contexts. Of par!
ticular interest are theoretical approaches to the problem of context-awareness. For example, applying intensional concepts, with possible world semantics, to context-aware computing and programming should help build a solid theoretical foundation for engineering context-aware software systems and applications. Topics of interest include all aspects of software engineering for developing context aware systems and applications. Research papers as well as papers reporting practical experiences and applications of the above topics are all welcome.

Topics include but are not restricted to:

- Software development process for context-aware systems and applications
- Requirements engineering for context-aware systems and applications
- Context-aware software design and development process
- Modeling and simulation of context-aware systems and applications
- Formalism and abstraction of context-awareness in systems and applications
- Software architecture and design patterns of context-aware systems applications
- Quality of context-aware systems and applications
- Programming languages and systems for context-aware systems and applications
- Testing, verification, and validation of context-aware systems and applications

Submission, Review, and Publication

Papers will be submitted in PDF format following the SERA2010 template.

The papers are due on: February 1st, 2010. The authors will receive acceptance notifications on March 1st, 2010. The camera ready papers & registration deadline is March 15th, 2010.

Submitted papers must not be previously published or be under consideration for publication elsewhere. All papers accepted for the session will be published in the proceedings of the 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2010). The selection procedure includes a review of each paper by at least three SERA2010 PC members. Experience papers will be accepted based on the relevance of the problems they tackle. Research papers will be accepted based on the relevance of the research questions to practice and the soundness of the research method deployed.

http://acis.cps.cmich.edu:8080/SERA2010/submit.html

Publication of SECASA papers within the SERA proceedings:

http://users.encs.concordia.ca/~sera2010/Publication.html

Accepted papers will be published in the IEEE Computer Society.

Chairspersons

Joey Paquet, Chairperson
Computer Science and Software Engineering
Concordia University, Canada
paquet@cse.concordia.ca

Weichang Du, Co-chair
Faculty of Computer Science
University of New Brunswick
Fredericton, New Brunswick, Canada
wdu@unb.ca

SERA Committees:
http://users.encs.concordia.ca/~sera2010/People.html

Structure

Full-day event.
8 papers (with a reasonable acceptance rate)
1 invited speaker (TBD)
1 panel discussion (tentatively, ``the meaning, notion, and explicit vs. implicit expression of context'')

--
Sincerely yours,

SECASA2010 organizers

_______________________________________________
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] SERA2010: Final Call for Papers: DEADLINE Feb 1, 2010

Dear colleagues,

[ Apologies for the crossposting or if you get multiple copies of this email ]

FINAL CALL FOR PAPERS -- A FEW DAYS LEFT

We would like to invite you to submit a paper to the 8th IEEE/ACIS International
Conference on Software Engineering Research, Management and Applications (SERA2010)
held on May 24 - 26, 2010. The event will take place at Concordia University,
Montreal, Canada.

http://users.encs.concordia.ca/~sera2010/

Please take notice of the following Final Call for Papers.

The deadline for submission of papers is **February 1, 2010.**

We kindly ask you to distribute this announcement among the colleagues in your
institution and post it on research mailing lists you have access to that you
may think this is relevant.

Important dates:
================

Paper and Proposals Submission: February 1, 2010
Acceptance Notification: March 1, 2010
Camera-ready Paper & Pre-Registration: March 15, 2010

Topics:
=======

http://users.encs.concordia.ca/~sera2010/Conference.html

- Formal Methods and Tools
- New theoretical foundations in Software Engineering Modeling
- Business Process & Enterprise Integration Engineering
- Communication Systems and Networks
- Computer Game Development, User Modeling and Management
- Cost Modeling and Analysis
- Data Mining and Knowledge Recovery
- Distributed Intelligent Systems
- Healthcare Engineering
- Human Computer Interaction
- Parallel and Distributed Computing Telecommunications
- Service Oriented Computing
- Mobile/Wireless Computing
- Requirements Modeling and Management
- Process Management & Improvement
- Reengineering, Reverse Engineering
- Autonomic Computing
- Requirements Engineering
- Safety and Security Critical Software
- Software Agent Technology
- Web Engineering, Web-Based Applications
- Virtual Reality and Computer Graphics

Submission:
===========

We solicit research and experience papers as well as research-in-progress and
practitioner reports in any of the technical areas listed under Scope & Topics.
Submit your paper via the web-based conference management system following
the instructions below:

* First, please review the IEEE PDF specifications.
http://www.ieee.org/portal/cms_docs/pubs/confstandards/pdfs/IEEE-PDF-SpecV401.pdf

* Go to the Conference Management System and follow the instructions on the
"Electronic Submission Page" that it takes you to.
http://acis.cps.cmich.edu:8080/SERA2010/submit.html

* The file that you submit should include the paper title, abstract, keywords,
and introduction followed by the body of your paper. The author's name and
address MUST NOT appear in this file. This is to facilitate a blind review.

* Upload your full paper in two column format (not to exceed 10 single-spaced
pages) via the web-based conference management system in PDF format, or you
can submit your paper in the final manuscript format.

* The format of the final manuscript should be in a two-column format and 8 pages
in length. Up to an extra 2 pages (total of 8) can be purchased at registration
time (see registration form for pricing).

* Please select at least two keywords from the drop-down menu and check boxes.
If you cannot find the right category in the drop-down menu then please enter
a category for your paper in the summary. We need this information when
determining reviewers for your paper.

Submissions, refereeing, and all correspondence will be conducted by e-mail.
All papers must be submitted through our Conference Management System.

http://acis.cps.cmich.edu:8080/SERA2010/submit.html

The program committee will review each submission and judge it with respect
to its originality, significance, and relevance.

Publication:
============

http://users.encs.concordia.ca/~sera2010/Publication.html

Accepted papers will be published in the proceedings of the 8th ACIS
International Conference on Software Engineering Research, Management
and Applications (SERA2010) by the IEEE Computer Society and indexed
by EI, INSPEC and DBLP. Conference organizers will select
approximately 20 outstanding papers from SERA 2010 to be published in
Springer's Studies in Computational Intelligence (SCI). The book
series will be distributed at the conference site.

Workshops and Special Sessions:
===============================

Please download the corresponding CFPs for the workshops and special
sessions from here:

http://users.encs.concordia.ca/~sera2010/Session.html

* Computational Intelligence Techniques Applied to Software Estimation

* 3rd International Workshop on Software Engineering for
Context Aware Systems and Applications (SECASA 2010)

* Special Session on Formal and Quantitative Approaches for Non-Functional
Requirements Modeling and Assessment in Software Engineering

* Category Theory for Software Engineering

* Special Session on Software Measurement as a Strategy for
Better Software Value Management

Submission, Review, and Publication for Workshops and Special Sessions

Papers will be submitted in PDF format following the SERA2010 template.
The papers are due on: February 1st, 2010. The authors will receive acceptance
notifications on March 1st, 2010. The camera ready papers & registration deadline
is March 15th, 2010. Submitted papers must not be previously published or be under
consideration for publication elsewhere. All papers accepted for the session will
be published in the proceedings of the 8th ACIS International Conference on Software
Engineering Research, Management and Applications (SERA2010). The selection procedure
includes a review of each paper by at least three SERA2010 PC members.
Experience papers will be accepted based on the relevance of the problems they tackle.
Research papers will be accepted based on the relevance of the research questions
to practice and the soundness of the research method deployed.

Committees:
===========

http://users.encs.concordia.ca/~sera2010/People.html

For further inquires about SERA2010 conference and event planning, please
e-mail to:

sera2010-priv@encs.concordia.ca

You may obtain further information on the conference at its web site

http://users.encs.concordia.ca/~sera2010/

Sincerely yours,

SERA2010 organizers
===============================================================================

2010-01-25

[Caml-list] Call for Papers: COORDINATION 2010

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

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

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behaviour 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 emphasised foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organisers 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.

* Invited Speaker

Joe Armstrong (Ericsson Telecom AB) Erlang-style Concurrency

* 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

* 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
--------------------------------------------------------------------

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

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] 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 *

* 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-28

[Caml-list] SECASA2010: Final Call for Papers; DEADLINE Feb 1, 2010

[Caml-list] SERA2010: Final Call for Papers: DEADLINE Feb 1, 2010

2010-01-25

[Caml-list] Call for Papers: COORDINATION 2010

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