Calls for participation: 2007-11

2007-11-30

[Caml-list] IJCAR Call for Papers, and Workshop and Tutorial Proposals

IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008

http://2008.IJCAR.org

Call for Papers, and Workshop and Tutorial Proposals
----------------------------------------------------

============================================================
| Workshop and Tutorial Proposal Deadline is 17th December |
============================================================

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning,
and is a merger of leading events:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems),
FTP (Workshop on First-order Theorem Proving) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)

IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications. The IJCAR
technical program will consist of presentations of high-quality original
research papers, system descriptions and invited talks. There will be two days
of workshops and tutorials, 10th and 11th August, and the conference 12th to
15th August.

Conference chair:
Peter Baumgartner (NICTA)
------------------------------------------------------------------------------
Call for Papers
---------------

IJCAR 2008 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
See the IJCAR website for a detailed list of logics, methods, and applications
of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag
in the LNAI/LNCS series.

Submission details: Submission is electronic, through

http://www.easychair.org/IJCAR2008/.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from http://www.springer.de/comp/lncs/authors.html. The
page limit is 15 pages for full papers, and 5 pages for system descriptions.

Program co-chairs:
Alessandro Armando (Universit`a di Genova)
Peter Baumgartner (NICTA)
Gilles Dowek (l'Ecole Polytechnique)

Important dates:
Paper registration deadline: 22nd February 2008
Paper submission deadline: 3rd March 2008
Notification of paper decisions: 18th April 2008
Final version of papers due: 23rd May 2008
Conference dates: 12th-15th August 2008
------------------------------------------------------------------------------
Call for Workshop and Tutorial Proposals
----------------------------------------

Workshop and tutorial proposals on IJCAR-related topics are solicited.
Proposals that promise to bring new topics into IJCAR, of either practical or
theoretical importance, or provide a forum for more detailed discussion on
central topics of continuing importance are highly welcome. Proposals that
close the gap between automated reasoning and related areas, e.g., formal
methods or software engineering, are especially encouraged.

Proposals must contain information sufficient for the programme committee to
judge the importance, quality and community interest in the proposed topic.
Each workshop or tutorial must have one or more designated organizers, and
may have a programme committee as well.

Proposals must be limited to three pages and provide at least the following
information:
+ Title.
+ Description of the workshop topic and goals. (Why do you believe this is an
interesting and significant topic?)
+ Intended audience. (From which areas do you expect potential participants to
come? How many participants do you expect?);
+ Organization of the workshop. (Describe the intended format of the workshop,
its expected duration (from half a day to two days) and preferred dates
(August 10th, 11th, or both).)
+ Organizers' details. (Provide affiliations, backgrounds and contact details
(email, etc.) of organizers and committee members)

Proposals should be sent as plain text and as PDF to the workshop chair
(michael.norrish@nicta.com.au).

Workshop and tutorial chair:
Michael Norrish (NICTA)

Important dates:
Deadline for proposal submissions: 17th December 2007
Acceptance/rejection notification: 14th January 2008
Deadline for camera-ready copy of workshop notes: 14th July 2008
Workshop Dates: 10th-11th August 2008
------------------------------------------------------------------------------

_______________________________________________
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

2007-11-29

[Caml-list] MKM'08: First Call for Papers and Workshops

[Please post - apologies for multiple copies]

MKM 2008

The Seventh International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

http://events.cs.bham.ac.uk/cicm08/mkm08/

28-30 July 2008 Birmingham, UK

FIRST CALL FOR PAPERS AND WORKSHOPS

Mathematical Knowledge Management is an innovative field at the
intersection of mathematics, computer science, library science, and
scientific publishing. Its development is driven by on the one hand new
technological possibilities which computer science, the Internet, and
intelligent knowledge processing offer, and on the other hand the
increasing demand by engineers and scientists for new techniques for
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

PAPER SUBMISSIONS

All papers submitted to the Conference will be reviewed. Submission is
electronic in Postscript or PDF format via the EasyChair system
(http://www.easychair.org/MKM08). Submitted papers must conform to the
Springer LNCS style, preferably using LaTeX2e and the Springer llncs class
files available at

http://www.springer.com/lncs.

Submitted papers should
not exceed 15 pages, must be original and not submitted for publication.

Submission website: http://www.easychair.org/MKM08

PROCEEDINGS

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

WORKSHOPS

The following workshops take place in conjunction with MKM 2008:

* The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is
organized by Paul Libbrecht.

* A Workshop "Towards Future Digital Mathematics Libraries", which is
organized by Petr Sojka.

If you are interested in organizing one, contact the co-chairs Serge
Autexier and Masakazu Suzuki at mkm08@ags.uni-sb.de as soon as possible.

IMPORTANT DATES

Submission of title and abstract: March 7, 2008
Submission of full papers: March 14, 2008
Notification: May 2, 2008
Camera ready version: May 16, 2008
Conference in Birmingham: July 28-30, 2008

PROGRAM COMMITTEE

Andrea Asperti University of Bologna, Italy
Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University., Germany
Laurent Bernardin Maplesoft, Canada
Thierry Bouche Universite de Grenoble I, France
Paul Cairns University College London, England
Olga Caprotti University of Helsinki, Finland
Simon Colton Imperial College, London, England
Mike Dewar NAG Ltd., England
William Farmer McMaster University, Hamilton, Canada
Herman Geuvers Radboud University Nijmegen, The Netherlands
Eberhard Hilf Inst. for Science Networking Oldenburg, Germany
Tetsuo Ida University of Tsukuba, Japan
Mateja Jamnik University of Cambridge, England
Fairouz Kamareddine Heriot-Watt University, Scotland
Manfred Kerber University of Birmingham, England
Michael Kohlhase Jacobs University Bremen, Germany
Paul Libbrecht DFKI Saarbruecken, Germany
Bruce Miller NIST, USA
Robert Miner Design Science, Inc., USA
Bengt Nordstroem Chalmers University of Technology, Sweden
Eugenio Rocha University of Aveiro, Portugal
Alan Sexton University of Birmingham, England
Petr Sojka Masaryk University, Brno, CZ
Volker Sorge University of Birmingham, England
Masakazu Suzuki (Co-Chair) Kyushu University, Japan
Andrzej Tryblec University of Bialystok, Poland
Stephen Watt The University of Western Ontario, Canada
Abdou Youssef George Washington University, Washington DC, USA

CONFERENCE CHAIR

Volker Sorge University of Birmingham, England

2007-11-26

[Caml-list] WGT 2008 Second Call for Papers

[ Apologies for multiple copies of this announcement ]

****************************************************************

SECOND CALL FOR PAPERS

First Workshop on Generative Technologies
WGT 2008

http://wgt2008.elte.hu/

a satellite event of the
11th European Joint Conferences on
Theory and Practice of Software
(ETAPS 2008)
Budapest - Hungary
April 5, 2008

****************************************************************

NEWS

Invited speaker:

Bran Selic
Adjunct Professor, Carleton University, Ottawa, Canada

****************************************************************

IMPORTANT DATES

- Submission of full paper: December 3, 2007
- Submission of tool demo paper: December 3, 2007
- Author notification: January 10, 2008
- Final version due: January 25, 2008

****************************************************************

SCOPE

Generative programming is an emerging paradigm aimed
at automating important tasks in software development,
compile-time and run-time code transformation, and the
creation of domain-specific languages and flexible libraries.
The purpose of the workshop is to provide a forum for
researchers and practitioners working in this area to discuss
state-of-the-art generative technologies and tools, and
exchange ideas about the future of generative programming.
Papers describing practical applications of generative styles,
and new research directions are expected. Suggested areas of
interest in the workshop include, but are not limited to:

- Generative programming, metaprogramming
- Separation of concerns, aspect-oriented techniques
- Intentional programming
- Domain engineering and domain analysis
- Product-line architectures
- Compile-time and run-time code transformation
- Multi-stage languages
- Generic and Active library-development
- Analysis of language support for generative programming
- Semantics, type-systems of generative programs
- Case Studies and Demonstration Cases

****************************************************************

PAPER SUBMISSION

RESEARCH PAPERS (full papers, 8-10 pages) as well as
TOOL DEMO PAPERS (up to 2 pages) should be submitted to
the WGT 2008 organizers in ENTCS format (http://www.entcs.org).
Submissions should be sent by e-mail to wgt@aszt.inf.elte.hu.

Further information will be available at the WGT 2008 home page.
At least one author of each accepted submission must register
and present the paper at the workshop.

****************************************************************

PROCEEDINGS

After revision, final copies of the accepted papers will be
published in Electronic Notes in Theoretical Computer Science
(ENTCS), Elsevier Science (http://www.entcs.org).

****************************************************************

ORGANIZING COMMITTEE

- Zoltan Porkolab Eotvos Lorand University (HUN)
- Norbert Pataki Eotvos Lorand University (HUN)
- Adam Sipos Eotvos Lorand University (HUN)

e-mail: wgt@aszt.inf.elte.hu

PROGRAM COMMITTEE

- Don Batory University of Texas at Austin (USA)
- Jaakko Jarvi Texas A&M University (USA)
- Ralf Lammel University of Koblenz-Landau (GER)
- Hanspeter Mössenböck Johannes Kepler University Linz (AT)
- Zoltan Porkolab Eotvos Lorand University (HUN)
- Elke Pulvermüller University of Osnabrueck (GER)
- Awais Rashid Lancaster University (UK)
- Joao Saraiva University of Minho (POR)
- Jeremy Siek University of Colorado at Boulder (USA)
- Yannis Smaragdakis University of Oregon (USA)
- Istvan Zolyomi Eotvos Lorand University (HUN)

****************************************************************

2007-11-24

[Caml-list] CMS Winter 2007 Meeting: Computer Algebra Session

C A L L for P A R T I C I P A T I O N

Algorithmic Challenges in Polynomial and Linear Algebra

CMS Winter Meeting, London Ontario

December 8-10, 2007

The Canadian Mathematical Society Winter 2007 Meeting will be held Dec 8-10
in London, Ontario. This is a scientifically rich meeting with seven plenary
speakers, seventeen scientific sessions and student workshops.

Within the meeting is a computer algebra stream, comprising a conference
plenary talk

E. Kaltofen: "Expressing a Fraction of Two Determinants as a Determinant"

and a scientific session with 15 speakers:

"Algorithmic Challenges in Polynomial and Linear Algebra"

For more information about the CMS meeting, please see the CMS Meeting website

http://www.math.ca/Events/winter07/

The abstracts of the computer algebra session may be found at:

http://www.cms.math.ca/Events/winter07/abs/pdf/pla.pdf

Sunday December 9
=================

Part 1.

8:30 W. Eberly,
"On the Reliability of Block Wiedemann and Lanczos Algorithms --
Another Piece of the Puzzle"

9:00 G. Labahn,
"Conditioning of the Generalized Hankel Eigenvalue Problem"

9:30 A. Storjohann,
"Faster algorithms for the Frobenius canonical form"

Part 2.

10:30 J. Carette,
"Algorithm families, or how to write less code that does more"

11:00 W. Farmer,
"Formalizing the Context in Computational Mathematics"

Part 3.

16:00 M. Jacobson,
"Computing the Regulator of a Real Quadratic Field"

16:30 J. Borwein,
"Computationally discovered and proved generating functions"

Monday December 10
=================

Part 4.

8:30 I. Kotsireas,
"Systems of Polynomial Equations in Combinatorial Design Theory"

9:00 Songxin Liang,
"A New Maple Package for Solving Parametric Polynomial Systems"

9:30 E. Schost,
"Conversion algorithms for orthogonal polynomials"

Part 5.

10:30 M. Moreno Maza,
"Triangular decomposition of polynomial systems:
from practice to high performance"

11:00 Yuzhen Xie,
"Solving Polynomial Systems Symbolically and in Parallel"

Plenary Talk.

15:00 E. Kaltofen,
"Expressing a Fraction of Two Determinants as a Determinant"

Part 6.

16:00 Carlos Beltran,
"On the complexity of approximating solutions of
systems of polynomial equations"

16:30 Mark Giesbrecht,
"New Algorithms for Lacunary Polynomials"

17:00 John May,
"A Symbolic-Numeric Approach to Computing Inertia
of Products of Matrices of Rational Numbers"

2007-11-23

[Caml-list] PAPP 2008 : Call for Papers

=====================================================
PAPP 2008
Fifth International Workshop on
aPpplications of declArative and
object-oriented Parallel Programming
part of
The International Conference on Computational Science
June 23-25, 2008, Krakow, Poland
http://f.loulergue.free.fr/PAPP2008
=====================================================

AIMS AND SCOPE

Computational Science applications are more and more complex to
develop and require more and more computing power. Parallel and grid
computing are solutions to the increasing need for computing
power. High level languages offer a high degree of abstraction which
ease the development of complex systems. Moreover, being based on
formal semantics, it is possible to certify the correctness of
critical parts of the applications.

Algorithmic skeletons, parallel extensions of functional languages
such as Haskell and ML, parallel logic and constraint programming,
parallel execution of declarative programs such as SQL queries,
genericity and meta-programming in object-oriented languages,
etc. have produced methods and tools that improve the
price/performance ratio of parallel software, and broaden the range of
target applications.

The PAPP workshop focuses on practical aspects of high-level parallel
programming: design, implementation and optimization of high-level
programming languages, libraries, middlewares and tools (performance
predictors working on high-level parallel/grid source code,
visualisations of abstract behaviour, automatic hotspot detectors,
high-level GRID resource managers, compilers, automatic generators,
etc.), applications in all fields of computational science, benchmarks
and experiments. Research on high-level grid programming is
particularly relevant as well as domain specific parallel software.

The aim of all these languages and tools is to improve and ease the
development of applications. Thus the Fifth PAPP workshop focuses on
applications.

The PAPP workshop is aimed both at researchers involved in the
development of high level approaches for parallel and grid computing
and computational science researchers who are potential users of these
languages and tools. Topics

We welcome submission of original, unpublished papers in English on
topics including:

* applications in all fields of high-performance computing and
visualisation (using high-level tools)
* high-level models (CGM, BSP, MPM, LogP, etc.) and tools for
parallel and grid computing
* high-level parallel language design, implementation and
optimisation
* modular, object-oriented, functional, logic, constraint
programming for parallel, distributed and grid computing systems
* algorithmic skeletons, patterns and high-level parallel
libraries
* generative (e.g. template-based) programming with algorithmic
skeletons, patterns and high-level parallel libraries
* benchmarks and experiments using such languages and tools

All the contributions should illustrate the proposed techniques on a
significant application.

PAPER SUBMISSION AND PUBLICATION

Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Papers will go through a
rigorous reviewing process. Each paper will be reviewed by at least
three referees. The accepted papers will be published in the
Springer-Verlag Lecture Notes in Computer Science (LNCS) series, as
part of the ICCS proceedings.

Submission must be done through the ICCS website:
http://www.iccs-meeting.org/iccs2008/papers/upload.php.

We invite you to submit a full paper of 8 pages formatted according to
the rules of LNCS, describing new and original results, no later than
January 3, 2008. Submission implies the willingness of at least one
of the authors to register and present the paper. An early email to
papp at free.fr with your intention to submit a paper would be greatly
appreciated (especially if you have doubts about the relevance of your
paper). Accepted papers

Accepted papers should be presented at the workshop. Authors will be
invited to submit extended and revised versions of their
papers. Accepted manuscripts will be published in a special issue of
Scalable Computing: Practice and Experience. Important Dates

* January 3, 2008 - Full paper due
* March 1, 2008 - Notification
* March 15, 2008 - Camera-ready paper due
* September 15, 2008 - Journal version due

PROGRAMME COMMITTEE

* Marco Aldinucci (University of Pisa, Italy)
* Anne Benoit (ENS Lyon, France)
* Umit V Catalyurek (The Ohio State University, USA)
* Manuel Chakravarty (University of New South Wales, Australia)
* Frédéric Gava (University Paris XII Val de Marne, France)
* Alexandros Gerbessiotis (NJIT, USA)
* Clemens Grelck (University of Luebeck, Germany)
* Iwasaki Hideya (The University of Electro-communications, Japan)
* Paul H J Kelly (Imperial College London, UK)
* Christoph Kessler (Linköpings Universitet, Sweden)
* Rita Loogen (University of Marburg, Germany)
* Frédéric Loulergue (The University of Orléans, France)
* Kiminori Matsuzaki (The University of Tokyo, Japan)
* Samuel Midkiff (Purdue University, USA)
* Susanna Pelagatti (University of Pisa, Italy)
* Bruno Raffin (INRIA, France)
* Casiano Rodriguez Leon (University La Laguna, Spain)

ORGANIZERS

* Dr. Anne BENOIT
Laboratoire d'Informatique du Parallelisme
Ecole Normale Supérieure de Lyon
46 Allée d'Italie
69364 Lyon Cedex 07 - France

* Pr. Frederic LOULERGUE
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans
Batiment IIIA - Rue Léonard de Vinci - BP6759
45067 Orléans Cedex 2 - France

[Caml-list] First Call for Papers TFP 2008, The Netherlands

CALL FOR PAPERS
TRENDS IN FUNCTIONAL PROGRAMMING 2008
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
MAY 26-28, 2008
INVITED SPEAKER: PROF. HENK BARENDREGT
http://www.st.cs.ru.nl/AFP_TFP_2008/

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view
of current and future trends in Functional Programming. It aspires to
be a lively environment for presenting the latest research results
through acceptance by extended abstracts and full papers. A formal
post-symposium refereeing process selects the best articles presented
at the symposium for publication in a high-profile volume.

TFP 2008 is hosted by the Radboud University Nijmegen, The Netherlands,
and will be held in the rural setting of Center Parcs "Het Heijderbos",
Heijen (in the vicinity of Nijmegen), The Netherlands.

TFP 2008 is co-located with the 6th Int'l. Summer School on Advanced
Functional Programming (AFP'08), which is held immediately before TFP'08.

SCOPE OF THE SYMPOSIUM
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore identify
the following five article categories. High-quality articles are
solicited in any of these categories:

Research: leading-edge, previously unpublished research.
Position: on what new trends should or should not be.
Project: descriptions of recently started new projects.
Evaluation: what lessons can be drawn from a finished project.
Overview: summarizing work with respect to a trendy subject.

Articles must be original and not submitted for simultaneous publication
to any other forum. They may consider any aspect of functional
programming: theoretical, implementation-oriented, or more
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Contributions on the following subject areas are particularly welcomed:
* Dependently Typed Functional Programming
* Validation and Verification of Functional Programs
* Debugging for Functional Languages
* Functional Programming and Security
* Functional Programming and Mobility
* Functional Programming to Animate/Prototype/Implement Systems from
Formal or Semi-Formal Specifications
* Functional Languages for Telecommunications Applications
* Functional Languages for Embedded Systems
* Functional Programming Applied to Global Computing
* Functional GRIDs
* Functional Programming Ideas in Imperative or Object-Oriented
Settings (and the converse)
* Interoperability with Imperative Programming Languages
* Novel Memory Management Techniques
* Parallel/Concurrent Functional Languages
* Program Transformation Techniques
* Empirical Performance Studies
* Abstract/Virtual Machines and Compilers for Functional Languages
* New Implementation Strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2008 program chairs, Peter Achten and Pieter
Koopman, at afp_tfp_2008@cs.ru.nl.

SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the
review of full papers (15 pages) and extended abstracts (3 pages) by the
program committee. TFP encourages PhD students to submit papers. PhD
students may request the program committee to provide extensive feedback
on their full papers at the time of submission. Full papers describing
work accepted for presentation must be completed before the symposium for
publication in the draft proceedings and on-line. Further details can be
found at the TFP 2008 website http://www.st.cs.ru.nl/AFP_TFP_2008/.

POST-SYMPOSIUM REFEREEING AND PUBLICATION
In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.

IMPORTANT DATES (ALL 2008)
Paper Submission: March 3
Notification of Acceptance: March 31
Early Registration Deadline: April 14
Late Registration Deadline: May 5
Camera Ready Symposium: May 5
TFP Symposium: May 26-28
Post Symposium Paper Submission: June 20
Notification of Acceptance: September 7
Camera Ready Revised Paper: September 21

PROGRAMME COMMITTEE
Peter Achten (co-chair) Radboud Univ. Nijmegen, NL
Andrew Butterfield Trinity College, IE
Manuel Chakravarty Univ. of New South Wales, AU
John Clements Cal Poly State Univ., USA
Matthias Felleisen Northeastern Univ., USA
Jurriaan Hage Utrecht Univ., NL
Michael Hanus Christian-Albrechts Univ. zu Kiel, DE
Ralf Hinze Univ. of Oxford, UK
Graham Hutton Univ. of Nottingham, UK
Johan Jeuring Utrecht Univ., NL
Pieter Koopman (co-chair) Radboud Univ. Nijmegen, NL
Shriram Krishnamurthi Brown Univ., USA
Hans-Wolfgang Loidl Ludwig-Maximilians Univ.München, DE
Rita Loogen Philipps-Univ. Marburg, DE
Greg Michaelson Heriot-Watt Univ., UK
Marco T. Morazán (symp. chair) Seton Hall Univ., USA
Sven-Bodo Scholz Univ. of Hertfordshire, UK
Ulrik Schultz Univ. of Southern Denmark, DK
Clara Segura Univ. Complutense de Madrid, ES
Olin Shivers Northeastern Univ., USA
Phil Trinder Heriot-Watt Univ., UK
Varmo Vene Univ. of Tartu, EE
Viktória Zsók Eötvös Loránd Univ., HU

ORGANIZATION
Symposium Chair: Marco T. Morazán, Seton Hall University, USA
Programme Chair: Peter Achten, Pieter Koopman,
Radboud University Nijmegen, NL
Treasurer: Greg Michaelson, Heriot-Watt University, UK

2007-11-21

[Caml-list] FMOODS 2008: 2nd call for papers

Our apologies if you receive multiple copies of this e-mail.

---------------------------------------------------------------------
CALL FOR PAPERS

FMOODS 2008

10th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems

Oslo, Norway 4 - 6 June 2008

---------------------------------------------------------------------
Abstract submission: 8 January 2008
Paper submission: 15 January 2008
Author notification: 7 March 2008
Camera-ready copy: 26 March 2008
---------------------------------------------------------------------

http://discotec08.ifi.uio.no/FMOODS08/

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

The 10th IFIP International Conference on Formal Methods for Open
Object-based Distributed Systems (FMOODS) is part of the federated
conferences DisCoTec (Distributed Computing Techniques), together with
the 10th International Conference on Coordination Models and Languages
(COORDINATION) and the 8th IFIP International Conference on Distributed
Applications and Interoperable Systems (DAIS). It will be organised by
the Department of Computer Science of the University of Oslo, Norway.

OBJECTIVES AND SCOPE:

Established in 1996, the FMOODS series of conferences aims to provide
an integrated forum for research on formal aspects of Open Object-based
Distributed Systems. The conference will especially welcome novel
contributions reflecting recent developments in the area, in particular
component- and model-based design, service-oriented computing and
software quality. Areas of interest include but are not limited to:

- Semantics and implementation of object-oriented programming and
(visual) modelling languages
- Formal techniques for specification, design, analysis, verification,
validation and testing
- Model checking, theorem proving and deductive verification
- Type systems and behavioural typing
- Formal methods for service-oriented computing
- Formal techniques for security and trust in global computing
- Formalization of runtime system evolution (e.g. dynamic updates,
reconfiguration)
- Multiple viewpoint modelling and consistency between different views
- Model transformations and refactorings
- Integration of quality of service requirements into formal models
- Formal approaches to component-based design
- Applications of formal methods (e.g. web services, multimedia,
telecommunications)
- Experience reports on best practices and tools

INVITED SPEAKER:
Andrew Myers, Cornell University, USA

ORGANISERS:

General chair:
Frank Eliassen, University of Oslo, Norway
Einar Broch Johnsen, University of Oslo, Norway

PC chairs:
Gilles Barthe, INRIA Sophia Antipolis M�diterran�e , France
Frank de Boer, CWI, The Netherlands

Publicity Chair:
Marcello Bonsangue, University of Leiden, The Netherlands

Steering Committee:
Marcello Bonsangue, University of Leiden, The Netherlands
Einar Broch Johnsen, University of Oslo, Norway
John Derrick, University of Sheffield, United Kingdom
Roberto Gorrieri, University of Bologna, Italy
Elie Najm, ENST, France
Martin Steffen, University of Oslo, Norway
Carolyn Talcott, SRI International, USA
Heike Wehrheim, University of Paderborn, Germany
Gianluigi Zavattaro, University of Bologna, Italy

Program Committee :
Bernhard K. Aichernig, Technical University of Graz, Austria
Marcello Bonsangue, University of Leiden, The Netherlands
Paulo Borba, Federal University of Pernambuco, Brazil
Einar Broch Johnsen, University of Oslo, Norway
Dave Clarke, CWI, The Netherlands
John Derrick, University of Sheffield, United Kingdom
Sophia Drossopoulou, Imperial College London, United Kingdom
Seif Haridi, SICS/KTH, Sweden
Reiner Haehnle, Chalmers University of Technology, Sweden
John Hatcliff, Kansas State University, USA
Peter Gorm Larsen, Engineering College of Aarhus, Denmark
Antonia Lopes, University of Lisbon, Portugal
Peter Mueller, ETH/Microsoft, USA
Elie Najm, ENST, Paris, France
David Naumann, Stevens Institute of Technology, USA
Uwe Nestmann, Technical University of Berlin, Germany
Frank Piessens, Katholieke Universiteit Leuven, Belgium
Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
Antonio Ravara, Technical University Lisbon, Portugal
Arend Rensink, University of Twente, The Netherlands
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Martin Steffen, University of Oslo, Norway
Carolyn Talcott, SRI International, USA
Heike Wehrheim, University of Paderborn, Germany
Elena Zucca, University of Genova, Italy

IMPORTANT DATES:

8 January 2008: Abstract submission
15 January 2008: Paper submission
7 March 2008: Author notification
26 March 2008: Camera-ready copy

4-6 June 2008: FMOODS 2008

SUBMISSION GUIDELINES:

The FMOODS 2008 conference solicits high quality papers reporting
research results and/or experience reports related to the topics
mentioned above. All papers must be original, unpublished, and not
submitted for publication elsewhere. Contributions should be submitted
electronically as postscript or PDF, using the SPRINGER LNCS style.
Papers should not exceed 15 pages in length. Each paper will undergo
a thorough process of review and the conference proceedings will be
published by Springer Verlag in the LNCS series. Proceedings will
be made available at the conference.

2007-11-20

[Caml-list] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research

======================================================================

Tutorial Announcement and Call for Participation

Using Proof Assistants for Programming Language Research
Or:
How to Write Your Next POPL Paper in Coq

San Francisco, CA, 8 Jan 2008
Co-located with POPL 2008
Sponsored by ACM SIGPLAN

http://plclub.org/popl08-tutorial/

=======================================================================

The University of Pennsylvania PLClub invites you to participate in a
tutorial on using the Coq proof assistant to formalize programming
language
metatheory.

This tutorial will be tailored to people who are familiar with syntactic
proofs of programming language metatheory (type soundness, etc.), but
have
never used a proof assistant. At the end of the day, participants
will have
a reading knowledge of Coq and a running start on using Coq in their own
work.

This tutorial will be hands-on, with breaks for exercises;
participants are
strongly encouraged to bring a laptop running Coq 8.1 (or a later
release)
and either Proof General or CoqIDE.

Tutorial topics

- Defining language semantics in Coq
- Abstract syntax
- Inductively-defined relations
- Derivations
- Proving simple results
- Fundamental tactics
- Automation
- Forward and backward reasoning
- Scaling up to POPLmark
- Semantic functions and conversion
- Sets and environments
- Representing binding
- Locally nameless representation
- Freshness through cofinite quantification
- Syntactic type soundness

Registration will be through the POPL 2008 registration site:

http://www.regmaster.com/conf/popl2008.html

The tutorial is organized and presented by members of the University of
Pennsylvania PLClub: Brian Aydemir, Aaron Bohannon, Benjamin Pierce,
Jeffrey
Vaughan, Dimitrios Vytiniotis, Stephanie Weirich, and Steve Zdancewic.

Questions can be sent to Stephanie Weirich (sweirich@cis.upenn.edu).

2007-11-15

[Caml-list] Call for Papers: ACSD 2008 - Xian, China

[Apologies for cross-postings]

===========================================================================
*** CALL FOR PAPERS ***

8th International Conference on Application of Concurrency to System Design

ACSD 2008

*** Deadline for paper submission: 4 January 2008 ***
===========================================================================

Dates: 23-27 June 2008
Venue: Xidian University, Xi'an, China
Email: acsd2008@xidian.edu.cn
Web:

http://ictt.xidian.edu.cn/acsd2008/Pages/ACSD_main.jsp

ACSD 2008 will be co-located with

29th International Conference on Application and
Theory of Petri Nets and Other Models of Concurrency

and the two conferences will share invited speakers as well as the
satellite workshops and tutorials:

http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/main.jsp

Conference Focus

The International Conference on Application of Concurrency to System Design
(ACSD) serves as a forum for disseminating theoretical results with
application potential and advanced methods and tools for the design of
complex concurrent systems. While there are already quite a few success
stories in the field, there is still a strong need to bring theory and
practice closer together. The conference aims at cross-fertilising both
theoretical and applied research on topics including, but not limited to,
the following:

* Design methods, tools and techniques based on models of computation and
concurrency (data-flow models, communicating automata, Petri nets,
process algebras, state charts, MSCs, etc.), (performance) analysis,
verification, testing and synthesis.

* Hardware / software co-design, platform-based design, component-based
design, refinement techniques, hardware / software abstractions,
co-simulation and verification.

* Synchronous and asynchronous design, asynchronous circuits, globally
asynchronous locally synchronous systems, interface design, multi-clock
systems, functional and timing verification.

* Concurrency issues in systems-on-a chip, massively parallel architectures,
networks-on-a-chip, task and communication scheduling, resource, memory and
power management, fault-tolerance and quality of service issues.

* (Industrial) case studies of general interest, gaming applications,
consumer electronics and multimedia, automotive systems, (bio-)medical
applications, Internet and grid computing, etc.

* Concurrency issues in ad-hoc, mobile and wireless networking, sensor
networks, communication protocols, cross-layer optimization, resource and
power management, fault-tolerance, concurrency-related security issues.

* Business process modelling, simulation and verification, (distributed)
workflow execution, business process (de-)composition, interorganisational
and heterogeneous workflow systems, computer-supported collaborative work
systems, web services.

* Synthesis and control of concurrent systems, (compositional) modelling
and design, (modular) synthesis and analysis, distributed simulation
and implementation, (distributed) controller synthesis, adaptive systems,
supervisory control.

ACSD Keynote Speaker

Mike Kishinevsky (Intel, Hillsboro, Oregon, USA)

General Chair

Zhenhua Duan (Xidian University, China)

Program Committee Co-Chairs

Jonathan Billington (University of South Australia, Australia)
Maciej Koutny (University of Newcastle upon Tyne, UK)

Steering Committee

Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoît Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari (Tampere University of Technology, Finland)

Regular Papers

Submitted papers should be in IEEE Computer Society Press 2-column format
(ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf).
***
Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can be
submitted.
Authors submitting long papers should indicate in their submission
whether they would be prepared to reduce the length of their submissions
to 6 pages on the recommendation of the programme committee.
***
The cover page should include the corresponding
author, physical and e-mail addresses, phone and FAX numbers, and an
abstract of at most 60 words. The deadline for submission of regular papers
is *4 January 2008*. Paper submission will be handled electronically.
Submitted papers should describe original work that has not been previously
published and is not under review for publication elsewhere.

Tool Papers and Demonstrations

Submissions for tool demonstrations should be no more than 5 pages in IEEE
CS Press format and should be submitted by *4 January 2008*. Tool papers will
be reviewed by the programme committee. Acceptance of a tool paper implies
that a tool demonstration should be given at the conference. For facility
arrangements and questions, please contact Xiaobing Wang
(xbwang@mail.xidian.edu.cn).

Submissions

Both regular and tool papers should be submitted to ACSD 2008 via Easy Chair:
***

http://www.easychair.org/conferences/?conf=ACSD-08

***
More information will be provided through the conference web site (see above).

Proceedings

The proceedings, containing invited papers and accepted regular and tool
papers, will be published by IEEE Computer Society Press.

Best Paper Award

A best paper award will be given to the author(s) of the best regular paper
presented at ACSD 2008.

Special Issue Fundamenta Informaticae

The best papers of ACSD will be considered for publication in extended and
revised form in a special issue of the journal Fundamenta Informaticae.

Organising Committee

Zhenhua Duan (general chair)
Xinbuo Gao (co-chair)
Shouzhi Wang (co-chair)
Bin Yu (publicity chair)
Xiaobing Wang (tool exhibition chair)

Sponsorship and Cooperation

National Natural Foundation of China
Shaanxi Province Computer Federation
Institute of Computing Theory and Technology, Xidian University
International Cooperation and Exchange Office, Xidian University

Important Dates

- Deadline for paper submission: 4 January 2008
- Notification of acceptance: 1 March 2008
- Deadline for final version: 11 April 2008
- Tutorials & Workshops: 23-24 June 2008
- Conference: 25-27 June 2008

Program Committee

Wil van der Aalst (TU Eindhoven, The Netherlands)
Twan Basten (TU Eindhoven, The Netherlands)
Jonathan Billington (University of South Australia, Australia, co-chair)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universität München, Germany)
Gianfranco Ciardo (University of California at Riverside, USA)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Zhenhua Duan (Xidian University, China)
Stephen Edwards (Columbia University, USA)
Marc Geilen (TU Eindhoven, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Kurt Jensen (University of Aarhus, Denmark)
Mark Josephs (London South Bank University, UK)
Gabriel Juhás (Slovak University of Technology, Slovakia)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (NXP Semiconductors, The Netherlands)
Fabrice Kordon (University Paris 6, France)
Maciej Koutny (Newcastle University, UK, co-chair
Antonín Kucera (Masaryk University in Brno, Czech Republic)
Marta Kwiatkowska (Oxford University, UK)
Charles Lakos (University of Adelaide, Australia)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Lin Liu (University of South Australia, Australia)
Ricardo Machado (Universidade do Minho, Portugal)
Huaikou Miao (Shanghai University, China)
Rocco De Nicola (Universita` degli Studi di Firenze, Italy)
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Université Paris 12, France)
Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland)
Laure Petrucci (Université Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (IRISA, France)
P.S. Thiagarajan (National University of Singapore, Singapore)
Irek Ulidowski (Leicester University, UK)
Walter Vogler (Universität Augsburg, Germany)
Jinyun Xue (Jiangxi Normal University, China)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Bin Yu (Xidian University, China)
Wenhui Zhang (ISCAS, China)
Hong Zhu (Fudan University, China)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)

Calls for participation

2007-11-30

[Caml-list] IJCAR Call for Papers, and Workshop and Tutorial Proposals

2007-11-29

[Caml-list] MKM'08: First Call for Papers and Workshops

2007-11-26

[Caml-list] WGT 2008 Second Call for Papers

2007-11-24

[Caml-list] CMS Winter 2007 Meeting: Computer Algebra Session

2007-11-23

[Caml-list] PAPP 2008 : Call for Papers

[Caml-list] First Call for Papers TFP 2008, The Netherlands

2007-11-21

[Caml-list] FMOODS 2008: 2nd call for papers

2007-11-20

[Caml-list] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research

2007-11-15

[Caml-list] Call for Papers: ACSD 2008 - Xian, China

Web Box

Blog Archive