[Caml-list] [LOPSTR 2014] First Call for Papers

[Apologies for multiple copies]

================FIRST CALL FOR PAPERS======================

            

                24th International Symposium on

       Logic-Based Program Synthesis and Transformation

                         LOPSTR 2014

           http://www.iasi.cnr.it/events/lopstr14/

  University of Kent, Canterbury, UK, September 10-11, 2014

DEADLINES

Abstract submission:                     May 30, 2014

Paper/Extended abstract submission:      June 6, 2014

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

The aim of the LOPSTR series is to stimulate and promote international

research and collaboration on logic-based program development. LOPSTR

is open to contributions in logic-based program development in any

language paradigm. LOPSTR has a reputation for being a lively,

friendly forum for presenting and discussing work in progress. Formal

proceedings are produced only after the symposium so that authors can

incorporate this feedback in the published papers.

The 24th International Symposium on Logic-based Program Synthesis and

Transformation (LOPSTR 2014) will be held at the University of Kent, 

Canterbury, United Kingdom; previous symposia were held in Madrid, 

Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, 

Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, 

Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. 

LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN 

Symposium on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program

development, all stages of the software life cycle, and issues of both

programming-in-the-small and programming-in-the-large. Both full

papers and extended abstracts describing applications in these areas

are especially welcome. Contributions are welcome on all aspects of

logic-based program development, including, but not limited to:

    * synthesis

    * transformation

    * specialization

    * composition

    * optimization

    * inversion

    * specification

    * analysis and verification

    * testing and certification

    * program and model manipulation

    * transformational techniques in SE

    * applications and tools

Survey papers that present some aspects of the above topics from a new

perspective, and application papers that describe experience with

industrial applications are also welcome.

Papers must describe original work, be written and presented in

English, and must not substantially overlap with papers that have been

published or that are simultaneously submitted to a journal,

conference, or workshop with refereed proceedings. Work that already

appeared in unpublished or informally published workshop proceedings

may be submitted (please contact the PC co-chairs in case of questions).

Important Dates

 Abstract submission:                            May 30, 2014

 Paper/Extended abstract submission:             June 6, 2014

 Notification:                                   July 18, 2014

 Camera-ready (for electronic pre-proceedings):  August 25, 2014

 Symposium:                                      September 10-11, 2014

Submission Guidelines

Authors should submit an electronic copy of the paper (written in English)

in PDF, formatted in the Lecture Notes in Computer Science style. 

Each submission must include on its first page the paper title; authors 

and their affiliations; contact author's email; abstract; and three to 

four keywords which will be used to assist the PC in selecting appropriate 

reviewers for the paper. Page numbers should appear on the manuscript to 

help the reviewers in writing their report. Submissions cannot exceed 15 

pages including references but excluding well-marked appendices not intended 

for publication. Reviewers are not required to read the appendices, and thus 

papers should be intelligible without them.

Paper should be submitted via the Easychair submission website for LOPSTR 2014. 

If electronic submission is impossible, please contact the program co-chairs 

for information on how to submit hard copies. 

Proceedings

The formal post-conference proceedings will be published by Springer in the 

Lecture Notes in Computer Science series. Full papers can be directly accepted 

for publication in the formal proceedings, or accepted only for presentation at 

the symposium and inclusion in informal proceedings. After the symposium, all 

authors of extended abstracts and full papers accepted only for presentation 

will be invited to revise and/or extend their submissions in the light of the 

feedback solicited at the symposium. Then, after another round of reviewing, 

these revised papers may also be published in the formal proceedings. 

Program Committee

Slim Abdennadher        German University of Cairo, Egypt

Étienne André          Université Paris 13, France

Martin Brain            University of Oxford, UK

Wei-Ngan Chin        National University of Singapore, Singapore

Marco Comini            University of Udine, Italy

Wlodzimierz Drabent     IPIPAN, Poland and Linköping University, Sweden

Fabio Fioravanti        University of Chieti-Pescara, Italy

Jürgen Giesl        RWTH Aachen University, Germany

Miguel Gómez-Zamalloa Complutense University of Madrid, Spain

Arnaud Gotlieb        INRIA, France

Gopal Gupta             University of Texas at Dallas, USA

Jacob Howe              City University London, UK

Zhenjiang Hu        Graduate University for Advanced Studies, Japan

Alexei Lisitsa        University of Liverpool, UK

Jorge Navas        NASA, USA

Naoki Nishida        Nagoya University, Japan

Corneliu Popeea         Technische Universität München, Germany

Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)

Tom Schrijvers        Ghent University, Belgium

Hirohisa Seki        Nagoya Institute of Technology, Japan (Program Co-Chair)

Jon Sneyers        K.U. Leuven, Belgium

Fausto Spoto        University of Verona, Italy

Wim Vanhoof             University of Namur, Belgium

German Vidal            Universitat Politecnica de Valencia, Spain

Annie-Liu Yanhong       Stony Brook University, USA 

     

Program Co-Chairs:

Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti@iasi.cnr.it)

Hirohisa Seki, Nagoya Institute of Technology, Japan (seki@nitech.ac.jp)

Symposium Co-Chairs

Olaf Chitil and Andy King

School of Computing

University of Kent

CT2 7NF Kent, UK

Organizing Committee

Emanuele De Angelis

Fabrizio Smith

[Caml-list] First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems

[Apologies for cross posting]

FIRST CALL FOR PAPERS

8th International Verification Workshop (VERIFY'14)
in connection with IJCAR 2014 at FLoC 2014
July 23–24, 2014, Vienna, Austria

http://vsl2014.at/verify


The formal verification of critical information systems has a long
tradition as one of the main areas of application for automated
theorem proving. Nevertheless, the area is of still growing importance
as the number of computers affecting everyday life and the complexity
of these systems are both increasing. The purpose of the VERIFY
workshop series is to discuss problems arising during the formal
modeling and verification of information systems and to investigate
suitable solutions. Possible perspectives include those of automated
theorem proving, tool support, system engineering, and applications.

The VERIFY workshop series aims at bringing together people who are
interested in the development of safety and security critical systems,
in formal methods, in the development of automated theorem proving
techniques, and in the development of tool support. Practical
experiences gained in realistic verifications are of interest to the
automated theorem proving community and new theorem proving techniques
should be transferred into practice. The overall objective of the
VERIFY workshops is to identify open problems and to discuss possible
solutions under the theme

What are the verification problems? What are the deduction techniques?

The 2014 edition of VERIFY aims for extending the verification methods
for processes implemented in hard- and software to processes that may
well include computer-assistance, but have a large part or a frequent
interaction with non-computer-based process steps. Hence the 2014
edition will run under the focus theme

Verification Beyond IT Systems

A non-exclusive list of application areas with these characteristics
are

* Ambient assisted living
* Intelligent home systems and processes
* Business systems and processes
* Production logistics systems and processes
* Transportation logistics
* Clinical processes
* Social systems and processes (e.g., voting systems)

The scope of VERIFY includes topics such as

* ATP techniques in verification
* Case studies (specification & verification)
* Combination of verification systems
* Integration of ATPs and CASE-tools
* Compositional & modular reasoning
* Experience reports on using formal methods
* Gaps between problems & techniques
* Formal methods for fault tolerance
* Information flow control security
* Refinement & decomposition
* Reliability of mobile computing
* Reuse of specifications & proofs
* Management of change
* Safety-critical systems
* Security models
* Tool support for formal methods

Submissions are encouraged in one of the following two categories:

A. Regular paper: Submissions in this category should describe
previously unpublished work (completed or in progress), including
descriptions of research, tools, and applications. Papers must be
5-14 pages long (in EasyChair style) or 6-15 pages long (in
Springer LNCS style).

B. Discussion papers: Submissions in this category are intended to
initiate discussions and hence should address controversial issues,
and may include provocative statements. Papers must be 3-14 pages
long (in EasyChair style) or 3-15 pages long (in Springer LNCS
style).

Important dates
Abstract Submission Deadline: April 17th, 2014
Paper Submission Deadline: April 25th, 2014
Notification of acceptance: May 20, 2014
Final version due: May 27, 2014
Workshop date: July 23–24, 2014

Submission is via EasyChair:
http://www.easychair.org/conferences/?conf=verify2014

Program Committee

Serge Autexier (DFKI) - chair
Bernhard Beckert (Karlsruhe Institute of Technology) - chair
Wolfgang Ahrendt (Chalmers University of Technology)
Juan Augusto (Middlesex University)
Iliano Cervesato (Carnegie Mellon University)
Jacques Fleuriot (University of Edinburgh)
Marieke Huisman (University of Twente)
Dieter Hutter (DFKI GmbH)
Reiner Hähnle (Technical University of Darmstadt)
Deepak Kapur (University of New Mexico)
Gerwin Klein (NICTA and UNSW)
Joe Leslie-Hurd (Intel Corporation)
Fabio Martinelli (IIT-CNR)
Catherine Meadows (NRL)
Stephan Merz (INRIA Lorraine)
Tobias Nipkow (TU München)
Lawrence Paulson (University of Cambridge)
Johann Schumann (SGT, Inc/NASA Ames)
Kurt Stenzel (University of Augsburg)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] APLAS 2014: Call for papers

===============================================================
APLAS 2014
12th Asian Symposium on Programming Languages and Systems
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/

17-19 November 2014, Singapore

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

==========
BACKGROUND
==========

APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.
Proceedings of the past symposiums were published in Springer's LNCS.

======
TOPICS
======

The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.

Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic
are welcome to consult with the program chair prior to submission.

==========
SUBMISSION
==========

We solicit submissions in two categories:

*Regular research papers* describing original scientific research
results, including tool development and case studies. Regular
research papers should not exceed 18 pages in the Springer LNCS
format, including bibliography and figures. They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity. In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.

*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS. System and Tool presentations are expected to be
centered around a demonstration. The paper and the demonstration
should identify the novelties of the tools and use motivating
examples. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. Submissions
will be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.

Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2014

Acceptable formats are PostScript or PDF. Submitted papers must be
unpublished and not submitted for publication elsewhere. Papers must
be written in English. The proceedings will be published as a volume
in Springer's LNCS series. Accepted papers must be presented at the
conference.

=====
DATES
=====

Abstracts due: May 26, 2014 (Monday)
Submission due: June 2, 2014 (Monday)
Notification: August 6, 2014 (Wednesday)
Final paper due: September 1, 2014 (Monday)
Conference: November 17-19, 2014 (Monday-Wednesday)

==========
ORGANIZERS
==========

General chair:
Wei-Ngan Chin (National University of Singapore)
Program chair:
Jacques Garrigue (Nagoya University)
Program committee:
Xiaojuan Cai (Shanghai Jiao Tong University, China)
James Chapman (Institute of Cybernetics, Estonia)
Cristian Gherghina (Singapore University of Technology and Design)
Eric Goubault (CEA LIST and Ecole Polytechnique, France)
Fei He (Tsinghua University, China)
Gerwin Klein (NICTA and UNSW, Australia)
Raghavan Komondoor (Indian Institute of Science, Bangalore)
Paddy Krishnan (Oracle, Australia)
Daan Leijen (Microsoft Research, USA)
Yasuhiko Minamide (University of Tsukuba, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Sungwoo Park (Pohang University of Science and Technology, Korea)
Julian Rathke (University of Southampton, UK)
Sukyoung Ryu (KAIST, Korea)
Alexandra Silva (Radboud University Nijmegen, Netherlands)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Munehiro Takimoto (Tokyo University of Science, Japan)
Jan Vitek (Purdue University, USA)
Hongwei Xi (Boston University, USA)

=======
CONTACT
=======

aplas2014 at easychair.org


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] TYPES 2014 in Paris, May 12 - 15: last call for contributions

TYPES Meeting 2014
Paris, 12-15 May 2014

http://www.pps.univ-paris-diderot.fr/types2014/

LAST CALL FOR CONTRIBUTIONS

The 20th Conference "Types for Proofs and Programs" will take place in
Paris, France, from 12 to 15 May 2014.

The TYPES Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming.

Invited speakers:

* Thierry Coquand
* Xavier Leroy
* Andy Pitts

We invite all researchers to contribute talks on subjects related to
the Types area of interest. These include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

We would like to especially encourage talks proposing new ways of
applying type theory.

The talks may be based on newly published papers, work submitted for
publication, but also work in progress. There are no formal
pre-proceedings, but we will make available the abstract book for the
conference.

TYPES has post-proceedings which will be announced in a separate call
for papers. Participation in TYPES 2014 is no prerequisite for
submission to the post-proceedings.

TYPES 2014 is intended to be a conference in our traditional workshop
style. We expect submission of short abstracts that fit on one or two
pages, presenting in sufficient detail the content of the talk and its
relevance for TYPES, as judged by the program committee.

Submission for a contributed talk consists in a short LaTeX abstract
in EasyChair style that fits on one or two pages to be included in the
abstract book. The submission site is
https://www.easychair.org/conferences/?conf=types2014 .
Please announce your intention to submit an abstract by first
submitting a title one week in advance.

Dates:

* title: Friday February 21 (midnight GMT)
* submission of short abstracts: Friday February 28 (midnight GMT)
* notification of acceptance: Monday March 17
* final version of short abstracts: Friday April 11

The conference will be held at the Institut Henri Poincaré in the 5th
district of Paris. It will happen on week 4 of the special trimester
on Semantics of proofs and certified mathematics (see
http://ihp2014.pps.univ-paris-diderot.fr).

Satellite event: the 13th international workshop Proof, Computation,
Complexity (PCC 2014) will be held on May 15th and 16th.

Program Committee:

* Andreas Abel, Chalmers University of Technology and Gothenburg University
* Andrej Bauer, Fakulteta za matematiko in fiziko, Ljubljana
* Małgorzata Biernacka, University of Wroclaw
* Lars Birkedal, Aarhus University
* Paul Blain Levy, University of Birmingham
* Herman Geuvers, Radboud University and Eindhoven University of Technology
* Hugo Herbelin, Inria Paris-Rocquencourt (co-chair)
* Pierre Letouzey, University Paris-Diderot (co-chair)
* Ralph Matthes, IRIT, CNRS and University of Toulouse
* Conor McBride, University of Strathclyde
* Luís Pinto, University of Minho, Braga
* Claudio Sacerdoti, University of Bologna
* Aleksy Schubert, University of Warsaw
* Matthieu Sozeau, Inria Paris-Rocquencourt (co-chair)
* Thomas Streicher, TU Darmstadt

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Second Call for Papers: SETS 2014

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

CALL FOR PAPERS -- SETS 2014

********************************************************************************
1st International Workshop about Sets and Tools (SETS 2014)
June 2, 2014, Toulouse, France
Affiliated to ABZ 2014
http://sets2014.cnam.fr/
********************************************************************************

AIM

Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of theorem proving, there is an increasing interest to automate set
theory (which is known to be a difficult problem), with some concrete
realizations, such as mp (the "main prover" of Atelier B) or Muscadet (an
automated theorem prover for natural deduction, which gives some good
performances in set theory). Sets are also the main features of some
programming languages like the former SetL language or the more recent {log}
language (pronounced as setlog).

The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.

TOPICS

Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:

* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated deduction in set theory
* Set theories for SMT solvers
* Encoding of sets in provers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports

CONTRIBUTIONS AND PROCEEDINGS

Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:

* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations

Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.

PAPER SUBMISSION

Contributions must be submitted electronically in PDF using the SETS 2014
EasyChair web site at the following address:

https://www.easychair.org/conferences/?conf=sets2014

IMPORTANT DATES

Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
Paper notification: April 7, 2014
Revised/final paper: April 21, 2014
Workshop: June 3, 2014

PROGRAMME CO-CHAIRS

David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)

PROGRAMME COMMITTEE

Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Mamoun Filali (CNRS, IRIT, France)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Dominique Pastre (Université Paris Descartes, France)
Gianfranco Rossi (Università di Parma, Italy)
Mark Utting (University of Waikato, New Zealand)
Benjamin Werner (Inria Saclay - Île-de-France, École Polytechnique, France)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)



--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] [HLPP2014, Amsterdam] Appel aux communications, Call for papers

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

CALL FOR PAPERS

HLPP 2014

7th International Symposium on
High-level Parallel Programming and Applications

Amsterdam, Netherlands
July 3-4, 2014

https://sites.google.com/site/hlpp2014amsterdam/

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

Aims and scope:

As processor and system manufacturers increase the amount of both inter-
and intra-chip parallelism it becomes crucial to provide the software
industry with high-level, clean and efficient tools for parallel
programming.
Parallel and distributed programming methodologies are currently dominated
by low-level techniques such as send/receive message passing, or
equivalently
unstructured shared memory mechanisms. Higher-level, structured approaches
offer many possible advantages and have a key role to play in the scalable
exploitation of ubiquitous parallelism.

Since 2001 the HLPP series of workshops/symposia has been a forum for
researchers developing state-of-the-art concepts, tools and applications
for high-level parallel programming. The general emphasis is on software
quality, programming productivity and high-level performance models. The
7th Symposium on High-Level Parallel Programming and Applications will be
held July 3-4 in the historic center of Amsterdam.

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

Proceedings:

Accepted papers will be distributed as informal draft proceedings during
the
symposium. All accepted papers will be published by Springer in a special
issue of the International Journal of Parallel Programming (IJPP).

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

Important dates:

Submission deadline: April 4 (anywhere on earth)
Author notification: May 1
Camera-ready paper due: June 16

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

Topics:

HLPP 2014 invites papers on all topics in high-level parallel programming,
its tools and applications including, but not limited to, the following
aspects:

+ High-level programming and performance models (BSP, CGM, LogP, MPM, etc.)
and their tools
+ Declarative parallel programming methodologies
+ Algorithmic skeletons and constructive methods
+ Declarative parallel programming languages and libraries:
semantics and implementation
+ Verification of declarative parallel and distributed programs
+ Software synthesis, automatic code generation for parallel programming
+ Model-driven software engineering with parallel programs
+ High-level programming models for heterogeneous/hierarchical platforms
+ High-level parallel methods for large datasets
+ Applications of parallel systems using high-level languages and tools
+ Teaching experience with high-level tools and methods

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

Paper preparation and submission:

Papers submitted to HLPP2014 must describe original research results and
must not have been published or simultaneously submitted anywhere else.
Manuscripts must be prepared with the Springer IJSS latex macro package
and submitted via the EasyChair Conference Management System.

Each paper will receive a minimum of three reviews by members of the
international technical programme committee (see below). Papers will be
selected based on their originality, relevance, technical clarity and
quality of presentation. At least one author of each accepted paper must
register for the HLPP 2014 symposium and present the paper.

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

HLPP Organizer and programme chair:

Clemens Grelck
Informatics Institute
University of Amsterdam
Science Park 904
1098XH Amsterdam
Netherlands
c.grelck@uva.nl

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

HLPP steering committee:

Clemens Grelck (Universiteit van Amsterdam, Netherlands)
Gaétan Hains (Université Paris-Est, France)
Frédéric Loulergue (Université d'Orléans, France)
Kiminori Matsuzaki (Kochi University of Technology, Japan)
Quentin Miller (Somerville College Oxford, United Kingdom)
Alexander Tiskin (University of Warwick, United Kingdom)

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

Previous HLPP symposia and workshops:

HLPP 2013, Paris, France
HLPP 2011, Tokyo, Japan
HLPP 2010, Baltimore, USA
HLPP 2005, Coventry, United Kingdom
HLPP 2003, Paris, France
HLPP 2001, Orléans, France

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



--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)

 CICM 2014 - Conferences on Intelligent Computer Mathematics
July 7-11, 2014 at University of Coimbra, Portugal

http://www.cicm-conference.org/2014

Second Call for Papers

-------------------------------------------------------------------
* Co-located Workshops *
- CCA'14: Workshop on Compact Computer Algebra
(organiser: Elena Smirnova)
- MathUI'14: Workshop on Mathematical User Interfaces
(organisers: Andrea Kohlhase, Paul Libbrecht)
- OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)
- Workshop on The Notion of Proof
(organisers: Jesse Alama, Reinhard Kahle)
- ThEdu'14: Workshop on Theorem Provers Components for Educational
Software (organisers: Walther Neuper, Pedro Quaresma)
-------------------------------------------------------------------

As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas. The Conferences on Intelligent Computer Mathematics (CICM)
offer a venue for discussing these areas and their synergy.

CICM has been held annually as a joint meeting since 2008, colocating
related conferences and workshops to advance work in these subjects.
Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend
(Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen
(Germany 2012) and Bath (U.K. 2013).

This is a call for papers for CICM 2014, which will be held at the
University of Coimbra, 7-11 July 2014, following the 10th
International Workshop on Automated Deduction in Geometry.

The principal tracks of the conference will be:

Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: James Davenport

DML (Digital Mathematical Libraries)
Chair: Petr Sojka

MKM (Mathematical Knowledge Management)
Chair: Josef Urban

Systems and Projects
Chair: Alan Sexton

The local arrangements will be coordinated by the Local Arrangements
Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall
programme will be organised by the General Program Chair, Stephen Watt
(U. Western Ontario, Canada).

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

As in previous years, it is anticipated that there will be a number
co-located workshops, including one to mentor doctoral students giving
presentations.


----------------------------------------------------------------
Important dates
----------------------------------------------------------------

Conference submissions:

Abstract submission: 28 February 2014
Submission deadline: 7 March 2014
Reviews sent to authors: 4 April 2014
Rebuttals due: 8 April 2014
Notification of acceptance: 14 April 2014
Camera ready copies due: 25 April 2014

Work in progress and Doctoral Programme submissions:

Submission deadline: 28 April 2014
(Doctoral: Abstract+CV)
Notification of acceptance: 19 May 2014
Camera ready copies due: 26 May 2014

Conference: 7-11 July 2014

----------------------------------------------------------------
Tracks
----------------------------------------------------------------

================================================================
Track Calculemus: Symbolic Computation and Mechanised Reasoning
================================================================

Calculemus 2014 invites the submission of original research
contributions to be considered for publication and presentation at the
conference. Calculemus is a series of conferences dedicated to the
integration of computer algebra systems (CAS) and systems for
mechanised reasoning like interactive proof assistants (PA) or
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 mathematical assistant
systems that will be used routinely by mathematicians, computer
scientists and all others who need computer-supported mathematics in
their every day business.

All topics in the intersection of computer algebra systems and
automated reasoning systems are of interest for Calculemus. These
include but are not limited to:

* Automated theorem proving in computer algebra systems.
* Computer algebra in theorem proving systems.
* Adding reasoning capabilities to computer algebra systems.
* Adding computational capabilities to theorem proving systems.
* Theory, design and implementation of interdisciplinary systems for
computer mathematics.
* Case studies and applications that involve a mix of computation and
reasoning.
* Case studies in formalization of mathematical theories.
* Representation of mathematics in computer algebra systems.
* Theory exploration techniques.
* Combining methods of symbolic computation and formal deduction.
* Input languages, programming languages, types and constraint languages,
and modeling languages for mathematical assistant systems.
* Homotopy type theory.
* Infrastructure for mathematical services.

================================================================
Track DML: Digital Mathematical Libraries
================================================================

Mathematicians dream of a digital archive containing all validated
mathematical literature ever published, reviewed, properly linked, and
verified. It is estimated that the entire corpus of mathematical
knowledge published over the centuries does not exceed 100,000,000
pages, an amount easily manageable by current information
technologies.

The track objective is to provide a forum for the development of
math-aware technologies, standards, algorithms and formats for the
fulfillment of the dream of a global digital mathematical library
(DML). Computer scientists (D) and librarians of the digital age (L)
are especially welcome to join mathematicians (M) and discuss many
aspects of DML preparation.

Track topics are all topics of mathematical knowledge management and
digital libraries applicable in the context of DML building, including
the processing of mathematical knowledge expressed in scientific
papers in natural languages:

* Math-aware text mining (math mining) and MSC classification
* Math-aware representations of mathematical knowledge
* Math-aware computational linguistics and corpora
* Math-aware tools for [meta]data and fulltext processing
* Math-aware OCR and document analysis
* Math-aware information retrieval
* Math-aware indexing and search
* Authoring languages and tools
* MathML, OpenMath, TeX and other mathematical content markup
languages
* Web interfaces for DML content
* Mathematics on the web, math crawling and indexing
* Math-aware document processing workflows
* Archives of written mathematics
* DML management, business models
* DML rights handling, funding, sustainability
* DML content acquisition, validation and curation
* Reports and experience from running existing DMLs

================================================================
Track MKM: Mathematical Knowledge Management
================================================================

Mathematical Knowledge Management is an interdisciplinary field of
research in the intersection of mathematics, computer science, library
science, and scientific publishing. The objective of MKM is to develop
new and better ways of managing sophisticated mathematical knowledge,
based on innovative technology of computer science, the Internet, and
intelligent knowledge processing. MKM is expected to serve
mathematicians, scientists, and engineers who produce and use
mathematical knowledge; educators and students who teach and learn
mathematics; publishers who offer mathematical textbooks and
disseminate new mathematical results; and librarians and
mathematicians who catalog and organize mathematical knowledge.

The track is concerned with all aspects of mathematical knowledge
management. A non-exclusive list of important topics includes:

* Representations of mathematical knowledge
* Authoring languages and tools
* Repositories of formalized mathematics
* Deduction systems
* Mathematical digital libraries
* Diagrammatic representations
* Mathematical OCR
* Mathematical search and retrieval
* Math assistants, tutoring and assessment systems
* 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

================================================================
Track Systems and Projects
================================================================

The Systems and Projects track of the Conferences on Intelligent
Computer Mathematics is a forum for presenting available systems and
new and ongoing projects in all areas and topics related to the CICM
conferences:

* Deduction and Computer Algebra (Calculemus)
* Digital Mathematical Libraries (DML)
* Mathematical Knowledge Management (MKM)

The track aims to provide an overview of the latest developments and
trends within the CICM community as well as to exchange ideas between
developers and introduce systems to an audience of potential users.


----------------------------------------------------------------
Submission Instructions
----------------------------------------------------------------

Electronic submission is done through Easychair

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

All papers should be prepared in LaTeX and formatted according to the
requirements of Springer's LNCS series (the corresponding style files
can be downloaded from http://www.springer.de/comp/lncs/authors.html).
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.

Submissions to the research tracks (Calculemus, DML, MKM) must not
exceed 15 pages in the LNCS style and will be reviewed and evaluated
with respect to relevance, clarity, quality, originality, and impact.
Shorter papers, e.g., for system descriptions, are welcome. Authors
will have an opportunity to respond to their papers' reviews before
the programme committee makes a decision.


System descriptions and projects descriptions should be 2-4 pages in
the LNCS style and should present

* newly developed systems,
* systems not previously been presented to the CICM community, or
* significant updates to existing systems.

Systems must either be available for download or currently executable
by the general public as a web application.

Project presentations should describe

* projects that are new or about to start,
* ongoing projects that have not yet been presented to the CICM community or
* significant new developments in ongoing previously presented projects.

Presentations of new projects should mention relevant previous work
and include a roadmap that outlines concrete steps. All project
submissions must have a live project website and should contain links
to demos, videos, downloadable systems or downloadable datasets.

Accepted conference submissions from all tracks will be published as a
volume in the series Lecture Notes in Artificial Intelligence (LNAI)
by Springer. In addition to these formal proceedings, authors are
permitted and encouraged to publish the final versions of their papers
on arXiv.org.

Work-in-progress submissions are intended to provide a forum for the
presentation of original work that is not yet in a suitable form for
submission as a full paper for a research track or system description.
This includes work in progress and emerging trends. Their size is not
limited, but we recommend 5-10 pages.

The programme committee may offer authors of rejected formal
submissions the opportunity to publish their contributions as
work-in-progress papers instead. Depending on the number of
work-in-progress papers accepted, they will be presented at the
conference either as short talks or as posters. The work-in-progress
proceedings will be published as a technical report, as well as online
with CEUR-WS.org.


----------------------------------------------------------------
Doctoral Programme
----------------------------------------------------------------

Chair: David Wilson (University of Bath, UK)

CICM is an excellent opportunity for graduate students to meet
established researchers from the areas of computer algebra, automated
deduction, and mathematical publishing.

The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.


Students at any stage of their PhD can apply and should submit the
following documents through EasyChair:

* A two-page abstract of your thesis describing your research
questions, research plans, completed and remaining research,
evaluation plans and publication plans;

* A two-page CV that includes background information (name,
university, supervisor), education (degree sought, year/status of
degree, previous degrees), employments, relevant research experience
(publications, presentations, attended conferences or workshops,
etc.)

Submission Deadline: 28 April 2014.

----------------------------------------------------------------
Programme Committee
----------------------------------------------------------------

General chair: Stephen Watt (University of Western Ontario, Canada)

Calculemus track
James Davenport, University of Bath, UK (Chair)
Matthew England, University Of Bath, UK,
Dejan Jovanović, SRI, USA
Laura Kovács, Chalmers University of Technology, Sweden
Assia Mahboubi, INRIA, France
Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland
Grant Passmore, U. Cambridge and U. Edinburgh, UK
Florian Rabe, Jacobs University Bremen. Germany
Claudio Sacerdoti Coen, University of Bologna, Italy
Freek Wiedijk, Radboud University Nijmegen, Netherlands
(Other invitations pending)

DML track
Petr Sojka, Masaryk University, Brno, CZ (Chair)
Akiko Aizawa, NII, University of Tokyo, Japan
Łukasz Bolikowski, ICM, University of Warsaw, Poland
Thierry Bouche, Université Joseph Fourier, Grenoble, france
Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France
Janka Chlebíková, School of Computing, University of Portsmouth, UK
Michael Kohlhase, Jacobs University Bremen, Germany
Jiří Rákosník, Institute of Mathematics AS CR, CZ
David Ruddy, Cornell University, USA
Volker Sorge, University of Birmingham, UK
Frank Tompa, University of Waterloo, Canada
Richard Zanibbi, Rochester Institute of Technology, USA

MKM track
Josef Urban, Radboud University Nijmegen, The Netherlands (Chair)
Rob Arthan, Queen Mary University of London, UK
David Aspinall, Univerity of Edinburgh, UK
Michael Beeson, San Jose State University, USA
Claudio Sacerdoti Coen, University of Bologna, Italy
Thomas Hales, University of Pittsburgh, USA
Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL
Peter Jipsen, Chapman University, USA
Cezary Kaliszyk, University of Innsbruck, Austria
Michael Kohlhase, Jacobs University Bremen, Germany
Christoph Lange, University of Birmingham, UK
Paul Libbrecht, Weingarten University of Education, Germany
Ursula Martin, Queen Mary University of London, UK
Bruce Miller, NIST, USA
Adam Naumowicz, University of Bialystok, Poland
Florian Rabe, Jacobs University Bremen, Germany
Alan Sexton, University of Birmingham, UK
Enrico Tassi, INRIA, France
Stephen Watt, University of Western Ontario, Canada
Makarius Wenzel, Université Paris-Sud 11, France
Freek Wiedijk, Radboud University Nijmegen, The Netherlands

Systems & Projects track
Alan Sexton, University of Birmingham, UK (Chair)
Christoph Lange, University of Bonn, Germany
Jesse Alama, Technical University of Vienna, Austria
Rob Arthan, Queen Mary University of London, UK
Deyan Ginev, Jacobs University Bremen, Germany
Jónathan Heras, University of Dundee, Scotland
Mateja Jamnik, University of Cambridge, UK
Predrag Janičić, University of Belgrade, Serbia
Christoph Lüth, DFKI and University of Bremen, Germany
Bruce Miller, NIST, Gaithersburg, Maryland, USA
Hendrik Tews, TU Dresden, Germany

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Second Call for Papers

*** SECOND CALL FOR PAPERS *** 4th INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI 2014) Lordos Beach Hotel, Larnaca, Cyprus 24-26 September, 2014 http://medi2014.cs.ucy.ac.cy/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration of research communities issued from modelling and system modelling on the one hand and data and data modelling on the other hand. MEDI 2014 provides an international infrastructure for the presentation of research results and experimentations on models and data theory, development of advanced technologies related to models and data and their advanced applications and case studies. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges and of other parts of the world as well. Aim and Scope Specific areas of interest to MEDI'2014 include but are not limited to: Modelling and Models Engineering: - Design of General-purpose Modelling Languages and Related Standards - Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution: - Formal Modelling, Verification and Validation, Analysis, Testing - Ontology Based Modelling, Role of Ontologies in Modelling Activities - Model Manipulation and models as first objects - Heterogeneous modelling, model integration and interoperability - Applications and case studies Data Engineering: - Heterogeneous data, data Integration and Interoperability - Distributed, Parallel, Grid, Peer to Peer, Cloud Databases - Data Warehouses and OLAP, Data Mining - Database System Internals, Performance, Self-tuning Benchmarking and Testing - Database Security, Personalization, Recommendation - Web Databases, Ontology Based Databases, PDMS - Applications and case studies Modeling for Data Management: - New Models and Architectures for Databases and Data Warehouses - Modeling and Quality of Data - Modeling for Enhancing Sharing Data - Models for Explicit and Implicit Semantics based Data Optimization - Model Reification, Model Repositories - Modeling Non Functional Properties of Systems - Data as models and Models as Data - Service based data management and service oriented applications - Models for data Monitoring - Urbanization of Database Applications Applications and tooling: - Industry transfer, experiences - Data and Model manipulation and tooling - Modelling tools and experimentation Conference Location Lordos Beach Hotel, Larnaca https://www.lordosbeach.com.cy/en/ Submission Guidelines and Instructions Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. Important Dates Abstract submission: April 14, 2014 Full-paper submission: April 21, 2014 Acceptance notification: June 16, 2014 Camera Ready: July 7, 2014 Paper Publication All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Best papers will be invited for submission in a special issue of the Future Generation Computer Systems (Elsevier) and Fundamenta Informaticae (IOS Press). Keynotes Speakers Mukesh MOHANIA, IBM, INDIA : Data and Data models Dominique MERY, Loria, Nancy, France: Models and system modelling Conference Organization General Chairs Ladjel Bellatreche, ENSMA, Poitiers University, France George A. Papadopoulos, Department of Computer Science, University of Cyprus Programme Committee Chair Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse, France Local Organizing Chair Mr. Petros Stratis (EasyConferences, LTD), Finance Chair Program Committee http://medi2014.cs.ucy.ac.cy/committes.html For further inquiries, contact the MEDI 2014 PC Chair: Yamine Aït Ameur (yamine@n7.fr)

-------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] ATVA 2014: First Call for Papers

[We apologise for duplicates.]

========================================================================
ATVA 2014 Call for Papers

12th International Symposium on Automated
Technology for Verification and Analysis

Sydney, November 3-7, 2014
========================================================================


http://atva-conferences.org

The purpose of ATVA is to promote research on theoretical and practical
aspects of automated analysis, verification and synthesis by providing
an international forum for interaction among the researchers in academia
and industry.

================
IMPORTANT DATES:
================
. Abstract submission: 10 April 2014
. Paper submission: 15 April 2014
. Notification of acceptance: 30 June 2014
. Final copy for proceedings: 30 July 2014
. Conference: 3-7 November 2014

==================
SCOPE OF INTEREST:
==================
ATVA 2014 solicits high quality submissions in areas related to the
theory and
practice of automated analysis and verification of hardware and software
systems.
Topics of interest include, but are not limited to:
Formalisms for modeling hardware, software and embedded systems
. Specification and verification of finite-state, infinite-state and
parameterized system
. Program analysis and software verification
. Analysis and verification of hardware circuits, systems-on-chip and
embedded systems
. Analysis of real-time, hybrid, priced/weighted and probabilistic systems
. Deductive, algorithmic, compositional, and abstraction/refinement
techniques for analysis and verification
. Analytical techniques for safety, security, and dependability
. Testing and runtime analysis based on verification technology
. Analysis and verification of parallel and concurrent hardware/software
systems
. Verification in industrial practice
. Applications and case studies
Theory papers should preferably be motivated by practical problems, and
applications should be based on sound theory and should solve problems
of practical interest.


==================
PAPER SUBMISSIONS:
==================
ATVA invites research contributions in two categories: Regular research
papers (with 15 pages page limit) and tool papers (with 4 pages page limit).
Contributions must be written in English and in LNCS format, and must
present original research which is unpublished and not submitted elsewhere
(conferences or journals). The proceedings of ATVA 2014 will be
be published by Springer as a volume in the series of Lecture Notes in
Computer Science (LNCS). A special journal issue is also being planned
for selected papers.

=============
ORGANIZATION:
=============
General Chair:
Dr. Ralf Huuck (NICTA and UNSW)

Program co-chairs:
Dr. Franck Cassez (NICTA and UNSW)
Pr. Jean-François Raskin (ULB)

Workshop Chair:
Dr. Peter Höefner (NICTA and UNSW)

Program committee:
Ahmed Bouajjani (LIAFA, University Paris Diderot, France)
Supratik Chakraborty (IIT Bombay, India)
Alessandro Cimatti (FBK-irst, Italy)
Deepak D'Souza (Indian Institute of Science, Bangalore, India)
Hung Dang Van (UET, Vietnam National University, Hanoi)
Giorgio Delzanno (DIBRIS, Università di Genova)
E. Allen Emerson (The University of Texas at Austin, USA)
Pierre Ganty (IMDEA Software Institute, Spain)
Patrice Godefroid (Microsoft Research, USA)
Kim Guldstrand Larsen (Aalborg University, Denmark)
Teruo Higashino (Osaka University, Japan)
Alan Hu (University of British Columbia, Canada)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
Moonzoo Kim (KAIST, Korea)
Gerwin Klein (NICTA and UNSW, Australia)
Orna Kupferman (Hebrew University, Israel)
Marta Kwiatkowska (University of Oxford, UK)
Insup Lee (University of Pennsylvania, USA)
Oded Maler (CNRS-VERIMAG, France)
Annabelle McIver (Macquarie University, Australia)
Madhavan Mukund (Chennai Mathematical Institute, India)
Mizuhito Ogawa (Japan Advanced Institute of Science and Technology,
Japan)
Sungwoo Park Pohang (University of Science and Technology, Korea)
Doron Peled (Bar Ilan University, Israel)
Andreas Podelski (University of Freiburg, Germany)
Pierre-Alain Reynier (Aix-Marseille University, France)
Jie-Hong Rolland-Jiang (National Taiwan University Taipei, Taiwan)
Jing Sun (The University of Auckland, New Zealand)
P.S. Thiagarajan (National University of Singapore, Singapore)
Ron Van Der Meyden (UNSW, Australia)
Rob Van Glabbeek (NICTA and UNSW, Australia)
Farn Wang (National Taiwan University Taipei, Taiwan)
Chao Wang (Virginia Tech., USA)
Bow-Yaw Wang (Academia Sinica, Taipei, Taiwan)
Karsten Wolf (Rostock University, Germany)
Hsu-Chun (Yen National Taiwan University, Taiwan)
Wang Yi (Uppsala University, Sweden)
Wenhui Zhang (Institute of Software, Chinese Academy of Sciences, China)

Steering Committee:
Professor E. Allen Emerson (University of Texas at Austin)
Professor Teruo Higashino (Osaka University)
Professor Insup Lee (University of Pennsylvania)
Professor Doron A. Peled (Bar Ilan Universioty)
Professor Farn Wang (National Taiwan University)
Professor Hsu-Chun Yen (National Taiwan University)



--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] ICSOB 2014: Industry Day - Final Call for Papers (Extended Deadline)

*** Industry Day - Final Call for Papers *** *** Extended Deadline: Fe. 21, 2014 *** Fifth International Conference on Software Business (ICSOB 2014) Azia Resort and Spa, Paphos Cyprus June 15-18, 2014 http://www.icsob.org Online submission: https://www.easychair.org/conferences/?conf=icsob2014 The Industrial Track of the 5th International Conference on Software Business (ICSOB) offers the opportunity for sharing practical experiences and insights in the area of software business. In accordance with the theme of the main conference “shortening the time-to-market - from short cycle times to continuous value delivery” and the special industry day session “Industry 4.0”, those involved in such activities are especially encouraged to share their experiences. The industrial track will be held on Wednesday, June 18th, 2014 and consist of presentations and discussions. For more details concerning ICSOB 2014 please visit http://www.icsob.org. Special sessions this year * Industry 4.0 includes e.g. cyber-physical systems, Internet of Things, computerization of traditional industries such as manufacturing * Speeding up time-to-market: towards continuous value delivery * Business models in game and entertainment software Submission Proposals for presentations in form of abstracts (up to 3 pages) or industrial papers (up to 10 pages) should be submitted online at the following URL: https://www.easychair.org/conferences/?conf=icsobid2014 The best industrial contributions will be included in the conference proceedings published by Springer as a volume in Lecture Notes in Business Information Processing (LNBIP) series (if at least one author of the paper attends the conference and presents the paper). All other industrial contributions will be included in the ICSOB post-proceedings (probably published in Springer's CCIS series). Note: Presentation without publishing the accepted contribution is possible as well. Important Dates Submission deadline: February 21st, 2014 (extended deadline) Notification: March 7th, 2014 Camera-Ready: April 7th, 2014 Industry Day: June 18th, 2014 Organizers / Program committee Georg Herzwurm, Universität Stuttgart, Germany George Angelos Papadopoulos, University of Cyprus, Cyprus Olaf Mackert, SAP AG, Germany Arnd Simon, Microsoft, Germany Tobias Tauterat, Universität Stuttgart, Germany Contact Please do not hesitate to contact industry@icsob.org for further information.

-------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email.

[Caml-list] FSFMA: call for papers (FM satellite)

====================================================================
Call for papers

FSFMA 2014
2nd French Singaporean Workshop in Formal Methods and Applications

http://lipn.univ-paris13.fr/fsfma2014/
====================================================================


The 2nd French Singaporean Workshop in Formal Methods and Applications
(FSFMA 2014) aims at sharing research interests and launching
collaborations in the area of formal methods and their applications.

The scientific subject of the workshop covers (but is not limited to)
areas such as formal specification, model checking, verification,
program analysis/transformation, software engineering, and applications
in major areas of computer science, including aeronautics and aerospace.

The workshop will bring together researchers and industry R&D experts
from all countries together to exchange their knowledge, discuss their
research findings, and explore potential collaborations.

Round tables will focus on French-Singaporean funding and cooperation
opportunities.

A PhD session will allow Master and PhD students to present their work.

The workshop will take place on 12th-13th May, 2014, in Singapore as a
satellite event of FM 2014.


=================
IMPORTANT DATES
=================
Abstract: March 2nd, 2014
Full papers: March 9th, 2014
Notification: April 15th, 2014
Workshop: May 12th-13th, 2014
Post-proceedings: June 15th, 2014


=================
TOPICS OF THE WORKSHOP
=================

The main theme of the workshop is to establish links between academic
and industry scientists interested in methods and techniques for
constructing reliable systems using formal methods. The scientific
topics of the workshop include, but are not limited to:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems,
probabilistic and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace


=================
SUBMISSION AND PUBLICATION
=================

Two kinds of papers are welcome:
- regular papers
- PhD papers (for the doctoral session).
The content of papers should be original and not submitted elsewhere.
All papers will be assigned to at least three reviews.

The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in
the EPTCS format.
Accepted papers in both categories will be published by the Electronic
Proceedings in Theoretical Computer Science (EPTCS), a free open-access
and online electronic proceedings series, referenced in major databases
such as DBLP.
The proceedings are published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.

Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=fsfma2014

Additional remarks:
- There are no restrictions on authors' citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.


=================
COMMITTEES
=================
General chairs
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Yang Liu, Nanyang Technological University, Singapore

PC chairs
* Shang-Wei Lin, Temasek Lab@NUS, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France

PhD session chairs
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jin-Song Dong, National University of Singapore, Singapore

Program committee
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jorg Desel, Fernuniversitat in Hagen, Germany
* Jin-Song Dong, National University of Singapore, Singapore
* Monika Heiner, Brandenburg University of Technology Cottbus, Germany
* Maritta Heisel, University of Duisburg-Essen, Germany
* Romain Kervarc, ONERA, France
* Kais Klai, Universite Paris 13, Sorbonne Paris Cite, France
* Lars M. Kristensen, Bergen University College, Norway
* Ulrich Kuhne, University of Bremen, Germany
* Shang-Wei Lin, Temasek Lab@NUS, Singapore (co-chair)
* Yang Liu, Nanyang Technological University, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France
(co-chair)
* Geguang Pu, East China Normal University, China
* Shengchao Qin, University of Teesside, Middlesbrouq, U.K
* Gianna Reggio, DIBRIS, Genova, Italy
* Jun Sun, Singapore University of Technology and Design, Singapore
* Quan Thanh Tho, Hochiminh City University of Technology, Vietnam
* Alwen Tiu, Nanyang Technological University, Singapore
* Bow-Yaw Wang, Academia Sinica, Taiwan
* Naijun Zhang, Chinese Academy of Sciences, China


=================
INVITED SPEAKERS
=================
TBA


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] ETAPS 2014 call for participation

To notice:

- The programme of the main conferences of ETAPS 2014 is on the web.

- Early registration is until Friday, 14 February 2014.


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

CALL FOR PARTICIPATION

ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

Grenoble, France, 5-13 April 2014

http://www.etaps.org/2014

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

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is already
the seventeenth event in the series.


-- MAIN CONFERENCES (7-11 April) --

* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation
Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems


-- INVITED TALKS --

* Unifying speakers:
John Launchbury (Galois, US)
Geoffrey Smith (Florida International University, US)


* CC invited speaker:
Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
Maurice Herlihy (Brown University, US)
* FASE invited speaker:
Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker:
David Mazières (Stanford University, US)
* TACAS invited speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)


-- TUTORIALS

* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)


-- CONTRIBUTED PAPERS

See the accepted paper lists and the programme of the main conferences
at the conference website.


-- SATELLITE EVENTS (5-6 and 12-13 April) --

23 satellite workshops will take place before or after ETAPS 2014.

CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.

AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.


-- REGISTRATION

Early registration is until Friday, 14 February 2014.

Normal-rate registration is until Monday, 10 March 2014.


-- ACCOMMODATION

We request that participants arrange their accommodation on their own.
See our recommendations on the website.


-- HOST CITY --

Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.


-- ORGANIZERS

* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga

Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] SFM-14:ESM second call for participation

***********************************************************
* *
* SFM-14:ESM *
* *
* 14th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Executable Software Models *
* *
* Bertinoro (Italy), 16-20 June 2014 *
* *
* http://www.sti.uniurb.it/events/sfm14esm/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2014) *
***********************************************************


GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to executable software models and covers
topics such as variability models, automated analysis techniques,
deductive verification, and run-time assessment and testing.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures:

"Design and Analysis of Executable Software Models: an Introduction and Overview"
Reiner Haehnle (TU Darmstadt, DE)

"Variability Models"
Dave Clarke (KU Leuven, BE)

"Deadlock Analysis"
Cosimo Laneve (U Bologna, IT)

"Probabilistic Modeling and Model Checking"
Erika Abraham (RWTH Aachen, DE)

"Model Checking of Fault-Tolerant Distributed Algorithms"
Helmuth Veith (TU Vienna, AT)

"Reasoning about Recursive Predicates in Specifications"
Sophia Drossopoulou (Imperial College London, UK)

"Verification of Concurrent Systems"
Marieke Huisman (U Twente, NL)

"Run-Time Analysis"
Frank de Boer (CWI Amsterdam, NL)

"Test-Case Generation"
Elvira Albert (U Complutense Madrid, ES)

"Model-Based Testing"
Ina Schaefer (TU Braunschweig, DE)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


LOCATION
^^^^^^^^

SFM-14:ESM will be held in the medieval hilltop town of Bertinoro.

This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Parma, Rimini, Ravenna, Ferrara,
Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Ferruccio Damiani (U Torino, IT)
* Reiner Haehnle (TU Darmstadt, DE)
* Einar Broch Johnsen (U Oslo, NO)
* Ina Schaefer (TU Braunschweig, DE)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2014
the application form, available on the school website,
to the two e-mail addresses below:

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 300 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 15-21
(6 nights), double room (to share with another participant),
half board (breakfast and lunch, dinner of June 15 included,
lunch of June 21 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 16-20
(5 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by April 10.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] 2nd Call for Papers - TFPIE 2014

All,

Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014.  Apologies in advance for multiple copies you may receive.

Best regards,
James Caldwell

Call for Papers

___________________________________________________________________________________

3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)

May 25, 2014

Utrecht University

Soesterberg, The Netherlands

(http://www.cs.uwyo.edu/~jlc/tfpie14/)

The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) at Soesterberg, at the “Kontakt der Kontinenten” hotel in the Netherlands on Sunday, May 25th.  TFP will follow from May 26-28.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work.  After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC.

TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013).

Program Committee

James Caldwell, (Program Chair) University of Wyoming

Peter Achten, Radboud University, Nijmgen

Edwin Brady, University of St Andrews, St Andrews

Jurriaan Hage, Universiteit Utrecht

Philip Holzenspies, University of Twente

Daniel R. Licata, Wesleyan University

Marco T Morazan, Seton Hall University

Christian Skalka, University of Vermont

David Van Horn, Northeastern University

Submission Guidelines

There will be two types of presentations at TFPIE 2014.  Regular papers and “best lecture” presentations.  The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014

Papers

TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

* FP and beginning CS students

* FP and Computational Thinking

* FP and Artificial Intelligence

* FP in Robotics

* FP and Music

* Advanced FP for undergraduates

* FP in graduate education

* Engaging students in research using FP

* FP in Programming Languages

* FP in the high school curriculum

* FP as a stepping stone to other CS topics

* FP and Philosophy

Best Lectures

In addition to papers, this year we are requesting “best lecture” presentations.  What’s your best lecture topic in an FP related course?  Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic?  In either case, please consider sharing it.  Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

Important Dates

* 1 February 2014: TFPIE submissions open on easychair.

* 7 April 2014: TFP and TFPIE registration opens

* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts

* 27  April 2014: Notification of acceptance for presentation

* 25 May 2014: Presentations in Soesterberg, Netherlands

* 29 June 2014: Full papers for EPTCS proceedings due.

* 16 August 2014: Notification of acceptance for proceedings

*  8 September 2014: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.  At least one author from each accepted presentation must attend the workshop.