CALL FOR PAPERS
+----------------------------------------------------------+
| Second Workshop on: |
| Bridging the Gap between Human and Automated Reasoning |
+----------------------------------------------------------+
an IJCAI-16 workshop (supported by IFIP TC12)
New York, USA, July 9th, 2016
http://ratiolog.uni-koblenz.de/bridging2016
Human reasoning or the psychology of deduction is well
researched in cognitive psychology and in cognitive science.
There are a lot of findings which are based on experimental
data about reasoning tasks, among others models for the
selection task or the suppression task discussed by Byrne
and others. This research is supported also by brain
researchers, who aim at localizing reasoning processes
within the brain.
Automated deduction, on the other hand, is mainly focusing
on the automated proof search in logical calculi. And indeed
there is tremendous success during the last decades.
Recently a coupling of the areas of cognitive science and
automated reasoning is addressed in several approaches. For
example there is increasing interest in modeling human rea-
soning within automated reasoning systems including modeling
with answer set programming, deontic logic or abductive
logic programming. There are also various approaches within
AI research.
This workshop is a follow-up event of the successful Bridg-
ing workshop (http://ratiolog.uni-koblenz.de/bridging.html)
which was located at CADE-25. Like its preceding event, it
is intended to get an overview of existing approaches and
make a step towards a cooperation between computational
logic and cognitive science. Topics of interest include, but
are not limited to the following:
o limits and differences between automated and human reason-
ing
o psychology of deduction
o common sense reasoning
o logics modeling human cognition
o modeling human reasoning using automated reasoning systems
o non-monotonic, defeasible, and classical reasoning and
possible explanations for human reasoning
o application fields of automated reasoning in the interac-
tion with human reasoners
The workshop will be held in conjunction with IJCAI-16 and
is supported by IFIP TC12.
IMPORTANT DATES
Full Paper submission deadline: April 18th, 2016
Notification: May 16th, 2016
Final submission: May 23rd, 2016
Workshop: July 9th, 2016
SUBMISSION AND CONTRIBUTION FORMAT Papers, including the
description of work in progress are welcome and should be
formatted according to the Springer LNCS guidelines. The
length should not exceed 15 pages. All papers must be sub-
mitted in PDF. Formatting instructions and the LNCS style
files can be obtained at
http://www.springer.de/comp/lncs/authors.htm.
The EasyChair submission site is available at
https://easychair.org/conferences/?conf=bridging2016
PROCEEDINGS Proceedings of the workshop will be published as
CEUR workshop proceedings. Depending on the number and qual-
ity of the submission we are planning post proceedings in
the Springer AICT Series
http://www.springer.com/series/6102.
ORGANIZERS
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Marco Ragni, University of Freiburg
Natarajan Shankar, SRI International
PROGRAM COMMITTEE
Ruth Byrne, University of Dublin
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Gabriele Kern-Isberner, TU Dortmund University
Kai-Uwe Kühnberger, University of Osnabrück
Laura Martignon, MPI Berlin
Ursula Martin, University of Oxford
Luis Moniz Pereira, Universidade Nova de Lisboa
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz
Natarajan Shankar, SRI International
Keith Stenning, Edinburgh University
Frieder Stolzenburg, Harz University of Applied Sciences
Contact: Claudia Schon, schon@uni-koblenz.de
--
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
2016-02-17
[Caml-list] 2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016
Second Call for Papers & Updates
9th Conference on Intelligent Computer Mathematics
- CICM 2016 -
July 25-29, 2016
University of Bialystok, Poland
http://www.cicm-conference.org/2016
+----------------------------- NEWS ---------------------------------+
| The new abstract submission deadline 9. March 2016 and all other |
| deadlines adjusted accordingly |
| CICM will host 4 workshops (Formal Mathematics for Mathematicians, |
| Mathematical User Interfaces, Openmath, and Theorem Provers |
| Components for Educational Software) and 2 tutorials |
+--------------------------------------------------------------------+
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and
Washington DC (USA 2015).
This is a call for papers for CICM 2016, which will be held in
Bialystok, Poland, July 25-29, 2016.
The principal tracks of the conference will be:
* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: TBD)
Like in previous years, project descriptions are welcomed as well.
The overall programme is organized by the General Program Chair
Michael Kohlhase. The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.
We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).
*New Important Dates*
Conference submissions
- Abstract submission deadline: 9. March 2016
- Submission deadline: 16. March 2016
- Reviews sent to authors: 20. April 2016
- Rebuttals due: 23. April 2016
- Notification of acceptance: 5. May 2016
- Camera ready copies due: 20. May 2016
- Conference: 25.-29. July 2016
Work-in-progress and Doctoral Programme
- Submission deadline (Doctoral: Abstract+CV): 10. May 2016
- Notification of acceptance: 29. May 2016
- Camera ready copies due: 29. June 2016
More details on the conference are available from
http://www.cicm-conference.org/2016/cicm.php?menu=cfp
--
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
9th Conference on Intelligent Computer Mathematics
- CICM 2016 -
July 25-29, 2016
University of Bialystok, Poland
http://www.cicm-conference.org/2016
+----------------------------- NEWS ---------------------------------+
| The new abstract submission deadline 9. March 2016 and all other |
| deadlines adjusted accordingly |
| CICM will host 4 workshops (Formal Mathematics for Mathematicians, |
| Mathematical User Interfaces, Openmath, and Theorem Provers |
| Components for Educational Software) and 2 tutorials |
+--------------------------------------------------------------------+
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), and
Washington DC (USA 2015).
This is a call for papers for CICM 2016, which will be held in
Bialystok, Poland, July 25-29, 2016.
The principal tracks of the conference will be:
* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: TBD)
Like in previous years, project descriptions are welcomed as well.
The overall programme is organized by the General Program Chair
Michael Kohlhase. The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.
We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).
*New Important Dates*
Conference submissions
- Abstract submission deadline: 9. March 2016
- Submission deadline: 16. March 2016
- Reviews sent to authors: 20. April 2016
- Rebuttals due: 23. April 2016
- Notification of acceptance: 5. May 2016
- Camera ready copies due: 20. May 2016
- Conference: 25.-29. July 2016
Work-in-progress and Doctoral Programme
- Submission deadline (Doctoral: Abstract+CV): 10. May 2016
- Notification of acceptance: 29. May 2016
- Camera ready copies due: 29. June 2016
More details on the conference are available from
http://www.cicm-conference.org/2016/cicm.php?menu=cfp
--
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
2016-02-16
[Caml-list] [TFPIE 2016] 1st call for papers
Trends in Functional Programming in Education (TFPIE 2016)
Call for papers
https://wiki.science.ru.nl/tfpie/TFPIE2016
The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.
*** Goal ***
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 2016 will
screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited
to submit an extended abstract (4-6 pages) or a draft paper (up to 16
pages) in EPTCS style. The authors of accepted presentations will have
their preprints and their slides made available on the workshop's
website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up
work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the
best articles for publication in the journal Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).
*** Program Committee ***
Stephen Chang at Northeastern University in
Massachusetts, USA
Marc Feeley at Université de Montréal in Québec, Canada
Patricia Johann at Appalachian State University in North
Carolina, USA
Jay McCarthy at University of Massachusetts Lowell in
Massachusetts, USA (Chair)
Prabhakar Ragde at University of Waterloo in Ontario, Canada
Brent Yorgey at Hendrix College in Arkansas, USA
*** Submission Guidelines ***
TFPIE 2016 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
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
*** Best Lectures ***
In addition to papers, we request "best lecture" presentations. What
is 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 ***
Papers and abstracts can be submitted via EasyChair at the following
link:
https://easychair.org/conferences/?conf=tfpie2016
It is expected at at least one author for each submitted paper will
attend the workshop.
*** Registration & Local Information ***
Please see the TFP site for registration and local information:
http://tfp2016.org/
*** Important Dates ***
April 27, 2016: Submission deadline for draft TFPIE papers and
abstracts
May 3, 2016: Notification of acceptance for presentation
May 13, 2016: Registration for TFP/TFPIE closes
June 7, 2016: Presentations in Maryland, USA
July 7, 2016: Full papers for EPTCS proceedings due.
September 1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS
Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline
will be
considered as withdrawn.
--
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
https://wiki.science.ru.nl/tfpie/TFPIE2016
The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.
*** Goal ***
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 2016 will
screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited
to submit an extended abstract (4-6 pages) or a draft paper (up to 16
pages) in EPTCS style. The authors of accepted presentations will have
their preprints and their slides made available on the workshop's
website/wiki. Visitors to the TFPIE 2016 website/wiki will be able to
add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up
work. After the workshop, presenters will be invited to submit (a
revised version of) their article for review. The PC will select the
best articles for publication in the journal Electronic Proceedings in
Theoretical Computer Science (EPTCS). Articles rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).
*** Program Committee ***
Stephen Chang at Northeastern University in
Massachusetts, USA
Marc Feeley at Université de Montréal in Québec, Canada
Patricia Johann at Appalachian State University in North
Carolina, USA
Jay McCarthy at University of Massachusetts Lowell in
Massachusetts, USA (Chair)
Prabhakar Ragde at University of Waterloo in Ontario, Canada
Brent Yorgey at Hendrix College in Arkansas, USA
*** Submission Guidelines ***
TFPIE 2016 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
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
*** Best Lectures ***
In addition to papers, we request "best lecture" presentations. What
is 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 ***
Papers and abstracts can be submitted via EasyChair at the following
link:
https://easychair.org/conferences/?conf=tfpie2016
It is expected at at least one author for each submitted paper will
attend the workshop.
*** Registration & Local Information ***
Please see the TFP site for registration and local information:
http://tfp2016.org/
*** Important Dates ***
April 27, 2016: Submission deadline for draft TFPIE papers and
abstracts
May 3, 2016: Notification of acceptance for presentation
May 13, 2016: Registration for TFP/TFPIE closes
June 7, 2016: Presentations in Maryland, USA
July 7, 2016: Full papers for EPTCS proceedings due.
September 1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS
Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline
will be
considered as withdrawn.
--
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
2016-02-14
[Caml-list] LATA 2016: call for participation
*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the
subject line*
**********************************************************************************
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2016
Prague, Czech Republic
March 14-18, 2016
Organized by:
Department of Theoretical Computer Science
Faculty of Information Technology
Czech Technical University in Prague
and
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2016/
**********************************************************************************
PROGRAM
Monday, March 14
08:55 - 09:40 Registration
09:40 - 09:55 Opening
09:55 - 10:45 Avrim Blum: Reconstructing Preferences from Opaque Transactions - Invited
Lecture
10:45 - 11:15 Coffee Break
11:15 - 12:30
Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Logic ALC using
Weighted Tree Automata
Parvaneh Babari, Nicole Schweikardt: +ω-Picture Languages Recognizable by Büchi-Tiling
Systems
Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade, Ashutosh
Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automata
12:30 - 14:00 Lunch
14:00 - 15:15
Dana Fisman: A Complexity Measure on Büchi Automata
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes
Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Storage Behaviour
and its Büchi-Elgot-Trakhtenbrot Theorem
15:15 - 15:30 Break
15:30 - 16:45
Rajeev Alur, Dana Fisman: Colored Nested Words
Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Automata with
Internal Transductions
Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals
Tuesday, March 15
09:00 - 09:50 Martin Grohe: Tangles and Connectivity in Graphs - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequences for All Pairs
of States
Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions
Hélène Touzet: On the Levenshtein Automaton and the Size of the Neighbourhood of a Word
11:20 - 11:50 Coffee Break
11:50 - 13:05
Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay: Parallelogram Morphisms and
Circular Codes
Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial Words with One
Hole
Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Computing α-gapped
Repeats
13:05 - 14:35 Lunch
14:35 - 15:50
Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length
Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walking and Searching
from an Inner Point of a Line
Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity
15:50 - 16:05 Break
16:05 - 17:20
Gabriel Istrate, Cosmin Bonchiş, Liviu Dinu: The Minimum Entropy Submodular Set Cover
Problem
Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata
Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds
Wednesday, March 16
09:00 - 09:50 Frank Wolter: Automata for Ontologies - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induced Tree
Reconfiguration Problems
Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-Schützenberger
Theorem
Séverine Fratani, El Makki Voundy: Homomorphic Characterizations of Indexed Languages
11:20 - 11:50 Group Photo and Coffee Break
11:50 - 13:05
Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language
Hierarchy
Sebastian Berndt, Rüdiger Reischuk: Steganography Based on Pattern Languages
Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML Documents
13:05 - 14:35 Lunch
14:35 - 15:50
Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi-armed Bandit
Game
Johannes Blum, Frank Drewes: Properties of Regular DAG Languages
Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers
16:00 - 18:00 Touristic Visit
Thursday, March 17
09:00 - 09:50 Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael
Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero Sum Games for
Reactive Synthesis - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Manfred Droste, Zoltán Fülöp, Doreen Götze: A Kleene Theorem for Weighted Tree Automata over
Tree Valuation Monoids
Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushdown Automata
Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree Languages and
Inverse Homomorphisms
11:20 - 11:50 Coffee Break
11:50 - 13:05
Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Matrix Semigroups
over Bounded Languages
Tatiana Baginová Jajcayová: The Word Problem for HNN-Extensions of Free Inverse Semigroups
Henrik Björklund, Frank Drewes, Petter Ericson: Between a Rock and a Hard Place - Uniform
Parsing for Hyperedge Replacement DAG Grammars
13:05 - 14:35 Lunch
14:35 - 16:05 Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (I)
- Invited Tutorial
16:05 - 16:20 Break
16:20 - 17:10
Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Context-Free
Grammars that Takes Less than Cubic Time
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Diagnosability of
Stochastic Systems
Friday, March 18
09:00 - 10:30 Giovanni Pighizzini: Restricted Turing Machines and Language Recognition
(II) - Invited Tutorial
10:30 - 10:45 Break
10:45 - 11:35
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of Sorting
Algorithms for Trees
Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversible Shrinking
Two-pushdown Automata
11:35 - 12:05 Coffee Break
12:05 - 12:55
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reachability in
Resource-Bounded Reaction Systems
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target Toffoli Circuits
12:55 - 13:10 Closing
subject line*
**********************************************************************************
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2016
Prague, Czech Republic
March 14-18, 2016
Organized by:
Department of Theoretical Computer Science
Faculty of Information Technology
Czech Technical University in Prague
and
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2016/
**********************************************************************************
PROGRAM
Monday, March 14
08:55 - 09:40 Registration
09:40 - 09:55 Opening
09:55 - 10:45 Avrim Blum: Reconstructing Preferences from Opaque Transactions - Invited
Lecture
10:45 - 11:15 Coffee Break
11:15 - 12:30
Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Logic ALC using
Weighted Tree Automata
Parvaneh Babari, Nicole Schweikardt: +ω-Picture Languages Recognizable by Büchi-Tiling
Systems
Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade, Ashutosh
Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automata
12:30 - 14:00 Lunch
14:00 - 15:15
Dana Fisman: A Complexity Measure on Büchi Automata
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Processes
Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Storage Behaviour
and its Büchi-Elgot-Trakhtenbrot Theorem
15:15 - 15:30 Break
15:30 - 16:45
Rajeev Alur, Dana Fisman: Colored Nested Words
Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Automata with
Internal Transductions
Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals
Tuesday, March 15
09:00 - 09:50 Martin Grohe: Tangles and Connectivity in Graphs - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequences for All Pairs
of States
Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions
Hélène Touzet: On the Levenshtein Automaton and the Size of the Neighbourhood of a Word
11:20 - 11:50 Coffee Break
11:50 - 13:05
Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay: Parallelogram Morphisms and
Circular Codes
Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial Words with One
Hole
Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Computing α-gapped
Repeats
13:05 - 14:35 Lunch
14:35 - 15:50
Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length
Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walking and Searching
from an Inner Point of a Line
Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity
15:50 - 16:05 Break
16:05 - 17:20
Gabriel Istrate, Cosmin Bonchiş, Liviu Dinu: The Minimum Entropy Submodular Set Cover
Problem
Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata
Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds
Wednesday, March 16
09:00 - 09:50 Frank Wolter: Automata for Ontologies - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induced Tree
Reconfiguration Problems
Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-Schützenberger
Theorem
Séverine Fratani, El Makki Voundy: Homomorphic Characterizations of Indexed Languages
11:20 - 11:50 Group Photo and Coffee Break
11:50 - 13:05
Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language
Hierarchy
Sebastian Berndt, Rüdiger Reischuk: Steganography Based on Pattern Languages
Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML Documents
13:05 - 14:35 Lunch
14:35 - 15:50
Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi-armed Bandit
Game
Johannes Blum, Frank Drewes: Properties of Regular DAG Languages
Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers
16:00 - 18:00 Touristic Visit
Thursday, March 17
09:00 - 09:50 Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael
Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero Sum Games for
Reactive Synthesis - Invited Lecture
09:50 - 10:05 Break
10:05 - 11:20
Manfred Droste, Zoltán Fülöp, Doreen Götze: A Kleene Theorem for Weighted Tree Automata over
Tree Valuation Monoids
Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushdown Automata
Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree Languages and
Inverse Homomorphisms
11:20 - 11:50 Coffee Break
11:50 - 13:05
Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Matrix Semigroups
over Bounded Languages
Tatiana Baginová Jajcayová: The Word Problem for HNN-Extensions of Free Inverse Semigroups
Henrik Björklund, Frank Drewes, Petter Ericson: Between a Rock and a Hard Place - Uniform
Parsing for Hyperedge Replacement DAG Grammars
13:05 - 14:35 Lunch
14:35 - 16:05 Giovanni Pighizzini: Restricted Turing Machines and Language Recognition (I)
- Invited Tutorial
16:05 - 16:20 Break
16:20 - 17:10
Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Context-Free
Grammars that Takes Less than Cubic Time
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Diagnosability of
Stochastic Systems
Friday, March 18
09:00 - 10:30 Giovanni Pighizzini: Restricted Turing Machines and Language Recognition
(II) - Invited Tutorial
10:30 - 10:45 Break
10:45 - 11:35
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of Sorting
Algorithms for Trees
Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversible Shrinking
Two-pushdown Automata
11:35 - 12:05 Coffee Break
12:05 - 12:55
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reachability in
Resource-Bounded Reaction Systems
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target Toffoli Circuits
12:55 - 13:10 Closing
2016-02-12
[Caml-list] SFM-16:QUANTICOL second call for participation (Bertinoro, 20-24 June 2016)
***********************************************************
* *
* SFM-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************
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 the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.
COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^
The school features the following lectures:
"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)
"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)
"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)
"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)
"Modeling and Analysis of Collective Adaptive Systems with CARMA and its
Tools"
Michele Loreti (U Firenze, IT)
"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)
"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)
"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (IMT Lucca, IT)
"Aggregate Programming"
Jake Beal (BBN Technologies, US)
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-16:QUANTICOL 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, Modena, 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)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)
Secretary:
* Monica Michelacci (CRU Bertinoro, IT)
APPLICATION
^^^^^^^^^^^
Prospective participants should send by 21 March 2016
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 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).
The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).
A very limited number of grants is available to cover
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 March 31.
Registration to the school, including payment of fees,
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-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************
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 the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.
COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^
The school features the following lectures:
"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)
"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)
"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)
"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)
"Modeling and Analysis of Collective Adaptive Systems with CARMA and its
Tools"
Michele Loreti (U Firenze, IT)
"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)
"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)
"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (IMT Lucca, IT)
"Aggregate Programming"
Jake Beal (BBN Technologies, US)
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-16:QUANTICOL 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, Modena, 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)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)
Secretary:
* Monica Michelacci (CRU Bertinoro, IT)
APPLICATION
^^^^^^^^^^^
Prospective participants should send by 21 March 2016
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 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).
The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).
A very limited number of grants is available to cover
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 March 31.
Registration to the school, including payment of fees,
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
2016-02-11
[Caml-list] ETAPS 2016 call for participation
******************************************************************
CALL FOR PARTICIPATION
ETAPS 2016
19th European Joint Conferences on Theory And Practice of Software
Eindhoven, The Netherlands, 2-8 April 2016
http://www.etaps.org/2016
******************************************************************
-- ABOUT ETAPS --
The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.
-- MAIN CONFERENCES (4-7 April) --
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
-- INVITED TALKS --
Unifying speakers:
Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
FASE invited speaker:
Oscar Nierrstrasz (Universität Bern, Switzerland)
POST invited speaker:
Vitaly Shmatikov (Cornell Tech, USA)
-- TUTORIALS
Peter Ryan (University of Luxembourg, Luxembourg)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
-- CONTRIBUTED PAPERS --
See the accepted paper lists and the programme of the main conferences
at the conference website.
http://www.etaps.org/2016/programme
-- SATELLITE EVENTS (2-3 and 8 April) --
22 satellite workshops will take place before or after ETAPS 2016.
CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)
RAC, VerifyThis, VPT, VSSE (2 April)
FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)
BX, CREST, MSFP, PLACES, TermGraph (8 April)
-- REGISTRATION --
Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).
Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).
http://www.etaps.org/2016/registration
-- ACCOMMODATION --
We request that participants arrange their accommodation on their own.
See our recommendations on the conference website.
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
-- ORGANIZERS --
General chair: Jan Friso Groote
Workshop chairs: Erik de Vink and Julien Schmaltz
Publicity chair: Anton Wijs
--- HOST INSTITUTION --
ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
--
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 PARTICIPATION
ETAPS 2016
19th European Joint Conferences on Theory And Practice of Software
Eindhoven, The Netherlands, 2-8 April 2016
http://www.etaps.org/2016
******************************************************************
-- ABOUT ETAPS --
The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.
-- MAIN CONFERENCES (4-7 April) --
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
-- INVITED TALKS --
Unifying speakers:
Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
FASE invited speaker:
Oscar Nierrstrasz (Universität Bern, Switzerland)
POST invited speaker:
Vitaly Shmatikov (Cornell Tech, USA)
-- TUTORIALS
Peter Ryan (University of Luxembourg, Luxembourg)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
-- CONTRIBUTED PAPERS --
See the accepted paper lists and the programme of the main conferences
at the conference website.
http://www.etaps.org/2016/programme
-- SATELLITE EVENTS (2-3 and 8 April) --
22 satellite workshops will take place before or after ETAPS 2016.
CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)
RAC, VerifyThis, VPT, VSSE (2 April)
FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)
BX, CREST, MSFP, PLACES, TermGraph (8 April)
-- REGISTRATION --
Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).
Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).
http://www.etaps.org/2016/registration
-- ACCOMMODATION --
We request that participants arrange their accommodation on their own.
See our recommendations on the conference website.
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
-- ORGANIZERS --
General chair: Jan Friso Groote
Workshop chairs: Erik de Vink and Julien Schmaltz
Publicity chair: Anton Wijs
--- HOST INSTITUTION --
ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
--
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
2016-02-02
[Caml-list] [TFP 2016] 1st call for papers
-----------------------------
C A L L F O R P A P E R S
-----------------------------
======== TFP 2016 ===========
17th Symposium on Trends in Functional Programming
June 8-10, 2016
University of Maryland, College Park
Near Washington, DC
http://tfp2016.org/
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 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.
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;
* and Inria Sophia-Antipolis (France) in 2015.
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 2016 program chair, David Van Horn.
== 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 CyberPoint, Galois, Trail of Bits, and
the University of Maryland Computer Science Department.
== 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=tfp2016
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: April 8, 2016
Notification: April 15, 2016
Registration: May 13, 2016
TFP Symposium: June 8-10, 2016
Student papers feedback: June 14, 2016
Submission for formal review: July 14, 2016
Notification of acceptance: September 14, 2016
Camera ready paper: October 14, 2016
== PROGRAM COMMITTEE ==
Amal Ahmed Northeastern University (US)
Nada Amin École Polytechnique Fédérale de Lausanne (CH)
Kenichi Asai Ochanomizu University (JP)
Małgorzata Biernacka University of Wroclaw (PL)
Laura Castro University of A Coruña (ES)
Ravi Chugh University of Chicago (US)
Silvia Ghilezan University of Novi Sad (SR)
Clemens Grelck University of Amsterdam (NL)
John Hughes Chalmers University of Technology (SE)
Suresh Jagannathan Purdue University (US)
Pieter Koopman Radboud University Nijmegen (NL)
Geoffrey Mainland Drexel University (US)
Chris Martens University of California, Santa Cruz (US)
Jay McCarthy University of Massachusetts, Lowell (US)
Heather Miller École Polytechnique Fédérale de Lausanne (CH)
Manuel Serrano INRIA, Sophia-Antipolis (FR)
Scott Smith Johns Hopkins University (US)
Éric Tanter University of Chile (CL)
David Van Horn (Chair) University of Maryland (US)
Niki Vazou University of California, San Diego (US)
--
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 2016 ===========
17th Symposium on Trends in Functional Programming
June 8-10, 2016
University of Maryland, College Park
Near Washington, DC
http://tfp2016.org/
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 2016 will be the main event of a pair of functional programming
events. TFP 2016 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 7nd.
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;
* and Inria Sophia-Antipolis (France) in 2015.
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 2016 program chair, David Van Horn.
== 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 CyberPoint, Galois, Trail of Bits, and
the University of Maryland Computer Science Department.
== 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=tfp2016
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: April 8, 2016
Notification: April 15, 2016
Registration: May 13, 2016
TFP Symposium: June 8-10, 2016
Student papers feedback: June 14, 2016
Submission for formal review: July 14, 2016
Notification of acceptance: September 14, 2016
Camera ready paper: October 14, 2016
== PROGRAM COMMITTEE ==
Amal Ahmed Northeastern University (US)
Nada Amin École Polytechnique Fédérale de Lausanne (CH)
Kenichi Asai Ochanomizu University (JP)
Małgorzata Biernacka University of Wroclaw (PL)
Laura Castro University of A Coruña (ES)
Ravi Chugh University of Chicago (US)
Silvia Ghilezan University of Novi Sad (SR)
Clemens Grelck University of Amsterdam (NL)
John Hughes Chalmers University of Technology (SE)
Suresh Jagannathan Purdue University (US)
Pieter Koopman Radboud University Nijmegen (NL)
Geoffrey Mainland Drexel University (US)
Chris Martens University of California, Santa Cruz (US)
Jay McCarthy University of Massachusetts, Lowell (US)
Heather Miller École Polytechnique Fédérale de Lausanne (CH)
Manuel Serrano INRIA, Sophia-Antipolis (FR)
Scott Smith Johns Hopkins University (US)
Éric Tanter University of Chile (CL)
David Van Horn (Chair) University of Maryland (US)
Niki Vazou University of California, San Diego (US)
--
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)