Early registration deadline 12 March 2017!
******************************************************************
CALL FOR PARTICIPATION
20th European Joint Conferences on Theory And Practice of Software
ETAPS 2017
Uppsala, Sweden, 22-29 April 2017
http://www.etaps.org/2017
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.
-- MAIN CONFERENCES (24-28 April) --
* ESOP: European Symposium on Programming
(PC chair Hongseok Yang, University of Oxford, UK)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Marieke Huisman, Universiteit Twente, The
Netherlands, and Julia Rubin, University of British Columbia,
Canada)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Javier Esparza, Technische Universität München,
Germany, Andrzej Murawski, University of Warwick, UK)
* POST: Principles of Security and Trust
(PC chairs Matteo Maffei, Universität des Saarlandes, Germany,
Mark D. Ryan, University of Birmingham, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Axel Legay, INRIA Rennes, France,
and Tiziana Margaria, LERO, Ireland)
TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Michael Ernst (University of Washington, USA)
Kim G. Larsen (Aalborg University, DK)
* FoSSaCS invited speaker:
Joel Ouaknine (University of Oxford, UK)
* TACAS invited speaker:
Dino Distefano (Facebook and Queen Mary University of London, UK)
-- UNIFYING PUBLIC LECTURE
Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France)
-- INVITED TUTORIALS
Véronique Cortier (LORIA, CRNS, France)
Kenneth McMillan (Microsoft Research Redmond, USA)
-- CONTRIBUTED PAPERS, PROGRAMME --
See the accepted paper lists and conference programme
at the conference website.
-- SATELLITE EVENTS (22-23 April, 29 April) --
16 satellite workshops and other events will take place before or
after ETAPS 2017.
DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April)
FESCA, SNR (22 April)
HotSpot, QAPL, SannellaFest (23 April)
BX, CREST, LiVe, MARS, PLACES, VPT (29 April)
-- REGISTRATION --
Early registration is until Sunday, 12 March 2017 (23:59 GMT+1).
http://www.etaps.org/2017/registration
-- ACCOMMODATION --
The organizers have negotiated special rates from several hotels in
Uppsala.
To benefit from those, follow the instructions on the conference
website. The offers expire on different dates.
-- HOST CITY --
Uppsala city holds a rich history, having for long periods been the
political, religious and academic centre of Sweden. Uppsala
University is over 500 years old and ranked among the top 100 in the
World and has hosted many great scientists over the years, for
instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The
proximity to the capital of Sweden, Stockholm, provides additional
benefits as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.
-- HOST INSTITUTION --
ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.
-- ORGANIZERS
Parosh Abdulla (General chair), Mohamed Faouzi Atig,
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas,
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu
--
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
2017-02-27
[Caml-list] ECOOP/PLDI 2017 in Barcelona / Call for Student Participation
ECOOP/PLDI 2017 in Barcelona / Call for Student Participation
http://conf.researchr.org/home/pldi-ecoop-2017
Interested in hearing the latest about Scala, Perl, Clojure, Rust,
Swift, JavaScript, and many many other languages and systems?
Curious about new ideas such as gradual types, JIT compilers for dynamic
languages, differential privacy or deep learning?
Always wanted to talk about computer science face to face with senior
researchers and practitioners? Let's come to share, challenge and
complement your views!
Join us in Barcelona from Sunday 18 to Friday 23 June 2017
The ECOOP/PLDI conferences offers support to students and professionals
interested in attending.
To apply: application form
# Bachelor, Master, and early Doctoral Students
The ECOOP Summer School provides an easy introduction to the world of
research in programming languages.
No background is required other than an interest in languages
technologies.
Info: http://2017.ecoop.org/track/ecoop-2017-Summer-School
# Doctoral Students
The Doctoral Symposium is designed to provide a forum for PhD students
at any stage in their research to present their topic and get detailed
feedback and advice. The main objectives of this event are:
to allow PhD students to practise writing clearly and to communicate and
present their research effectively
to receive constructive feedback from other researchers and peers
to offer opportunities to form research collaborations
to contribute to the conference goals through interaction with other
researchers at the main conference
Info: http://2017.ecoop.org/track/ecoop-2017-Doctoral-Symposium
# All Students
Register to be Student Volunteers, help with the organization of the
conference, get a free registration and a ticket for one of the
banquets.
This year PLDI and ECOOP are co-located. Student Volunteers can attend
events from both conferences and might be working for either. Preference
can be stated in the application form.
Info: http://2017.ecoop.org/track/ecoop-2017-Student-Volunteers#About
--
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
http://conf.researchr.org/home/pldi-ecoop-2017
Interested in hearing the latest about Scala, Perl, Clojure, Rust,
Swift, JavaScript, and many many other languages and systems?
Curious about new ideas such as gradual types, JIT compilers for dynamic
languages, differential privacy or deep learning?
Always wanted to talk about computer science face to face with senior
researchers and practitioners? Let's come to share, challenge and
complement your views!
Join us in Barcelona from Sunday 18 to Friday 23 June 2017
The ECOOP/PLDI conferences offers support to students and professionals
interested in attending.
To apply: application form
# Bachelor, Master, and early Doctoral Students
The ECOOP Summer School provides an easy introduction to the world of
research in programming languages.
No background is required other than an interest in languages
technologies.
Info: http://2017.ecoop.org/track/ecoop-2017-Summer-School
# Doctoral Students
The Doctoral Symposium is designed to provide a forum for PhD students
at any stage in their research to present their topic and get detailed
feedback and advice. The main objectives of this event are:
to allow PhD students to practise writing clearly and to communicate and
present their research effectively
to receive constructive feedback from other researchers and peers
to offer opportunities to form research collaborations
to contribute to the conference goals through interaction with other
researchers at the main conference
Info: http://2017.ecoop.org/track/ecoop-2017-Doctoral-Symposium
# All Students
Register to be Student Volunteers, help with the organization of the
conference, get a free registration and a ticket for one of the
banquets.
This year PLDI and ECOOP are co-located. Student Volunteers can attend
events from both conferences and might be working for either. Preference
can be stated in the application form.
Info: http://2017.ecoop.org/track/ecoop-2017-Student-Volunteers#About
--
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
2017-02-23
[Caml-list] Trends in Functional Programming in Education ITFPIE) 2017, call for papers
TFPIE 2017
Trends in Functional Programming in Education, 2017
The sixth workshop on Trends in Functional Programming in Education, 2017, which is to be held on the Canterbury campus of the University of Kent on Thursday, 22 June, following the 2017 TFP meeting on 19–21 June. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), and Sophia-Antipolis, France (2015), College Park, USA (2016).
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2017 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).
Call for papers
TFPIE 2017 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:
- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures – more details below
In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.
Submission
Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website.
Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2017
After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.
Programme committee
Dr Laura Castro, University of A Coruña
Prof Ralf Lämmel, University of Koblenz-Landau
Dr Elena Machkasova, University of Minnesota, Morris
Prof Michel Mauny, Inria, Paris
Dr Jeremy Singer, University of Glasgow
Prof Simon Thompson, University of Kent (chair)
Important dates
Submissions of draft papers: 10 May, 2017
Notification: 17 May, 2017
Registration: 11 June, 2017
Workshop: 22 June 2017
Submission for formal review: 18 August, 2017
Notification of acceptance: 6 October, 2017
Camera ready paper: 3 November, 2017
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
--
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
Trends in Functional Programming in Education, 2017
The sixth workshop on Trends in Functional Programming in Education, 2017, which is to be held on the Canterbury campus of the University of Kent on Thursday, 22 June, following the 2017 TFP meeting on 19–21 June. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), and Sophia-Antipolis, France (2015), College Park, USA (2016).
The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2017 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).
Call for papers
TFPIE 2017 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:
- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures – more details below
In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.
Submission
Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website.
Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2017
After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.
Programme committee
Dr Laura Castro, University of A Coruña
Prof Ralf Lämmel, University of Koblenz-Landau
Dr Elena Machkasova, University of Minnesota, Morris
Prof Michel Mauny, Inria, Paris
Dr Jeremy Singer, University of Glasgow
Prof Simon Thompson, University of Kent (chair)
Important dates
Submissions of draft papers: 10 May, 2017
Notification: 17 May, 2017
Registration: 11 June, 2017
Workshop: 22 June 2017
Submission for formal review: 18 August, 2017
Notification of acceptance: 6 October, 2017
Camera ready paper: 3 November, 2017
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
--
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
2017-02-17
[Caml-list] VSTTE 2017 - First Call for Papers
9th Working Conference on Verified Software:
Theories, Tools, and Experiments (VSTTE)
https://vstte17.lri.fr
July 22-23, 2017, Heidelberg, Germany
Co-located with the 29th International Conference
on Computer-Aided Verification, CAV 2017
Important Dates
* Abstract submission: Mon, Apr 24, 2017
* Full paper submission: Mon, May 1, 2017
* Notification: Mon, Jun 5, 2017
* VSTTE: Sat-Sun, Jul 22-23, 2017
* Camera-ready: Mon, Aug 21, 2017
Overview
The goal of the VSTTE conference series is to advance the state of the
art in the science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.
We welcome submissions describing significant advances in the production
of verified software, i.e., software that has been proved to meet its
functional specifications. Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those
that focus on specific problems or problem domains. We are especially
interested in submissions describing large-scale verification efforts
that involve collaboration, theory unification, tool integration, and
formalized domain knowledge. We also welcome papers describing novel
experiments and case studies evaluating verification techniques and
technologies.
Topics of interest for VSTTE include education, requirements modeling,
specification languages, specification/verification/certification case
studies, formal calculi, software design methods, automatic code generation,
refinement methodologies, compositional analysis, verification tools
(e.g., static analysis, dynamic analysis, model checking, theorem proving,
satisfiability), tool integration, benchmarks, challenge problems, and
integrated verification environments.
Paper Submissions
We accept both long (limited to 16 pages) and short (limited to 10 pages)
paper submissions. Short submissions also cover Verification Pearls
describing an elegant proof or proof technique. Submitted research papers
and system descriptions must be original and not submitted for publication
elsewhere. Each submission will be evaluated by at least three members of
the Program Committee. We expect that one author of every accepted paper
will present their work at the conference.
Paper submissions must be written in English using the LNCS LaTeX format
(http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must include a cogent and self-contained description of the ideas,
methods, results, and comparison to existing work.
Papers will be submitted via EasyChair at the VSTTE 2017 conference page
(https://www.easychair.org/conferences/?conf=vstte2017). The post-conference
proceedings of VSTTE 2017 will be published in the LNCS series. Authors
of accepted papers will be requested to sign the copyright transfer form.
A selection of best papers will be invited for publication in the Journal
of Automated Reasoning.
Program Committee
* June Andronick (University of New South Wales, Australia)
* Christel Baier (TU Dresden, Germany)
* Sandrine Blazy (Université de Rennes 1, France)
* Arthur Charguéraud (Inria, France)
* Ernie Cohen (Amazon Web Services, USA)
* Rayna Dimitrova (MPI-SWS, Germany)
* Carlo A. Furia (Chalmers University of Technology, Sweden)
* Arie Gurfinkel (University of Waterloo, Canada)
* Hossein Hojjat (Rochester Institute of Technology, USA)
* Marieke Huisman (University of Twente, Netherlands)
* Bart Jacobs (KU Leuven, Belgium)
* Rajeev Joshi (NASA Jet Propulsion Laboratory, USA)
* Zachary Kincaid (Princeton University, USA)
* Akash Lal (Microsoft Research, India)
* Shuvendu Lahiri (Microsoft Research, USA)
* Francesco Logozzo (Facebook, USA)
* Peter Müller (ETH Zürich, Switzerland)
* Jorge A. Navas (SRI International, USA)
* Scott Owens (University of Kent, UK)
* Andrei Paskevich (Université Paris-Sud, France), co-chair
* Gerhard Schellhorn (Universität Augsburg, Germany)
* Peter Schrammel (University of Sussex, UK)
* Natarajan Shankar (SRI International, USA)
* Mihaela Sighireanu (Université Paris-Diderot, France)
* Julien Signoles (CEA LIST, France)
* Michael Tautschnig (Queen Mary University of London, UK)
* Tachio Terauchi (JAIST, Japan)
* Oksana Tkachuk (NASA Ames Research Center, USA)
* Mattias Ulbrich (Karlsruhe Institute of Technology, Germany)
* Thomas Wies (New York University, USA), co-chair
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Theories, Tools, and Experiments (VSTTE)
https://vstte17.lri.fr
July 22-23, 2017, Heidelberg, Germany
Co-located with the 29th International Conference
on Computer-Aided Verification, CAV 2017
Important Dates
* Abstract submission: Mon, Apr 24, 2017
* Full paper submission: Mon, May 1, 2017
* Notification: Mon, Jun 5, 2017
* VSTTE: Sat-Sun, Jul 22-23, 2017
* Camera-ready: Mon, Aug 21, 2017
Overview
The goal of the VSTTE conference series is to advance the state of the
art in the science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.
We welcome submissions describing significant advances in the production
of verified software, i.e., software that has been proved to meet its
functional specifications. Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those
that focus on specific problems or problem domains. We are especially
interested in submissions describing large-scale verification efforts
that involve collaboration, theory unification, tool integration, and
formalized domain knowledge. We also welcome papers describing novel
experiments and case studies evaluating verification techniques and
technologies.
Topics of interest for VSTTE include education, requirements modeling,
specification languages, specification/verification/certification case
studies, formal calculi, software design methods, automatic code generation,
refinement methodologies, compositional analysis, verification tools
(e.g., static analysis, dynamic analysis, model checking, theorem proving,
satisfiability), tool integration, benchmarks, challenge problems, and
integrated verification environments.
Paper Submissions
We accept both long (limited to 16 pages) and short (limited to 10 pages)
paper submissions. Short submissions also cover Verification Pearls
describing an elegant proof or proof technique. Submitted research papers
and system descriptions must be original and not submitted for publication
elsewhere. Each submission will be evaluated by at least three members of
the Program Committee. We expect that one author of every accepted paper
will present their work at the conference.
Paper submissions must be written in English using the LNCS LaTeX format
(http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must include a cogent and self-contained description of the ideas,
methods, results, and comparison to existing work.
Papers will be submitted via EasyChair at the VSTTE 2017 conference page
(https://www.easychair.org/conferences/?conf=vstte2017). The post-conference
proceedings of VSTTE 2017 will be published in the LNCS series. Authors
of accepted papers will be requested to sign the copyright transfer form.
A selection of best papers will be invited for publication in the Journal
of Automated Reasoning.
Program Committee
* June Andronick (University of New South Wales, Australia)
* Christel Baier (TU Dresden, Germany)
* Sandrine Blazy (Université de Rennes 1, France)
* Arthur Charguéraud (Inria, France)
* Ernie Cohen (Amazon Web Services, USA)
* Rayna Dimitrova (MPI-SWS, Germany)
* Carlo A. Furia (Chalmers University of Technology, Sweden)
* Arie Gurfinkel (University of Waterloo, Canada)
* Hossein Hojjat (Rochester Institute of Technology, USA)
* Marieke Huisman (University of Twente, Netherlands)
* Bart Jacobs (KU Leuven, Belgium)
* Rajeev Joshi (NASA Jet Propulsion Laboratory, USA)
* Zachary Kincaid (Princeton University, USA)
* Akash Lal (Microsoft Research, India)
* Shuvendu Lahiri (Microsoft Research, USA)
* Francesco Logozzo (Facebook, USA)
* Peter Müller (ETH Zürich, Switzerland)
* Jorge A. Navas (SRI International, USA)
* Scott Owens (University of Kent, UK)
* Andrei Paskevich (Université Paris-Sud, France), co-chair
* Gerhard Schellhorn (Universität Augsburg, Germany)
* Peter Schrammel (University of Sussex, UK)
* Natarajan Shankar (SRI International, USA)
* Mihaela Sighireanu (Université Paris-Diderot, France)
* Julien Signoles (CEA LIST, France)
* Michael Tautschnig (Queen Mary University of London, UK)
* Tachio Terauchi (JAIST, Japan)
* Oksana Tkachuk (NASA Ames Research Center, USA)
* Mattias Ulbrich (Karlsruhe Institute of Technology, Germany)
* Thomas Wies (New York University, USA), co-chair
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2017-02-15
[Caml-list] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
-----------------------------
C A L L F O R P A P E R S
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
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). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
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;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== 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 simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
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
Debugging and profiling 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 2017 program chairs, Scott Owens and Meng Wang.
== 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 ==
TBD
== 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 (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
TBD
--
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
C A L L F O R P A P E R S
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
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). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
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;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== 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 simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
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
Debugging and profiling 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 2017 program chairs, Scott Owens and Meng Wang.
== 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 ==
TBD
== 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 (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
TBD
--
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
2017-02-07
[Caml-list] ARCADE Call for Papers
(Apologies for multiple copies. Please redistribute)
****************************************************************
*** CALL FOR PAPERS ***
ARCADE http://www.cs.man.ac.uk/~regerg/arcade/
Automated Reasoning:
Challenges, Applications, Directions, Exemplary achievements
6 August 2017, Gothenburg, Sweden (co-located with CADE-26)
DESCRIPTION:
The main goal of this workshop is to bring together key people
from various subcommunities of automated reasoning---such as
SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for
description logic, arithmetic, set theory), interactive theorem
proving---to discuss the present, past, and future of the field.
The intention is to provide an opportunity to discuss broad
issues facing the community.
The structure of the workshop will be informal. We invite
extended abstracts (2-4 pages, using the EasyChair class style
http://www.easychair.org/publications/for_authors) in the form
of non-technical position statements aimed at prompting lively
discussion. The title of the workshop is indicative of the kind
of discussions we would like to encourage:
Challenges: What are the next grand challenges for research on
automated reasoning? Thereby, we refer to problems, solving
which would imply a significant impact (e.g., shift of focus) on
the CADE community and beyond. Roughly ten years ago SMT was one
such challenge.
Applications: Is automated reasoning applicable in real-world
(industrial) scenarios? Should reports on such applications be
encouraged at a venue like CADE, perhaps by means of a special
case study paper category?
Directions: Based on the grand challenges and requirements from
real-world applications, what are the research directions the
community should promote? What bridges between the different
subcommunities of automated reasoning need to be strengthened?
What new communities should be included (if at all)? For
example, following Reiner Hähnle's question in the AAR
Newsletter, is there a place at CADE for research on usable
automated reasoning (in resemblance to the flourishing topic of
usable security)?
Exemplary achievements: What are the landmark achievements of
automated reasoning whose influence reached far beyond the CADE
community itself? What can we learn from those successes when
shaping our future research?
Contributions will be grouped into similar themes and authors
will be invited to make their case within discussion panels.
Authors will then be invited to extend their abstracts (e.g., by
transcripts of the discussion and a summary of the discussion's
outcomes) for inclusion in an EPiC post-proceedings.
IMPORTANT DATES (Anywhere on Earth):
Submission deadline: 12 May 2017
Notification: 23 June 2017
Workshop: 6 August 2017
Post-proceedings deadline: 29 September 2017
PROGRAM COMMITTEE:
Franz Baader, TU Dresden
Christoph Benzmüller, Freie Universität Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjørner, Microsoft Research
Jasmin Christian Blanchette, Inria Nancy & Loria
Maria Paola Bonacina, Universite degli Studi di Verona
Pascal Fontaine, Loria, Inria, University of Lorraine
Silvio Ghilardi, Universite degli Studi di Milano
Martin Giese, University of Oslo
Jürgen Giesl, RWTH Aachen
Alberto Griggio, FBK-IRST
Reiner Hähnle, TU Darmstadt
Marijn Heule, The University of Texas at Austin
Laura Kovács, Vienna University of Technology
Aart Middeldorp, University of Innsbruck
Neil Murray, SUNY at Albany
David Plaisted, University of North Carolina at Chapel Hill
Andrei Popescu, Middlesex University London
Giles Reger, University of Manchester (co-chair)
Renate Schmidt, The University of Manchester
Stephan Schulz, DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Dmitriy Traytel, ETH Zürich (co-chair)
Andrei Voronkov, The University of Manchester
Christoph Weidenbach, Max Planck Institute for Informatics
--
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 ***
ARCADE http://www.cs.man.ac.uk/~regerg/arcade/
Automated Reasoning:
Challenges, Applications, Directions, Exemplary achievements
6 August 2017, Gothenburg, Sweden (co-located with CADE-26)
DESCRIPTION:
The main goal of this workshop is to bring together key people
from various subcommunities of automated reasoning---such as
SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for
description logic, arithmetic, set theory), interactive theorem
proving---to discuss the present, past, and future of the field.
The intention is to provide an opportunity to discuss broad
issues facing the community.
The structure of the workshop will be informal. We invite
extended abstracts (2-4 pages, using the EasyChair class style
http://www.easychair.org/publications/for_authors) in the form
of non-technical position statements aimed at prompting lively
discussion. The title of the workshop is indicative of the kind
of discussions we would like to encourage:
Challenges: What are the next grand challenges for research on
automated reasoning? Thereby, we refer to problems, solving
which would imply a significant impact (e.g., shift of focus) on
the CADE community and beyond. Roughly ten years ago SMT was one
such challenge.
Applications: Is automated reasoning applicable in real-world
(industrial) scenarios? Should reports on such applications be
encouraged at a venue like CADE, perhaps by means of a special
case study paper category?
Directions: Based on the grand challenges and requirements from
real-world applications, what are the research directions the
community should promote? What bridges between the different
subcommunities of automated reasoning need to be strengthened?
What new communities should be included (if at all)? For
example, following Reiner Hähnle's question in the AAR
Newsletter, is there a place at CADE for research on usable
automated reasoning (in resemblance to the flourishing topic of
usable security)?
Exemplary achievements: What are the landmark achievements of
automated reasoning whose influence reached far beyond the CADE
community itself? What can we learn from those successes when
shaping our future research?
Contributions will be grouped into similar themes and authors
will be invited to make their case within discussion panels.
Authors will then be invited to extend their abstracts (e.g., by
transcripts of the discussion and a summary of the discussion's
outcomes) for inclusion in an EPiC post-proceedings.
IMPORTANT DATES (Anywhere on Earth):
Submission deadline: 12 May 2017
Notification: 23 June 2017
Workshop: 6 August 2017
Post-proceedings deadline: 29 September 2017
PROGRAM COMMITTEE:
Franz Baader, TU Dresden
Christoph Benzmüller, Freie Universität Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjørner, Microsoft Research
Jasmin Christian Blanchette, Inria Nancy & Loria
Maria Paola Bonacina, Universite degli Studi di Verona
Pascal Fontaine, Loria, Inria, University of Lorraine
Silvio Ghilardi, Universite degli Studi di Milano
Martin Giese, University of Oslo
Jürgen Giesl, RWTH Aachen
Alberto Griggio, FBK-IRST
Reiner Hähnle, TU Darmstadt
Marijn Heule, The University of Texas at Austin
Laura Kovács, Vienna University of Technology
Aart Middeldorp, University of Innsbruck
Neil Murray, SUNY at Albany
David Plaisted, University of North Carolina at Chapel Hill
Andrei Popescu, Middlesex University London
Giles Reger, University of Manchester (co-chair)
Renate Schmidt, The University of Manchester
Stephan Schulz, DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Dmitriy Traytel, ETH Zürich (co-chair)
Andrei Voronkov, The University of Manchester
Christoph Weidenbach, Max Planck Institute for Informatics
--
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
2017-02-06
[Caml-list] LSFA'17: First Call for Papers
(Apologies for multiple copies of this announcement)
==============================================================
CALL FOR PAPERS
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in Brasília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).
TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
* Automated deduction
* Applications of logical and/or semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and/or semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2017
The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English.
* Submission: 21 June 2017
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 23-24 September 2017
According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br).
INVITED SPEAKERS
* TBA
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* Mauricio Ayala-Rincon, Universidade de Brasilia
* Veronica Becher, Universidad de Buenos Aires
* Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
* Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, University of Groningen and CWI, Amsterdam
* Petrucio Viana, Universidade Federal Fluminense
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
* Camilo Rocha, Pontificia Universidad Javeriana Cali
* Simona Ronchi Della Rocca, Universita' di Torino
* Alvaro Tasistro, Universidad ORT Uruguay
* Christian Urban, King's College London
ORGANISING COMMITTEE
* Flávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org
* http://lsfa2017.cic.unb.br/
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sandra
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.br/~renata/
--------------------------------------------------------
--
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
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in Brasília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).
TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
* Automated deduction
* Applications of logical and/or semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and/or semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2017
The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English.
* Submission: 21 June 2017
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 23-24 September 2017
According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br).
INVITED SPEAKERS
* TBA
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* Mauricio Ayala-Rincon, Universidade de Brasilia
* Veronica Becher, Universidad de Buenos Aires
* Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
* Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, University of Groningen and CWI, Amsterdam
* Petrucio Viana, Universidade Federal Fluminense
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
* Camilo Rocha, Pontificia Universidad Javeriana Cali
* Simona Ronchi Della Rocca, Universita' di Torino
* Alvaro Tasistro, Universidad ORT Uruguay
* Christian Urban, King's College London
ORGANISING COMMITTEE
* Flávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org
* http://lsfa2017.cic.unb.br/
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sandra
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.br/~renata/
--------------------------------------------------------
--
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] FSCD'17 Call for Papers
(Apologies for multiple copies of this announcement)
==============================================================
CALL FOR PAPERS
Second International Conference on
Formal Structures for Computation and Deduction (FSCD'17)
3 -- 6 September 2017, Oxford, UK (co-located with ICFP 2017)
http://www.cs.ox.ac.uk/conferences/fscd2017/
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing or homotopy
type theory.
==========================================================================
IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE) and are firm;
late submissions will not be considered.
Abstract Deadline: 7 April 2017
Submission Deadline: 14 April 2017
Rebuttal: 29--31 May 2017
Notification: 14 June 2017
Camera-Ready: 7 July 2017
==========================================================================
Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
systems * Proof theory * Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems * Induction and
coinduction * Matching, unification, completion, and orderings *
Strategies * Tree automata * Model checking * Proof search and
theorem proving * Constraint solving and decision procedures
3. Semantics: Operational semantics * Abstract machines * Game
Semantics * Domain theory and categorical models * Quantitative
models
4. Algorithmic Analysis and Transformations of Formal Systems: Type
Inference and type checking * Abstract Interpretation * Complexity
analysis and implicit computational complexity * Checking
termination, confluence, derivational complexity and related
properties * Symbolic computation
5. Tools and Applications: Programming and proof environments *
Verification tools * Libraries for proof assistants and interactive
theorem provers * Case studies in proof assistants and interactive
theorem provers * Certification
PUBLICATION The proceedings will be published as an electronic volume
in the Leibniz International Proceedings in Informatics (LIPIcs) of
Schloss Dagstuhl. All LIPIcs proceedings are open access.
SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 10 pages and must
describe a working system which has not been published or submitted
elsewhere. Submissions must be formatted using the LIPIcs style files
and submitted via EasyChair. Complete instructions on submitting a
paper can be found on the conference web site.
SPECIAL ISSUES Full versions of several accepted papers, to be
selected by the program committee, will be invited for submission to a
special issue of Logical Methods in Computer Science.
BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will
consider declaring this award to a paper in which all authors are
junior researchers: a junior researcher is a person who is either a
student or whose PhD award date is less than three years from the
first day of the meeting.
PROGRAM COMMITTEE CHAIR
Dale Miller, Inria Saclay & LIX <fscd17@easychair.org>
PROGRAM COMMITTEE
Andreas Abel, Gothenburg Univ.
Elvira Albert, Complutense Madrid
Maria Alpuente, TU Valencia
Takahito Aoto, Niigata Univ.
Zena Ariola, Univ. Oregon
Federico Aschieri, TU Wien
Stefano Berardi, Univ. Turin
Lars Birkedal, Aarhus Univ.
Filippo Bonchi, CNRS, ENS Lyon
Pierre Clairambault, CNRS, ENS Lyon
Ugo Dal Lago, Univ. Bologna
Herman Geuvers, Radboud Univ.
Silvia Ghilezan, Univ. Novi Sad
Juergen Giesl, RWTH Aachen
Hugo Herbelin, Inria Paris
Jan Hoffmann, Carnegie Mellon
Deepak Kapur, Univ. New Mexico
Paul Blain Levy, Univ. Birmingham
Paulo Oliva, QMUL, London
Vincent van Oostrom, Univ. Innsbruck
Daniela Petrisan, LIAFA, Paris
Femke van Raamsdonk, VU Univ. Amsterdam
Grigore Rosu, Univ. Illinois
Albert Rubio, UPC-BarcelonaTech
Paula Severi, Univ. Leicester
Bas Spitters, Aarhus Univ.
Aaron Stump, Univ. Iowa
Kazushige Terui, Kyoto Univ.
Rene Thiemann, Univ. Innsbruck
Sophie Tison, Lille Univ.
CONFERENCE CHAIR
Sam Staton, Univ. of Oxford
WORKSHOP CHAIR
Jamie Vicary, Univ. of Oxford
PUBLICITY CHAIR
Sandra Alves, Univ. of Porto
FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves (Univ. Porto),
G. Dowek, (Inria), S. Escobar (Univ. Politecnica de Valencia), M. Fernandez (King's College London),
H. Herbelin (Inria), D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair, Univ. Oxford),
B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck).
==============================================================
CALL FOR PAPERS
Second International Conference on
Formal Structures for Computation and Deduction (FSCD'17)
3 -- 6 September 2017, Oxford, UK (co-located with ICFP 2017)
http://www.cs.ox.ac.uk/conferences/fscd2017/
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing or homotopy
type theory.
==========================================================================
IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE) and are firm;
late submissions will not be considered.
Abstract Deadline: 7 April 2017
Submission Deadline: 14 April 2017
Rebuttal: 29--31 May 2017
Notification: 14 June 2017
Camera-Ready: 7 July 2017
==========================================================================
Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
systems * Proof theory * Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems * Induction and
coinduction * Matching, unification, completion, and orderings *
Strategies * Tree automata * Model checking * Proof search and
theorem proving * Constraint solving and decision procedures
3. Semantics: Operational semantics * Abstract machines * Game
Semantics * Domain theory and categorical models * Quantitative
models
4. Algorithmic Analysis and Transformations of Formal Systems: Type
Inference and type checking * Abstract Interpretation * Complexity
analysis and implicit computational complexity * Checking
termination, confluence, derivational complexity and related
properties * Symbolic computation
5. Tools and Applications: Programming and proof environments *
Verification tools * Libraries for proof assistants and interactive
theorem provers * Case studies in proof assistants and interactive
theorem provers * Certification
PUBLICATION The proceedings will be published as an electronic volume
in the Leibniz International Proceedings in Informatics (LIPIcs) of
Schloss Dagstuhl. All LIPIcs proceedings are open access.
SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 10 pages and must
describe a working system which has not been published or submitted
elsewhere. Submissions must be formatted using the LIPIcs style files
and submitted via EasyChair. Complete instructions on submitting a
paper can be found on the conference web site.
SPECIAL ISSUES Full versions of several accepted papers, to be
selected by the program committee, will be invited for submission to a
special issue of Logical Methods in Computer Science.
BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will
consider declaring this award to a paper in which all authors are
junior researchers: a junior researcher is a person who is either a
student or whose PhD award date is less than three years from the
first day of the meeting.
PROGRAM COMMITTEE CHAIR
Dale Miller, Inria Saclay & LIX <fscd17@easychair.org>
PROGRAM COMMITTEE
Andreas Abel, Gothenburg Univ.
Elvira Albert, Complutense Madrid
Maria Alpuente, TU Valencia
Takahito Aoto, Niigata Univ.
Zena Ariola, Univ. Oregon
Federico Aschieri, TU Wien
Stefano Berardi, Univ. Turin
Lars Birkedal, Aarhus Univ.
Filippo Bonchi, CNRS, ENS Lyon
Pierre Clairambault, CNRS, ENS Lyon
Ugo Dal Lago, Univ. Bologna
Herman Geuvers, Radboud Univ.
Silvia Ghilezan, Univ. Novi Sad
Juergen Giesl, RWTH Aachen
Hugo Herbelin, Inria Paris
Jan Hoffmann, Carnegie Mellon
Deepak Kapur, Univ. New Mexico
Paul Blain Levy, Univ. Birmingham
Paulo Oliva, QMUL, London
Vincent van Oostrom, Univ. Innsbruck
Daniela Petrisan, LIAFA, Paris
Femke van Raamsdonk, VU Univ. Amsterdam
Grigore Rosu, Univ. Illinois
Albert Rubio, UPC-BarcelonaTech
Paula Severi, Univ. Leicester
Bas Spitters, Aarhus Univ.
Aaron Stump, Univ. Iowa
Kazushige Terui, Kyoto Univ.
Rene Thiemann, Univ. Innsbruck
Sophie Tison, Lille Univ.
CONFERENCE CHAIR
Sam Staton, Univ. of Oxford
WORKSHOP CHAIR
Jamie Vicary, Univ. of Oxford
PUBLICITY CHAIR
Sandra Alves, Univ. of Porto
FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves (Univ. Porto),
G. Dowek, (Inria), S. Escobar (Univ. Politecnica de Valencia), M. Fernandez (King's College London),
H. Herbelin (Inria), D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair, Univ. Oxford),
B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck).
2017-02-01
[Caml-list] IWIL 2017 with LPAR-21 in Botswana - Call for Papers
12th International Workshop on the Implementation of Logics
http://www.eprover.org/EVENTS/IWIL-2017.html
CALL FOR PAPERS
Deadline: March 20, 2017.
The 12th International Workshop on the Implementation of Logics will be held on
7th May 2017, in conjunction with the 21th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, at Cresta Riley's
Hotel in Maun, Botswana.
We are looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies. Topics of interest
include, but are not limited to:
+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Non-classical logics, including modal, temporal, description, non-monotonic
reasoning
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for different
logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems
We are particularly interested in contributions that help the community to
understand how to build useful and powerful reasoning systems, and how to apply
them in practice.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15
pages) via the EasyChair page for IWIL-2017.
https://easychair.org/conferences/?conf=iwil2017
Submissions will be refereed by the program committee, which will select a
balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF. Final versions will be
required to be submitted in LaTeX using the easychair.cls class file. The
proceedings will be published as a volume of EPiC Computing.
Important Dates:
+ Submission of papers/abstracts: March 20th, 2017
+ Notification of acceptance: April 10th, 2017
+ Camera ready versions due: April 21st, 2017
+ Workshop: May 7th, 2017
Program committee (so far - more coming):
Stephan Schulz (Co-Chair) DHBW Stuttgart
Geoff Sutcliffe (Co-Chair) University of Miami
Josef Urban (Co-Chair) Czech Technical University
Armin Biere Johannes-Kepler Universität Linz
Jasmin Blanchette INRIA Nancy/MPI für Informatik
Guillaume Burel ENSIIE/CEDRIC
Stefan Hetzl Vienna University of Technology
Jan Hladik DHBW Stuttgart
Tommi Junttila Aalto University
Boris Konev University of Liverpool
Jens Otten Universität Potsdam
Giles Reger The University of Manchester
Andrew Reynolds University of Iowa
Peter Schneider-Kamp University of Southern Denmark
Laurent Simon University of Bordeaux
Martin Suda Vienna University of Technology
Bob Veroff University of New Mexico
Uwe Waldmann Max-Planck-Institut für Informatik
Bruno Woltzenlogel Paleo Australian National 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
http://www.eprover.org/EVENTS/IWIL-2017.html
CALL FOR PAPERS
Deadline: March 20, 2017.
The 12th International Workshop on the Implementation of Logics will be held on
7th May 2017, in conjunction with the 21th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, at Cresta Riley's
Hotel in Maun, Botswana.
We are looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies. Topics of interest
include, but are not limited to:
+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Non-classical logics, including modal, temporal, description, non-monotonic
reasoning
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for different
logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems
We are particularly interested in contributions that help the community to
understand how to build useful and powerful reasoning systems, and how to apply
them in practice.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15
pages) via the EasyChair page for IWIL-2017.
https://easychair.org/conferences/?conf=iwil2017
Submissions will be refereed by the program committee, which will select a
balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF. Final versions will be
required to be submitted in LaTeX using the easychair.cls class file. The
proceedings will be published as a volume of EPiC Computing.
Important Dates:
+ Submission of papers/abstracts: March 20th, 2017
+ Notification of acceptance: April 10th, 2017
+ Camera ready versions due: April 21st, 2017
+ Workshop: May 7th, 2017
Program committee (so far - more coming):
Stephan Schulz (Co-Chair) DHBW Stuttgart
Geoff Sutcliffe (Co-Chair) University of Miami
Josef Urban (Co-Chair) Czech Technical University
Armin Biere Johannes-Kepler Universität Linz
Jasmin Blanchette INRIA Nancy/MPI für Informatik
Guillaume Burel ENSIIE/CEDRIC
Stefan Hetzl Vienna University of Technology
Jan Hladik DHBW Stuttgart
Tommi Junttila Aalto University
Boris Konev University of Liverpool
Jens Otten Universität Potsdam
Giles Reger The University of Manchester
Andrew Reynolds University of Iowa
Peter Schneider-Kamp University of Southern Denmark
Laurent Simon University of Bordeaux
Martin Suda Vienna University of Technology
Bob Veroff University of New Mexico
Uwe Waldmann Max-Planck-Institut für Informatik
Bruno Woltzenlogel Paleo Australian National 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
Subscribe to:
Posts (Atom)