Calls for participation

2010-02-23

[Caml-list] Call for Papers - AMAST 2010

CALL FOR PAPERS:
AMAST 2010: Algebraic Methodology and Software Technology
(Thirteenth International Conference)

- Held jointly with:
- MPC 2010: Mathematics of Program construction*
- (Tenth International Conference)

When:...................Jun 23, 2010 - Jun 26, 2010
Where:..................Manoir St-Castin
Link:...................http://mpc-amast2010.fsg.ulaval.ca/amast/

*************** New deadlines: ***************

Submission deadline:....April 9, 2010 (23:59 Pacific (UTC-8))
Notification due:.......May 16, 2010
Final Version due:......May 30, 2010
Submission site:........http://www.easychair.org/conferences/?conf=amast2010

(Due to circumstances beyond our control, the previous Call for Papers, with earlier deadlines, has not been circulated, but only posted on the web. In order to be able to circulate this Call, we postponed the deadlines. As a consequence, the publication date of the proceedings, which are planned in the same format, has been moved to after the conference.)

BACKGROUND

The major goal of the AMAST Conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. This goal is achieved by a large international cooperation with contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis include the provision of software that is

* correct, and the correctness can be proved mathematically,

* safe, so that it can be used in the implementation of critical systems,

* portable, i.e., independent of computing platforms and language generations,

* evolutionary, i.e. it adapts to the environment changes, and evolves with the problem domain,

* secure, so that its network and user interactions can be predicted and controlled.

All previous editions of the AMAST Conference, which were held at Iowa City (1989,1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), Iowa City (2000), Reunion Island (2002), Stirling (2004), Saaremaa (2006) and Urbana-Champaign (2008), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations.

The 2010 conference will be held in Lac-Beauport, a suburb of QuÃ©bec City, Canada, and will be colocated with MPC '10 (21-23 June 2010).

TOPICS

As in previous years, we invite papers reporting original research on setting software technology on a firm mathematical basis. We expect two kinds of submissions: technical papers and system demonstrations. Of particular interest is research on using algebraic, logic, and other formalisms suitable as foundations for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Topics of interest include, but are not limited to, the following:

** Software technology
* systems software technology
* application software technology
* software architecture
* concurrent and reactive systems
* formal methods in industrial software development
* requirements engineering
* software synthesis
* evolutionary and adaptive software systems

** Programming methodology
* logic programming, functional programming, object paradigms
* constraint programming and concurrency
* program transformation and verification
* programming calculi
* specification languages and tools
* incremental development
* web programming and network computation

** Algebraic and logical foundations
* logic in computer science
* category theory, relation algebra, computational algebra
* algebraic foundations for languages, systems and specifications
* coinduction and coalgebraic methods
* logical frameworks and theorem proving
* logics of programs
* formal approaches to dependability and security

** Systems and tools (for system demonstrations or ordinary papers)
* software development environments
* provably correct software development
* validation and verification
* security tools
* system support for reuse
* tools for prototyping
* component based software development tools
* computer algebra systems
* theorem proving systems

PUBLICATION

As in the past, the proceedings of AMAST 2010 will be published by Springer in the Lecture Notes in Computer Science series. The preliminary version of the proceedings will be available at the conference. The final version will be distributed after the conference.

We invite prospective authors to submit electronically previously unpublished papers of high quality. Submissions should not have been published and should not be under consideration for publication elsewhere. Papers must be no longer than 15 pages (6 pages for system demonstrations) and should be prepared using LaTeX and the LNCS style that can be downloaded from http://www.springer.de/comp/lncs/authors.html. The submission site and dates are at the beginning of this Call.

VENUE

The conference will be held in the Manoir St-Castin (http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/). This resort is located on the shore of Beauport lake, 15 minutes from downtown QuÃ©bec City (http://www.quebecregion.com/en/) and 15 minutes from the Jean-Lesage International Airport.

PROGRAM COMMITTEE

Paolo Baldan
Gilles Barthe
Michel Bidoit
Manfred Broy
E.P. de Vink
Jose Luiz Fiadeiro
Rob Goldblatt
Ichiro Hasuo
Rolf Hennicker
Michael Johnson (chair)
Helene Kirchner
Barbara Koenig
Narciso Marti Oliet
Michael Mislove
Larry Moss
Till Mossakowski
Peter D. Mosses
Andrzej Murawski
Fernando Orejas
Dusko Pavlovic (chair)
Leila Ribeiro
Grogore Rosu
Jan Rutten
Lutz Schroeder
Wolfram Schulte
Douglas Smith
Carolyn Talcott
Andrzej Tarlecki
Varmo Vene
James Worrell

CONTACT

For further information, consult the webiste or send email to Michael Johnson at mike@ics.mq.edu.au, or Dusko Pavlovic at dusko@kestrel.edu.

_______________________________________________
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

2010-02-18

[Caml-list] Call for Papers - GCVS 2010

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

Call for Papers - GCVS 2010
Workshop on the Grand Challenge in Verified Software
Edinburgh, Scotland
14th July, 2010

Affiliated with the
International Conference on Computer-Aided Verification
CAV 2010

http://www.dimap.ufrn.br/~marcel/events/gcvs2010/

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

The workshop on the Grand Challenge in Verified Software (GCVS
2010) will take place on July the 14th. The focus of this
workshop will be on tools, theories and experiments. Consisting
of contributed papers and invited talks, the workshop will
focus on the tools behind the development of systematic methods
for specifying, building, and verifying high-quality software.
This includes topics like: program logic; specification and
verification techniques; tool support for specification
languages; tool for various design methodologies; tool
integration and plug-ins; automation in formal verification;
tool comparisons and benchmark repositories; combination of
tools and techniques (e.g. formal vs. semiformal, software
specification vs. engineering techniques); and customising
tools for particular applications.

Papers about tool architectures and their achievements are most
welcome. The contributed papers, which should report on
previously unpublished work, can reflect current and
preliminary work in areas of software verification. New
technical results, overviews of new developments in software
verification projects, short papers accompanying tool
demonstrations, as well as position papers on how to further
advance the goal of verified software are all welcome.

Papers will be judged on the basis of originality, relevance,
technical soundness and presentation quality. Papers must be
written in English and not exceed 20 pages in the Formal
Aspects of Computing format. Papers can be submitted via the
following link:
http://www.easychair.org/conferences/?conf=gcvs2010. A special
issue of Formal Aspects of Computing is under negotiation.
These would be refereed in the usual fashion prior to
acceptance by the journal.

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

Important Dates

Abstract submission: April 11, 2010

Paper submission: April 18, 2010

Notification of acceptance: May 23, 2010

Final version due: June 6, 2010

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

Chairs

Joey Coleman and Marcel Oliveira

Program Committee

Andrew Butterfield; Supratik Chakraborty; Patrick Cousot; Mike
Dodds; JosÈ Luiz Fiadeiro; Jean-Christophe Filliatre; J. S.
Fitzgerald; Leo Freitas; Kokichi Futatsugi; Chris George; Ian
Hayes; Mark Hillebrand; Cliff Jones; Joseph Kiniry; Daniel
Kroening; Yassine Lakhnech; Peter Gorm Larsen; Zhiming Liu; Tom
Maibaum; Tiziana Margaria; Annabelle McIver; Peter M¸ller;
David Naumann; Jose Oliveira; Andreas Podelski; Wolfram
Schulte; Kaisa Sere; Jim Woodcock; Jian Zhang.

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

2010-02-09

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

[Apologies for cross-postings.]

------------------------------------------
CALCULEMUS 2010 - Second 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. These papers are
expected to be describing work in progress.

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, 2010.

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)

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

[Apologies for possible multiple postings.]

AISC 2010 - 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://cicm2010.cnam.fr/aisc/

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

2ND 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

--
Serge Autexier, serge.autexier@dfki.de, http://www.dfki.de/~serge/
DFKI Bremen, Safe and Secure Cognitive Systems
Cartesium, 2.054 Phone: +49 421 218 64272
Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313
----------------------------------------------------------------------

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

Calls for participation

2010-02-23

[Caml-list] Call for Papers - AMAST 2010

2010-02-18

[Caml-list] Call for Papers - GCVS 2010

2010-02-09

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

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

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

Web Box

Blog Archive