It is my pleasure to invite participation in the OCaml Users and Developers
Workshop 2019, which is again co-located with ICFP and will be held on
Friday 23rd August, 2019 in Berlin, Germany.
http://ocaml.org/meetings/ocaml/2019/
Early bird registration deadline: July 18th, 2019
The OCaml Users and Developers Workshop brings together the OCaml community,
including users of OCaml in industry, academia, hobbyists and the free
software community. Previous editions have been co-located with ICFP since
2012 in Copenhagen, Boston, Gothenburg, Nara, Oxford and last year in St
Louis, following OCaml Meetings in Paris in 2010 and 2011.
https://icfp19.sigplan.org/home/ocaml-2019
Registration for the workshop day is required, but *not for the entire
conference*. There are several talks with an OCaml flavour in the ML
Workshop, which is the previous day (August 22nd). Note that although the
precise talk schedule is not yet finalised (it should be by the end of this
week), once registered for the day, it is possible to move between
workshops.
Programme
---------
We have accepted 10 talks (full details of which are both on the SIGPLAN
website and also shortly on ocaml.org) and there is an additional talk on
recent developments and plans for the compiler from Xavier Leroy. The
programme covers recent developments and plans in tooling, several
interesting experience reports and other applications of OCaml.
Program Committee
-----------------
David Allsopp, University of Cambridge, UK
Raja Boujbel, OCamlPro, France
Timothy Bourke, INRIA, France
Simon Cruanes, Aesthetic Integration, USA
Emilio Jésus Gallego Arias, MINES ParisTech, France
Thomas Gazagnaire, Tarides, France
Ivan Gotovchits, CMU, USA
Hannes Mehnert, robur.io, Germany
Igor Pikovets, Ahrefs, Singapore
Thomas Refis, Jane Street Europe, UK
KC Sivaramakrishan, IIT Madras, India
Questions and contact
---------------------
Please send any questions to the chair:
David Allsopp <David.Allsopp@cl.cam.ac.uk>
2019-07-16
2019-07-14
[Caml-list] Summer BOB 2019 2nd Call for Participation (Aug 21, Berlin, early reg until Jul 18)
Among other great talks, Xavier Leroy!
Come for BOB, stay for the OCaml and ML workshops!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
Come for BOB, stay for the OCaml and ML workshops!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
2019-07-01
[Caml-list] [TAPAS 2019] 2nd Call for Papers (extended deadline): 10th Workshop on Tools for Automatic Program Analysis
[apologies for crossposting]
online version: https://easychair.org/cfp/tapas2019
------------------------------------------------------------
10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019)
8 October 2019, Porto, Portugal.
A satellite workshop of SAS 2019. Part of the 3rd World Congress on Formal Methods.
Important Dates
- Submission deadline:
4 July18 July 2019 (extended)
- Notification of acceptance:
2 August15 August - Final version due:
31 August8 September
- Workshop: 8 October
- Post-proceedings due: 15 November (tentative)
Publication
Revised versions of selected papers will be published after the workshop by Springer in a volume of its Lecture Notes in Computer Science (LNCS), which will collect contributions to some workshops and symposia co-located with FM 2019.
The workshop will also have informal proceedings, posted on its web page.
Objectives
In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools.
This workshop is intended to promote discussions and exchange experience between users of static analysis tools and specialists in all areas of program analysis design and implementation.
Scope
The technical program of TAPAS 2019 will consist of invited lectures, together with presentations based on submitted papers or abstracts.
Submissions can cover any aspect of program analysis tools including, but not limited to the following:
- design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance)
- components of static analysis tools (front-ends, abstract domains, etc.)
- integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.)
- reusable software infrastructure (analysis algorithms and frameworks)
- experience reports on the use of static analyzers (both research prototypes and industrial tools)
This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.
Submission Guidelines
TAPAS 2019 welcomes the following categories of submissions:
- Regular papers (12-15+ pages)
- Short papers (6-8+ pages)
- Extended abstracts (2 pages)
Please use the LNCS style, and submit via the TAPAS 2019 author interface of EasyChair.
Program Committee
- David Delmas, Airbus and Sorbonne Université, France (chair)
- Fausto Spoto, Università di Verona, Italy
- Caterina Urban, Inria, France
- Franck Vedrine, CEA LIST, France
- Jules Villard, Facebook, UK
- Jingling Xue, University of New South Wales, Australia
- Tomofumi Yuki, Inria, France
- Sarah Zennou, Airbus, France
2019-06-24
[Caml-list] Call for Participation: ICFP 2019
=====================================================================
Call for Participation
ICFP 2019
24th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 18 - August 23, 2019
Berlin, Germany
http://icfp19.sigplan.org/
Early Registration until July 18!
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
This year, ICFP is co-located with BOBKonf!
* Overview and affiliated events:
http://icfp19.sigplan.org/home
* Program:
http://icfp19.sigplan.org/program/program-icfp-2019
* Accepted papers:
http://icfp19.sigplan.org/track/icfp-2019-papers
* Registration is available via:
https://regmaster4.com/2019conf/ICFP19/register.php
Early registration ends 18 July, 2019.
* Programming contest:
https://icfpcontest2019.github.io/
* Student Research Competition:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
In addition to BOBKonf (8/21), there are several events co-located with ICFP:
* Erlang Workshop (8/18)
* Functional Art, Music, Modeling and Design (8/23)
* Functional High-Performance and Numerical Computing (8/18)
* Haskell Implementors' Workshop (8/23)
* Haskell Symposium (8/22-8/23)
* miniKanren Workshop (8/22)
* ML Family Workshop (8/22)
* OCaml Workshop (8/23)
* Programming Languages Mentoring Workshop (8/18)
* Scheme Workshop (8/18)
* Type-Driven Development (8/18)
### ICFP Organizers
General Chair: Derek Dreyer (MPI-SWS, Germany)
Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada)
Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium)
Jennifer Hackett (University of Nottingham, UK)
Conference Manager: Annabel Satin (P.C.K.)
### PACMPL Volume 3, Issue ICFP 2019
Principal Editor: François Pottier (Inria, France)
Review Committee:
Lennart Beringer (Princeton University, United States)
Joachim Breitner (DFINITY Foundation, Germany)
Laura M. Castro (University of A Coruña, Spain)
Ezgi Çiçek (Facebook London, United Kingdom)
Pierre-Evariste Dagand (LIP6/CNRS, France)
Christos Dimoulas (Northwestern University, United States)
Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France)
Andrew Kennedy (Facebook London, United Kingdom)
Daan Leijen (Microsoft Research, United States)
Kazutaka Matsuda (Tohoku University, Japan)
Bruno C. d. S. Oliveira (University of Hong Kong, China)
Klaus Ostermann (University of Tübingen, Germany)
Jennifer Paykin (Galois, United States)
Frank Pfenning (Carnegie Mellon University, USA)
Mike Rainey (Indiana University, USA)
Chung-chieh Shan (Indiana University, USA)
Sam Staton (University of Oxford, UK)
Pierre-Yves Strub (Ecole Polytechnique, France)
German Vidal (Universitat Politecnica de Valencia, Spain)
External Review Committee:
Michael D. Adams (University of Utah, USA)
Robert Atkey (University of Strathclyde, IK)
Sheng Chen (University of Louisiana at Lafayette, USA)
James Cheney (University of Edinburgh, UK)
Adam Chlipala (Massachusetts Institute of Technology, USA)
Evelyne Contejean (LRI, Université Paris-Sud, France)
Germán Andrés Delbianco (IRIF, Université Paris Diderot, France)
Dominique Devriese (Vrije Universiteit Brussel, Belgium)
Richard A. Eisenberg (Bryn Mawr College, USA)
Conal Elliott (Target, USA)
Sebastian Erdweg (Delft University of Technology, Netherlands)
Michael Greenberg (Pomona College, USA)
Adrien Guatto (IRIF, Université Paris Diderot, France)
Jennifer Hackett (University of Nottingham, UK)
Troels Henriksen (University of Copenhagen, Denmark)
Chung-Kil Hur (Seoul National University, Republic of Korea)
Roberto Ierusalimschy (PUC-Rio, Brazil)
Ranjit Jhala (University of California, San Diego, USA)
Ralf Jung (MPI-SWS, Germany)
Ohad Kammar (University of Oxford, UK)
Oleg Kiselyov (Tohoku University, Japan)
Hsiang-Shang 'Josh' Ko (National Institute of Informatics, Japan)
Ondřej Lhoták (University of Waterloo, Canada)
Dan Licata (Wesleyan University, USA)
Geoffrey Mainland (Drexel University, USA)
Simon Marlow (Facebook, UK)
Akimasa Morihata (University of Tokyo, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Guillaume Munch-Maccagnoni (Inria, France)
Kim Nguyễn (University of Paris-Sud, France)
Ulf Norell (Gothenburg University, Sweden)
Atsushi Ohori (Tohoku University, Japan)
Rex Page (University of Oklahoma, USA)
Zoe Paraskevopoulou (Princeton University, USA)
Nadia Polikarpova (University of California, San Diego, USA)
Jonathan Protzenko (Microsoft Research, USA)
Tiark Rompf (Purdue University, USA)
Andreas Rossberg (Dfinity, Germany)
KC Sivaramakrishnan (University of Cambridge, UI)
Nicholas Smallbone (Chalmers University of Technology, Sweden)
Matthieu Sozeau (Inria, France)
Sandro Stucki (Chalmers | University of Gothenburg, Sweden)
Don Syme (Microsoft, UK)
Zachary Tatlock (University of Washington, USA)
Sam Tobin-Hochstadt (Indiana University, USA)
Takeshi Tsukada (University of Tokyo, Japan)
Tarmo Uustalu (Reykjavik University, Iceland)
Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France)
Daniel Winograd-Cort (University of Pennsylvania, USA)
Nicolas Wu (University of Bristol, UK)
Call for Participation
ICFP 2019
24th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 18 - August 23, 2019
Berlin, Germany
http://icfp19.sigplan.org/
Early Registration until July 18!
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
This year, ICFP is co-located with BOBKonf!
* Overview and affiliated events:
http://icfp19.sigplan.org/home
* Program:
http://icfp19.sigplan.org/program/program-icfp-2019
* Accepted papers:
http://icfp19.sigplan.org/track/icfp-2019-papers
* Registration is available via:
https://regmaster4.com/2019conf/ICFP19/register.php
Early registration ends 18 July, 2019.
* Programming contest:
https://icfpcontest2019.github.io/
* Student Research Competition:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
In addition to BOBKonf (8/21), there are several events co-located with ICFP:
* Erlang Workshop (8/18)
* Functional Art, Music, Modeling and Design (8/23)
* Functional High-Performance and Numerical Computing (8/18)
* Haskell Implementors' Workshop (8/23)
* Haskell Symposium (8/22-8/23)
* miniKanren Workshop (8/22)
* ML Family Workshop (8/22)
* OCaml Workshop (8/23)
* Programming Languages Mentoring Workshop (8/18)
* Scheme Workshop (8/18)
* Type-Driven Development (8/18)
### ICFP Organizers
General Chair: Derek Dreyer (MPI-SWS, Germany)
Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada)
Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium)
Jennifer Hackett (University of Nottingham, UK)
Conference Manager: Annabel Satin (P.C.K.)
### PACMPL Volume 3, Issue ICFP 2019
Principal Editor: François Pottier (Inria, France)
Review Committee:
Lennart Beringer (Princeton University, United States)
Joachim Breitner (DFINITY Foundation, Germany)
Laura M. Castro (University of A Coruña, Spain)
Ezgi Çiçek (Facebook London, United Kingdom)
Pierre-Evariste Dagand (LIP6/CNRS, France)
Christos Dimoulas (Northwestern University, United States)
Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France)
Andrew Kennedy (Facebook London, United Kingdom)
Daan Leijen (Microsoft Research, United States)
Kazutaka Matsuda (Tohoku University, Japan)
Bruno C. d. S. Oliveira (University of Hong Kong, China)
Klaus Ostermann (University of Tübingen, Germany)
Jennifer Paykin (Galois, United States)
Frank Pfenning (Carnegie Mellon University, USA)
Mike Rainey (Indiana University, USA)
Chung-chieh Shan (Indiana University, USA)
Sam Staton (University of Oxford, UK)
Pierre-Yves Strub (Ecole Polytechnique, France)
German Vidal (Universitat Politecnica de Valencia, Spain)
External Review Committee:
Michael D. Adams (University of Utah, USA)
Robert Atkey (University of Strathclyde, IK)
Sheng Chen (University of Louisiana at Lafayette, USA)
James Cheney (University of Edinburgh, UK)
Adam Chlipala (Massachusetts Institute of Technology, USA)
Evelyne Contejean (LRI, Université Paris-Sud, France)
Germán Andrés Delbianco (IRIF, Université Paris Diderot, France)
Dominique Devriese (Vrije Universiteit Brussel, Belgium)
Richard A. Eisenberg (Bryn Mawr College, USA)
Conal Elliott (Target, USA)
Sebastian Erdweg (Delft University of Technology, Netherlands)
Michael Greenberg (Pomona College, USA)
Adrien Guatto (IRIF, Université Paris Diderot, France)
Jennifer Hackett (University of Nottingham, UK)
Troels Henriksen (University of Copenhagen, Denmark)
Chung-Kil Hur (Seoul National University, Republic of Korea)
Roberto Ierusalimschy (PUC-Rio, Brazil)
Ranjit Jhala (University of California, San Diego, USA)
Ralf Jung (MPI-SWS, Germany)
Ohad Kammar (University of Oxford, UK)
Oleg Kiselyov (Tohoku University, Japan)
Hsiang-Shang 'Josh' Ko (National Institute of Informatics, Japan)
Ondřej Lhoták (University of Waterloo, Canada)
Dan Licata (Wesleyan University, USA)
Geoffrey Mainland (Drexel University, USA)
Simon Marlow (Facebook, UK)
Akimasa Morihata (University of Tokyo, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Guillaume Munch-Maccagnoni (Inria, France)
Kim Nguyễn (University of Paris-Sud, France)
Ulf Norell (Gothenburg University, Sweden)
Atsushi Ohori (Tohoku University, Japan)
Rex Page (University of Oklahoma, USA)
Zoe Paraskevopoulou (Princeton University, USA)
Nadia Polikarpova (University of California, San Diego, USA)
Jonathan Protzenko (Microsoft Research, USA)
Tiark Rompf (Purdue University, USA)
Andreas Rossberg (Dfinity, Germany)
KC Sivaramakrishnan (University of Cambridge, UI)
Nicholas Smallbone (Chalmers University of Technology, Sweden)
Matthieu Sozeau (Inria, France)
Sandro Stucki (Chalmers | University of Gothenburg, Sweden)
Don Syme (Microsoft, UK)
Zachary Tatlock (University of Washington, USA)
Sam Tobin-Hochstadt (Indiana University, USA)
Takeshi Tsukada (University of Tokyo, Japan)
Tarmo Uustalu (Reykjavik University, Iceland)
Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France)
Daniel Winograd-Cort (University of Pennsylvania, USA)
Nicolas Wu (University of Bristol, UK)
2019-06-18
[Caml-list] Call for Participation: Summer BOB 2019 (August 21, Berlin)
Xavier Leroy among the speakers!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================
Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. Summer BOB
will feature two tracks: one from practitioners, and one from
researchers, and foster communication and cross-pollination between
these communities.
BOB features two tracks of seven talk each: One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.
http://bobkonf.de/2019-summer/program.html
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
http://bobkonf.de/2019-summer/registration.html
NOTE: The early-bird rates expire on July 18, 2019!
2019-06-17
[Caml-list] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
[apologies for any cross-posting]
****************************************************************************************************************************************************************
Call for Papers [NEW DEADLINES!]
AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
UNICAL, Rende (CS), 19-22 November 2019
****************************************************************************************************************************************************************
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce.
Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019.
At least one author of each accepted paper is required to register and attend the conference to present the work.
-----------------------------------------------------------------
Proceedings of Regular Papers
-----------------------------------------------------------------
The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier.
-----------------------------------------------------------------
Proceedings of Discussion Papers
-----------------------------------------------------------------
The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request.
-----------------------------------------------------------------
Best Papers
-----------------------------------------------------------------
The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
The submitted papers should be written in English and formatted according to the Springer LNCS style.
Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography.
The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography.
Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Abstract of regular paper submission: (was 28 May 2019) 18 June 2019
Regular paper submission: (was 4 June 2019) 25 June 2019
Notification to authors of regular papers: (was 23 July 2019) 13 August 2019
Camera ready of regular papers: (was 3 September 2019) 17 September 2019
Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019
Discussion paper submission: (was 4 June 2019) 9 July 2019
Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019
Camera ready of discussion papers: (was 3 September 2019) 1 October 2019
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit: https://aiia2019.mat.unical.it
-----------------------------------------------------------------
Organizing Committee
-----------------------------------------------------------------
Conference Chair:
Nicola Leone (UNICAL, Italy)
Program Chairs:
Mario Alviano (UNICAL, Italy)
Gianluigi Greco (UNICAL, Italy)
Francesco Scarcello (UNICAL, Italy)
Organization Chairs:
Francesco Ricca (UNICAL, Italy)
Chiara Ghidini (FBK, Trento)
Workshop and Tutorial Chair:
Rafael Penaloza (UNIMIB, Italy)
Doctoral Consortium Chair:
Marco Maratea (UNIGE, Italy)
Publicity and Web Chair:
Luca Pulina (UNISS, Italy)
2019-06-07
[Caml-list] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)
Hello,
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
Please, find below the call for papers for IFL 2019. With respect to the previous call,
the deadline for submitting regular papers has been changed to June 15th.
Please forward these to anyone you think may be interested.Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
================================================================================
IFL 2019
31st Symposium on Implementation and Application of Functional Languages
National University of Singapore
September 25th-27th, 2019
http://2019.iflconference.org
================================================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.
Topics of interest to IFL include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
### Keynote Speaker
* Olivier Danvy, Yale-NUS College
### Submissions and peer-review
Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2019.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to incorporate
the feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity, and
will thereby determine whether the paper is accepted or rejected.
### Publication
The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.
At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
### Important dates
Submission of regular papers: June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification: August 1, 2019
Deadline for early registration: August 15, 2019
Submission of pre-proceedings version: September 15, 2019
IFL Symposium: September 25-27, 2019
Submission of papers for post-proceedings: November 30, 2019
Notification of acceptance: January 31, 2020
Camera-ready version: February 29, 2020
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2019
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.
### Organization and Program committee
Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore)
Program Committee:
- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamas Kozsik, Eotvos Lorand University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la Republica
- Wei Ngan Chin, NUS
- Jurrien Stutterheim, Standard Chartered Bank
### Venue
The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.
See the website for more information on the venue.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.
A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.
IFL 2019
31st Symposium on Implementation and Application of Functional Languages
National University of Singapore
September 25th-27th, 2019
http://2019.iflconference.org
================================================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.
Topics of interest to IFL include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
### Keynote Speaker
* Olivier Danvy, Yale-NUS College
### Submissions and peer-review
Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2019.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to incorporate
the feedback from discussions at the symposium and will be invited to submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity, and
will thereby determine whether the paper is accepted or rejected.
### Publication
The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.
At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
### Important dates
Submission of regular papers: June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification: August 1, 2019
Deadline for early registration: August 15, 2019
Submission of pre-proceedings version: September 15, 2019
IFL Symposium: September 25-27, 2019
Submission of papers for post-proceedings: November 30, 2019
Notification of acceptance: January 31, 2020
Camera-ready version: February 29, 2020
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2019
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.
### Organization and Program committee
Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore)
Program Committee:
- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamas Kozsik, Eotvos Lorand University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la Republica
- Wei Ngan Chin, NUS
- Jurrien Stutterheim, Standard Chartered Bank
### Venue
The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.
See the website for more information on the venue.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.
A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.
Subscribe to:
Posts (Atom)