Conference on Intelligent Computer Mathematics
CICM 2015
13-17 July 2015
Washington DC, USA
The programme for this year's CICM in Washington can be found as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme
The accepted papers as
http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks
In addition we solicit for posters which will not be peer reviewed, but we
will just do a screen review for relevance to the conference. A poster
presentation will consist of a 5 minute teaser talk and the presentation of
the poster on Tuesday morning (together with the other presentations in the
Systems/Data/Projects track).
You can submit a brief abstract on a poster by 22 June 2015 via EasyChair:
https://www.easychair.org/conferences/?conf=cicm2015
You will be informed about acceptance shortly after your submission.
Registration to the conference will open shortly.
For details on the conference, registration, accommodation, etc. see
http://www.cicm-conference.org/2015/cicm.php
**********************************************************************
Invited Speakers:
**********************************************************************
* Leonardo de Moura, https://leodemoura.github.io/
"Formalizing mathematics using the Lean Theorem Prover"
(http://leanprover.github.io/)
* Tobias Nipkow, http://www21.in.tum.de/~nipkow/
"Analyzing the Archive of Formal Proofs"
* Jim Pitman, http://www.stat.berkeley.edu/~pitman/
"Towards a Global Digital Mathematics Library"
* Richard Zanibbi, http://www.cs.rit.edu/~rlaz/
"Math Search for the Masses: Multimodal Search
Interfaces and Appearance-Based Retrieval"
**********************************************************************
The principal tracks of the conference will be:
**********************************************************************
* Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
Chair: Cezary Kaliszyk
* Systems and Data
Chair: Florian Rabe
* Doctoral Programme
Chair: Umair Siddique
Publicity chair is Serge Autexier. The local arrangements are
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme is organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).
As in previous years, we have co-located workshops:
* Formal Mathematics for Mathematicians
* Theorem proving components for Educational software (ThEdu'15)
* MathUI
Furthermore we have a doctoral programme to mentor doctoral
students giving presentations and a tutorial on the generic proof
assistant Isabelle.
--------------------------------------------------------------------------------
--
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
2015-06-11
[Caml-list] STAF 2015 - Call for Participation
STAF 2015: Software Technologies: Applications and Foundations
July 20th - 24th, 2015
L'Aquila, Italy
http://www.disim.univaq.it/staf2015/
The umbrella conference for the
* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
* ICGT'15 - 8th International Conference on Graph Transformation
* ICMT'15 - 8th International Conference on Model Transformation
* TAP'15 - 9th International Conference on Tests & Proofs
* TTC'15 - 8th Transformation Tool Contest
and many related events.
*** First Call for Participation ***
============================================================================
Software Technologies: Applications and Foundations (STAF) is a
federation of a number of the leading conferences on software
technologies. It was formed after the end of the successful TOOLS
federated event (http://tools.ethz.ch) in 2012, providing a loose
umbrella organisation, with steering committee, that aims to provide
continuity.
The STAF federated event runs annually; the conferences that participate
may vary from year to year, but all focus on practical and foundational
advances in software technology. The conferences address all aspects of
software technology, from object-oriented design, testing, mathematical
approaches to modelling and verification, transformation, model-driven
engineering, aspect- oriented techniques, and tools.
Registration
============
Register online at http://www.disim.univaq.it/staf2015/staf-2015-registration/
before June 16th (Tuesday) at reduced, early bird registration rates!
Keynote Speakers
================
* Lionel Briand (University of Luxembourg, Luxembourg)
* Arend Rensink (University of Twente, The Netherlands)
* Sam Nicander (Saab Aeronautics, Sweden)
* Gerti Kappel (Vienna University of Technology, Austria)
* Einar Broch Johnsen (University of Oslo, Norway)
* Francesco Zappa Nardelli (INRIA, France)
* Fréedéric Jouault (ESEO, France)
Tutorial
========
* Carlo Alberto Furia (ETH Zurich, Switzerland): Testing, fixing, and
proving with contracts.
Main conferences
================
* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
https://www.uni-marburg.de/fb12/swt/ecmfa2015/
* ICGT'15 - 8th International Conference on Graph Transformation
http://btn1x4.inf.uni-bayreuth.de/icgt2015/
* ICMT'15 - 8th International Conference on Model Transformation
http://www.model-transformation.org/
* TAP'15 - 9th International Conference on Tests & Proofs
http://tap2015.in.tum.de/
Satellite events
================
* TTC'15 - 8th Transformation Tool Contest
http://www.transformation-tool-contest.eu/
* PS'15 - 1st Project Showcase
http://www.disim.univaq.it/staf2015/projects-showcase/
* DocSymp'15 - STAF 2015 Doctoral Symposium
http://www.disim.univaq.it/staf2015/doctoral-symposium/
* BigMDE-15 - Third Workshop on Scalable Model Driven Engineering
http://www.big-mde.eu/
* BX-15 - Fourth International Workshop on Bidirectional Transformations
http://bx-community.wikidot.com/bx2015:home
* GCM-15 - Sixth International Workshop on Graph Computation Models
http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html
* MORSE-15 - Second Workshop on Model-Driven Robot Software Engineering
http://swt4.informatik.uni-mannheim.de/morse2015/
* PAME-15 - First Workshop on Patterns in Model Engineering
http://www-ens.iro.umontreal.ca/~syriani/pame2015/
* VAO-15 - Third Workshop on View-Based, Aspect-Oriented and
Orthographic Software Modelling http://vao.ipd.kit.edu/vao_2015
* VOLT-15 - Fourth Workshop on the Verification Of Model Transformations
http://volt2015.big.tuwien.ac.at/
Tentative program of all events is available at: http://bit.ly/1GvC4MU
Venue
=====
STAF 2015 will be hosted by L'Aquila, the capital city of the Abruzzi
region in Italy. The city's construction was begun by Frederick II, Holy
Roman Emperor and King of Sicily, as a bulwark against the power of the
papacy. The name of Aquila means "Eagle" in Italian. Construction was
completed in 1254 under Frederick's son, Conrad IV of Germany.
Laid out within medieval walls upon a hillside in the middle of a narrow
valley; tall snow-capped mountains of the Gran Sasso massif flank the
town. A maze of narrow streets, lined with Baroque and Renaissance
buildings and churches, open onto elegant piazzas.
The surrounding area boasts Roman ruins (the important Roman city of
Amiternum), ancient monasteries, and numerous castles. The best-known of
these is Rocca Calascio (used in the 1980s as the location for the movie
Ladyhawke), which is the highest castle in Italy and one of the highest
in Europe. Also nearby are several ski resorts like Gran Sasso d'Italia,
the highest of the Apennines where in its valley the movie The Name of
the Rose was filmed in the end of the 1980s.
Earthquakes mark the history of L'Aquila. STAF 2015 is the first
remarkable scientific event in Computer Science after the earthquake
that occurred in 2009. It is a small, big step towards the grand
achievement of restoring some form of normality in this place and its
people.
The conferences will be held on Dipartimento di Scienze Umane of the
University of L'Aquila
ADDRESS: Viale Nizza, 14
67100 L'Aquila (Italy)
GOOGLE MAP: https://goo.gl/maps/ZGqQE
Contact
=======
For further inquiries, do not hesitate to contact the organization team
at stafconference2015@gmail.com
Alfonso Pierantonio
STAF 2015 General Chair
--
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
July 20th - 24th, 2015
L'Aquila, Italy
http://www.disim.univaq.it/staf2015/
The umbrella conference for the
* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
* ICGT'15 - 8th International Conference on Graph Transformation
* ICMT'15 - 8th International Conference on Model Transformation
* TAP'15 - 9th International Conference on Tests & Proofs
* TTC'15 - 8th Transformation Tool Contest
and many related events.
*** First Call for Participation ***
============================================================================
Software Technologies: Applications and Foundations (STAF) is a
federation of a number of the leading conferences on software
technologies. It was formed after the end of the successful TOOLS
federated event (http://tools.ethz.ch) in 2012, providing a loose
umbrella organisation, with steering committee, that aims to provide
continuity.
The STAF federated event runs annually; the conferences that participate
may vary from year to year, but all focus on practical and foundational
advances in software technology. The conferences address all aspects of
software technology, from object-oriented design, testing, mathematical
approaches to modelling and verification, transformation, model-driven
engineering, aspect- oriented techniques, and tools.
Registration
============
Register online at http://www.disim.univaq.it/staf2015/staf-2015-registration/
before June 16th (Tuesday) at reduced, early bird registration rates!
Keynote Speakers
================
* Lionel Briand (University of Luxembourg, Luxembourg)
* Arend Rensink (University of Twente, The Netherlands)
* Sam Nicander (Saab Aeronautics, Sweden)
* Gerti Kappel (Vienna University of Technology, Austria)
* Einar Broch Johnsen (University of Oslo, Norway)
* Francesco Zappa Nardelli (INRIA, France)
* Fréedéric Jouault (ESEO, France)
Tutorial
========
* Carlo Alberto Furia (ETH Zurich, Switzerland): Testing, fixing, and
proving with contracts.
Main conferences
================
* ECMFA'15 - 11th European Conference on Modelling Foundations and Applications
https://www.uni-marburg.de/fb12/swt/ecmfa2015/
* ICGT'15 - 8th International Conference on Graph Transformation
http://btn1x4.inf.uni-bayreuth.de/icgt2015/
* ICMT'15 - 8th International Conference on Model Transformation
http://www.model-transformation.org/
* TAP'15 - 9th International Conference on Tests & Proofs
http://tap2015.in.tum.de/
Satellite events
================
* TTC'15 - 8th Transformation Tool Contest
http://www.transformation-tool-contest.eu/
* PS'15 - 1st Project Showcase
http://www.disim.univaq.it/staf2015/projects-showcase/
* DocSymp'15 - STAF 2015 Doctoral Symposium
http://www.disim.univaq.it/staf2015/doctoral-symposium/
* BigMDE-15 - Third Workshop on Scalable Model Driven Engineering
http://www.big-mde.eu/
* BX-15 - Fourth International Workshop on Bidirectional Transformations
http://bx-community.wikidot.com/bx2015:home
* GCM-15 - Sixth International Workshop on Graph Computation Models
http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html
* MORSE-15 - Second Workshop on Model-Driven Robot Software Engineering
http://swt4.informatik.uni-mannheim.de/morse2015/
* PAME-15 - First Workshop on Patterns in Model Engineering
http://www-ens.iro.umontreal.ca/~syriani/pame2015/
* VAO-15 - Third Workshop on View-Based, Aspect-Oriented and
Orthographic Software Modelling http://vao.ipd.kit.edu/vao_2015
* VOLT-15 - Fourth Workshop on the Verification Of Model Transformations
http://volt2015.big.tuwien.ac.at/
Tentative program of all events is available at: http://bit.ly/1GvC4MU
Venue
=====
STAF 2015 will be hosted by L'Aquila, the capital city of the Abruzzi
region in Italy. The city's construction was begun by Frederick II, Holy
Roman Emperor and King of Sicily, as a bulwark against the power of the
papacy. The name of Aquila means "Eagle" in Italian. Construction was
completed in 1254 under Frederick's son, Conrad IV of Germany.
Laid out within medieval walls upon a hillside in the middle of a narrow
valley; tall snow-capped mountains of the Gran Sasso massif flank the
town. A maze of narrow streets, lined with Baroque and Renaissance
buildings and churches, open onto elegant piazzas.
The surrounding area boasts Roman ruins (the important Roman city of
Amiternum), ancient monasteries, and numerous castles. The best-known of
these is Rocca Calascio (used in the 1980s as the location for the movie
Ladyhawke), which is the highest castle in Italy and one of the highest
in Europe. Also nearby are several ski resorts like Gran Sasso d'Italia,
the highest of the Apennines where in its valley the movie The Name of
the Rose was filmed in the end of the 1980s.
Earthquakes mark the history of L'Aquila. STAF 2015 is the first
remarkable scientific event in Computer Science after the earthquake
that occurred in 2009. It is a small, big step towards the grand
achievement of restoring some form of normality in this place and its
people.
The conferences will be held on Dipartimento di Scienze Umane of the
University of L'Aquila
ADDRESS: Viale Nizza, 14
67100 L'Aquila (Italy)
GOOGLE MAP: https://goo.gl/maps/ZGqQE
Contact
=======
For further inquiries, do not hesitate to contact the organization team
at stafconference2015@gmail.com
Alfonso Pierantonio
STAF 2015 General Chair
--
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
2015-06-09
[Caml-list] GCAI 2015 - Call for Papers
GCAI 2015: The First Global Conference on Artificial Intelligence
Tbilisi, Georgia, October 16-19, 2015
http://easychair.org/smart-program/GCAI2015/
First Call for Papers
GCAI 2015 will be held at Tbilisi State University, 16-19 October 2015.
The conference is organized jointly by LRG and Tbilisi State University.
SUBMISSION
Submissions in all areas of artifical intelligence are welcome. Submitted
papers must be original and not submitted simultaneously elsewhere. More
information can be found on the conference web pages. The submission page
is https://easychair.org/conferences/?conf=gcai2015 .
DATES
- Abstract registration: July 3, 2015
- Submission: July 10, 2015
- Notification: August 10, 2015
- Final version: August 25, 2015
- Early registration deadline: September 1, 2015
- Conference: October 16-19, 2015
PROGRAM COMMITTEE
The program committee contains 120 researchers from 34 countries. The
program chairs are
- Georg Gottlob (Oxford University)
- Geoff Sutcliffe (University of Miami)
- Andrei Voronkov (The University of Manchester)
PUBLICATION
The GCAI proceedings will be published by EasyChair in the Epic Series
in Computing. The volume will be open access and the authors will retain
copyrights.
--
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
Tbilisi, Georgia, October 16-19, 2015
http://easychair.org/smart-program/GCAI2015/
First Call for Papers
GCAI 2015 will be held at Tbilisi State University, 16-19 October 2015.
The conference is organized jointly by LRG and Tbilisi State University.
SUBMISSION
Submissions in all areas of artifical intelligence are welcome. Submitted
papers must be original and not submitted simultaneously elsewhere. More
information can be found on the conference web pages. The submission page
is https://easychair.org/conferences/?conf=gcai2015 .
DATES
- Abstract registration: July 3, 2015
- Submission: July 10, 2015
- Notification: August 10, 2015
- Final version: August 25, 2015
- Early registration deadline: September 1, 2015
- Conference: October 16-19, 2015
PROGRAM COMMITTEE
The program committee contains 120 researchers from 34 countries. The
program chairs are
- Georg Gottlob (Oxford University)
- Geoff Sutcliffe (University of Miami)
- Andrei Voronkov (The University of Manchester)
PUBLICATION
The GCAI proceedings will be published by EasyChair in the Epic Series
in Computing. The volume will be open access and the authors will retain
copyrights.
--
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
2015-06-05
[Caml-list] CADE-25 Call for Participation
25th International Conference on Automated Deduction (CADE-25)
Freie Universität Berlin, Germany, 1-7 August 2015
CALL FOR PARTICIPATION
----------------------
Registration, accommodation, and travel information for CADE-25 and all
the affiliated events can be found at the conference website at
http://www.cade-25.info.
The call for the Woody Bledsoe Student Travel Award is attached.
DATES
-----
1-3 August 2015: Workshops, Tutorials, Special Session, Competitions
4-7 August 2015: CADE main conference, Competitions
GENERAL INFORMATION
-------------------
CADE is the major forum for the presentation of research in all
aspects of automated deduction. The CADE-25 conference programme will
include invited talks, paper presentations, system descriptions,
workshops, tutorials, system competitions, a poster session, and a
special jubilee session on the past, present, and future of automated
deduction.
Invited speakers (CADE-25 jubilee session)
* Ursula Martin, University of Oxford
* Frank Pfenning, Carnegie Mellon University
* David Plaisted, University of North Carolina at Chapel Hill
* Andrei Voronkov, University of Manchester
Invited speakers (CADE-25 main conference)
* Ulrich Furbach, University of Koblenz, ECCAI invited talk
* Edward Zalta, Stanford University
* Michael Genesereth, Stanford University (joint with RuleML Symposium)
Numerous further invited presentations will be part of the CADE-25
workshop program. Reception and dinner speeches will be given by
Wolfgang Bibel and Jörg Siekmann.
SCIENTIFIC PROGRAM
-----------------
* 7 invited presentations (see above)
* 24 regular research papers
* 12 system descriptions
* 9 workshops and 1 poster event
* 6 tutorials
* 3 system competitions
* presentation of Herbrand Award to Andrei Voronkov
* presentation of Skolem Awards (for most influential CADE papers
from CADE-20, CADE-14, CADE-8, and CADE-0-1)
* presentation of best paper award to Vijay D'Silva and Caterina Urban
WORKSHOPS
----------
* Bridging: Bridging the gap between human and automated reasoning
* DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
* HOL4: HOL4 Workshop
* IWC: The 4th International Workshop on Confluence
* LFMTP: International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
* LOCAS: Low-level Code Analysis for Security
* PxTP: Workshop on Proof eXchange for Theorem Proving
* QUANTIFY: 2nd International Workshop on Quantification
* Vampire: The Vampire Workshop
TUTORIALS
---------
* Abella: Reasoning about Computational Systems using Abella
* Beluga: Programming proofs about formal systems
* CPROVER: From Programs to Logic: The CPROVER verification tools
* Isabelle: Isabelle Tutorial
* Lean: Lean Theorem Prover: a Tutorial
* Superposition: 25th Anniversary of Superposition: Status and Future
COMPETITIONS
------------
* CASC: The CADE ATP System Competition
* CoCo: The 4th Confluence Competition
* termCOMP: Termination Competition
POSTER EVENT
------------
* EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems
WOODY BLEDSOE STUDENT TRAVEL AWARDS AT CADE-25
----------------------------------------------
The Woody Bledsoe Student Travel Award was created to honor the memory
of Woody Bledsoe, for his contributions to mathematics, artificial
intelligence, and automated theorem proving, and for his dedication to
students. The award is intended to enable selected students to attend
the International Conference on Automated Deduction (CADE) or the
International Joint Conference on Automated Reasoning (IJCAR),
whichever is scheduled for the year, by covering part of their
expenses.
The winners of the CADE-25 Woody Bledsoe Student Award will be
partially reimbursed (e.g., between Euro 200 and Euro 750) for their
conference registration, transportation, and accommodation expenses.
Preference will be given to students who will play an active role in
the conference (including satellite workshops, competitions, tutorials
and poster events) and do not have alternative funding. However, also
students in other situations are very much encouraged to apply.
A nomination consists of a recommendation letter of up to 300 words
from the student's advisor. Nominations for CADE-25 should be sent by
e-mail to the chairs and conference organizers at
cade25@inf.fu-berlin.de.
Nominations must arrive no later than 21 June 2015. The winners will
be notified by 28 June 2015.
The awards will be presented at CADE-25; in case a winner does not
attend, the chairs may transfer the award to another nominee or give
no award.
--
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
Freie Universität Berlin, Germany, 1-7 August 2015
CALL FOR PARTICIPATION
----------------------
Registration, accommodation, and travel information for CADE-25 and all
the affiliated events can be found at the conference website at
http://www.cade-25.info.
The call for the Woody Bledsoe Student Travel Award is attached.
DATES
-----
1-3 August 2015: Workshops, Tutorials, Special Session, Competitions
4-7 August 2015: CADE main conference, Competitions
GENERAL INFORMATION
-------------------
CADE is the major forum for the presentation of research in all
aspects of automated deduction. The CADE-25 conference programme will
include invited talks, paper presentations, system descriptions,
workshops, tutorials, system competitions, a poster session, and a
special jubilee session on the past, present, and future of automated
deduction.
Invited speakers (CADE-25 jubilee session)
* Ursula Martin, University of Oxford
* Frank Pfenning, Carnegie Mellon University
* David Plaisted, University of North Carolina at Chapel Hill
* Andrei Voronkov, University of Manchester
Invited speakers (CADE-25 main conference)
* Ulrich Furbach, University of Koblenz, ECCAI invited talk
* Edward Zalta, Stanford University
* Michael Genesereth, Stanford University (joint with RuleML Symposium)
Numerous further invited presentations will be part of the CADE-25
workshop program. Reception and dinner speeches will be given by
Wolfgang Bibel and Jörg Siekmann.
SCIENTIFIC PROGRAM
-----------------
* 7 invited presentations (see above)
* 24 regular research papers
* 12 system descriptions
* 9 workshops and 1 poster event
* 6 tutorials
* 3 system competitions
* presentation of Herbrand Award to Andrei Voronkov
* presentation of Skolem Awards (for most influential CADE papers
from CADE-20, CADE-14, CADE-8, and CADE-0-1)
* presentation of best paper award to Vijay D'Silva and Caterina Urban
WORKSHOPS
----------
* Bridging: Bridging the gap between human and automated reasoning
* DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
* HOL4: HOL4 Workshop
* IWC: The 4th International Workshop on Confluence
* LFMTP: International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
* LOCAS: Low-level Code Analysis for Security
* PxTP: Workshop on Proof eXchange for Theorem Proving
* QUANTIFY: 2nd International Workshop on Quantification
* Vampire: The Vampire Workshop
TUTORIALS
---------
* Abella: Reasoning about Computational Systems using Abella
* Beluga: Programming proofs about formal systems
* CPROVER: From Programs to Logic: The CPROVER verification tools
* Isabelle: Isabelle Tutorial
* Lean: Lean Theorem Prover: a Tutorial
* Superposition: 25th Anniversary of Superposition: Status and Future
COMPETITIONS
------------
* CASC: The CADE ATP System Competition
* CoCo: The 4th Confluence Competition
* termCOMP: Termination Competition
POSTER EVENT
------------
* EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems
WOODY BLEDSOE STUDENT TRAVEL AWARDS AT CADE-25
----------------------------------------------
The Woody Bledsoe Student Travel Award was created to honor the memory
of Woody Bledsoe, for his contributions to mathematics, artificial
intelligence, and automated theorem proving, and for his dedication to
students. The award is intended to enable selected students to attend
the International Conference on Automated Deduction (CADE) or the
International Joint Conference on Automated Reasoning (IJCAR),
whichever is scheduled for the year, by covering part of their
expenses.
The winners of the CADE-25 Woody Bledsoe Student Award will be
partially reimbursed (e.g., between Euro 200 and Euro 750) for their
conference registration, transportation, and accommodation expenses.
Preference will be given to students who will play an active role in
the conference (including satellite workshops, competitions, tutorials
and poster events) and do not have alternative funding. However, also
students in other situations are very much encouraged to apply.
A nomination consists of a recommendation letter of up to 300 words
from the student's advisor. Nominations for CADE-25 should be sent by
e-mail to the chairs and conference organizers at
cade25@inf.fu-berlin.de.
Nominations must arrive no later than 21 June 2015. The winners will
be notified by 28 June 2015.
The awards will be presented at CADE-25; in case a winner does not
attend, the chairs may transfer the award to another nominee or give
no award.
--
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
2015-05-28
[Caml-list] ICECCS 2015 (Gold Coast): 2nd call for papers
[We apologize for multiple copies.]
============================================================
Call for Papers
ICECCS 2015
(The 20th International Conference on Engineering of
Complex Computer Systems)
December 9-12, 2015
Gold Coast, Australia
http://iceccs2015.monash.edu.au
============================================================
IMPORTANT DATES
---------------------------
* Abstract submission: June 7th, 2015
* Paper submission deadline: June 21st, 2015
* Notification of acceptance: September 6th, 2015
* Camera-ready material for publication: September 20th, 2015
* Checking for Production: September 30th, 2015
* Workshop proposal submission: July 5th, 2015
* Conference date: December 9th-12th, 2015
The twentieth International Conference on Engineering of Complex
Computer Systems (ICECCS 2015) will be held in the Gold Coast,
Australia, 9-12 December, 2015.
Complex computer systems are present in every aspect of human
activities, ranging from construction, communications, defense, finance,
health care, manufacturing and transportation. Complexity arises from
many factors, including the dynamic environments and scenarios these
systems operate in; demanding and sometimes conflicting requirements in
functionality, efficiency, scalability, security, dependability and
adaptability; as well as the large variation in development methodology,
programming languages and implementation details.
This twentieth edition of the ICECCS conference series aims to bring
together industrial, academic, and government experts, from a variety of
application domains and software disciplines, to discuss how the
disciplines' problems and solution techniques interact within the whole
system. Researchers, practitioners, tool developers and users, and
technology transfer experts are all welcome. The scope of interest
includes long-term research issues; near-term requirements and
challenges; established complex systems; emerging promising tools; and
retrospective and prospective reflections of research and development
into complex systems.
KEYNOTE SPEAKERS
---------------------------
* Colin Fidge Queensland University of Technology, Australia
* Mounir Mokhtari, CNRS & Institut Mines-Telecom, France
* Jun Sun, Singapore University of Technology and Design, Singapore
SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research results, case studies and tools. Papers are solicited in all
areas related to complex computer-based systems, including causes of
complexity and means of measuring, avoiding, controlling, or coping with
complexity. Topic areas include, but are not limited to:
* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Software architecture
* Big data management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Cyber-physical systems and Internet of Things (IoT)
* Tools and tool integration
* Past reflections and future outlooks
* Industrial case studies
SUBMISSION
---------------------------
Different types of contributions are sought, including novel research,
lessons learned, experience reports, and discussions of practical
problems faced by industry and user domains. The ultimate goal of the
conference is to build a rich and comprehensive conference program that
can fit the interests and needs of its attendees: practitioners,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.
FULL PAPERS
Full papers are divided into two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in the conference proceedings. Technical papers should
describe original research. Experience reports should describe practical
projects carried out in industry, and reflect on the lessons learned
from them.
SHORT PAPERS
Short paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of short papers will be
reviewed by program committee members, and accepted short papers will be
published in the conference proceedings.
PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style of
the 2-column IEEE Conference Publishing Services (CPS) Proceedings
Format. Papers should not exceed 10 pages for full papers and 4 pages
for short papers, including figures, references, and appendices. All
submissions should be in PDF format. Submissions not adhering to the
specified format and length may be rejected immediately, without review.
Detailed instructions on paper formatting and submission can be found on
the Submission page.
All submissions should be made through the Easychair Website:
https://easychair.org/conferences/?conf=iceccs20150.
SPECIAL ISSUE
A special issue for selected papers of ICECCS'15 is planned in the
journal "Innovations in Systems and Software Engineering"
(https://www.springer.com/computer/swe/journal/11334).
ORGANIZING COMMITTEES
---------------------------
General Chair
* Yang Liu, Nanyang Technological University, Singapore
Program Committee Chair
* Yuan-Fang Li, Monash University, Australia
Workshop Chair
* Ralf Huuck, NICTA , Australia
Doctoral Symposium Chairs
* Alwen Fernanto Tiu, Nanyang Technological University, Singapore
* Jun Pang, University of Luxembourg, Luxembourg
Registration Chair
* Yan Liu, National University of Singapore, Singapore
Publicity Chair
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
STEERING COMMITTEE
---------------------------
* Jin Song Dong, National University of Singapore, Singapore
* Mike Hinchey, University of Limerick, Ireland
* Xiaohong Li, Tianjin University, China
* Shaoying Liu, Hosei University, Japan
* Andrew Martin, University of Oxford
* Jing Sun, University of Auckland, New Zealand
PROGRAMME COMMITTEE
---------------------------
* Marc Aiguier (Ecole Centrale Paris)
* Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)
* Aldeida Aleti (Monash University)
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Cyrille Valentin Artho (AIST)
* Luciano Baresi (DEIB - Politecnico di Milano)
* Phil Brooke (Teesside University)
* Radu Calinescu (University of York)
* Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
* Kerstin Eder (University of Bristol, Department of Computer Science)
* Carlo A. Furia (ETH Zurich)
* Sebastien Gerard (CEA, LIST)
* Lindsay Groves (Victoria University of Wellington)
* John Grundy (Swinburne University of Technology)
* Esther Guerra (Universidad Autónoma de Madrid)
* Fei He (School of Software, Tsinghua University)
* Xu Jing (Institute of Machine Intelligence, Nankai University)
* Timo Kehrer (University of Siegen)
* Joseph Kiniry (Galois, Inc.)
* Daniel Kroening (Computer Science Department, University of Oxford)
* Ralf Lammel (Universitat Koblenz-Landau)
* Kung-Kiu Lau (The University of Manchester)
* Xiaohong Li (TianJin University)
* Yuan-Fang Li (Monash University)
* Didier Lime (Ecole Centrale de Nantes -- IRCCyN, France)
* Yang Liu (Nanyang Technology University, Singapore)
* David Lo (Singapore Management University)
* Gerald Luettgen (University of Bamberg)
* Tiziana Margaria (Lero)
* Alistair Mcewan (University of Leicester)
* Dominique Mery (Universite de Lorraine, LORIA)
* Paolo Nesi (University of Florence, DSI)
* Jun Pang (University of Luxembourg)
* Robert Pettit (The Aerospace Corporation)
* Christian Prehofer (LMU Munchen)
* Cesar Rodriguez (Universite Paris 13, Sorbonne Paris Cite, France)
* Bernhard Rumpe (RWTH Aachen University)
* Cristina Seceleanu (Malardalen University, Vasteras, SWEDEN)
* Volker Stolz (University of Oslo)
* Jun Sun (Singapore University of Technology and Design)
* Jing Sun (The University of Auckland)
* Kenji Taguchi (AIST)
* Dalila Tamzalit (LINA Laboratory, University of Nantes, France)
* Tian Huat Tan (National University of Singapore)
* Andre van Hoorn (University of Stuttgart)
* Tullio Vardanega (University of Padua)
* Hai H. Wang (University of Aston)
* Chao Wang (Virginia Tech)
* Heike Wehrheim (University of Paderborn)
* Yinxing Xin (Nanyang Technological University)
* Ling Yuan (Huzhong University of Science and Technology)
* Bechir Zalila (ReDCAD Laboratory, University of Sfax)
* Naijun Zhan (Lab. of Computer Science, Institute of Software, Chinese
Academy of Sciences)
* Steffen Zschaler (King's College London)
TO BE COMPLETED
--
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
============================================================
Call for Papers
ICECCS 2015
(The 20th International Conference on Engineering of
Complex Computer Systems)
December 9-12, 2015
Gold Coast, Australia
http://iceccs2015.monash.edu.au
============================================================
IMPORTANT DATES
---------------------------
* Abstract submission: June 7th, 2015
* Paper submission deadline: June 21st, 2015
* Notification of acceptance: September 6th, 2015
* Camera-ready material for publication: September 20th, 2015
* Checking for Production: September 30th, 2015
* Workshop proposal submission: July 5th, 2015
* Conference date: December 9th-12th, 2015
The twentieth International Conference on Engineering of Complex
Computer Systems (ICECCS 2015) will be held in the Gold Coast,
Australia, 9-12 December, 2015.
Complex computer systems are present in every aspect of human
activities, ranging from construction, communications, defense, finance,
health care, manufacturing and transportation. Complexity arises from
many factors, including the dynamic environments and scenarios these
systems operate in; demanding and sometimes conflicting requirements in
functionality, efficiency, scalability, security, dependability and
adaptability; as well as the large variation in development methodology,
programming languages and implementation details.
This twentieth edition of the ICECCS conference series aims to bring
together industrial, academic, and government experts, from a variety of
application domains and software disciplines, to discuss how the
disciplines' problems and solution techniques interact within the whole
system. Researchers, practitioners, tool developers and users, and
technology transfer experts are all welcome. The scope of interest
includes long-term research issues; near-term requirements and
challenges; established complex systems; emerging promising tools; and
retrospective and prospective reflections of research and development
into complex systems.
KEYNOTE SPEAKERS
---------------------------
* Colin Fidge Queensland University of Technology, Australia
* Mounir Mokhtari, CNRS & Institut Mines-Telecom, France
* Jun Sun, Singapore University of Technology and Design, Singapore
SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research results, case studies and tools. Papers are solicited in all
areas related to complex computer-based systems, including causes of
complexity and means of measuring, avoiding, controlling, or coping with
complexity. Topic areas include, but are not limited to:
* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Software architecture
* Big data management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Cyber-physical systems and Internet of Things (IoT)
* Tools and tool integration
* Past reflections and future outlooks
* Industrial case studies
SUBMISSION
---------------------------
Different types of contributions are sought, including novel research,
lessons learned, experience reports, and discussions of practical
problems faced by industry and user domains. The ultimate goal of the
conference is to build a rich and comprehensive conference program that
can fit the interests and needs of its attendees: practitioners,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.
FULL PAPERS
Full papers are divided into two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in the conference proceedings. Technical papers should
describe original research. Experience reports should describe practical
projects carried out in industry, and reflect on the lessons learned
from them.
SHORT PAPERS
Short paper submissions should specify in their abstract whether they
describe ongoing or PhD research. Both types of short papers will be
reviewed by program committee members, and accepted short papers will be
published in the conference proceedings.
PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style of
the 2-column IEEE Conference Publishing Services (CPS) Proceedings
Format. Papers should not exceed 10 pages for full papers and 4 pages
for short papers, including figures, references, and appendices. All
submissions should be in PDF format. Submissions not adhering to the
specified format and length may be rejected immediately, without review.
Detailed instructions on paper formatting and submission can be found on
the Submission page.
All submissions should be made through the Easychair Website:
https://easychair.org/conferences/?conf=iceccs20150.
SPECIAL ISSUE
A special issue for selected papers of ICECCS'15 is planned in the
journal "Innovations in Systems and Software Engineering"
(https://www.springer.com/computer/swe/journal/11334).
ORGANIZING COMMITTEES
---------------------------
General Chair
* Yang Liu, Nanyang Technological University, Singapore
Program Committee Chair
* Yuan-Fang Li, Monash University, Australia
Workshop Chair
* Ralf Huuck, NICTA , Australia
Doctoral Symposium Chairs
* Alwen Fernanto Tiu, Nanyang Technological University, Singapore
* Jun Pang, University of Luxembourg, Luxembourg
Registration Chair
* Yan Liu, National University of Singapore, Singapore
Publicity Chair
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
STEERING COMMITTEE
---------------------------
* Jin Song Dong, National University of Singapore, Singapore
* Mike Hinchey, University of Limerick, Ireland
* Xiaohong Li, Tianjin University, China
* Shaoying Liu, Hosei University, Japan
* Andrew Martin, University of Oxford
* Jing Sun, University of Auckland, New Zealand
PROGRAMME COMMITTEE
---------------------------
* Marc Aiguier (Ecole Centrale Paris)
* Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)
* Aldeida Aleti (Monash University)
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Cyrille Valentin Artho (AIST)
* Luciano Baresi (DEIB - Politecnico di Milano)
* Phil Brooke (Teesside University)
* Radu Calinescu (University of York)
* Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
* Kerstin Eder (University of Bristol, Department of Computer Science)
* Carlo A. Furia (ETH Zurich)
* Sebastien Gerard (CEA, LIST)
* Lindsay Groves (Victoria University of Wellington)
* John Grundy (Swinburne University of Technology)
* Esther Guerra (Universidad Autónoma de Madrid)
* Fei He (School of Software, Tsinghua University)
* Xu Jing (Institute of Machine Intelligence, Nankai University)
* Timo Kehrer (University of Siegen)
* Joseph Kiniry (Galois, Inc.)
* Daniel Kroening (Computer Science Department, University of Oxford)
* Ralf Lammel (Universitat Koblenz-Landau)
* Kung-Kiu Lau (The University of Manchester)
* Xiaohong Li (TianJin University)
* Yuan-Fang Li (Monash University)
* Didier Lime (Ecole Centrale de Nantes -- IRCCyN, France)
* Yang Liu (Nanyang Technology University, Singapore)
* David Lo (Singapore Management University)
* Gerald Luettgen (University of Bamberg)
* Tiziana Margaria (Lero)
* Alistair Mcewan (University of Leicester)
* Dominique Mery (Universite de Lorraine, LORIA)
* Paolo Nesi (University of Florence, DSI)
* Jun Pang (University of Luxembourg)
* Robert Pettit (The Aerospace Corporation)
* Christian Prehofer (LMU Munchen)
* Cesar Rodriguez (Universite Paris 13, Sorbonne Paris Cite, France)
* Bernhard Rumpe (RWTH Aachen University)
* Cristina Seceleanu (Malardalen University, Vasteras, SWEDEN)
* Volker Stolz (University of Oslo)
* Jun Sun (Singapore University of Technology and Design)
* Jing Sun (The University of Auckland)
* Kenji Taguchi (AIST)
* Dalila Tamzalit (LINA Laboratory, University of Nantes, France)
* Tian Huat Tan (National University of Singapore)
* Andre van Hoorn (University of Stuttgart)
* Tullio Vardanega (University of Padua)
* Hai H. Wang (University of Aston)
* Chao Wang (Virginia Tech)
* Heike Wehrheim (University of Paderborn)
* Yinxing Xin (Nanyang Technological University)
* Ling Yuan (Huzhong University of Science and Technology)
* Bechir Zalila (ReDCAD Laboratory, University of Sfax)
* Naijun Zhan (Lab. of Computer Science, Institute of Software, Chinese
Academy of Sciences)
* Steffen Zschaler (King's College London)
TO BE COMPLETED
--
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
2015-05-27
[Caml-list] APLAS 2015: Final Call for Papers
*********************************************************************
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
*********************************************************************
*IMPORTANT DATES*
Submission deadline: June 5, 2015
Author notification: August 17, 2015
Final version: September 7, 2015
Conference: November 30 - December 2, 2015
*INVITED SPEAKERS*
Peter O'Hearn, Facebook
Sukyoung Ryu, KAIST
Eran Yahav, Technion
Hongseok Yang, University of Oxford
*ABOUT*
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 Singapore ('14), 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 program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) 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.
b) 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://easychair.org/conferences/?conf=aplas2015> using EasyChair.
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.
*ORGANIZERS*
General Chair:
Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)
Program Chair:
Xinyu Feng (Univ. of Science and Technology of China, China)
Program Committee:
James Brotherston (Univ. College London, UK)
James Cheney (Univ. of Edinburgh, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Mike Dodds (Univ. of York, UK)
Xinyu Feng (Univ. of Science and Technology of China, China)
Nate Foster (Cornell Univ., USA)
Alexey Gotsman (IMDEA Software Institute, Spain)
Aquinas Hobor
(School of Computing, National Univ. of Singapore / Yale-NUS College)
Chung-Kil Hur (Seoul National Univ., Korea)
Radha Jagadeesan (DePaul Univ., USA)
Annie Liu (Stony Brook Univ., USA)
Andreas Lochbihler (ETH Zurich, Switzerland)
Santosh Nagarakatte (Rutgers Univ., USA)
David A. Naumann (Stevens Inst. of Tech., USA)
Michael Norrish (NICTA, Australia)
Hakjoo Oh (Korea Univ., Korea)
Murali Krishna Ramanathan (Indian Institute of Science, India)
Xavier Rival (CNRS / ENS / INRIA, France)
Kohei Suenaga (Kyoto Univ., Japan)
Gang Tan (Lehigh Univ., USA)
Alwen Tiu (Nanyang Technological University, Singapore)
Martin Vechev (ETH Zurich, Switzerland)
Bow-Yaw Wang (Academia Sinica, Taiwan)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Institute of Software, CAS, China)
[Caml-list] AVoCS 2015: Final Call for Papers
======================================================================
FINAL CALL FOR PAPERS
The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015@easychair.org
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Paper deadline: 12th June (with abstract due 5th June)
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
IMPORTANT DATES
Submission of abstract (full papers): 5th June 2015
Submission of full papers: 12th June 2015
Notification (full papers): 14th July 2015
Submission of research idea papers: 7th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015
INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)
SPONSORS
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)
BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
is to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for the
verification of critical systems.
SCOPE
The subject is to be interpreted broadly and inclusively. It covers
all aspects of automated verification, including model checking,
theorem proving, SAT/SMT constraint solving, abstract interpretation,
and refinement pertaining to various types of critical systems which
need to meet stringent dependability requirements (safety-critical,
business-critical, performance-critical, etc.). Contributions that
describe different techniques, or industrial case studies are encouraged.
The technical programme will consist of invited and contributed talks
and also allow for short presentations of research ideas. The workshop
will be relatively informal, with an emphasis on discussion where special
discussion sessions will be organised around the research ideas presentations.
Topics include (but are not limited to):
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.
STUDENT GRANTS
Thanks to sponsorships from FME and SICSA we can offer financial support for a
limited number of students registering for AVoCS in the form of a registration
fee waiver (full or partial). As this is limited, we ask the students that
would like to take the advantage of this support to submit a short application.
The details on how to apply will be available in due course from the AVoCS
webpage.
SUBMISSION DETAILS
Submissions of full papers to the workshop must not have been published
or be concurrently considered for publication elsewhere. All submissions
will be peer-reviewed and judged on the basis of originality, contribution
to the field, technical and presentation quality, and relevance to the
workshop. Submissions are handled via Easychair:
https://easychair.org/conferences/?conf=avocs2015
The papers must be written in English and not exceed 15 pages and should
use the dedicated AVoCS 2015 EASST template available rom the the
following link (for LaTeX and Word):
http://journal.ub.tu-berlin.de/eceasst
AVoCS also encourages the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. Research ideas must be written in English and not exceed
2 pages using the EASST template. The presentation of these ideas will be organised
around discussions, where the presenter should also prepare a set of question in
which the audience will discuss.
PROCEEDINGS
At the workshop, pre-proceedings will be available in the form of a Heriot-Watt
University Technical Report; this report will also include the research ideas.
After the workshop, the authors of accepted full papers will have about one
month in order to revise their papers for publication in the workshop post-
proceedings which will appear in the Electronic Communications of the EASST
Open Access Journal. Research ideas will not be part of the proceedings in the
Open Access Journal.
SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.
PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)
STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK
-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.
--
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
FINAL CALL FOR PAPERS
The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015@easychair.org
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Paper deadline: 12th June (with abstract due 5th June)
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Student support from FME/SICSA sponsorships
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
IMPORTANT DATES
Submission of abstract (full papers): 5th June 2015
Submission of full papers: 12th June 2015
Notification (full papers): 14th July 2015
Submission of research idea papers: 7th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015
INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)
SPONSORS
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)
BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
is to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for the
verification of critical systems.
SCOPE
The subject is to be interpreted broadly and inclusively. It covers
all aspects of automated verification, including model checking,
theorem proving, SAT/SMT constraint solving, abstract interpretation,
and refinement pertaining to various types of critical systems which
need to meet stringent dependability requirements (safety-critical,
business-critical, performance-critical, etc.). Contributions that
describe different techniques, or industrial case studies are encouraged.
The technical programme will consist of invited and contributed talks
and also allow for short presentations of research ideas. The workshop
will be relatively informal, with an emphasis on discussion where special
discussion sessions will be organised around the research ideas presentations.
Topics include (but are not limited to):
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.
STUDENT GRANTS
Thanks to sponsorships from FME and SICSA we can offer financial support for a
limited number of students registering for AVoCS in the form of a registration
fee waiver (full or partial). As this is limited, we ask the students that
would like to take the advantage of this support to submit a short application.
The details on how to apply will be available in due course from the AVoCS
webpage.
SUBMISSION DETAILS
Submissions of full papers to the workshop must not have been published
or be concurrently considered for publication elsewhere. All submissions
will be peer-reviewed and judged on the basis of originality, contribution
to the field, technical and presentation quality, and relevance to the
workshop. Submissions are handled via Easychair:
https://easychair.org/conferences/?conf=avocs2015
The papers must be written in English and not exceed 15 pages and should
use the dedicated AVoCS 2015 EASST template available rom the the
following link (for LaTeX and Word):
http://journal.ub.tu-berlin.de/eceasst
AVoCS also encourages the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. Research ideas must be written in English and not exceed
2 pages using the EASST template. The presentation of these ideas will be organised
around discussions, where the presenter should also prepare a set of question in
which the audience will discuss.
PROCEEDINGS
At the workshop, pre-proceedings will be available in the form of a Heriot-Watt
University Technical Report; this report will also include the research ideas.
After the workshop, the authors of accepted full papers will have about one
month in order to revise their papers for publication in the workshop post-
proceedings which will appear in the Electronic Communications of the EASST
Open Access Journal. Research ideas will not be part of the proceedings in the
Open Access Journal.
SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.
PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)
STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK
-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.
--
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
Subscribe to:
Posts (Atom)