==================================================
Doctoral Symposium
of the 20th International Conference on Engineering of Complex Computer
Systems
(ICECCS), December 9-12 2015, Gold Coast, Australia
http://iceccs2015.monash.edu.au
==================================================
---------------
Aims
---------------
A Doctoral Symposium will be held in conjunction with the 20th
International Conference on Engineering of Complex Computer Systems
(ICECCS), which will take place in Melbourne, Australia, from December
9th to 12th. The Doctoral Symposium provides an opportunity for PhD
students to present and discuss their research. It is meant to promote
a friendly and supportive environment for students to exchange ideas
and to receive feedbacks from researchers in the fields and their
fellow students on their future research directions.
---------------
Submission information
---------------
We invite students to submit abstracts of their work (in
progress). The topics of the abstract should be broadly relevant to
the topics of the conference, that is, related to complex
computer-based systems, including the causes of complexity and means
of avoiding, controlling, or coping with complexity. Please refer to
the ICECCS website for a list of suggested topics:
http://iceccs2015.monash.edu.au/2015/index.jsp.
Your submission should clearly identify the problem you are working
on, related work and existing solutions (if any), your approach and
methodology, and contributions you have made or expect to make should
the problem be solved. If it is still a work-in-progress, please also
discuss the current stage of research and future work to be done.
Submitted manuscripts should be in English and formatted in the style
of the double-column IEEE format. Each submission must not be longer
than 4 pages, including figures, references, and appendices. All
submissions should be in PDF format. The IEEE templates for the
submission can be found here
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.
All submissions must be done through the EasyChair website of the
conference:
https://easychair.org/conferences/?conf=iceccs20150
(Make sure that you submit to the ICECCS 2015 doctoral symposium.)
---------------
Important dates
---------------
* September 14th 2015: Submission deadline
* October 16th 2015: Notification of acceptance/rejection
---------------
Program committee
---------------
Aldeida Aleti, Monash University, Australia
Étienne André, Université Paris 13, France
Guangdong Bai, National University of Singapore, Singapore
Fei He, Tsinghua University, China
Andrzej Mizera, University of Luxembourg, Luxembourg
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Alwen Tiu (co-chair), Nanyang Technological University, Singapore
Tian Zhang, Nanjing University, China
--
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
2015-08-24
[Caml-list] TABLEAUX/FroCoS 2015 - Call for Participation
Registration for TABLEAUX/FroCoS 2015 in Wroclaw is Open
--------------------------------------------------------
Dates:
20-24 september 2015.
Invited Speakers:
Christoph Benzmueller: On a (Quite) Universal Theorem Proving Approach
and its Application to Metaphysics
Roy Dyckhoff: Coherentisation of First-Order Logic
Andreas Herzig: Knowledge and Action: How should we combine their logics?
Oliver Ray: Symbolic Support for Scientific Discovery in Systems Biology
Philipp Ruemmer: Free variables and theories: Revisiting Rigid E-Unification
Thomas Sturm: From Complete Elimination Procedures to Subtropical
Decisions over the Reals
Tutorials:
- The distributed Ontology, Modeling and Specification Language (DOL),
Till Mossakowski
- Lean Theorem Proving and Connection Tableaux,
Jens Otten
- Formal Representation of Inductive and Coinductive Datatypes with
Applications to Modelling Tableaux Structures,
Andrei Popescu
- Automated Reasoning Building Blocks,
Christoph Weidenbach
- A Taste of CVC4,
Cesare Tinelli, Andrew Reynolds, Clark Barrett
Wroclaw:
Wroclaw is a pleasant, moderately sized town in the center
of Europe, approximately 350 km from Berlin, Prag and
Warsaw. The old town is nice, and the conference is
only 20 minutes walking away.
TABLEAUX 2015:
Tableaux methods offer a convenient and flexible set of tools for automated
reasoning in classical logic, extensions of classical logic, and a large
number of non-classical logics. For large groups of logics, tableaux
methods can be generated automatically. Areas of application include
verification of software and computer systems, deductive databases,
knowledge representation and its required inference engines, teaching,
and system diagnosis. The conference series aims to bring together
researchers interested in all aspects of tableaux - theoretical
foundations, applications, and implementation techniques.
FroCoS 2015:
In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence,
knowledge representation, and automated reasoning, there is an obvious
need for using specialized formalisms and inference systems for selected
tasks. To be usable in practice, these specialized systems must be
combined with each other and integrated into general purpose systems.
This has led---in many research areas---to the development of techniques
and methods for the combination and integration of dedicated formal
systems, as well as for their modularization and analysis.
The International Symposium on Frontiers of Combining Systems (FroCoS)
traditionally focusses on these types of research questions and activities.
Like its predecessors, FroCoS 2015 seeks to offer a common forum for
research in the general area of combination, modularization, and
integration of systems, with emphasis on logic-based ones, and of their
practical use.
Early Registration:
Early registration costs 1200 PLN (292 euro, 330 US dollar).
That's a bargain!
Travel Awards:
There are some travel awards for young researchers
(students/PhD students/postdocs), sponsored by
Springer Verlag. application deadline is September 1st.
Website:
http://tableaux2015.ii.uni.wroc.pl/
http://frocos2015.ii.uni.wroc.pl/
--
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
--------------------------------------------------------
Dates:
20-24 september 2015.
Invited Speakers:
Christoph Benzmueller: On a (Quite) Universal Theorem Proving Approach
and its Application to Metaphysics
Roy Dyckhoff: Coherentisation of First-Order Logic
Andreas Herzig: Knowledge and Action: How should we combine their logics?
Oliver Ray: Symbolic Support for Scientific Discovery in Systems Biology
Philipp Ruemmer: Free variables and theories: Revisiting Rigid E-Unification
Thomas Sturm: From Complete Elimination Procedures to Subtropical
Decisions over the Reals
Tutorials:
- The distributed Ontology, Modeling and Specification Language (DOL),
Till Mossakowski
- Lean Theorem Proving and Connection Tableaux,
Jens Otten
- Formal Representation of Inductive and Coinductive Datatypes with
Applications to Modelling Tableaux Structures,
Andrei Popescu
- Automated Reasoning Building Blocks,
Christoph Weidenbach
- A Taste of CVC4,
Cesare Tinelli, Andrew Reynolds, Clark Barrett
Wroclaw:
Wroclaw is a pleasant, moderately sized town in the center
of Europe, approximately 350 km from Berlin, Prag and
Warsaw. The old town is nice, and the conference is
only 20 minutes walking away.
TABLEAUX 2015:
Tableaux methods offer a convenient and flexible set of tools for automated
reasoning in classical logic, extensions of classical logic, and a large
number of non-classical logics. For large groups of logics, tableaux
methods can be generated automatically. Areas of application include
verification of software and computer systems, deductive databases,
knowledge representation and its required inference engines, teaching,
and system diagnosis. The conference series aims to bring together
researchers interested in all aspects of tableaux - theoretical
foundations, applications, and implementation techniques.
FroCoS 2015:
In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence,
knowledge representation, and automated reasoning, there is an obvious
need for using specialized formalisms and inference systems for selected
tasks. To be usable in practice, these specialized systems must be
combined with each other and integrated into general purpose systems.
This has led---in many research areas---to the development of techniques
and methods for the combination and integration of dedicated formal
systems, as well as for their modularization and analysis.
The International Symposium on Frontiers of Combining Systems (FroCoS)
traditionally focusses on these types of research questions and activities.
Like its predecessors, FroCoS 2015 seeks to offer a common forum for
research in the general area of combination, modularization, and
integration of systems, with emphasis on logic-based ones, and of their
practical use.
Early Registration:
Early registration costs 1200 PLN (292 euro, 330 US dollar).
That's a bargain!
Travel Awards:
There are some travel awards for young researchers
(students/PhD students/postdocs), sponsored by
Springer Verlag. application deadline is September 1st.
Website:
http://tableaux2015.ii.uni.wroc.pl/
http://frocos2015.ii.uni.wroc.pl/
--
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
2015-08-17
[Caml-list] ETAPS 2016 call for papers
******************************************************************
CALL FOR PAPERS: ETAPS 2016
19th European Joint Conferences on Theory And Practice of Software
Eindhoven, The Netherlands, 2-8 April 2016
http://www.etaps.org/2016
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
nineteenth event in the series.
-- MAIN CONFERENCES (4-7 April) --
* ESOP: European Symposium on Programming
(PC chair Peter Thiemann, Universität Freiburg, Germany)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
The Netherlands, and Christof Löding, RWTH Aachen, Germany)
* POST: Principles of Security and Trust
(PC chairs Frank Piessens, Katholieke Universiteit Leuven,
Belgium, and Luca Viganò, King's College London, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
Belgium)
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
* ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
* FASE invited speaker:
Oscar Nierstrasz (Universität Bern, Switzerland)
* POST invited speaker:
Vitaly Shmatikov (University of Texas at Austin, USA)
-- IMPORTANT DATES --
* 9 October 2015: Submission deadline for abstracts
* 16 October 2015: Submission deadline for full papers
* 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
* 18 December 2015: Notification of acceptance
* 8 January 2016: 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.
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
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
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 pp, excluding bibliography of max 2 pp).
Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).
- 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 (2-3 April, 8 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
-- HOST INSTITUTION --
ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.
-- ORGANIZERS
* General chair: Jan Friso Groote
* Workshops chair: Erik de Vink and Julien Schmaltz
* Publicity chair: Anton Wijs
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PAPERS: ETAPS 2016
19th European Joint Conferences on Theory And Practice of Software
Eindhoven, The Netherlands, 2-8 April 2016
http://www.etaps.org/2016
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is the
nineteenth event in the series.
-- MAIN CONFERENCES (4-7 April) --
* ESOP: European Symposium on Programming
(PC chair Peter Thiemann, Universität Freiburg, Germany)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Perdita Stevens, University of Edinburgh, UK,
and Andrzej Wasowski, IT University of Copenhagen, Denmark)
* FOSSACS: Foundations of Software Science
and Computation Structures
(PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
The Netherlands, and Christof Löding, RWTH Aachen, Germany)
* POST: Principles of Security and Trust
(PC chairs Frank Piessens, Katholieke Universiteit Leuven,
Belgium, and Luca Viganò, King's College London, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Marsha Chechik, University of Toronto, Canada,
and Jean-François Raskin (Université Libre de Bruxelles,
Belgium)
TACAS '16 hosts the 5th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speakers:
Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
* ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
* FASE invited speaker:
Oscar Nierstrasz (Universität Bern, Switzerland)
* POST invited speaker:
Vitaly Shmatikov (University of Texas at Austin, USA)
-- IMPORTANT DATES --
* 9 October 2015: Submission deadline for abstracts
* 16 October 2015: Submission deadline for full papers
* 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
* 18 December 2015: Notification of acceptance
* 8 January 2016: 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.
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
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE will try a light-weight double-blind review process (see
http://www.etaps.org/2016/fase).
- Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
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 pp, excluding bibliography of max 2 pp).
Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).
- 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 (2-3 April, 8 April) --
Around 20 satellite workshops will take place before and after the
main conferences.
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
-- HOST INSTITUTION --
ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.
-- ORGANIZERS
* General chair: Jan Friso Groote
* Workshops chair: Erik de Vink and Julien Schmaltz
* Publicity chair: Anton Wijs
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2015-08-11
[Caml-list] Final call for papers for IFL 2015
Hello,
Please, find below the final call for papers for IFL 2015.
Note that the draft submission date has been extended until August 15.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
——
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
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 2015 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.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 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.
Important dates
August 15: Submission deadline draft papers
August 17: Notification of acceptance for presentation
August 19: Early registration deadline
August 26: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
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
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
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 2015, please contact the PC chair at rlaemmel@acm.org. 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 honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
Social events
The conference attendees are welcome at „Kaffeewirtschaft" in the historical center of Koblenz on the evening of arrival (Sunday, 13 September). A special reception takes places on Monday in the form of a wine tasting and guided tour at „Weingut Lunnebach". The conference banquet on Tuesday is held at the historical site „Festung Ehrenbreitstein" at Restaurant Casino with a wonderful view over the city and the two rivers Rhine and Moselle.
- http://www.kaffeewirtschaft.de/
- http://www.weingut-lunnebach.de/
- https://www.cafehahn.de/impressionen_189.html
--
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 final call for papers for IFL 2015.
Note that the draft submission date has been extended until August 15.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
——
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
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 2015 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.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 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.
Important dates
August 15: Submission deadline draft papers
August 17: Notification of acceptance for presentation
August 19: Early registration deadline
August 26: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
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
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
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 2015, please contact the PC chair at rlaemmel@acm.org. 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 honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Programme committee
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
Social events
The conference attendees are welcome at „Kaffeewirtschaft" in the historical center of Koblenz on the evening of arrival (Sunday, 13 September). A special reception takes places on Monday in the form of a wine tasting and guided tour at „Weingut Lunnebach". The conference banquet on Tuesday is held at the historical site „Festung Ehrenbreitstein" at Restaurant Casino with a wonderful view over the city and the two rivers Rhine and Moselle.
- http://www.kaffeewirtschaft.de/
- http://www.weingut-lunnebach.de/
- https://www.cafehahn.de/impressionen_189.html
--
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
2015-08-09
[Caml-list] TAPAS Call for Participation
Call for Participation
----------------------------------------------------------------------
Sixth Workshop on Tools for Automatic Program Analysis
TAPAS 2015
----------------------------------------------------------------------
8 September 2015
Saint-Malo, France
Satellite Workshop of SAS 2015
http://research.berdine.net/tapas2015/
OBJECTIVES
----------
In the last ten years, a wide range of static analysis tools have
emerged, some of which are currently in industrial use or are well
beyond the advanced prototype level. Many impressive practical results
have been obtained, which allow complex properties to be proved or
checked in a fully or semi-automatic way, even in the context of
complex software developments. In parallel, the techniques to design
and implement static analysis tools have improved significantly, and
much effort is being put into engineering the tools. This workshop is
intended to promote discussions and exchange experience between
specialists in all areas of program analysis design and
implementation, and users of static analysis tools.
SCOPE
-----
The technical program of TAPAS 2015 will consist of invited lectures
together with presentations based on submitted abstracts.
We welcome presentations on all aspects of program analysis tools
including, but not limited to the following:
- design and implementation of static analysis tools to check, prove
or infer properties (including practical techniques used for
obtaining precision and performance);
- components and other reusable infrastructure of static analysis
tools (front-ends, abstract domains, solvers, analysis algorithms,
frameworks, etc.);
- integration of static analyzers (in proof assistants, test
generation tools, IDEs, etc.);
- experience reports on the use of static analyzers (both research
prototypes and industrial tools);
- challenges for static analysis tools, such as new properties to
address or bottlenecks to overcome;
- usability of static analysis tools (including user interfaces and
other tools helping to exploit static analysis results); and
- tool demonstrations, and comparisons, by tool authors or
experienced users.
INVITED SPEAKERS
----------------
Patrick Cousot New York University
Pascal Cuoq TrustInSoft
Don Sannella Contemplate & University of Edinburgh
Max Schaefer Semmle
ACCEPTED PRESENTATIONS
----------------------
Wolfgang Ahrendt, Laura Kovacs and Simon Robillard.
Loop Analysis Using Theorem Proving and Symbol Elimination
Georges Dupéron and Roland Ducournau.
k-l-CFA: A Practical Implementation
Colin Runciman and Simon Thompson.
Demur: Checking Functional-program Properties Using Bounded Recursion
Boris Yakobowski.
Fast Whole-program Verification Using On-the-fly Summarization
PROGRAM COMMITTEE
-----------------
Josh Berdine Microsoft Research (chair)
Arie Gurfinkel Software Engineering Inst, Carnegie Mellon Univ
Jan Reineke Saarland University
Manuel Hermenegildo T.U. Madrid (UPM), IMDEA Software Institute
Ralf Huuck NICTA, Univ of New South Wales, Red Lizard Software
Mihaela Sighireanu LIAFA, University of Paris Diderot, CNRS
Laura Kovacs Chalmers University of Technology
Andreas Podelski University of Freiburg
Mooly Sagiv Tel-Aviv University
--
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
----------------------------------------------------------------------
Sixth Workshop on Tools for Automatic Program Analysis
TAPAS 2015
----------------------------------------------------------------------
8 September 2015
Saint-Malo, France
Satellite Workshop of SAS 2015
http://research.berdine.net/tapas2015/
OBJECTIVES
----------
In the last ten years, a wide range of static analysis tools have
emerged, some of which are currently in industrial use or are well
beyond the advanced prototype level. Many impressive practical results
have been obtained, which allow complex properties to be proved or
checked in a fully or semi-automatic way, even in the context of
complex software developments. In parallel, the techniques to design
and implement static analysis tools have improved significantly, and
much effort is being put into engineering the tools. This workshop is
intended to promote discussions and exchange experience between
specialists in all areas of program analysis design and
implementation, and users of static analysis tools.
SCOPE
-----
The technical program of TAPAS 2015 will consist of invited lectures
together with presentations based on submitted abstracts.
We welcome presentations on all aspects of program analysis tools
including, but not limited to the following:
- design and implementation of static analysis tools to check, prove
or infer properties (including practical techniques used for
obtaining precision and performance);
- components and other reusable infrastructure of static analysis
tools (front-ends, abstract domains, solvers, analysis algorithms,
frameworks, etc.);
- integration of static analyzers (in proof assistants, test
generation tools, IDEs, etc.);
- experience reports on the use of static analyzers (both research
prototypes and industrial tools);
- challenges for static analysis tools, such as new properties to
address or bottlenecks to overcome;
- usability of static analysis tools (including user interfaces and
other tools helping to exploit static analysis results); and
- tool demonstrations, and comparisons, by tool authors or
experienced users.
INVITED SPEAKERS
----------------
Patrick Cousot New York University
Pascal Cuoq TrustInSoft
Don Sannella Contemplate & University of Edinburgh
Max Schaefer Semmle
ACCEPTED PRESENTATIONS
----------------------
Wolfgang Ahrendt, Laura Kovacs and Simon Robillard.
Loop Analysis Using Theorem Proving and Symbol Elimination
Georges Dupéron and Roland Ducournau.
k-l-CFA: A Practical Implementation
Colin Runciman and Simon Thompson.
Demur: Checking Functional-program Properties Using Bounded Recursion
Boris Yakobowski.
Fast Whole-program Verification Using On-the-fly Summarization
PROGRAM COMMITTEE
-----------------
Josh Berdine Microsoft Research (chair)
Arie Gurfinkel Software Engineering Inst, Carnegie Mellon Univ
Jan Reineke Saarland University
Manuel Hermenegildo T.U. Madrid (UPM), IMDEA Software Institute
Ralf Huuck NICTA, Univ of New South Wales, Red Lizard Software
Mihaela Sighireanu LIAFA, University of Paris Diderot, CNRS
Laura Kovacs Chalmers University of Technology
Andreas Podelski University of Freiburg
Mooly Sagiv Tel-Aviv University
--
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
2015-08-03
[Caml-list] AVoCS 2015: Final Call for Research Idea Papers & Participation
======================================================================
The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015@easychair.org
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Registration is now open !
+ Special research ideas session: short papers due 10th August
+ Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
REGISTRATION
Registration for AVoCS is available from
https://sites.google.com/site/avocs15/registration
Early registration ends 18 August.
SPONSORS
Altran
D-RisQ Software Systems
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)
BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
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.
SCOPE
We encourage the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. The subject of the ideas is to be interpreted broadly
and inclusively. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types of critical
systems which need to meet stringent dependability requirements
(safety-critical, business-critical, performance-critical, etc.). Contributions
that describe different techniques, or industrial case studies are encouraged.
Topics include (but are not limited to):
- 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
IMPORTANT DATES
Submission of research idea papers: 10th August 2015
Submission of student grant application: 10th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015
INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)
WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.
SUBMISSION DETAILS
Research ideas must be written in English and not exceed 2 pages using the
dedicated AVoCS 2015 EASST template available from the the following link
(for LaTeX and Word):
http://journal.ub.tu-berlin.de/public/template/
The presentation of these ideas will be organised around discussions, where the presenter
should also prepare a set of question in which the audience will discuss.
Submissions are handled via Easychair:
https://easychair.org/conferences/?conf=avocs2015
The research ideas will be included in the pre-proceedings, which will be available
in the form of a Heriot-Watt University Technical Report and will be available at the
workhsop.
STUDENT GRANTS
Thanks to sponsorships from Altran, FME and SICSA we can offer financial
support for a limited number of students registering for AVoCS in the form
of a registration fee waiver (full or partial). As this is limited, we
ask the students that would like to take the advantage of this support
to submit a short application. The details on how to apply is available
from AVoCS webpage.
SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.
PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Yuhui Lin, Heriot-Watt University, UK
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)
STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK
The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015@easychair.org
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Registration is now open !
+ Special research ideas session: short papers due 10th August
+ Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
REGISTRATION
Registration for AVoCS is available from
https://sites.google.com/site/avocs15/registration
Early registration ends 18 August.
SPONSORS
Altran
D-RisQ Software Systems
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)
BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
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.
SCOPE
We encourage the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. The subject of the ideas is to be interpreted broadly
and inclusively. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types of critical
systems which need to meet stringent dependability requirements
(safety-critical, business-critical, performance-critical, etc.). Contributions
that describe different techniques, or industrial case studies are encouraged.
Topics include (but are not limited to):
- 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
IMPORTANT DATES
Submission of research idea papers: 10th August 2015
Submission of student grant application: 10th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015
INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)
WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.
SUBMISSION DETAILS
Research ideas must be written in English and not exceed 2 pages using the
dedicated AVoCS 2015 EASST template available from the the following link
(for LaTeX and Word):
http://journal.ub.tu-berlin.de/public/template/
The presentation of these ideas will be organised around discussions, where the presenter
should also prepare a set of question in which the audience will discuss.
Submissions are handled via Easychair:
https://easychair.org/conferences/?conf=avocs2015
The research ideas will be included in the pre-proceedings, which will be available
in the form of a Heriot-Watt University Technical Report and will be available at the
workhsop.
STUDENT GRANTS
Thanks to sponsorships from Altran, FME and SICSA we can offer financial
support for a limited number of students registering for AVoCS in the form
of a registration fee waiver (full or partial). As this is limited, we
ask the students that would like to take the advantage of this support
to submit a short application. The details on how to apply is available
from AVoCS webpage.
SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.
PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Yuhui Lin, Heriot-Watt University, UK
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)
STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK
-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.
--
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
2015-08-01
[Caml-list] PEPM 2016: Call for Papers
CALL FOR PAPERS
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016)
St. Petersburg, Florida, January 18 - 19, 2016
http://conf.researchr.org/track/POPL-2016/pepm-2016-main
The 2016 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continues efforts to expand the scope
of PEPM beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM will include practical applications of
program transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation systems. In
addition, the scope of PEPM covers manipulation and transformations of program
and system representations such as structural and semantic models that occur
in the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will be
solicited.
Topics of interest for PEPM'16 include, but are not limited to:
* Program and model manipulation techniques such as: supercompilation, partial
evaluation, fusion, on-the-fly program adaptation, active libraries, program
inversion, slicing, symbolic execution, refactoring, decompilation, and
obfuscation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific languages,
program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, resource-limited computation, and security.
To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers' for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic,
industrial and open-source applications that are new or unfamiliar.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. 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 program, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. Accepted papers will be included in the ACM Digital
Library. Selected papers from PEPM'16 will be published in a special issue of
the journal Science of Computer Programming.
PEPM has also established a Best Paper Award. The winner will be announced at
the workshop.
Submission Categories and Guidelines
Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made available
on the PEPM'16 web site.
Papers should be submitted electronically via EasyChair.
easychair.org/conferences/?conf=pepm2016
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template.
Important Dates
* Abstract submission: Tue, September 8, 2015
* Paper submission: Sun, September 13, 2015 (FIRM)
* Author notification: Tue, October 20, 2015
* Camera ready copies: Fri, November 20, 2015
* Workshop: Monday, January 18 - Tuesday, January 19, 2016
Note: The paper submission deadline is firm. The above schedule is tight: We
have absolutely no time to wait for late submissions, and we will have no
deadline extension.
--
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
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016)
St. Petersburg, Florida, January 18 - 19, 2016
http://conf.researchr.org/track/POPL-2016/pepm-2016-main
The 2016 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continues efforts to expand the scope
of PEPM beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM will include practical applications of
program transformations such as refactoring tools, and practical
implementation techniques such as rule-based transformation systems. In
addition, the scope of PEPM covers manipulation and transformations of program
and system representations such as structural and semantic models that occur
in the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will be
solicited.
Topics of interest for PEPM'16 include, but are not limited to:
* Program and model manipulation techniques such as: supercompilation, partial
evaluation, fusion, on-the-fly program adaptation, active libraries, program
inversion, slicing, symbolic execution, refactoring, decompilation, and
obfuscation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific languages,
program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, resource-limited computation, and security.
To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers' for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic,
industrial and open-source applications that are new or unfamiliar.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. 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 program, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. Accepted papers will be included in the ACM Digital
Library. Selected papers from PEPM'16 will be published in a special issue of
the journal Science of Computer Programming.
PEPM has also established a Best Paper Award. The winner will be announced at
the workshop.
Submission Categories and Guidelines
Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made available
on the PEPM'16 web site.
Papers should be submitted electronically via EasyChair.
easychair.org/conferences/?conf=pepm2016
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template.
Important Dates
* Abstract submission: Tue, September 8, 2015
* Paper submission: Sun, September 13, 2015 (FIRM)
* Author notification: Tue, October 20, 2015
* Camera ready copies: Fri, November 20, 2015
* Workshop: Monday, January 18 - Tuesday, January 19, 2016
Note: The paper submission deadline is firm. The above schedule is tight: We
have absolutely no time to wait for late submissions, and we will have no
deadline extension.
--
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)