******************************************************************
CALL FOR PAPERS: ETAPS 2015
18th European Joint Conferences on Theory And Practice of Software
London, UK, 11-18 April 2015
http://www.etaps.org/2015
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.
-- MAIN CONFERENCES (13-17 April) --
* CC: Compiler Construction
(PC chair Björn Franke, University of Edinburgh, UK)
* ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
* POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)
TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Robert Harper (Carnegie Mellon University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
* CC invited speaker:
Keshav Pingali (University of Texas, USA)
* FoSSaCS invited speaker:
Frank Pfenning (Carnegie Mellon University, USA)
* TACAS invited speaker:
Wang Yi (Uppsala Universitet, Sweden)
-- IMPORTANT DATES --
* 10 October 2014: Submission deadline for abstracts
* 17 October 2014: Submission deadline for full papers
* 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
* 19 December 2014: Notification of acceptance
* 16 January 2015: Camera-ready versions due
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).
Both TACAS and FASE solicit also regular tool papers (at most 15
pages).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
TACAS has a page limit of 6 pages for tool demonstrations.
-- SATELLITE EVENTS (11-12 April, 18 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.
-- HOST INSTITUTION --
ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.
The main campus is located in the Mile End area of the East End of
London.
-- ORGANIZERS
* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.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
2014-09-29
[Caml-list] CAV Call for Papers
Call for Papers
27th International Conference on
Computer Aided Verification (CAV 2015)
July 18-24 2015, San Francisco, California
http://i-cav.org/2015/
Aims and Scope
CAV 2015 is the 27th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. CAV considers it vital to continue
spurring advances in hardware and software verification while expanding
to new domains such as biological systems and computer security. The
conference covers the spectrum from theoretical results to concrete
applications, with an emphasis on practical verification tools and the
algorithms and techniques that are needed for their implementation. The
proceedings of the conference will be published in the Springer LNCS
series. A selection of papers will be invited to a special issue of
Formal Methods in System Design and the Journal of the ACM.
Topics of interest include but are not limited to:
* Algorithms and tools for verifying models and implementations
* Hardware verification techniques
* Deductive, compositional, and abstraction techniques for verification
* Program analysis and software verification
* Verification methods for parallel and concurrent hardware/software systems
* Testing and run-time analysis based on verification technology
* Applications and case studies in verification
* Decision procedures and solvers for verification
* Mathematical and logical foundations of practical verification tools
* Verification in industrial practice
* Algorithms and tools for system synthesis
* Hybrid systems and embedded systems verification
* Verification techniques for security
* Formal models and methods for biological systems
Paper Submission
Submissions should contain original research and sufficient detail to
assess the merits and relevance of the contribution. We welcome papers
on theory, case studies and comparisons with existing experimental
research, tool papers, as well as combinations of new theory with
experimental evaluation. Similar to last year, we welcome both long tool
papers and short papers of any kind.
Tool papers should describe system and implementation aspects of a tool
with a large (potential) user base (experiments not required, rehash of
theory strongly discouraged). Papers describing tools that have already
been presented (in any conference) will be accepted only if significant
and clear enhancements to the tool are reported and implemented.
Submissions reporting on case studies in an industrial context are
strongly invited, and should describe details, weaknesses, and strengths
in sufficient depth. Papers reproducing and comparing existing results
experimentally do not require new theoretical insights. Examples of
contributions of such papers are evaluations of existing results in a
superior experimental setting and comparisons of methods that have not
previously been thoroughly experimentally compared.
Papers can be submitted in either a regular or a short format.
* Regular Papers should not exceed 15 pages in LNCS format, not
counting references.
* Short Papers should not exceed 6 pages, not counting references.
Short papers are encouraged for any subject that can be described within
the page limit, and in particular for novel ideas without an extensive
experimental evaluation. Accepted short papers will be accompanied by
short presentations.
An appendix can provide additional material such as details on proofs or
experiments. The appendix is not guaranteed to be read or taken into
account by the reviewers and it should not contain information necessary
for the understanding and the evaluation of the presented work. Papers
will be accepted or rejected in the category in which they were
submitted, there will be no demotions from a regular to a short paper.
Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
The review process will include a feedback/rebuttal period where authors
will have the option to respond to reviewer comments. The PC chairs may
solicit further reviews after the rebuttal period.
Papers must be submitted in PDF format. Submission is done via EasyChair.
Deadlines
Deadlines are anywhere on earth
* Abstract submission: January 30 2015
* Paper submission (firm): February 6 2015
* Author feedback/rebuttal period: March 23-26 2015
* Notification of acceptance/rejection: April 17 2015
* Final version due: May 1 2015
Chairs
Daniel Kroening, University of Oxford, UK.
Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Program Committee
Aws Albarghouthi, University of Wisconsin-Madison, USA
Jade Alglave, University College London, UK
Domagoj Babic, Google, USA
Clark Barrett, New York University, USA
Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, Graz University of Technology, Austria
Ahmed Bouajjani, LIAFA, University Paris Diderot, France
Marius Bozga, Verimag/CNRS, France
Aaron Bradley, Mentor Graphics, USA
David Brumley, Carnegie Mellon University, USA
Tevfik Bultan, University of California, Santa Barbara, USA
Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria
Swarat Chaudhuri, Rice University, USA
Marsha Chechik, University of Toronto, Canada
Hana Chockler, King's College London
Byron Cook, Microsoft Research, USA
Isil Dillig, University of Texas at Austin, USA
Dino Distefano, Facebook, UK
Alastair Donaldson, Imperial College London, UK
Azadeh Farzan, University of Toronto, Canada
Antonio Filieri, University of Stuttgart, Germany
Jasmin Fisher, Microsoft Research, UK
Indradeep Ghosh, Fujitsu Labs of America, USA
Patrice Godefroid, Microsoft Research, USA
Aarti Gupta, USA
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon
University, USA
Gerard Holzmann, NASA/JPL, USA
Warren Hunt, University of Texas at Austin, USA
Ranjit Jhala, University of California, San Diego, USA
Barbara Jobstmann, EPFL and Cadence Design Systems, Switzerland
Joost-Pieter Katoen, RWTH Aachen University, Germany/University of
Twente, the Netherlands
Daniel Kroening, University of Oxford, UK (chair)
Marta Kwiatkowska, University of Oxford, UK
Akash Lal, Microsoft Research, India
Darko Marinov, University of Illinois at Urbana-Champaign, USA
Ken McMillan, Microsoft Research, USA
Kedar Namjoshi, Bell Labs, USA
David Parker, University of Birmingham, UK
Corina Pasareanu, CMU/NASA Ames Research Center, USA (chair)
Andre Platzer, Carnegie Mellon University, USA
Zvonimir Rakamaric, University of Utah, USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Philipp Ruemmer, Uppsala University, Sweden
Mooly Sagiv, Tel Aviv University, Israel
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Koushik Sen, University of California, Berkeley, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, Universitat della Svizzera Italiana, Switzerland
Sharon Shoham, Academic College of Tel-Aviv Yaffo, Israel
Nishant Sinha, IBM Research Labs, India
Fabio Somenzi, University of Colorado at Boulder, USA
Manu Sridharan, Samsung Research America, USA
Ofer Strichman, Technion, Israel
Zhendong Su, University of California, Davis, USA
Cesare Tinelli, The University of Iowa, USA
Emina Torlak, University of Washington, USA
Tayssir Touili, CNRS, LIPN, France
Thomas Wahl, Northeastern University, USA
Georg Weissenbacher, Vienna University of Technology, Austria
Eran Yahav, Technion, Israel
Steering Committee
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, USA
Kenneth McMillan, Microsoft, USA
--
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
27th International Conference on
Computer Aided Verification (CAV 2015)
July 18-24 2015, San Francisco, California
http://i-cav.org/2015/
Aims and Scope
CAV 2015 is the 27th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. CAV considers it vital to continue
spurring advances in hardware and software verification while expanding
to new domains such as biological systems and computer security. The
conference covers the spectrum from theoretical results to concrete
applications, with an emphasis on practical verification tools and the
algorithms and techniques that are needed for their implementation. The
proceedings of the conference will be published in the Springer LNCS
series. A selection of papers will be invited to a special issue of
Formal Methods in System Design and the Journal of the ACM.
Topics of interest include but are not limited to:
* Algorithms and tools for verifying models and implementations
* Hardware verification techniques
* Deductive, compositional, and abstraction techniques for verification
* Program analysis and software verification
* Verification methods for parallel and concurrent hardware/software systems
* Testing and run-time analysis based on verification technology
* Applications and case studies in verification
* Decision procedures and solvers for verification
* Mathematical and logical foundations of practical verification tools
* Verification in industrial practice
* Algorithms and tools for system synthesis
* Hybrid systems and embedded systems verification
* Verification techniques for security
* Formal models and methods for biological systems
Paper Submission
Submissions should contain original research and sufficient detail to
assess the merits and relevance of the contribution. We welcome papers
on theory, case studies and comparisons with existing experimental
research, tool papers, as well as combinations of new theory with
experimental evaluation. Similar to last year, we welcome both long tool
papers and short papers of any kind.
Tool papers should describe system and implementation aspects of a tool
with a large (potential) user base (experiments not required, rehash of
theory strongly discouraged). Papers describing tools that have already
been presented (in any conference) will be accepted only if significant
and clear enhancements to the tool are reported and implemented.
Submissions reporting on case studies in an industrial context are
strongly invited, and should describe details, weaknesses, and strengths
in sufficient depth. Papers reproducing and comparing existing results
experimentally do not require new theoretical insights. Examples of
contributions of such papers are evaluations of existing results in a
superior experimental setting and comparisons of methods that have not
previously been thoroughly experimentally compared.
Papers can be submitted in either a regular or a short format.
* Regular Papers should not exceed 15 pages in LNCS format, not
counting references.
* Short Papers should not exceed 6 pages, not counting references.
Short papers are encouraged for any subject that can be described within
the page limit, and in particular for novel ideas without an extensive
experimental evaluation. Accepted short papers will be accompanied by
short presentations.
An appendix can provide additional material such as details on proofs or
experiments. The appendix is not guaranteed to be read or taken into
account by the reviewers and it should not contain information necessary
for the understanding and the evaluation of the presented work. Papers
will be accepted or rejected in the category in which they were
submitted, there will be no demotions from a regular to a short paper.
Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
The review process will include a feedback/rebuttal period where authors
will have the option to respond to reviewer comments. The PC chairs may
solicit further reviews after the rebuttal period.
Papers must be submitted in PDF format. Submission is done via EasyChair.
Deadlines
Deadlines are anywhere on earth
* Abstract submission: January 30 2015
* Paper submission (firm): February 6 2015
* Author feedback/rebuttal period: March 23-26 2015
* Notification of acceptance/rejection: April 17 2015
* Final version due: May 1 2015
Chairs
Daniel Kroening, University of Oxford, UK.
Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
Program Committee
Aws Albarghouthi, University of Wisconsin-Madison, USA
Jade Alglave, University College London, UK
Domagoj Babic, Google, USA
Clark Barrett, New York University, USA
Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, Graz University of Technology, Austria
Ahmed Bouajjani, LIAFA, University Paris Diderot, France
Marius Bozga, Verimag/CNRS, France
Aaron Bradley, Mentor Graphics, USA
David Brumley, Carnegie Mellon University, USA
Tevfik Bultan, University of California, Santa Barbara, USA
Krishnendu Chatterjee, Institute of Science and Technology (IST), Austria
Swarat Chaudhuri, Rice University, USA
Marsha Chechik, University of Toronto, Canada
Hana Chockler, King's College London
Byron Cook, Microsoft Research, USA
Isil Dillig, University of Texas at Austin, USA
Dino Distefano, Facebook, UK
Alastair Donaldson, Imperial College London, UK
Azadeh Farzan, University of Toronto, Canada
Antonio Filieri, University of Stuttgart, Germany
Jasmin Fisher, Microsoft Research, UK
Indradeep Ghosh, Fujitsu Labs of America, USA
Patrice Godefroid, Microsoft Research, USA
Aarti Gupta, USA
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon
University, USA
Gerard Holzmann, NASA/JPL, USA
Warren Hunt, University of Texas at Austin, USA
Ranjit Jhala, University of California, San Diego, USA
Barbara Jobstmann, EPFL and Cadence Design Systems, Switzerland
Joost-Pieter Katoen, RWTH Aachen University, Germany/University of
Twente, the Netherlands
Daniel Kroening, University of Oxford, UK (chair)
Marta Kwiatkowska, University of Oxford, UK
Akash Lal, Microsoft Research, India
Darko Marinov, University of Illinois at Urbana-Champaign, USA
Ken McMillan, Microsoft Research, USA
Kedar Namjoshi, Bell Labs, USA
David Parker, University of Birmingham, UK
Corina Pasareanu, CMU/NASA Ames Research Center, USA (chair)
Andre Platzer, Carnegie Mellon University, USA
Zvonimir Rakamaric, University of Utah, USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Philipp Ruemmer, Uppsala University, Sweden
Mooly Sagiv, Tel Aviv University, Israel
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Koushik Sen, University of California, Berkeley, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, Universitat della Svizzera Italiana, Switzerland
Sharon Shoham, Academic College of Tel-Aviv Yaffo, Israel
Nishant Sinha, IBM Research Labs, India
Fabio Somenzi, University of Colorado at Boulder, USA
Manu Sridharan, Samsung Research America, USA
Ofer Strichman, Technion, Israel
Zhendong Su, University of California, Davis, USA
Cesare Tinelli, The University of Iowa, USA
Emina Torlak, University of Washington, USA
Tayssir Touili, CNRS, LIPN, France
Thomas Wahl, Northeastern University, USA
Georg Weissenbacher, Vienna University of Technology, Austria
Eran Yahav, Technion, Israel
Steering Committee
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, USA
Kenneth McMillan, Microsoft, USA
--
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
2014-09-06
[Caml-list] APLAS 2014: Call for Participation
=======================================================================
12th Asian Symposium on Programming Languages and Systems (APLAS)
November 17-19, 2014, Singapore
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
=======================================================================
C A L L F O R P A R T I C I P A T I O N
C A L L F O R P O S T E R S
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 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.
The symposium is devoted to foundational and practical issues in programming
languages and systems.
Invited Speakers
----------------
Zhenjiang Hu NII, Japan
Dexter Kozen Cornell University, USA
Julien Verlaguet Facebook, USA
Program Committee
-----------------
General chair
Wei-Ngan Chin National University of Singapore, Singapore
Program chair
Jacques Garrigue Nagoya University, Japan
Program committee
Xiaojuan Cai Shanghai Jiao Tong University, China
James Chapman Institute of Cybernetics, Estonia
Cristian Gherghina Singapore University of Technology and Design
Eric Goubault CEA LIST and Ecole Polytechnique, France
Fei He Tsinghua University, China
Gerwin Klein NICTA and UNSW, Australia
Raghavan Komondoor Indian Institute of Science, Bangalore
Paddy Krishnan Oracle, Australia
Daan Leijen Microsoft Research, USA
Yasuhiko Minamide University of Tsukuba, Japan
Shin-Cheng Mu Academia Sinica, Taiwan
Sungwoo Park Pohang University of Science and Technology, Korea
Julian Rathke University of Southampton, UK
Sukyoung Ryu KAIST, Korea
Alexandra Silva Radboud University Nijmegen, Netherlands
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany
Munehiro Takimoto Tokyo University of Science, Japan
Jan Vitek Purdue University, USA
Hongwei Xi Boston University, USA
Venue
-----
The conference will be held at the Kent Ridge Guild House of the National
University of Singapore. Local information and registration are available at the
following web site:
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
Call for Poster (Deadline 15th Sept 2014)
http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html
Poster Chair: Cristian Gherghina
============================= Monday, November 17th =============================
08:30-09:00 Registration
09:00-10:00 ** Invited Talk:
What is the Essence of Bidirectional Programming?
Zhenjiang Hu (NII, Japan)
10:00-10:30 Coffee break
10:30-12:00 Session 1
Optimized Compilation of Multiset Rewriting with Comprehensions
Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar)
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de
Mathématiques de Marseille, France),Thomas Seiller (Institut des
Hautes Études Mathématiques,France)
Automatic Memory Management Based on Program Transformation using
Ownerships
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ.,
Japan)
12:00-13:30 Lunch and Posters
13:30-14:30 Session 2
The Essence of Ruby
Katsuhiro Ueno, Yutaka Fukasawa (Tohoku University,
Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori
(Tohoku Univ., Japan)
Types for Flexible Objects
Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn
(The Johns Hopkins Univ., USA)
14:30-16:00 Posters and Tea
16:00-17:30 Session 3
A Translation of Intersection and Union Types for the lambda-mu
Calculus
Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai
(Chiba Univ., Japan)
A Formalized Proof of Strong Normalization for Guarded Recursive
Types
Andreas Abel (Gothenburg Univ., Sweden), Andrea Vezzosi
(Chalmers Univ. of Technology, Sweden)
Functional Pearl: Nearest Shelters in Manhattan
Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (National
Taiwan Univ., Taiwan)
============================= Tuesday, November 18th =============================
08:30-09:30 ** Invited Talk:
Incremental Adoption of Static-Typing
Julien Verlaguet (Facebook, USA)
09:30-10:00 Session 4
SUPPL: A flexible language for policies
Robert Dockins and Andrew Tolmach (Portland State Univ., USA)
10:00-10:30 Coffee break
10:30-12:00 Session 5
A Method for Scalable and Precise Bug Finding Using Program Analysis
and Model Checking
Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Krishnan
(Oracle Labs Brisbane, Australia)
Model-checking for Android Malware Detection
Fu Song (East China Normal Univ., China), Tayssir Touili (LIAFA,
CNRS & Univ. Paris Diderot, France)
Necessary and Sufficient Preconditions via Eager Abstraction
Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schrammel
(Univ. of Oxford, UK)
12:00-13:30 Lunch
13:30-15:00 Session 6
Resource Protection using Atomics: Patterns and Verifications
Afshin Amighi, Stefan Blom, Marieke Huisman (Univ. of Twente,
Netherlands)
Resource Analysis of Complex Programs with Cost Equations
Antonio Flores Montoya, Reiner Hähnle (Technische Univ. Darmstadt,
Germany)
Simple and Efficient Algorithms for Octagons
Aziem Chawdhary, Edward Robbins, Andy King (Univ. of Kent, UK)
15:00-15:30 Coffee break
15:30-17:00 Session 7
Compositional Entailment Checking for a Fragment of Separation Logic
Constantin Enea (LIAFA, CNRS & Univ. of Paris, France), Ondrej
Lengal (Brno Univ. of Technology, Czech Republic),Mihaela
Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas Vojnar
(Brno Univ. of Technology, Czech Republic)
Automatic Constrained Rewriting Induction Towards Verifying Procedural
Programs
Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (Nagoya
Univ., Japan)
A ZDD-based Efficient Higher-order Model Checking Algorithm
Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan)
18:00- APLAS Banquet
============================ Wednesday, November 19th ============================
08:30-10:00 Session 8
Inferring Grammatical Summaries of String Values
Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung
Ryu (KAIST, Korea)
Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Shigeyuki Sato (The Univ. of Electro-Communications, Japan),
Akimasa Morihata (Univ. of Tokyo, Japan)
Address Chain: Profiling Java Objects without Overhead in Java Heaps
Xiaohua Shi, Junru Xie, Hengyang Yu (Beihang Univ., China)
10:00-10:30 Coffee break
10:30-12:00 Session 9
Call-by-Value in a Basic Logic for Interaction
Ulrich Schäpp (Ludwig-Maximilians-Univ. München, Germany)
A precise and abstract memory model for C using symbolic values
Frédéric Besson (Inria, France), Sandrine Blazy, Pierre Wilke
(IRISA, France)
Hereditary history-preserving bisimilarity: logics and automata
Paolo Baldan, Silvia Crafa (Universita' di Padova, Italy)
12:00-13:00 Lunch
13:00-14:00 ** Invited Talk:
NetKAT: A formal system for the verification of networks
Dexter Kozen (Cornell Univ., USA)
--
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
12th Asian Symposium on Programming Languages and Systems (APLAS)
November 17-19, 2014, Singapore
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
=======================================================================
C A L L F O R P A R T I C I P A T I O N
C A L L F O R P O S T E R S
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 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.
The symposium is devoted to foundational and practical issues in programming
languages and systems.
Invited Speakers
----------------
Zhenjiang Hu NII, Japan
Dexter Kozen Cornell University, USA
Julien Verlaguet Facebook, USA
Program Committee
-----------------
General chair
Wei-Ngan Chin National University of Singapore, Singapore
Program chair
Jacques Garrigue Nagoya University, Japan
Program committee
Xiaojuan Cai Shanghai Jiao Tong University, China
James Chapman Institute of Cybernetics, Estonia
Cristian Gherghina Singapore University of Technology and Design
Eric Goubault CEA LIST and Ecole Polytechnique, France
Fei He Tsinghua University, China
Gerwin Klein NICTA and UNSW, Australia
Raghavan Komondoor Indian Institute of Science, Bangalore
Paddy Krishnan Oracle, Australia
Daan Leijen Microsoft Research, USA
Yasuhiko Minamide University of Tsukuba, Japan
Shin-Cheng Mu Academia Sinica, Taiwan
Sungwoo Park Pohang University of Science and Technology, Korea
Julian Rathke University of Southampton, UK
Sukyoung Ryu KAIST, Korea
Alexandra Silva Radboud University Nijmegen, Netherlands
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany
Munehiro Takimoto Tokyo University of Science, Japan
Jan Vitek Purdue University, USA
Hongwei Xi Boston University, USA
Venue
-----
The conference will be held at the Kent Ridge Guild House of the National
University of Singapore. Local information and registration are available at the
following web site:
http://loris-7.ddns.comp.nus.edu.sg/~aplas14
Call for Poster (Deadline 15th Sept 2014)
http://loris-7.ddns.comp.nus.edu.sg/~aplas14/cfposters.html
Poster Chair: Cristian Gherghina
============================= Monday, November 17th =============================
08:30-09:00 Registration
09:00-10:00 ** Invited Talk:
What is the Essence of Bidirectional Programming?
Zhenjiang Hu (NII, Japan)
10:00-10:30 Coffee break
10:30-12:00 Session 1
Optimized Compilation of Multiset Rewriting with Comprehensions
Edmund Soon Lee Lam, Iliano Cervesato (CMU, Qatar)
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone (Institut de
Mathématiques de Marseille, France),Thomas Seiller (Institut des
Hautes Études Mathématiques,France)
Automatic Memory Management Based on Program Transformation using
Ownerships
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi (Kyoto Univ.,
Japan)
12:00-13:30 Lunch and Posters
13:30-14:30 Session 2
The Essence of Ruby
Katsuhiro Ueno, Yutaka Fukasawa (Tohoku University,
Japan),Akimasa Morihata (Univ. of Tokyo, Japan), Atsushi Ohori
(Tohoku Univ., Japan)
Types for Flexible Objects
Zachary Palmer, Scott Smith, Hari Menon, Alexander Rozenshteyn
(The Johns Hopkins Univ., USA)
14:30-16:00 Posters and Tea
16:00-17:30 Session 3
A Translation of Intersection and Union Types for the lambda-mu
Calculus
Kentaro Kikuchi (RIEC, Tohoku Univ., Japan), Takafumi Sakurai
(Chiba Univ., Japan)
A Formalized Proof of Strong Normalization for Guarded Recursive
Types
Andreas Abel (Gothenburg Univ., Sweden), Andrea Vezzosi
(Chalmers Univ. of Technology, Sweden)
Functional Pearl: Nearest Shelters in Manhattan
Shin-Cheng Mu (Academia Sinica, Taiwan), Ting-Wei Chen (National
Taiwan Univ., Taiwan)
============================= Tuesday, November 18th =============================
08:30-09:30 ** Invited Talk:
Incremental Adoption of Static-Typing
Julien Verlaguet (Facebook, USA)
09:30-10:00 Session 4
SUPPL: A flexible language for policies
Robert Dockins and Andrew Tolmach (Portland State Univ., USA)
10:00-10:30 Coffee break
10:30-12:00 Session 5
A Method for Scalable and Precise Bug Finding Using Program Analysis
and Model Checking
Manuel Valdiviezo, Cristina Cifuentes and Padmanabhan Krishnan
(Oracle Labs Brisbane, Australia)
Model-checking for Android Malware Detection
Fu Song (East China Normal Univ., China), Tayssir Touili (LIAFA,
CNRS & Univ. Paris Diderot, France)
Necessary and Sufficient Preconditions via Eager Abstraction
Mohamed Nassim Seghir (Univ. of Edinburgh, UK), Peter Schrammel
(Univ. of Oxford, UK)
12:00-13:30 Lunch
13:30-15:00 Session 6
Resource Protection using Atomics: Patterns and Verifications
Afshin Amighi, Stefan Blom, Marieke Huisman (Univ. of Twente,
Netherlands)
Resource Analysis of Complex Programs with Cost Equations
Antonio Flores Montoya, Reiner Hähnle (Technische Univ. Darmstadt,
Germany)
Simple and Efficient Algorithms for Octagons
Aziem Chawdhary, Edward Robbins, Andy King (Univ. of Kent, UK)
15:00-15:30 Coffee break
15:30-17:00 Session 7
Compositional Entailment Checking for a Fragment of Separation Logic
Constantin Enea (LIAFA, CNRS & Univ. of Paris, France), Ondrej
Lengal (Brno Univ. of Technology, Czech Republic),Mihaela
Sighireanu (LIAFA, CNRS & Univ. of Paris, France), Tomas Vojnar
(Brno Univ. of Technology, Czech Republic)
Automatic Constrained Rewriting Induction Towards Verifying Procedural
Programs
Cynthia Kop (Univ. of Innsbruck, Austria), Naoki Nishida (Nagoya
Univ., Japan)
A ZDD-based Efficient Higher-order Model Checking Algorithm
Taku Terao, Naoki Kobayashi (Univ. of Tokyo, Japan)
18:00- APLAS Banquet
============================ Wednesday, November 19th ============================
08:30-10:00 Session 8
Inferring Grammatical Summaries of String Values
Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung
Ryu (KAIST, Korea)
Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Shigeyuki Sato (The Univ. of Electro-Communications, Japan),
Akimasa Morihata (Univ. of Tokyo, Japan)
Address Chain: Profiling Java Objects without Overhead in Java Heaps
Xiaohua Shi, Junru Xie, Hengyang Yu (Beihang Univ., China)
10:00-10:30 Coffee break
10:30-12:00 Session 9
Call-by-Value in a Basic Logic for Interaction
Ulrich Schäpp (Ludwig-Maximilians-Univ. München, Germany)
A precise and abstract memory model for C using symbolic values
Frédéric Besson (Inria, France), Sandrine Blazy, Pierre Wilke
(IRISA, France)
Hereditary history-preserving bisimilarity: logics and automata
Paolo Baldan, Silvia Crafa (Universita' di Padova, Italy)
12:00-13:00 Lunch
13:00-14:00 ** Invited Talk:
NetKAT: A formal system for the verification of networks
Dexter Kozen (Cornell Univ., USA)
--
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
2014-09-02
[Caml-list] ETAPS 2015 2nd call for papers
******************************************************************
CALL FOR PAPERS: ETAPS 2015
18th European Joint Conferences on Theory And Practice of Software
London, UK, 11-18 April 2015
http://www.etaps.org/2015
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.
-- MAIN CONFERENCES (13-17 April) --
* CC: Compiler Construction
(PC chair Björn Franke, University of Edinburgh, UK)
* ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
* POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)
TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Robert Harper (Carnegie Mellon University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
* CC invited speaker:
Keshav Pingali (University of Texas, USA)
* FoSSaCS invited speaker:
Frank Pfenning (Carnegie Mellon University, USA)
* TACAS invited speaker:
Wang Yi (Uppsala Universitet, Sweden)
-- IMPORTANT DATES --
* 10 October 2014: Submission deadline for abstracts
* 17 October 2014: Submission deadline for full papers
* 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
* 19 December 2014: Notification of acceptance
* 16 January 2015: Camera-ready versions due
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).
Both TACAS and FASE solicit also regular tool papers (at most 15
pages).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
TACAS has a page limit of 6 pages for tool demonstrations.
-- SATELLITE EVENTS (11-12 April, 18 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.
-- HOST INSTITUTION --
ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.
The main campus is located in the Mile End area of the East End of
London.
-- ORGANIZERS
* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.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
CALL FOR PAPERS: ETAPS 2015
18th European Joint Conferences on Theory And Practice of Software
London, UK, 11-18 April 2015
http://www.etaps.org/2015
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.
-- MAIN CONFERENCES (13-17 April) --
* CC: Compiler Construction
(PC chair Björn Franke, University of Edinburgh, UK)
* ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universität Braunschweig, Germany)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
* POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Università Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)
TACAS '15 will host the 4rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Robert Harper (Carnegie Mellon University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
* CC invited speaker:
Keshav Pingali (University of Texas, USA)
* FoSSaCS invited speaker:
Frank Pfenning (Carnegie Mellon University, USA)
* TACAS invited speaker:
Wang Yi (Uppsala Universitet, Sweden)
-- IMPORTANT DATES --
* 10 October 2014: Submission deadline for abstracts
* 17 October 2014: Submission deadline for full papers
* 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
* 19 December 2014: Notification of acceptance
* 16 January 2015: Camera-ready versions due
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).
Both TACAS and FASE solicit also regular tool papers (at most 15
pages).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
TACAS has a page limit of 6 pages for tool demonstrations.
-- SATELLITE EVENTS (11-12 April, 18 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.
-- HOST INSTITUTION --
ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.
The main campus is located in the Mile End area of the East End of
London.
-- ORGANIZERS
* General chairs: Pasquale Malacaria, Nikos Tzevelekos
* Workshops chair: Paulo Oliva
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.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
[Caml-list] Third call for papers, IFL 2014
Hello,
Please, find below the third call for papers for IFL 2014.
The submission page is now open. The submission date has been
delayed to Sep. 8 2014 anywhere on the world.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
---
CALL FOR PAPERS
26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014
NORTHEASTERN UNIVERSITY/BOSTON, USA
OCTOBER 1-3, 2014
http://ifl2014.github.io
We are pleased to announce that the 26th edition of the IFL series
will be held at Northeastern University in Boston, USA. The symposium
will be held from 1st to 3rd of October 2014.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2014 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.
Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time
may work submitted to IFL be simultaneously submitted to other venues;
submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. Hence,
publications that appear only in the draft proceedings do not count as
publication for the ACM SIGPLAN republication policy. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.
Submission Details
------------------
Submission deadline draft papers: September 8
Notification of acceptance for presentation: September 10
Early registration deadline: September 11
Late registration deadline: September 17
Submission deadline for pre-symposium proceedings: September 24
26th IFL Symposium: October 1-3
Submission deadline for post-symposium proceedings: December 15
Notification of acceptance for post-symposium proceedings: January 31 2015
Camera-ready version for post-symposium proceedings: March 15 2015
Prospective authors are encouraged to submit papers or extended
abstracts to be published in the draft proceedings and to present them
at the symposium. All contributions must be written in English. Papers
must adhere to the standard ACM two columns conference format. For the
pre-symposium proceedings we adopt a 'weak' page limit of 12
pages. For the post-symposium proceedings the page limit of 12 pages
is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Papers should be submitted online at https://easychair.org/conferences/?conf=ifl2014
Topics
------
IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools in the context
of functional programming. If you are not sure whether your work is
appropriate for IFL 2014, please contact the PC chair at
samth@cs.indiana.edu. Topics of interest include, but are not limited
to:
• language concepts
• type systems, type checking, type inferencing
• compilation techniques
• staged compilation
• run-time function specialization
• run-time code generation
• partial evaluation
• (abstract) interpretation
• metaprogramming
• generic programming
• automatic program generation
• array processing
• concurrent/parallel programming
• concurrent/parallel program execution
• embedded systems
• web applications
• (embedded) domain specific languages
• security
• novel memory management techniques
• run-time profiling performance measurements
• debugging and tracing
• virtual/abstract machine architectures
• validation, verification of functional programs
• tools and programming techniques
• (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
-------------------
Sam Tobin-Hochstadt, Indiana University (Chair)
Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair)
Atze Dijkstra, Utrecht University
Colin Runciman, University of York
Graham Hutton, University of Nottingham
Mary Sheeran, Chalmers University of Technology
Patricia Johann, Appalachian State University
Matthew Fluet, Rochester Institute of Technology
Josef Svenningsson, Chalmers University of Technology
Małgorzata Biernacka, University of Wroclaw
Peter Achten, Radboud Univerity Nijmegen
Laura Castro, University of A Coruña
Hai Paul Liu, Intel Labs
Kathryn Gray, Cambridge University
Lars Bergstrom, Mozilla Research
Lindsey Kuper, Indiana University
Nicolas Wu, Oxford
T. Stephen Strickland, University of Maryland
Xavier Clerc, INRIA
Venue
-----
The 26th IFL will be held in association with the College of Computer
and Information Science at Northeastern University. It can be reached
quickly and easily by public transport.
--
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
Please, find below the third call for papers for IFL 2014.
The submission page is now open. The submission date has been
delayed to Sep. 8 2014 anywhere on the world.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
---
CALL FOR PAPERS
26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014
NORTHEASTERN UNIVERSITY/BOSTON, USA
OCTOBER 1-3, 2014
http://ifl2014.github.io
We are pleased to announce that the 26th edition of the IFL series
will be held at Northeastern University in Boston, USA. The symposium
will be held from 1st to 3rd of October 2014.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2014 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.
Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time
may work submitted to IFL be simultaneously submitted to other venues;
submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. Hence,
publications that appear only in the draft proceedings do not count as
publication for the ACM SIGPLAN republication policy. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.
Submission Details
------------------
Submission deadline draft papers: September 8
Notification of acceptance for presentation: September 10
Early registration deadline: September 11
Late registration deadline: September 17
Submission deadline for pre-symposium proceedings: September 24
26th IFL Symposium: October 1-3
Submission deadline for post-symposium proceedings: December 15
Notification of acceptance for post-symposium proceedings: January 31 2015
Camera-ready version for post-symposium proceedings: March 15 2015
Prospective authors are encouraged to submit papers or extended
abstracts to be published in the draft proceedings and to present them
at the symposium. All contributions must be written in English. Papers
must adhere to the standard ACM two columns conference format. For the
pre-symposium proceedings we adopt a 'weak' page limit of 12
pages. For the post-symposium proceedings the page limit of 12 pages
is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Papers should be submitted online at https://easychair.org/conferences/?conf=ifl2014
Topics
------
IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools in the context
of functional programming. If you are not sure whether your work is
appropriate for IFL 2014, please contact the PC chair at
samth@cs.indiana.edu. Topics of interest include, but are not limited
to:
• language concepts
• type systems, type checking, type inferencing
• compilation techniques
• staged compilation
• run-time function specialization
• run-time code generation
• partial evaluation
• (abstract) interpretation
• metaprogramming
• generic programming
• automatic program generation
• array processing
• concurrent/parallel programming
• concurrent/parallel program execution
• embedded systems
• web applications
• (embedded) domain specific languages
• security
• novel memory management techniques
• run-time profiling performance measurements
• debugging and tracing
• virtual/abstract machine architectures
• validation, verification of functional programs
• tools and programming techniques
• (industrial) applications
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
-------------------
Sam Tobin-Hochstadt, Indiana University (Chair)
Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair)
Atze Dijkstra, Utrecht University
Colin Runciman, University of York
Graham Hutton, University of Nottingham
Mary Sheeran, Chalmers University of Technology
Patricia Johann, Appalachian State University
Matthew Fluet, Rochester Institute of Technology
Josef Svenningsson, Chalmers University of Technology
Małgorzata Biernacka, University of Wroclaw
Peter Achten, Radboud Univerity Nijmegen
Laura Castro, University of A Coruña
Hai Paul Liu, Intel Labs
Kathryn Gray, Cambridge University
Lars Bergstrom, Mozilla Research
Lindsey Kuper, Indiana University
Nicolas Wu, Oxford
T. Stephen Strickland, University of Maryland
Xavier Clerc, INRIA
Venue
-----
The 26th IFL will be held in association with the College of Computer
and Information Science at Northeastern University. It can be reached
quickly and easily by public transport.
--
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
2014-09-01
[Caml-list] SCSS 2014: Call for short and work-in-progress papers
[Please post - apologies for multiple copies.]
CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium
Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/
================================================
Scope
--------
The purpose of SCSS 2014 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of
computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification. The topics of the symposium include,
but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing
Submission
----------
Researchers and practitioners are invited to submit short papers, reports on
interesting work in progress or system descriptions. They need not be
original.
Concurrent submission to another conference or a journal is allowed. The
papers
are limited in length to 5 pages in the EasyChair format.
Submission page: https://www.easychair.org/conferences/?conf=scss2014
Important Dates
---------------
September 29, 2014: Submission deadline
October 3, 2014: Notification
December 7-11, 2014: SCSS 2014 in Gammarth
Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
William M. Farmer (McMaster University)
Program Chairs
--------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)
Program Committee
------------------
Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
General Chairs
---------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)
Local Chair
-----------
Mohamed Becha Kaaniche (University of Carthage, Tunisia)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium
Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/
================================================
Scope
--------
The purpose of SCSS 2014 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of
computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification. The topics of the symposium include,
but are not limited to the following:
- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing
Submission
----------
Researchers and practitioners are invited to submit short papers, reports on
interesting work in progress or system descriptions. They need not be
original.
Concurrent submission to another conference or a journal is allowed. The
papers
are limited in length to 5 pages in the EasyChair format.
Submission page: https://www.easychair.org/conferences/?conf=scss2014
Important Dates
---------------
September 29, 2014: Submission deadline
October 3, 2014: Notification
December 7-11, 2014: SCSS 2014 in Gammarth
Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
William M. Farmer (McMaster University)
Program Chairs
--------------
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)
Program Committee
------------------
Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)
General Chairs
---------------
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)
Local Chair
-----------
Mohamed Becha Kaaniche (University of Carthage, Tunisia)
--
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)