---------------------------------
2ND C A L L F O R P A P E R S
---------------------------------
======== TFP 2014 ===========
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome
*** Submission for TFP 2014 is now open: please direct your browser to
*** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission
The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional
programming,
taking a broad view of current and future trends in the area. It aspires to
be a lively environment for presenting the latest research results, and
other
contributions (see below), described in draft papers submitted prior to the
symposium. A formal post-symposium refereeing process then selects a subset
of the articles presented at the symposium and submitted for formal
publication.
Selected revised papers will be published as a Springer Lecture Notes in
Computer Science (LNCS) volume.
TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/
The TFP symposium is the heir of the successful series of Scottish
Functional
Programming Workshops. Previous TFP symposia were held in
Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004,
in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006,
in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008,
in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid
(Spain) in
2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013.
For further general information about TFP please see the TFP homepage.
INVITED SPEAKERS
TFP is pleased to announce talks by the following two invited speakers:
John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time
between
his professorship and Quviq, a company that performs property-based
testing of
software with a tool implemented in Erlang.
Dr. Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge,
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.
SCOPE
The symposium recognizes that new trends may arise through various routes.
As part of the Symposium's focus on trends we therefore identify the
following five article categories. High-quality articles are solicited
in any
of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not submitted for simultaneous publication to
any other forum. They may consider any aspect of functional programming:
theoretical, implementation-oriented, or more experience-oriented.
Applications of functional programming techniques to other languages are
also within the scope of the symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Using functional techniques to reason about
imperative/object-oriented programs
Debugging for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2014 program chair, Jurriaan Hage at J.Hage@uu.nl.
BEST PAPER AWARDS
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper
is mainly the work of students, the students are listed as first authors,
and a student would present the paper. A prize for the best student paper
is awarded each year.
In both cases, it is the PC of TFP that awards the prize.
In case the best paper happens to be a student paper, that paper will then
receive both prizes.
SPONSORS
TFP is financially supported by NWO (Netherlands Organisation for
Scientific
Research), Well-Typed and Erlang Solutions.
PAPER SUBMISSIONS
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages in
length) or full papers (16 pages). The submission must clearly indicate
which category it belongs to: research, position, project, evaluation,
or overview paper. It should also indicate whether the main author or
authors are research students. In the case of a FULL STUDENT paper, the
draft paper will receive additional feedback by one of the PC members
shortly
after the symposium has taken place.
We use EasyChair for the refereeing process.
IMPORTANT DATES
Submission of draft papers: March 17, 2014
Notification: March 24, 2014
Registration: April 7, 2014
TFP Symposium: May 26-28, 2014
Student papers feedback: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance: September 8th, 2014
Camera ready paper: October 8th, 2014
PROGRAM COMMITTEE
Peter Achten Radboud University Nijmegen
Emil Axelsson Chalmers
Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto
Laura Castro University of A Coruna
Frank Huch Christian-Albrechts-University of Kiel
Matthew Fluet Rochester Institute of Technology
Jurriaan Hage (chair) University of Utrecht
Yukiyoshi Kameyama University of Tsukuba
Andrew Kennedy Microsoft Research
Tamas Kozsik Eotvos Lorand University
Ben Lippmeier University of New South Wales
Luc Maranget INRIA
Jay McCarthy (co-chair) Brigham Young University
Marco T. Morazan Seton Hall University
Ricardo Pena Universidad Complutense de Madrid
Alexey Rodriguez LiquidM
Sven-Bodo Scholz Heriot-Watt University
Manuel Serrano INRIA Sophia Antipolis
Simon Thompson University of Kent
Tarmo Uustalu Inst of Cybernetics
David Van Horn University of Maryland
Janis Voigtlaender University of Bonn
--
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
2014-01-28
[Caml-list] SynCoP 2014: Final call for papers / Call for informal presentations
[We apologize for multiple copies.]
====================================================================
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: February 3rd, 2014 (extended)
Full papers: February 3rd, 2014 (extended)
Notification: February 27th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* parametric logics, decidability and complexity issues,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata, parametric Markov
decision processes,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
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 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INFORMAL PRESENTATIONS
=================
Informal presentations are presentations of ongoing work, or work
already published somewhere. It does not require to be mature nor original.
Submission will be made in the form of a one-page abstract in the EPTCS
format submitted by email to syncop2014@easychair.org.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
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
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: February 3rd, 2014 (extended)
Full papers: February 3rd, 2014 (extended)
Notification: February 27th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* parametric logics, decidability and complexity issues,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata, parametric Markov
decision processes,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
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 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INFORMAL PRESENTATIONS
=================
Informal presentations are presentations of ongoing work, or work
already published somewhere. It does not require to be mature nor original.
Submission will be made in the form of a one-page abstract in the EPTCS
format submitted by email to syncop2014@easychair.org.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
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
2014-01-27
[Caml-list] 1st Call for Papers: 2nd French Singaporean Workshop in Formal Methods and Applications
====================================================================
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
--
----------------------------------------------------------------------
Laure Petrucci laure.petrucci@lipn.univ-paris13.fr
Director of LIPN, CNRS UMR 7030
Institut Galilée - Université Paris XIII
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
--
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
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
--
----------------------------------------------------------------------
Laure Petrucci laure.petrucci@lipn.univ-paris13.fr
Director of LIPN, CNRS UMR 7030
Institut Galilée - Université Paris XIII
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
--
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
2014-01-22
[Caml-list] 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 2, 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)
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)
<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 -- 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 2, 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)
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)
<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
2014-01-19
[Caml-list] ICTAI 2014: First Call for Papers
| *** FIRST CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 (pending IEEE approval) November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: June 30, 2014 Paper notification: July 30, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy |
| -------------------------------------------------------------------- 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. |
2014-01-13
[Caml-list] IJCAR 2014 - Deadline Extended and Final Call for Papers
(( Apologies for multiple copies ))
** FINAL CALL FOR PAPERS **
- Note deadline extension -
IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning
Vienna, Austria, July 19-22, 2014
http://cs.nyu.edu/ijcar2014/
as part of FLoC 2014 - Federated Logic Conference
http://www.floc-conference.org/
as part of VSL 2014 - Vienna Summer of Logic
http://vsl2014.at/
Call for Papers
---------------
IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical program will consist
of presentations of high-quality original research papers,
system descriptions, and invited talks.
IJCAR 2014 is a merger of leading events in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR 2014 invites submissions related to all aspects of automated
reasoning, including foundations, implementations, and applications.
Original research papers and descriptions of working automated deduction
systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution,
model-elimination, inverse method, paramodulation, term rewriting,
induction, unification, constraint solving, decision procedures,
model generation, model checking, semantic guidance, interactive
theorem proving, logical frameworks, AI-related methods for
deductive systems, proof presentation, automated theorem provers,
etc.
- Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation, etc.
The proceedings of IJCAR 2014 will be published by Springer-Verlag in
the LNAI/LNCS series.
Submission details:
Submission is electronic, through
https://www.easychair.org/conferences/?conf=ijcar14
Authors are strongly encouraged to use LaTeX and the Springer "llncs"
format, which can be obtained from
http://www.springer.de/comp/lncs/authors.html
The page limit is 15 pages for full papers, and 7 pages for system
descriptions.
Best paper award:
IJCAR 2014 will offer a best paper award to recognize the most outstanding
paper appearing at the conference.
Invited speakers:
Ken McMillan (Microsoft Research)
Rajeev Goré (Australian National University)
Other speakers during the second week of the Vienna Summer for Logic,
but affiliated with other events, include (in alphabetical order)
Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman,
Christos Papadimitriou, and Alex Wilkie.
Program co-chairs:
Stéphane Demri (New York University & CNRS)
Deepak Kapur (University of New Mexico, USA)
Christoph Weidenbach (MPI-INF Saarbrücken, Germany)
Conference co-chairs:
Christian Fermueller (TU Vienna, Austria)
Stefan Hetzl (TU Vienna, Austria)
Publicity chair:
Morgan Deters (New York University)
Workshop chair:
Matthias Horbach (MPI-INF Saarbrücken, Germany)
Important dates: [updated]
Abstract submission deadline: January 22, 2014 [updated]
Paper submission deadline: January 29, 2014 [updated]
Notification of paper decisions: April 7, 2014 [updated]
Final version of papers due: April 26, 2014 [updated]
Conference dates: July 19-22, 2014
Student travel awards:
Travel awards will be available to enable selected students to attend the
conference. Details will be announced in March 2014.
Program Committee:
Franz Baader (TU Dresden, Germany)
Peter Baumgartner (NICTA Canberra, Australia)
Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
Jasmin Blanchette (Technische Universität München, Germany)
Bernard Boigelot (University of Liege, Belgium)
Maria Paola Bonacina (Università degli Studi di Verona, Italy)
Agata Ciabattoni (TU Vienna, Austria)
Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
Leonardo de Moura (Microsoft Research)
Stéphanie Delaune (LSV, CNRS, Cachan, France)
Stéphane Demri (New York University & CNRS)
Stephan Falke (Karlsruhe Institute of Technology, Germany)
Christian Fermueller (TU Vienna, Austria)
Pascal Fontaine (LORIA, University of Nancy, France)
Silvio Ghilardi (University of Milano, Italy)
Juergen Giesl (RWTH Aachen University, Germany)
Valentin Goranko (TU Denmark, Copenhagen)
Radu Iosif (VERIMAG, Grenoble, France)
Deepak Kapur (University of New Mexico, USA)
Boris Konev (University of Liverpool, UK)
Konstantin Korovin (The University of Manchester, UK)
Daniel Kroening (Oxford University, UK)
Viktor Kuncak (EPFL Lausanne, Switzerland)
Martin Lange (University of Kassel, Germany)
Stephan Merz (LORIA, INRIA Lorraine, France)
Aart Middeldorp (University of Innsbruck, Austria)
Enric RodrÃguez-Carbonell (TU Catalonia, Spain)
Renate Schmidt (The University of Manchester, UK)
Carsten Schürmann (IT University of Copenhagen, Denmark)
Roberto Sebastiani (University of Trento, Italy)
Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)
Geoff Sutcliffe (University of Miami, USA)
Cesare Tinelli (The University of Iowa, USA)
Uwe Waldmann (MPI-INF, Saarbrücken, Germany)
Christoph Weidenbach (MPI-INF, Saarbrücken, Germany)
Jian Zhang (Chinese Academy of Sciences, P.R. China)
--
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 **
- Note deadline extension -
IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning
Vienna, Austria, July 19-22, 2014
http://cs.nyu.edu/ijcar2014/
as part of FLoC 2014 - Federated Logic Conference
http://www.floc-conference.org/
as part of VSL 2014 - Vienna Summer of Logic
http://vsl2014.at/
Call for Papers
---------------
IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical program will consist
of presentations of high-quality original research papers,
system descriptions, and invited talks.
IJCAR 2014 is a merger of leading events in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR 2014 invites submissions related to all aspects of automated
reasoning, including foundations, implementations, and applications.
Original research papers and descriptions of working automated deduction
systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution,
model-elimination, inverse method, paramodulation, term rewriting,
induction, unification, constraint solving, decision procedures,
model generation, model checking, semantic guidance, interactive
theorem proving, logical frameworks, AI-related methods for
deductive systems, proof presentation, automated theorem provers,
etc.
- Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation, etc.
The proceedings of IJCAR 2014 will be published by Springer-Verlag in
the LNAI/LNCS series.
Submission details:
Submission is electronic, through
https://www.easychair.org/conferences/?conf=ijcar14
Authors are strongly encouraged to use LaTeX and the Springer "llncs"
format, which can be obtained from
http://www.springer.de/comp/lncs/authors.html
The page limit is 15 pages for full papers, and 7 pages for system
descriptions.
Best paper award:
IJCAR 2014 will offer a best paper award to recognize the most outstanding
paper appearing at the conference.
Invited speakers:
Ken McMillan (Microsoft Research)
Rajeev Goré (Australian National University)
Other speakers during the second week of the Vienna Summer for Logic,
but affiliated with other events, include (in alphabetical order)
Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman,
Christos Papadimitriou, and Alex Wilkie.
Program co-chairs:
Stéphane Demri (New York University & CNRS)
Deepak Kapur (University of New Mexico, USA)
Christoph Weidenbach (MPI-INF Saarbrücken, Germany)
Conference co-chairs:
Christian Fermueller (TU Vienna, Austria)
Stefan Hetzl (TU Vienna, Austria)
Publicity chair:
Morgan Deters (New York University)
Workshop chair:
Matthias Horbach (MPI-INF Saarbrücken, Germany)
Important dates: [updated]
Abstract submission deadline: January 22, 2014 [updated]
Paper submission deadline: January 29, 2014 [updated]
Notification of paper decisions: April 7, 2014 [updated]
Final version of papers due: April 26, 2014 [updated]
Conference dates: July 19-22, 2014
Student travel awards:
Travel awards will be available to enable selected students to attend the
conference. Details will be announced in March 2014.
Program Committee:
Franz Baader (TU Dresden, Germany)
Peter Baumgartner (NICTA Canberra, Australia)
Bernhard Beckert (Karlsruhe Institute of Technology, Germany)
Jasmin Blanchette (Technische Universität München, Germany)
Bernard Boigelot (University of Liege, Belgium)
Maria Paola Bonacina (Università degli Studi di Verona, Italy)
Agata Ciabattoni (TU Vienna, Austria)
Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
Leonardo de Moura (Microsoft Research)
Stéphanie Delaune (LSV, CNRS, Cachan, France)
Stéphane Demri (New York University & CNRS)
Stephan Falke (Karlsruhe Institute of Technology, Germany)
Christian Fermueller (TU Vienna, Austria)
Pascal Fontaine (LORIA, University of Nancy, France)
Silvio Ghilardi (University of Milano, Italy)
Juergen Giesl (RWTH Aachen University, Germany)
Valentin Goranko (TU Denmark, Copenhagen)
Radu Iosif (VERIMAG, Grenoble, France)
Deepak Kapur (University of New Mexico, USA)
Boris Konev (University of Liverpool, UK)
Konstantin Korovin (The University of Manchester, UK)
Daniel Kroening (Oxford University, UK)
Viktor Kuncak (EPFL Lausanne, Switzerland)
Martin Lange (University of Kassel, Germany)
Stephan Merz (LORIA, INRIA Lorraine, France)
Aart Middeldorp (University of Innsbruck, Austria)
Enric RodrÃguez-Carbonell (TU Catalonia, Spain)
Renate Schmidt (The University of Manchester, UK)
Carsten Schürmann (IT University of Copenhagen, Denmark)
Roberto Sebastiani (University of Trento, Italy)
Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)
Geoff Sutcliffe (University of Miami, USA)
Cesare Tinelli (The University of Iowa, USA)
Uwe Waldmann (MPI-INF, Saarbrücken, Germany)
Christoph Weidenbach (MPI-INF, Saarbrücken, Germany)
Jian Zhang (Chinese Academy of Sciences, P.R. China)
--
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
2014-01-12
[Caml-list] KICSS 2014: Preliminary Call for Papers
| *** PRELIMINARY CALL FOR PAPERS *** 9th INTERNATIONAL CONFERENCE ON KNOWLEDGE, INFORMATION AND CREATIVITY SUPPORT SYSTEMS (KICSS 2014) Elias Beach Hotel, Limassol, Cyprus 6-8 November, 2014 http://kicss2014.cs.ucy.ac.cy/ (Proceedings will be published by Springer) Following the tradition of previous conferences on Knowledge, Information and Creativity Support Systems, KICSS 2014 will cover all aspects of knowledge management, knowledge engineering, intelligent information systems, and creativity in an information technology context, including computational creativity and its cognitive and collaborative aspects. Papers reporting original unpublished research results on theoretical foundations, IT implementations of decision support and expert systems, as well as case studies of successful applications of the above- mentioned ideas in various fields are equally solicited. The list of conference topics includes but is not limited to: Anticipatory networks, systems, and decisions Autonomous creative systems Cognitive foundations of knowledge Cognitive and psychological issues in creativity research Cognitive foundations of knowledge Collaborative activities in Living Labs Collaborative idea generation and creativity Collaborative knowledge creation Collaborative working environments fostering creativity Complex system modelling Computer supported creativity Creative approaches to model technological evolution Creative business models Creative conflict resolution Creative coordination and cooperation mechanisms Creative decision processes Creative interaction techniques Creative model building Creative reasoning and decision making Creative research environments and their performance Creative social computing Creative visualisation of data and knowledge Creativity in finance Creativity in augmented reality Creativity in health care Creativity in mobile applications Creativity in social media Creativity in the Cloud Creativity measurement Creativity support systems Creativity transfer and stimulation Creativity vs. rationality Creativity-enhancing interfaces Creativity-oriented information system architectures Decision sciences Decision support systems (DSS) Discovering opportunities, threats and challenges Foresight support systems (FSS) Future Internet and knowledge-based society Future exploration and modelling Future perspectives of knowledge, information, and creativity support Game-theoretical aspects of knowledge General creative systems (GCS) Group recommendation, and advise Heuristics and general problem solving Identifying real options in complex business environments Information fusion Information quality Intelligent analysis of Big Data Knowledge extraction, creation, and acquisition Knowledge in multi-agent systems Knowledge integration Knowledge management in business, industry, and administration Knowledge representation and reasoning Knowledge verification and validation Living Lab support systems (LLSS) Machine learning and creativity Malicious creativity in the web, its discovery and remedy Mathematical models of creative processes Multi- and interdisciplinary approaches in creativity research Multicriteria decision making Natural language analysis Non-monotonic reasoning Ontology creation and management Open innovation Organizational learning Preference modelling Reasoning about knowledge Recommender systems Scientific information management Search for a compromise in multicriteria decision making and collaborative games Social Computing Social factors of collaborative creativity Software-based stimulation of creativity Supervised and semi-supervised learning Trust modeling Uncertainty modelling Virtual environment design Visual Analytics and Intelligent User Interfaces Web intelligence tools World models Important Dates Paper Submission Deadline: June 20, 2014 Notification of Acceptance: August 8, 2014 Camera-Ready Version Due: September 8, 2014 Research-in-Progress Report Submission Deadline: September 5, 2014 Research-in-Progress Reports Author Notification Due: September 12, 2014 Research-in-Progress Reports Camera-Ready Versions Due: September 19, 2014 Submission Regular papers on all conference topics should be formatted according to the Springer CS Proceedings (LNCS) format and should not exceed 12 pages. Short and industrial/demo papers as well as research-in-progress reports should not exceed 6 pages according to the above format. Up to 2 additional pages may be allowed at extra charge. The KICSS 2014 papers can be submitted via Easychair. Submissions that overlap substantially with any other papers printed, submitted, or accepted for publication or presentation elsewhere are not allowed. Special session proposals may be submitted by email to the KICSS Organizing Committee. Although there is no formal template for such a proposal, the proposers should nevertheless specify the title of the session, describe briefly its essential content and relation to the conference topics, and specify the expected number of contributions, and titles, if already known. Proceedings The KICSS 2014 (Post-) Proceedings will be published in the Springer Series: Advances in Intelligent Systems and Computing, ISSN 2194-5357, indexed by ISI Proceedings, SCOPUS, Zentralblatt Math, Ulrich's, EI-Compendex, DBLP, MetaPress, Springerlink, see more here. The Post-Proceedings will contain all the revised regular papers and - following an extension - a selection of research-in-progress reports as well as short and demo papers. The authors of the selected best papers presented at the conference will be invited to submit the revised and extended versions of their contributions to special issues of high-rank scientific journals. |
| -------------------------------------------------------------------- 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. |
2014-01-11
[Caml-list] CiE 2014: Language, Life, Limits - extended deadline
FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
EXTENDED Submission Deadline for LNCS: 20 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta
Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
We particularly invite papers that build bridges between different parts
of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
--
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
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
EXTENDED Submission Deadline for LNCS: 20 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta
Delgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
We particularly invite papers that build bridges between different parts
of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as
bioinformatics and natural computation, where they have a basic connection
with computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
--
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
| *** Industry Day - Final Call for Papers *** 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 7th, 2014 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. |
2014-01-10
[Caml-list] MEDI 2014: First Call for Papers
| *** FIRST 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 a recognized international journals (under discussion). 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 TBA 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. |
2014-01-09
[Caml-list] SFM-14:ESM first 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
* *
* 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] Final call for papers: SynCoP 2014 (ETAPS workshop)
Only a few days before the abstract submission deadline.
====================================================================
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: January 13th, 2014
Full papers: January 20th, 2014
Notification: February 20th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
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 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
(to be completed)
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
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
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: January 13th, 2014
Full papers: January 20th, 2014
Notification: February 20th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
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 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
(to be completed)
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
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
2014-01-08
[Caml-list] ICFP 2014: Call for papers
=====================================================================
19th ACM SIGPLAN International Conference on Functional Programming
ICFP 2014
Gothenburg, Sweden, 1-3 September 2014
http://www.icfpconference.org/icfp2014
=====================================================================
Important Dates
~~~~~~~~~~~~~~~
Submissions due: Saturday, 1 March 2014, 23:59 UTC-11
(anywhere in the world)
Author response: Wednesday, 23 April, 2014
Friday, 25 April, 2014
Notification: Monday, 5 May, 2014
Final copy due: Wednesday, 11 June, 2014
Scope
~~~~~
ICFP 2014 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):
* Language Design: concurrency and distribution; modules; components
and composition; metaprogramming; interoperability; type systems;
relations to imperative, object-oriented, or logic programming
* Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; memory
management; multi-threading; exploiting parallel hardware; interfaces
to foreign functions, services, components, or low-level machine
resources
* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling
* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types
* Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation
* Applications and Domain-Specific Languages: symbolic computing;
formal-methods tools; artificial intelligence; systems programming;
distributed-systems and web programming; hardware design; databases;
XML processing; scientific and numerical computing; graphical user
interfaces; multimedia programming; scripting; system
administration; security
* Education: teaching introductory programming; parallel programming;
mathematical proof; algebra
* Functional Pearls: elegant, instructive, and fun essays on
functional programming
* Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working
If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.
Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* By Saturday, 1 March 2014, 23:59 UTC-11 (anywhere in the world),
submit a full paper of at most 12 pages (6 pages for an Experience
Report), including bibliography and figures.
The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.
* Authors have the option to attach supplementary material to a submission,
on the understanding that reviewers may choose not to look at it.
* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at
http://www.sigplan.org/Resources/Policies/Republication
* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.
Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should
explain its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.
Proceedings will be published by ACM Press. Authors of accepted
submissions are expected to transfer the copyright to the ACM.
Presentations will be videotaped and released online if the presenter
consents. The proceedings will be freely available for download from
the ACM Digital Library from one week before the start of the
conference until two weeks after the conference.
Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Submission: Submissions will be accepted on the web at
https://www.easychair.org/conferences/?conf=icfp2014 . Improved
versions of a paper may be submitted at any point before the
submission deadline using the same web interface.
Author response: Authors will have a 72-hour period, starting at 0:00
UTC-11 on Wednesday, 23 April 2014, to read reviews and respond to them.
ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit
http://www.acm.org/publications/acm-author-izer-service to learn how
to create your links for fee downloads from the ACM DL.
General Chair:
Johan Jeuring, Utrecht University
Program Chair:
Manuel Chakravarty, University of New South Wales
Program Committee:
Edwin Brady, University of St Andrews
Derek Dreyer, Max Planck Institute for Software Systems
Ralf Hinze, University of Oxford
Zhenjiang Hu, National Institute of Informatics
Patricia Johann, Appalachian State University
Ken Larsen, University of Copenhagen
Yukiyoshi Kameyama, University of Tsukuba
Anil Madhavapeddy, University of Cambridge
Geoffrey Mainland, Drexel University
David Mazières, Stanford University
Jay McCarthy, Brigham Young University
Matthew Might, University of Utah
Ulf Norell, Chalmers University of Technology
Tiark Rompf, Swiss Federal Institute of Technology in Lausanne
Chung-chieh Shan, Indiana University
Mary Sheeran, Chalmers University of Technology
Matt Sottile, Galois
Don Syme, Microsoft Research
Jesse Tov, Harvard 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
19th ACM SIGPLAN International Conference on Functional Programming
ICFP 2014
Gothenburg, Sweden, 1-3 September 2014
http://www.icfpconference.org/icfp2014
=====================================================================
Important Dates
~~~~~~~~~~~~~~~
Submissions due: Saturday, 1 March 2014, 23:59 UTC-11
(anywhere in the world)
Author response: Wednesday, 23 April, 2014
Friday, 25 April, 2014
Notification: Monday, 5 May, 2014
Final copy due: Wednesday, 11 June, 2014
Scope
~~~~~
ICFP 2014 seeks original papers on the art and science of functional
programming. Submissions are invited on all topics from principles to
practice, from foundations to features, and from abstraction to
application. The scope includes all languages that encourage
functional programming, including both purely applicative and
imperative languages, as well as languages with objects, concurrency,
or parallelism. Topics of interest include (but are not limited to):
* Language Design: concurrency and distribution; modules; components
and composition; metaprogramming; interoperability; type systems;
relations to imperative, object-oriented, or logic programming
* Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; memory
management; multi-threading; exploiting parallel hardware; interfaces
to foreign functions, services, components, or low-level machine
resources
* Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling
* Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types
* Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation
* Applications and Domain-Specific Languages: symbolic computing;
formal-methods tools; artificial intelligence; systems programming;
distributed-systems and web programming; hardware design; databases;
XML processing; scientific and numerical computing; graphical user
interfaces; multimedia programming; scripting; system
administration; security
* Education: teaching introductory programming; parallel programming;
mathematical proof; algebra
* Functional Pearls: elegant, instructive, and fun essays on
functional programming
* Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working
If you are concerned about the appropriateness of some topic, do not
hesitate to contact the program chair.
Abbreviated instructions for authors
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* By Saturday, 1 March 2014, 23:59 UTC-11 (anywhere in the world),
submit a full paper of at most 12 pages (6 pages for an Experience
Report), including bibliography and figures.
The deadlines will be strictly enforced and papers exceeding the page
limits will be summarily rejected.
* Authors have the option to attach supplementary material to a submission,
on the understanding that reviewers may choose not to look at it.
* Each submission must adhere to SIGPLAN's republication policy, as
explained on the web at
http://www.sigplan.org/Resources/Policies/Republication
* Authors of resubmitted (but previously rejected) papers have the
option to attach an annotated copy of the reviews of their previous
submission(s), explaining how they have addressed these previous
reviews in the present submission. If a reviewer identifies
him/herself as a reviewer of this previous submission and wishes to
see how his/her comments have been addressed, the program chair will
communicate to this reviewer the annotated copy of his/her previous
review. Otherwise, no reviewer will read the annotated copies of
the previous reviews.
Overall, a submission will be evaluated according to its relevance,
correctness, significance, originality, and clarity. It should
explain its contributions in both general and technical terms, clearly
identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience. Functional Pearls
and Experience Reports are separate categories of papers that need not
report original research results and must be marked as such at the
time of submission. Detailed guidelines on both categories are on the
conference web site.
Proceedings will be published by ACM Press. Authors of accepted
submissions are expected to transfer the copyright to the ACM.
Presentations will be videotaped and released online if the presenter
consents. The proceedings will be freely available for download from
the ACM Digital Library from one week before the start of the
conference until two weeks after the conference.
Formatting: Submissions must be in PDF format printable in black and
white on US Letter sized paper and interpretable by
Ghostscript. Papers must adhere to the standard ACM conference format:
two columns, nine-point font on a ten-point baseline, with columns
20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). A suitable document template for LaTeX is available:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Submission: Submissions will be accepted on the web at
https://www.easychair.org/conferences/?conf=icfp2014 . Improved
versions of a paper may be submitted at any point before the
submission deadline using the same web interface.
Author response: Authors will have a 72-hour period, starting at 0:00
UTC-11 on Wednesday, 23 April 2014, to read reviews and respond to them.
ACM Author-Izer is a unique service that enables ACM authors to
generate and post links on either their home page or institutional
repository for visitors to download the definitive version of their
articles from the ACM Digital Library at no charge. Downloads through
Author-Izer links are captured in official ACM statistics, improving
the accuracy of usage and impact measurements. Consistently linking
the definitive version of ACM article should reduce user confusion
over article versioning. After your article has been published and
assigned to your ACM Author Profile page, please visit
http://www.acm.org/publications/acm-author-izer-service to learn how
to create your links for fee downloads from the ACM DL.
General Chair:
Johan Jeuring, Utrecht University
Program Chair:
Manuel Chakravarty, University of New South Wales
Program Committee:
Edwin Brady, University of St Andrews
Derek Dreyer, Max Planck Institute for Software Systems
Ralf Hinze, University of Oxford
Zhenjiang Hu, National Institute of Informatics
Patricia Johann, Appalachian State University
Ken Larsen, University of Copenhagen
Yukiyoshi Kameyama, University of Tsukuba
Anil Madhavapeddy, University of Cambridge
Geoffrey Mainland, Drexel University
David Mazières, Stanford University
Jay McCarthy, Brigham Young University
Matthew Might, University of Utah
Ulf Norell, Chalmers University of Technology
Tiark Rompf, Swiss Federal Institute of Technology in Lausanne
Chung-chieh Shan, Indiana University
Mary Sheeran, Chalmers University of Technology
Matt Sottile, Galois
Don Syme, Microsoft Research
Jesse Tov, Harvard 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
2014-01-03
[Caml-list] CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014 - 3rd CfP
Subject: CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
3rd CALL FOR PAPERS:
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in Europe),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world. Previous
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007),
Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011),
Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus
on relations between computational linguistics, natural and biological
computing, and more traditional fields of computability theory. This is to
be understood in its broadest sense including computational aspects of
problems in linguistics, studying models of computation and algorithms
inspired by physical and biological approaches as well as exhibiting limits
(and non-limits) of computability when considering different models of
computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new computational
paradigms in their corresponding frameworks both with respect to practical
applications and a deeper theoretical understanding. We particularly invite
papers that build bridges between different parts of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as bioinformatics
and natural computation, where they have a basic connection with
computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the PROGRAM
COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in PDF
format, max 10 pages using the LNCS style) for presentation at CiE 2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
--
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
3rd CALL FOR PAPERS:
CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
IMPORTANT DATES:
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
FUNDING and AWARDS:
CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.
The best student paper will receive an award sponsored by Springer.
CiE 2014 is the tenth conference organized by CiE (Computability in Europe),
a European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in new developments in
computability and their underlying significance for the real world. Previous
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007),
Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011),
Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus
on relations between computational linguistics, natural and biological
computing, and more traditional fields of computability theory. This is to
be understood in its broadest sense including computational aspects of
problems in linguistics, studying models of computation and algorithms
inspired by physical and biological approaches as well as exhibiting limits
(and non-limits) of computability when considering different models of
computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new computational
paradigms in their corresponding frameworks both with respect to practical
applications and a deeper theoretical understanding. We particularly invite
papers that build bridges between different parts of the research community.
For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as bioinformatics
and natural computation, where they have a basic connection with
computability.
TUTORIAL SPEAKERS:
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
INVITED SPEAKERS:
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)
SPECIAL SESSIONS:
History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)
Contributed papers will be selected from submissions received by the PROGRAM
COMMITTEE consisting of:
* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in PDF
format, max 10 pages using the LNCS style) for presentation at CiE 2014.
The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.
For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu
Website: http://cie2014.inf.elte.hu/
__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________
--
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)