Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
CALL FOR PARTICIPATION
http://msfp2016.bentnib.org/
**The early registration deadline for ETAPS is 1st March**
The sixth workshop on Mathematically Structured Functional Programming
is devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today.
This year's MSFP will be held on Friday 8th April 2016, Co-located
with ETAPS 2016 in Eindhoven, The Netherlands.
The programme will contain the following accepted papers:
- Maciej Piróg. Eilenberg-Moore Monoids and Backtracking Monad
Transformers.
- Bartek Klin and Michał Szynwelski. SMT solving for functional
programming over infinite structures.
- Niccolò Veltri, Tarmo Uustalu and Denis Firsov. Variations on
Noetherianness.
- Danel Ahman and Tarmo Uustalu. Directed containers as categories.
- Satoshi Matsuoka. Strong Typed Bohm Theorem and Functional
Completeness on the Linear Lambda Calculus.
Invited speakers TBC. Check the website for details.
About the Workshop
==================
The sixth workshop on Mathematically Structured Functional Programming
is devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Where would Haskell be without monads? Functional
reactive programming without temporal logic? Call-by-push-value without
adjunctions? The list goes on. This workshop is a forum for researchers
who seek to reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS 2014.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
--
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-26
[Caml-list] Call for papers - WADT'16
CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques
Link: http://cs.swan.ac.uk/wadt16/
When Sep 21, 2016 - Sep 24, 2016
Where Gregynog, UK
Submission Deadline June 3, 2016
Notification June 17, 2016
Final Version Due July 1, 2016
AIMS AND SCOPE
The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.
TOPICS OF INTEREST
Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification
WORKSHOP FORMAT AND LOCATION
The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.
Presentations will be selected on the basis of submitted abstracts.
IMPORTANT DATES
Submission deadline for abstracts: June 3, 2016
Notification of acceptance: June 17, 2016
Early registration: June 17, 2016
Final abstract due: July 1, 2016
Workshop in Gregynog: September 21-24, 2016
SUBMISSIONS
The scientific programme of the workshop will include presentations of
recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of submitted abstracts
according to originality, significance and general interest. The
abstracts must be up to two pages long including references. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.
The abstracts have to be submitted electronically via the EasyChair
system.
PROCEEDINGS
After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings will be published as a
volume of Lecture Notes in Computer Science (Springer).
SPONSORSHIP
The workshop takes place under the auspices of IFIP WG 1.3.
WADT STEERING COMMITTEE
Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)
ORGANIZING COMMITTEE
Phillip James (UK)
Markus Roggenbach (UK)
CONTACT INFORMATION
Email: M.Roggenbach@Swansea.ac.uk
Homepage:http://cs.swan.ac.uk/wadt16/
--
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
Link: http://cs.swan.ac.uk/wadt16/
When Sep 21, 2016 - Sep 24, 2016
Where Gregynog, UK
Submission Deadline June 3, 2016
Notification June 17, 2016
Final Version Due July 1, 2016
AIMS AND SCOPE
The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.
TOPICS OF INTEREST
Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification
WORKSHOP FORMAT AND LOCATION
The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.
Presentations will be selected on the basis of submitted abstracts.
IMPORTANT DATES
Submission deadline for abstracts: June 3, 2016
Notification of acceptance: June 17, 2016
Early registration: June 17, 2016
Final abstract due: July 1, 2016
Workshop in Gregynog: September 21-24, 2016
SUBMISSIONS
The scientific programme of the workshop will include presentations of
recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of submitted abstracts
according to originality, significance and general interest. The
abstracts must be up to two pages long including references. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.
The abstracts have to be submitted electronically via the EasyChair
system.
PROCEEDINGS
After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings will be published as a
volume of Lecture Notes in Computer Science (Springer).
SPONSORSHIP
The workshop takes place under the auspices of IFIP WG 1.3.
WADT STEERING COMMITTEE
Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)
ORGANIZING COMMITTEE
Phillip James (UK)
Markus Roggenbach (UK)
CONTACT INFORMATION
Email: M.Roggenbach@Swansea.ac.uk
Homepage:http://cs.swan.ac.uk/wadt16/
--
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-22
[Caml-list] Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)
------------------------------------------------------------------------
----------------------------------- FM 2016 ----------------------------
------------------------------------------------------------------------
FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
fm2016.cs.ucy.ac.cy
-----------------==: CALL FOR WORKSHOP PROPOSALS :==------------------
------------------------------------------------------------------------
Deadline for workshop proposals: 18 March 2016
Notification of decision on workshops: 4 April 2016
------------------------------------------------------------------------
1 ABOUT FM 2016
===============
The 21st International Symposium on Formal Methods (FM 2016) will take
place at St Raphael Resort in Limassol, Cyprus, 7-11 November 2016. FM
2016 is the latest in a series of symposia organized by Formal
Methods Europe, an independent association that encourages the use
of, and research on, formal methods for the engineering of
computer-based systems and software. The symposia have been notably
successful in bringing together researchers and industrial users
around a programme of original papers on research and industrial
experience, workshops, tutorials, reports on tools, projects, and
ongoing doctoral work.
2 WORKSHOP PROPOSALS
====================
For this major event, we are now inviting proposals for workshops that
will complement the main FM Symposium.
The purpose of the workshops is to provide an informal setting for
workshop participants to discuss technical issues, exchange research
ideas, and to discuss and/or demonstrate applications. These workshops
may be driven by fundamental academic interests or by needs from
specific application domains. We encourage a diversity of workshops
relating to different varieties of formal models.
FM workshops will be held immediately before the main symposium, on
7-8 November, 2016.
3 SUBMISSION INFORMATION
========================
Researchers and practitioners wishing to organize a workshop are
invited to submit proposals in PDF format by e-mail to the Workshops
Chairs
Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen
(msteffen@ifi.uio.no).
A proposal should not exceed three pages and should include a draft
call-for-papers containing at least the following information:
1. Title and brief technical description of the workshop, specifying
the goals and the technical issues that will be its focus.
2. The names and contact information (web page, email address) of the
Programme Committee (PC) chairs, i.e., the workshop
organisers. Moreover, a tentative list of workshop PC members
should be given. We suggest one or two PC chairs and at least 10 PC
members coming from different countries.
Moreover, the following additional information is requested:
1. If the workshop has taken place before: How often has the workshop
taken place so far? Which conference(s) has the workshop been
colocated with so far? Number of participants in the last
instalment.
2. A discussion of the proposed format and agenda.
3. The proposed duration (half, one or two days).
4. Procedures for selecting participants and papers.
5. Potential invited speakers.
6. Expected number of participants.
Each workshop programme chair will be responsible for the following:
1. Producing a web page and a "Call for Papers/Participation" for
their workshop.
2. Providing a brief description of the workshop for the conference
web page and programme, and providing a workshop web page the
conference can refer to for details.
3. Selecting the papers for the workshop proceedings and providing the
camera ready copies ready for publication.
4. All advertising of the workshop.
5. Appointing session chairs, etc.
The local organisation of the conference will take care of the
production of informal or electronic workshop proceedings, assuming
that the proceedings are camera ready.
4 Contact
=========
Please send your proposals and/or any inquiries by electronic mail to
the Workshops Chairs Nearchos Paspallis (npaspallis@uclan.ac.uk) and
Martin Steffen (msteffen@ifi.uio.no):
5 IMPORTANT DATES
=================
1. Deadline for workshop proposals: 18 March 2016
2. Notification of decision on workshops: 4 April 2016
--
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
----------------------------------- FM 2016 ----------------------------
------------------------------------------------------------------------
FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
fm2016.cs.ucy.ac.cy
-----------------==: CALL FOR WORKSHOP PROPOSALS :==------------------
------------------------------------------------------------------------
Deadline for workshop proposals: 18 March 2016
Notification of decision on workshops: 4 April 2016
------------------------------------------------------------------------
1 ABOUT FM 2016
===============
The 21st International Symposium on Formal Methods (FM 2016) will take
place at St Raphael Resort in Limassol, Cyprus, 7-11 November 2016. FM
2016 is the latest in a series of symposia organized by Formal
Methods Europe, an independent association that encourages the use
of, and research on, formal methods for the engineering of
computer-based systems and software. The symposia have been notably
successful in bringing together researchers and industrial users
around a programme of original papers on research and industrial
experience, workshops, tutorials, reports on tools, projects, and
ongoing doctoral work.
2 WORKSHOP PROPOSALS
====================
For this major event, we are now inviting proposals for workshops that
will complement the main FM Symposium.
The purpose of the workshops is to provide an informal setting for
workshop participants to discuss technical issues, exchange research
ideas, and to discuss and/or demonstrate applications. These workshops
may be driven by fundamental academic interests or by needs from
specific application domains. We encourage a diversity of workshops
relating to different varieties of formal models.
FM workshops will be held immediately before the main symposium, on
7-8 November, 2016.
3 SUBMISSION INFORMATION
========================
Researchers and practitioners wishing to organize a workshop are
invited to submit proposals in PDF format by e-mail to the Workshops
Chairs
Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen
(msteffen@ifi.uio.no).
A proposal should not exceed three pages and should include a draft
call-for-papers containing at least the following information:
1. Title and brief technical description of the workshop, specifying
the goals and the technical issues that will be its focus.
2. The names and contact information (web page, email address) of the
Programme Committee (PC) chairs, i.e., the workshop
organisers. Moreover, a tentative list of workshop PC members
should be given. We suggest one or two PC chairs and at least 10 PC
members coming from different countries.
Moreover, the following additional information is requested:
1. If the workshop has taken place before: How often has the workshop
taken place so far? Which conference(s) has the workshop been
colocated with so far? Number of participants in the last
instalment.
2. A discussion of the proposed format and agenda.
3. The proposed duration (half, one or two days).
4. Procedures for selecting participants and papers.
5. Potential invited speakers.
6. Expected number of participants.
Each workshop programme chair will be responsible for the following:
1. Producing a web page and a "Call for Papers/Participation" for
their workshop.
2. Providing a brief description of the workshop for the conference
web page and programme, and providing a workshop web page the
conference can refer to for details.
3. Selecting the papers for the workshop proceedings and providing the
camera ready copies ready for publication.
4. All advertising of the workshop.
5. Appointing session chairs, etc.
The local organisation of the conference will take care of the
production of informal or electronic workshop proceedings, assuming
that the proceedings are camera ready.
4 Contact
=========
Please send your proposals and/or any inquiries by electronic mail to
the Workshops Chairs Nearchos Paspallis (npaspallis@uclan.ac.uk) and
Martin Steffen (msteffen@ifi.uio.no):
5 IMPORTANT DATES
=================
1. Deadline for workshop proposals: 18 March 2016
2. Notification of decision on workshops: 4 April 2016
--
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] CFP: Verification and Validation track @ QUATIC 2016 - First Call for Papers
FIRST CALL FOR PAPER (apologies for multiple copies)
**********************************************************************
Quality Aspects in Verification and Validation
https://goo.gl/ZEcP3H
track of the 10th International Conference on the
Quality of Information and Communications Technology
QUATIC 2016
7th - 9th September 2016, Lisbon
**********************************************************************
IMPORTANT DATES:
• Paper submission: Sunday, April 10, 2016
• Author's notifications: Sunday, May 15, 2016
• Camera ready submission: Sunday, June 19, 2016
CALL FOR PAPERS:
The blooming of information society is pushing software development to move
fast to match the expectations of a wide and globalised audience of users and
consumers. This trend fosters the adoption of programming languages,
development methodologies, network and hardware infrastructures that enable a
fast shifting from prototyping to deployment and allow short release cycles.
Yet, it is crucial that software systems satisfy their functional and non-
functional requirements.
Fitting together the conflicting demands for speed and quality is a challenge
that calls for new paradigms and methodologies of software verification and
validation. The ICT Verification and Validation (V&V) track of QUATIC 2016 is
a showcase and discussion forum for innovative research proposals that address
this challenge.
Authors are invited to submit technical papers, empirical studies, success
stories or any other form of original research contribution. Suggested topics
of interest for this track include, but are not restricted to, V&V paradigms
and methodologies such as:
+ model checking
+ abstract interpretation
+ static analysis
+ type systems
+ testing
+ test generation
+ models and calculi for software and requirements specification
+ software quality metrics and other quantitative methods
+ dynamic/runtime/online techniques
for quality assurance in the context of:
+ agile methodologies
+ continuous delivery
+ cloud computing: IaaS, PaaS, SaaS, SLA, etc.
+ mobile computing
+ Internet of things
+ automation in development
+ dynamic programming languages
SUBMISSION PROCESS:
Authors should submit to http://www.easychair.org/conferences/?conf=quatic2016
a PDF version of their paper. Papers must be in CPS format and not exceed 6
pages, including figures, references, and appendices. Submissions must be
original and will be reviewed by the Track Program Committee. Accepted papers
will be submitted for archiving in Xplore and CSDL, subject to one of the
authors registering for the conference. The authors of the best papers of this
thematic track will be invited to submit extended versions to the main track
of the conference. More info on the QUATIC'2016 selection process and its
tracks can be found at http://2016.quatic.org.
PROGRAM CHAIR:
Gianluca Mezzetti, Aarhus University, Denmark
PROGRAM COMMITEE:
Antonia Bertolino (Italian National Research Council, Italy)
Dave Clarke (Uppsala University, Sweden)
Letterio Galletta (University of Pisa, Italy)
Leonardo Mariani (University of Milan, Italy)
Jan Midtgaard (Technical University of Denmark, Denmark)
Patrick Lam (University of Waterloo, Canada)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Marco Pistoia (IBM Thomas J. Watson Research Center, USA)
Andreas Podelski (University of Freiburg, Germany)
Philipp Rümmer (Uppsala University, Sweden)
CONFERENCE WEBSITE:
For additional information visit the website of the track
https://goo.gl/ZEcP3H
2016-02-20
[Caml-list] CPS Week 2016 - Call for Participation
|
2016-02-18
[Caml-list] Call for Papers and Demos: Functional Art, Music, Modelling and Design
================================================================
4th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
Co-located with ICFP
Nara, Japan, 24 September, 2016
http://functional-art.org/2016/
================================================================
Call for Papers and Demos
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) gathers together people who are harnessing
functional techniques in the pursuit of creativity and expression.
Functional Programming has emerged as a mainstream software
development paradigm, and its artistic and creative use is booming. A
growing number of software toolkits, frameworks and environments for
art, music and design now employ functional programming languages and
techniques. FARM is a forum for exploration and critical evaluation of
these developments, for example to consider potential benefits of
greater consistency, tersity, and closer mapping to a problem domain.
FARM encourages submissions from across art, craft and design,
including textiles, visual art, music, 3D sculpture, animation, GUIs,
video games, 3D printing and architectural models, choreography,
poetry, and even VLSI layouts, GPU configurations, or mechanical
engineering designs. Theoretical foundations, language design,
implementation issues, and applications in industry or the arts are
all within the scope of the workshop. The language used need not be
purely functional ("mostly functional" is fine), and may be manifested
as a domain specific language or tool. Moreover, submissions focusing
on questions or issues about the use of functional programming are
within the scope.
We welcome submissions from academic, professional, and independent
programmers and artists. Submissions are invited in three categories:
1) Original papers
We solicit original papers in the following categories:
* original research
* overview / state of the art
* technology tutorial
All submissions must propose an original contribution to the FARM
theme. FARM 2016 is an interdisciplinary conference, so a wide range
of approaches are encouraged. An original paper should have 5 to 12
pages, be in portable document format (PDF), using the ACM SIGPLAN
style guidelines and use the ACM SIGPLAN template
(http://www.sigplan.org/Resources/Author/). Accepted papers will be
published in the ACM Digital Library as part of the FARM 2016
proceedings. See http://authors.acm.org/main.cfm for information on
the options available to authors. Authors are encouraged to submit
auxiliary material for publication along with their paper (source
code, data, videos, images, etc.); authors retain all rights to the
auxiliary material.
2) Demo proposals
Demo proposals should describe a demonstration to be given at the FARM
workshop and its context, connecting it with the themes of FARM. A
demo could be in the form of a short (10-20 minute) tutorial,
presentation of work-in-progress, an exhibition of some work, or even
a performance. Demo proposals should be in plain text, HTML or
Markdown format, and not exceed 2000 words. A demo proposal should be
clearly marked as such, by prepending `Demo Proposal:` to the
title. Demo proposals will be published on the FARM website. A
summary of the demo performances will also be published as part of the
conference proceedings, to be prepared by the program chair.
3) Calls for collaboration
Calls for collaboration should describe a need for technology or
expertise related to the FARM theme. Examples may include but are not
restricted to:
* art projects in need of realization
* existing software or hardware that may benefit from functional programming
* unfinished projects in need of inspiration
Calls for collaboration should be in plain text, HTML or Markdown
format, and not exceed 5000 words. A call for collaboration should be
clearly marked as such, by prepending `Call for Collaboration:` to the
title. Calls for collaboration will be published on the FARM website.
If you have any questions about what type of contributions that might
be suitable, or anything else regarding submission or the workshop
itself, please contact the organizers at: farm-2016@functional-art.org
All presentations at FARM 2016 will be recorded. Permission to
publish the resulting video (in all probability on YouTube, along with
the videos of ICFP itself and the other ICFP-colocated events) will be
requested on-site.
Key Dates:
Submission deadline - June 24
Author Notification - 22 July
Camera Ready - 15 August
Workshop - September 24, 2016
Submit at :
https://easychair.org/conferences/?conf=farm2016
--
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
4th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
Co-located with ICFP
Nara, Japan, 24 September, 2016
http://functional-art.org/2016/
================================================================
Call for Papers and Demos
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) gathers together people who are harnessing
functional techniques in the pursuit of creativity and expression.
Functional Programming has emerged as a mainstream software
development paradigm, and its artistic and creative use is booming. A
growing number of software toolkits, frameworks and environments for
art, music and design now employ functional programming languages and
techniques. FARM is a forum for exploration and critical evaluation of
these developments, for example to consider potential benefits of
greater consistency, tersity, and closer mapping to a problem domain.
FARM encourages submissions from across art, craft and design,
including textiles, visual art, music, 3D sculpture, animation, GUIs,
video games, 3D printing and architectural models, choreography,
poetry, and even VLSI layouts, GPU configurations, or mechanical
engineering designs. Theoretical foundations, language design,
implementation issues, and applications in industry or the arts are
all within the scope of the workshop. The language used need not be
purely functional ("mostly functional" is fine), and may be manifested
as a domain specific language or tool. Moreover, submissions focusing
on questions or issues about the use of functional programming are
within the scope.
We welcome submissions from academic, professional, and independent
programmers and artists. Submissions are invited in three categories:
1) Original papers
We solicit original papers in the following categories:
* original research
* overview / state of the art
* technology tutorial
All submissions must propose an original contribution to the FARM
theme. FARM 2016 is an interdisciplinary conference, so a wide range
of approaches are encouraged. An original paper should have 5 to 12
pages, be in portable document format (PDF), using the ACM SIGPLAN
style guidelines and use the ACM SIGPLAN template
(http://www.sigplan.org/Resources/Author/). Accepted papers will be
published in the ACM Digital Library as part of the FARM 2016
proceedings. See http://authors.acm.org/main.cfm for information on
the options available to authors. Authors are encouraged to submit
auxiliary material for publication along with their paper (source
code, data, videos, images, etc.); authors retain all rights to the
auxiliary material.
2) Demo proposals
Demo proposals should describe a demonstration to be given at the FARM
workshop and its context, connecting it with the themes of FARM. A
demo could be in the form of a short (10-20 minute) tutorial,
presentation of work-in-progress, an exhibition of some work, or even
a performance. Demo proposals should be in plain text, HTML or
Markdown format, and not exceed 2000 words. A demo proposal should be
clearly marked as such, by prepending `Demo Proposal:` to the
title. Demo proposals will be published on the FARM website. A
summary of the demo performances will also be published as part of the
conference proceedings, to be prepared by the program chair.
3) Calls for collaboration
Calls for collaboration should describe a need for technology or
expertise related to the FARM theme. Examples may include but are not
restricted to:
* art projects in need of realization
* existing software or hardware that may benefit from functional programming
* unfinished projects in need of inspiration
Calls for collaboration should be in plain text, HTML or Markdown
format, and not exceed 5000 words. A call for collaboration should be
clearly marked as such, by prepending `Call for Collaboration:` to the
title. Calls for collaboration will be published on the FARM website.
If you have any questions about what type of contributions that might
be suitable, or anything else regarding submission or the workshop
itself, please contact the organizers at: farm-2016@functional-art.org
All presentations at FARM 2016 will be recorded. Permission to
publish the resulting video (in all probability on YouTube, along with
the videos of ICFP itself and the other ICFP-colocated events) will be
requested on-site.
Key Dates:
Submission deadline - June 24
Author Notification - 22 July
Camera Ready - 15 August
Workshop - September 24, 2016
Submit at :
https://easychair.org/conferences/?conf=farm2016
--
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 Workshop on Bridging the Gap between Human and Automated Reasoning - Call for Papers
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
+----------------------------------------------------------+
| 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
[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)