======================================================================
LOPSTR 2016: 1st Call for Papers
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
DEADLINES:
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
======================================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia,
Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London,
Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve,
and Manchester. LOPSTR 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
Notification: August 3, 2016
Camera-ready (for electronic pre-proceedings): August 19, 2016
Symposium: September 6-8, 2016
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email; abstract; and
three to four keywords which will be used to assist the PC in
selecting appropriate reviewers for the paper. Page numbers (and, if
possible, line numbers) should appear on the manuscript to help the
reviewers in writing their report. Submissions cannot exceed 15 pages
including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices,
and thus papers should be intelligible without them. Papers should be
submitted via the Easychair submission website for LOPSTR 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. Full papers can be
directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in
informal proceedings. After the symposium, all authors of extended
abstracts and full papers accepted only for presentation will be
invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of
reviewing, these revised papers may also be published in the formal
proceedings.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jerome Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glueck, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Duesseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA Saclay and LIX, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
-----------------------------------------------------------------------------
--
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-04-30
[Caml-list] LOPSTR 2016 Call for Papers
======================================================================
LOPSTR 2016: 1st Call for Papers
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
DEADLINES:
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
======================================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia,
Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London,
Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve,
and Manchester. LOPSTR 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
Notification: August 3, 2016
Camera-ready (for electronic pre-proceedings): August 19, 2016
Symposium: September 6-8, 2016
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email; abstract; and
three to four keywords which will be used to assist the PC in
selecting appropriate reviewers for the paper. Page numbers (and, if
possible, line numbers) should appear on the manuscript to help the
reviewers in writing their report. Submissions cannot exceed 15 pages
including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices,
and thus papers should be intelligible without them. Papers should be
submitted via the Easychair submission website for LOPSTR 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. Full papers can be
directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in
informal proceedings. After the symposium, all authors of extended
abstracts and full papers accepted only for presentation will be
invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of
reviewing, these revised papers may also be published in the formal
proceedings.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politècnica de València, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jérôme Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glück, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Düsseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA Saclay and LIX, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
-----------------------------------------------------------------------------
--
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
LOPSTR 2016: 1st Call for Papers
======================================================================
26th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2016
http://cliplab.org/Conferences/LOPSTR16/
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
======================================================================
DEADLINES:
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
======================================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 26th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2016) will be held at the University of
Edinburgh, Edinburgh, UK; previous symposia were held in Siena,
Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia,
Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London,
Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve,
and Manchester. LOPSTR 2016 will be co-located with PPDP 2016
(International Symposium on Principles and Practice of Declarative
Programming) and SAS 2016 (Static Analysis Symposium).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
Notification: August 3, 2016
Camera-ready (for electronic pre-proceedings): August 19, 2016
Symposium: September 6-8, 2016
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email; abstract; and
three to four keywords which will be used to assist the PC in
selecting appropriate reviewers for the paper. Page numbers (and, if
possible, line numbers) should appear on the manuscript to help the
reviewers in writing their report. Submissions cannot exceed 15 pages
including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices,
and thus papers should be intelligible without them. Papers should be
submitted via the Easychair submission website for LOPSTR 2016:
http://www.easychair.org/conferences/?conf=lopstr2016
(can be accessed also through the LOPSTR 2016 web site).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. Full papers can be
directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in
informal proceedings. After the symposium, all authors of extended
abstracts and full papers accepted only for presentation will be
invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of
reviewing, these revised papers may also be published in the formal
proceedings.
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politècnica de València, Spain
Sergio Antoy, Portland State University, USA
Michael Codish, Ben-Gurion University of the Negev, Israel
Jérôme Feret, CNRS/ENS/INRIA Paris, France.
Fabio Fioravanti, University of Chieti - Pescara, Italy.
Maurizio Gabbrielli, University of Bologna, Italy
Maria Garcia de la Banda, Monash University, Australia
Robert Glück, University of Copenhagen, Denmark.
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Gopal Gupta, University of Texas at Dallas, USA
Patricia Hill, Univ. of Leeds, UK
Jacob Howe, City University London, UK
Viktor Kuncak , EPFL Lausanne, Switzerland
Michael Leuschel, University of Düsseldorf, Germany
Heiko Mantel TU Darmstadt, Germany
Jorge A. Navas, NASA, USA
Naoki Nishida, Nagoya University, Japan
Catuscia Palamidessi, INRIA Saclay and LIX, France
C.R. Ramakrishnan, SUNY Stony Brook, USA
Vitor Santos Costa, Universidade do Porto, Portugal
Hirohisa Seki, Nagoya Institute of Technology, Japan
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Chairs
Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM)
Pedro Lopez-Garcia, IMDEA Software Institute and CSIC
Organizing Committee
James Cheney (University of Edinburgh, Local Organizer)
Moreno Falaschi (University of Siena, Italy)
-----------------------------------------------------------------------------
--
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-04-29
[Caml-list] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Final Call for Papers (*** submission deadline in 3 weeks!!! ***)
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Gudmund Grov & Andrew Ireland
Submission deadline: 20 May 2016
Notification: 31 August 2016
This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015):
https://sites.google.com/site/avocs15/
The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools
and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects
of automated verification, and typical (but not exclusive) topics of interest are:
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions,
have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere.
Submissions must be written in English and comply with SCP's author guidelines
http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions
Submission is over the SCP website:
http://ees.elsevier.com/scico/default.asp
which you will have to register for if you do not have an account.
When submitting your paper please choose the article type "Special issue: AVoCS 2015".
Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.uk)
--
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
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Gudmund Grov & Andrew Ireland
Submission deadline: 20 May 2016
Notification: 31 August 2016
This special issue is devoted to the 15th international workshop on Automated Verification of Critical Systems (AVoCS 2015):
https://sites.google.com/site/avocs15/
The aim of AVoCS is to contribute to the interaction and exchange of ideas among members of the international research community on tools
and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. It covers all aspects
of automated verification, and typical (but not exclusive) topics of interest are:
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
Submission to this special issue is open. We expect original articles (typically 20-30 pages) that present high-quality contributions,
have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere.
Submissions must be written in English and comply with SCP's author guidelines
http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions
Submission is over the SCP website:
http://ees.elsevier.com/scico/default.asp
which you will have to register for if you do not have an account.
When submitting your paper please choose the article type "Special issue: AVoCS 2015".
Please send any queries you may have to Gudmund Grov (G.Grov@hw.ac.uk)
--
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-04-24
[Caml-list] SLSP 2016: 3rd call for papers
*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
**********************************************************************************
4th INTERNATIONAL CONFERENCE ON
STATISTICAL LANGUAGE AND SPEECH PROCESSING
SLSP 2016
Pilsen, Czech Republic
October 11-13, 2016
Organized by:
Department of Computer Science and Engineering
Department of Cybernetics
University of West Bohemia
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/SLSP2016/
**********************************************************************************
AIMS:
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
VENUE:
SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.
SCOPE:
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:
anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
neural representation of speech and language
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling
STRUCTURE:
SLSP 2016 will consist of:
invited talks
peer-reviewed contributions
INVITED SPEAKERS:
Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text
Julia Hirschberg (Columbia University), Identifying Sentiment and Emotion in Low Resource Languages
Mari Ostendorf (University of Washington), Continuous-space Language Processing: Beyond Word Embeddings
PROGRAMME COMMITTEE:
Srinivas Bangalore (Interactions LLC, Murray Hill, USA)
Roberto Basili (University of Rome Tor Vergata, Italy)
Jean-François Bonastre (University of Avignon, France)
Nicoletta Calzolari (National Research Council, Pisa, Italy)
Marcello Federico (Bruno Kessler Foundation, Trento, Italy)
Guillaume Gravier (IRISA, Rennes, France)
Gregory Grefenstette (INRIA, Saclay, France)
Udo Hahn (University of Jena, Germany)
Thomas Hain (University of Sheffield, United Kingdom)
Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA)
Mark Hasegawa-Johnson (University of Illinois, Urbana, USA)
Xiaodong He (Microsoft Research, Redmond, USA)
Graeme Hirst (University of Toronto, Canada)
Gareth Jones (Dublin City University, Ireland)
Tracy Holloway King (A9.com, Palo Alto, USA)
Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland)
Philipp Koehn (University of Edinburgh, United Kingdom)
Pavel Král (University of West Bohemia, Pilsen, Czech Republic)
Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA)
Mark Liberman (University of Pennsylvania, Philadelphia, USA)
Qun Liu (Dublin City University, Ireland)
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair)
Alessandro Moschitti (University of Trento, Italy)
Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar)
John Nerbonne (University of Groningen, The Netherlands)
Hermann Ney (RWTH Aachen University, Germany)
Vincent Ng (University of Texas, Dallas, USA)
Jian-Yun Nie (University of Montréal, Canada)
Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar)
Adam Pease (Articulate Software, San Francisco, USA)
Massimo Poesio (University of Essex, United Kingdom)
James Pustejovsky (Brandeis University, Waltham, USA)
Manny Rayner (University of Geneva, Switzerland)
Paul Rayson (Lancaster University, United Kingdom)
Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA)
Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands)
Murat Saraçlar (Boğaziçi University, İstanbul, Turkey)
Björn W. Schuller (University of Passau, Germany)
Richard Sproat (Google, New York, USA)
Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece)
Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom)
Marc Swerts (Tilburg University, The Netherlands)
Tomoki Toda (Nagoya University, Japan)
Xiaojun Wan (Peking University, Beijing, China)
Andy Way (Dublin City University, Ireland)
Phil Woodland (University of Cambridge, United Kingdom)
Junichi Yamagishi (University of Edinburgh, United Kingdom)
Heiga Zen (Google, Mountain View, USA)
Min Zhang (Soochow University, Suzhou, China)
Pierre Zweigenbaum (LIMSI, Orsay, France)
ORGANIZING COMMITTEE:
Tomáš Hercig (Pilsen)
Carlos Martín-Vide (Tarragona, co-chair)
Manuel J. Parra (Granada)
Daniel Soutner (Pilsen)
Florentina Lilica Voicu (Tarragona)
Jan Zelinka (Pilsen, co-chair)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=slsp2016
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.
A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://grammars.grlmc.com/SLSP2016/Registration.php
DEADLINES:
Paper submission: May 17, 2016 (23:59 CET)
Notification of paper acceptance or rejection: June 21, 2016
Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016
Early registration: July 1, 2016
Late registration: September 27, 2016
Submission to the journal special issue: January 13, 2017
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu (at) urv.cat
POSTAL ADDRESS:
SLSP 2016
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Západočeská univerzita v Plzni
Universitat Rovira i Virgili
**********************************************************************************
4th INTERNATIONAL CONFERENCE ON
STATISTICAL LANGUAGE AND SPEECH PROCESSING
SLSP 2016
Pilsen, Czech Republic
October 11-13, 2016
Organized by:
Department of Computer Science and Engineering
Department of Cybernetics
University of West Bohemia
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/SLSP2016/
**********************************************************************************
AIMS:
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
VENUE:
SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.
SCOPE:
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:
anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
neural representation of speech and language
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling
STRUCTURE:
SLSP 2016 will consist of:
invited talks
peer-reviewed contributions
INVITED SPEAKERS:
Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text
Julia Hirschberg (Columbia University), Identifying Sentiment and Emotion in Low Resource Languages
Mari Ostendorf (University of Washington), Continuous-space Language Processing: Beyond Word Embeddings
PROGRAMME COMMITTEE:
Srinivas Bangalore (Interactions LLC, Murray Hill, USA)
Roberto Basili (University of Rome Tor Vergata, Italy)
Jean-François Bonastre (University of Avignon, France)
Nicoletta Calzolari (National Research Council, Pisa, Italy)
Marcello Federico (Bruno Kessler Foundation, Trento, Italy)
Guillaume Gravier (IRISA, Rennes, France)
Gregory Grefenstette (INRIA, Saclay, France)
Udo Hahn (University of Jena, Germany)
Thomas Hain (University of Sheffield, United Kingdom)
Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA)
Mark Hasegawa-Johnson (University of Illinois, Urbana, USA)
Xiaodong He (Microsoft Research, Redmond, USA)
Graeme Hirst (University of Toronto, Canada)
Gareth Jones (Dublin City University, Ireland)
Tracy Holloway King (A9.com, Palo Alto, USA)
Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland)
Philipp Koehn (University of Edinburgh, United Kingdom)
Pavel Král (University of West Bohemia, Pilsen, Czech Republic)
Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA)
Mark Liberman (University of Pennsylvania, Philadelphia, USA)
Qun Liu (Dublin City University, Ireland)
Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair)
Alessandro Moschitti (University of Trento, Italy)
Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar)
John Nerbonne (University of Groningen, The Netherlands)
Hermann Ney (RWTH Aachen University, Germany)
Vincent Ng (University of Texas, Dallas, USA)
Jian-Yun Nie (University of Montréal, Canada)
Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar)
Adam Pease (Articulate Software, San Francisco, USA)
Massimo Poesio (University of Essex, United Kingdom)
James Pustejovsky (Brandeis University, Waltham, USA)
Manny Rayner (University of Geneva, Switzerland)
Paul Rayson (Lancaster University, United Kingdom)
Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA)
Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands)
Murat Saraçlar (Boğaziçi University, İstanbul, Turkey)
Björn W. Schuller (University of Passau, Germany)
Richard Sproat (Google, New York, USA)
Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece)
Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom)
Marc Swerts (Tilburg University, The Netherlands)
Tomoki Toda (Nagoya University, Japan)
Xiaojun Wan (Peking University, Beijing, China)
Andy Way (Dublin City University, Ireland)
Phil Woodland (University of Cambridge, United Kingdom)
Junichi Yamagishi (University of Edinburgh, United Kingdom)
Heiga Zen (Google, Mountain View, USA)
Min Zhang (Soochow University, Suzhou, China)
Pierre Zweigenbaum (LIMSI, Orsay, France)
ORGANIZING COMMITTEE:
Tomáš Hercig (Pilsen)
Carlos Martín-Vide (Tarragona, co-chair)
Manuel J. Parra (Granada)
Daniel Soutner (Pilsen)
Florentina Lilica Voicu (Tarragona)
Jan Zelinka (Pilsen, co-chair)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=slsp2016
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.
A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://grammars.grlmc.com/SLSP2016/Registration.php
DEADLINES:
Paper submission: May 17, 2016 (23:59 CET)
Notification of paper acceptance or rejection: June 21, 2016
Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016
Early registration: July 1, 2016
Late registration: September 27, 2016
Submission to the journal special issue: January 13, 2017
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu (at) urv.cat
POSTAL ADDRESS:
SLSP 2016
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Západočeská univerzita v Plzni
Universitat Rovira i Virgili
2016-04-19
[Caml-list] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design
Co-located with ICFP
Nara, Japan, 24 September, 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.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
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 - 15 July
Camera Ready - 31 July
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
Co-located with ICFP
Nara, Japan, 24 September, 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.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
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 - 15 July
Camera Ready - 31 July
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-04-18
[Caml-list] APLAS 2016 Call for papers
*********************************************************************
APLAS 2016, Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~aplas2016/
*********************************************************************
*IMPORTANT DATES*
Abstract deadline: June 12, 2016
Submission deadline: June 17, 2016
Author notification: August 15, 2016
Final version: August 31, 2016
Conference: November 21 - 23, 2016
*ABOUT*
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia,
but is an international forum that serves the worldwide programming
language community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS), founded by Asian researchers in cooperation with many
researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Pohang ('15), Singapore ('14), Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
*TOPICS*
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool demonstrations
category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
- describing original scientific research results, including system
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including bibliography
and figures. This category encompasses both theoretical and
implementation (also known as system descriptions) papers. In
either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged
on the basis of significance, relevance, correctness, originality,
and clarity. System descriptions papers should contain a link to a
working system and will be judged on originality, usefulness, and
design. In case of lack of space, proofs, experimental results, or
any information supporting the technical results of the paper could
be provided as an appendix or a link to a web page, but reviewers
are not obliged to read them.
b) System and tool demonstrations
- describing a demonstration of a tool or a system that support
theory, program construction, reasoning, or program execution
in the scope of APLAS. The main purpose of a tool paper is to
display a completed, robust and well-documented tool --
highlighting the overall functionality of the tool, the interfaces
of the tool, interesting examples and applications of the tool,
an assessment of the tool's strengths and weaknesses, and a
summary of documentation/support available with the tool.
Authors of tool demonstration proposals are expected to present a live
demonstration of the tool at the conference.
It is highly desirable that the tools are available on the web.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. They may
include an additional appendix of up to 6 extra pages giving
the outline, screenshots, examples, etc. to indicate the content of
the proposed live demo.
Papers should be submitted electronically via the submission web page
<https://easychair.org/conferences/?conf=aplas2016> using EasyChair.
Acceptable formats are PDF.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Co-Chairs:
Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam)
Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam)
Program Chair:
Atsushi Igarashi (Kyoto University, Japan)
Program Committee:
Andreas Abel (Gothenburg University, Sweden)
Walter Binder (University of Lugano, Switzerland)
Sandrine Blazy (University of Rennes 1 – IRISA, France)
Iliano Cervesato (CMU, Qatar)
Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
Kung Chen (National Chengchi University, Taipei, Taiwan)
Yuxi Fu (Shanghai Jiao Tong University, China)
Oleg Kiselyov (Tohoku University, Japan)
Anthony W. Lin (Yale-NUS College, Singapore)
David Yu Liu (SUNY Binghamton, USA)
Hidehiko Masuhara (Tokyo Institute of Techonology, Japan)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Nadia Polikarpova (MIT, USA)
Alex Potanin (Victoria University of Wellington, New Zealand)
G. Ramalingam (Microsoft Research, India)
Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam)
Tamara Rezk (INRIA, France)
Sukyoung Ryu (KAIST, Korea)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Éric Tanter (University of Chile, Chile)
Tachio Terauchi (JAIST, Japan)
--
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
APLAS 2016, Call for Papers
14th Asian Symposium on Programming Languages and Systems
Hanoi, Vietnam, November 21-23, 2016
http://soict.hust.edu.vn/~aplas2016/
*********************************************************************
*IMPORTANT DATES*
Abstract deadline: June 12, 2016
Submission deadline: June 17, 2016
Author notification: August 15, 2016
Final version: August 31, 2016
Conference: November 21 - 23, 2016
*ABOUT*
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia,
but is an international forum that serves the worldwide programming
language community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS), founded by Asian researchers in cooperation with many
researchers from Europe and the USA. Past APLAS symposiums were
successfully held in Pohang ('15), Singapore ('14), Melbourne ('13),
Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore
('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and
Beijing ('03) after three informal workshops. Proceedings of the past
symposiums were published in Springer's LNCS.
*TOPICS*
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics
such as
* semantics, logics, foundational theory
* design of languages, type systems and foundational calculi
* domain-specific languages
* compilers, interpreters, abstract machines
* program derivation, synthesis and transformation
* program analysis, verification, model-checking
* logic, constraint, probabilistic and quantum programming
* software security
* concurrency and parallelism
* tools and environments for programming and implementation
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool demonstrations
category. Authors concerned about the appropriateness of a topic are
welcome to consult with program chair prior to submission.
*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
- describing original scientific research results, including system
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including bibliography
and figures. This category encompasses both theoretical and
implementation (also known as system descriptions) papers. In
either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged
on the basis of significance, relevance, correctness, originality,
and clarity. System descriptions papers should contain a link to a
working system and will be judged on originality, usefulness, and
design. In case of lack of space, proofs, experimental results, or
any information supporting the technical results of the paper could
be provided as an appendix or a link to a web page, but reviewers
are not obliged to read them.
b) System and tool demonstrations
- describing a demonstration of a tool or a system that support
theory, program construction, reasoning, or program execution
in the scope of APLAS. The main purpose of a tool paper is to
display a completed, robust and well-documented tool --
highlighting the overall functionality of the tool, the interfaces
of the tool, interesting examples and applications of the tool,
an assessment of the tool's strengths and weaknesses, and a
summary of documentation/support available with the tool.
Authors of tool demonstration proposals are expected to present a live
demonstration of the tool at the conference.
It is highly desirable that the tools are available on the web.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. They may
include an additional appendix of up to 6 extra pages giving
the outline, screenshots, examples, etc. to indicate the content of
the proposed live demo.
Papers should be submitted electronically via the submission web page
<https://easychair.org/conferences/?conf=aplas2016> using EasyChair.
Acceptable formats are PDF.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Co-Chairs:
Thang Huynh Quyet (Hanoi University of Science and Technology, Vietnam)
Nguyen Viet Ha (Vietnam National University, Hanoi, Vietnam)
Program Chair:
Atsushi Igarashi (Kyoto University, Japan)
Program Committee:
Andreas Abel (Gothenburg University, Sweden)
Walter Binder (University of Lugano, Switzerland)
Sandrine Blazy (University of Rennes 1 – IRISA, France)
Iliano Cervesato (CMU, Qatar)
Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
Kung Chen (National Chengchi University, Taipei, Taiwan)
Yuxi Fu (Shanghai Jiao Tong University, China)
Oleg Kiselyov (Tohoku University, Japan)
Anthony W. Lin (Yale-NUS College, Singapore)
David Yu Liu (SUNY Binghamton, USA)
Hidehiko Masuhara (Tokyo Institute of Techonology, Japan)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Nadia Polikarpova (MIT, USA)
Alex Potanin (Victoria University of Wellington, New Zealand)
G. Ramalingam (Microsoft Research, India)
Quan-Thanh Tho (Ho Chi Minh City University of Technology, Vietnam)
Tamara Rezk (INRIA, France)
Sukyoung Ryu (KAIST, Korea)
Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)
Éric Tanter (University of Chile, Chile)
Tachio Terauchi (JAIST, Japan)
--
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-04-13
[Caml-list] Verification Mentoring Workshop - Travel Scholarships
Call for Applications for VMW (Verification Mentoring Workshop) 2016
Verification Mentoring Workshop 2016
Call for Applications for Student Travel Scholarships
We are organizing the second Verification Mentoring Workshop (VMW) 2016.
It is co-located with the International Conference on Computer Aided
Verification (CAV), to be held in Toronto, July 17-23, 2016. CAV is a
premier conference in the area of verification, dedicated to the advancement
of the theory and practice of computer-aided formal analysis methods for
hardware and software systems. The goal of VMW is to attract early-stage
graduate students to pursue research careers in the area of computer-aided
verification and formal methods.
Invited talks at the workshop will cover a broad overview of research topics
in the area, the range of career options and perspectives (academia, industry,
research labs, etc.), and insights into reviewing processes (for papers,
grants, and job applications).
We will provide travel scholarships to student participants (graduates, and
rising senior undergraduates), where the scholarships will cover registration
for VMW and CAV, accommodations, plus travel expenses. Participation of women
and under-represented minorities is especially encouraged.
The VMW workshop website http://i-cav.org/2016/vmw is now accepting
applications.
Important Dates:
+ Deadline for submission of applications: Extended to April 20, 2016
+ Notification of travel scholarships awarded: May 1, 2016
+ VMW Workshop: July 18, 2016
VMW 2016 is partially supported by Microsoft Research and the NSF (National
Science Foundation, USA).
More details on the VMW workshop and CAV conference can be found at
http://i/~cav.org/2016/
Organizers of VMW 2016:
+ Aarti Gupta, Princeton, USA
+ Ruzica Piskac, Yale, USA
+ Andrey Rybalchenko (Chair), Microsoft Research, UK
--
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
Verification Mentoring Workshop 2016
Call for Applications for Student Travel Scholarships
We are organizing the second Verification Mentoring Workshop (VMW) 2016.
It is co-located with the International Conference on Computer Aided
Verification (CAV), to be held in Toronto, July 17-23, 2016. CAV is a
premier conference in the area of verification, dedicated to the advancement
of the theory and practice of computer-aided formal analysis methods for
hardware and software systems. The goal of VMW is to attract early-stage
graduate students to pursue research careers in the area of computer-aided
verification and formal methods.
Invited talks at the workshop will cover a broad overview of research topics
in the area, the range of career options and perspectives (academia, industry,
research labs, etc.), and insights into reviewing processes (for papers,
grants, and job applications).
We will provide travel scholarships to student participants (graduates, and
rising senior undergraduates), where the scholarships will cover registration
for VMW and CAV, accommodations, plus travel expenses. Participation of women
and under-represented minorities is especially encouraged.
The VMW workshop website http://i-cav.org/2016/vmw is now accepting
applications.
Important Dates:
+ Deadline for submission of applications: Extended to April 20, 2016
+ Notification of travel scholarships awarded: May 1, 2016
+ VMW Workshop: July 18, 2016
VMW 2016 is partially supported by Microsoft Research and the NSF (National
Science Foundation, USA).
More details on the VMW workshop and CAV conference can be found at
http://i/~cav.org/2016/
Organizers of VMW 2016:
+ Aarti Gupta, Princeton, USA
+ Ruzica Piskac, Yale, USA
+ Andrey Rybalchenko (Chair), Microsoft Research, UK
--
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-04-12
[Caml-list] [TFP 2016] extended deadline, april 25 2016, final call for papers
TFP 2016 has extended its deadline for draft papers by two weeks (now
April 25). Although all draft papers accepted to TFP 2016 will be
invited to submit to the post-symposium formal proceedings, authors
are reminded that they are not obligated to do so; we welcome works in
progress that may not be destined for the TFP proceedings.
Thanks,
David Van Horn
-----------------------------
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.
== INVITED SPEAKERS ==
TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:
* Ronald Garcia, University of British Columbia: "Static and Dynamic
Type Checking: A Synopsis"
* Steve Zdancewic, University of Pennsylvania: "Type- and
Example-Driven Program Synthesis"
== HISTORY ==
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 25, 2016
Notification: May 2, 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)
Stephanie Weirich University of Pennsylvania (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
April 25). Although all draft papers accepted to TFP 2016 will be
invited to submit to the post-symposium formal proceedings, authors
are reminded that they are not obligated to do so; we welcome works in
progress that may not be destined for the TFP proceedings.
Thanks,
David Van Horn
-----------------------------
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.
== INVITED SPEAKERS ==
TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:
* Ronald Garcia, University of British Columbia: "Static and Dynamic
Type Checking: A Synopsis"
* Steve Zdancewic, University of Pennsylvania: "Type- and
Example-Driven Program Synthesis"
== HISTORY ==
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 25, 2016
Notification: May 2, 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)
Stephanie Weirich University of Pennsylvania (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
2016-04-04
[Caml-list] FHPC 2016 Call for papers
======================================================================
CALL FOR PAPERS
FHPC 2016
The 5th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Nara, Japan
September 22, 2016
https://sites.google.com/site/fhpcworkshops/
Co-located with the International Conference on Functional Programming
(ICFP 2016)
Submission Deadline: Friday, 10 June, 2016 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2016 seeks to encourage a range of submissions, focussing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
* Submissions due: Friday, 10 June, 2016 (anywhere on earth)
* Author notification: Friday, 8 July, 2016
* Final copy due: Sunday, 31 July, 2016
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2016 should be submitted via Easychair, at the
following URL:
* https://www.easychair.org/conferences/?conf=fhpc16
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. PAC also offers other support, such
as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details
on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm).
Programme Committee:
====================
David Duke (co-chair) University of Leeds, UK
Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan
Baris Aktemur Özyeğin University, Turkey
Marco Aldinucci University of Torino, Italy
Jost Berthold Commonwealth Bank, Australia
Kei Davis Los Alamos National Laboratory, USA
Kento Emoto Kyushu Institute of Technology, Japan
Zhenjiang Hu National Institute of Informatics, Japan
Ben Lippmeier University of New South Wales, Australia
Rita Loogen University of Marburg, Germany
Geoffrey Mainland Drexel University, USA
Mike Rainey INRIA, France
Mary Sheeran Chalmers University of Technology, Sweden
Satnam Singh Facebook, UK
CALL FOR PAPERS
FHPC 2016
The 5th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Nara, Japan
September 22, 2016
https://sites.google.com/site/fhpcworkshops/
Co-located with the International Conference on Functional Programming
(ICFP 2016)
Submission Deadline: Friday, 10 June, 2016 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2016 seeks to encourage a range of submissions, focussing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
* Submissions due: Friday, 10 June, 2016 (anywhere on earth)
* Author notification: Friday, 8 July, 2016
* Final copy due: Sunday, 31 July, 2016
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2016 should be submitted via Easychair, at the
following URL:
* https://www.easychair.org/conferences/?conf=fhpc16
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. PAC also offers other support, such
as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details
on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm).
Programme Committee:
====================
David Duke (co-chair) University of Leeds, UK
Yukiyoshi Kameyama (co-chair) University of Tsukuba, Japan
Baris Aktemur Özyeğin University, Turkey
Marco Aldinucci University of Torino, Italy
Jost Berthold Commonwealth Bank, Australia
Kei Davis Los Alamos National Laboratory, USA
Kento Emoto Kyushu Institute of Technology, Japan
Zhenjiang Hu National Institute of Informatics, Japan
Ben Lippmeier University of New South Wales, Australia
Rita Loogen University of Marburg, Germany
Geoffrey Mainland Drexel University, USA
Mike Rainey INRIA, France
Mary Sheeran Chalmers University of Technology, Sweden
Satnam Singh Facebook, UK
--
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-04-01
[Caml-list] [TFP 2016] Final 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.
== INVITED SPEAKERS ==
TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:
* Ronald Garcia, University of British Columbia
* Steve Zdancewic, University of Pennsylvania
== HISTORY ==
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)
Malgorzata 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)
Stephanie Weirich University of Pennsylvania (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.
== INVITED SPEAKERS ==
TFP 2016 is pleased to announce keynote talks by the following two
invited speakers:
* Ronald Garcia, University of British Columbia
* Steve Zdancewic, University of Pennsylvania
== HISTORY ==
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)
Malgorzata 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)
Stephanie Weirich University of Pennsylvania (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)