CADE-26 CALL FOR PARTICIPATION
==============================
The 26th International Conference on Automated Deduction
Gothenburg, Sweden
6-11 August 2017
www.cade-26.info
*** KEYNOTE SPEAKERS ***
June Andronick - Data61
Philippa Gardner - Imperial College London
Grant Passmore - Aesthetic Integration
*** RESEARCH PROGRAM ***
see www.cade-26.info
*** SOCIAL EVENT ***
Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/)
Dinner in the dramatic Marstrand castle
*** WORKSHOPS ***
ARCADE: Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements
HCVS: Horn Clauses for Verification and Synthesis
PCR'17: Parallel Constraint Reasoning
ThEdu'17: Theorem Prover Components for Educational Software
Vampire 2017: The 4th Vampire Workshop
*** TUTORIAL ***
Certified Functional (Co)programming with Isabelle/HOL
*** SYSTEM COMPETITION ***
CASC (CADE System Competition)
www.tptp.org/CASC/26/
*** REGISTRATION ***
Early registration until 6 July 2017
Late registration until 2 August 2017
see www.cade-26.info
*** VENUE ***
Lindholmen Conference Centre, Gothenburg
and
Chalmers University of Technology, Lindholmen Campus, Gothenburg
*** CADE-26 ORGANIZERS ***
Conference Chairs:
Wolfgang Ahrendt Chalmers University of Technology
Moa Johansson Chalmers University of Technology
Program Committee Chair:
Leonardo de Moura Microsoft Research
Publicity Chair:
Magnus Myreen Chalmers University of Technology
Workshop and Tutorial Chair:
Philipp Ruemmer Uppsala 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
2017-05-29
[Caml-list] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
-----------------------------
C A L L F O R P A R T I C I P A T I O N
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== PAPER SUBMISSIONS ==
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== INVITED SPEAKERS ==
Conor McBride University of Strathclyde (UK)
Cătălin Hriţcu INRIA Paris (FR)
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
Co-Chairs
Meng Wang University of Kent (UK)
Scott Owens University of Kent (UK)
PC
Jeremy Yallop University of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura Castro University of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten Radboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał Pałka Chalmers University of Technology (SE)
Sandrine Blazy University of Rennes 1 - IRISA (FR)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
C A L L F O R P A R T I C I P A T I O N
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== PAPER SUBMISSIONS ==
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== INVITED SPEAKERS ==
Conor McBride University of Strathclyde (UK)
Cătălin Hriţcu INRIA Paris (FR)
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
Co-Chairs
Meng Wang University of Kent (UK)
Scott Owens University of Kent (UK)
PC
Jeremy Yallop University of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura Castro University of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten Radboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał Pałka Chalmers University of Technology (SE)
Sandrine Blazy University of Rennes 1 - IRISA (FR)
--
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
2017-05-26
[Caml-list] LSFA'17: Third Call for Papers
*** Apologies for multiple copies, please redistribute ***
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* Mauricio Ayala-Rincon, Universidade de Brasilia
* Veronica Becher, Universidad de Buenos Aires
* Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
* Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, University of Groningen and CWI, Amsterdam
* Petrucio Viana, Universidade Federal Fluminense
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
* Camilo Rocha, Pontificia Universidad Javeriana Cali
* Simona Ronchi Della Rocca, Universita' di Torino
* Alvaro Tasistro, Universidad ORT Uruguay
* Christian Urban, King's College London
ORGANISING COMMITTEE
* Flávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org
* http://lsfa2017.cic.unb.br/
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sandra
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.br/~renata/
--------------------------------------------------------
CALL FOR PAPERS
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in Brasília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).
TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
* Automated deduction
* Applications of logical and/or semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and/or semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2017
The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English.
* Submission: 21 June 2017
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 23-24 September 2017
According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br).
INVITED SPEAKERS
* Beniamino Accattoli
* Hélène Kirchner
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.
LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in Brasília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).
TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
* Automated deduction
* Applications of logical and/or semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and/or semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form of full papers with a maximum of 16 pages including references or short papers with a maximum of 6 pages including references. Additional technical material can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Contributions must also be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using ENTCS style (http://www.entcs.org/prelim.html). The submission should be in the form of a PDF file uploaded to Easychair:
https://easychair.org/conferences/?conf=lsfa2017
The workshop pre-proceedings, containing the reviewed extended abstracts, will be handed-out at workshop registration. After the workshop the authors of both full and short papers will be invited to submit full versions of their works for the post-proceedings to be published in ENTCS. At least one of the authors should register for the conference. Presentations should be in English.
* Submission: 21 June 2017
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 23-24 September 2017
According to the quality of proceedings, authors will/would/might be invited to submit an improved version of their paper for a special issue. Previous LSFA special issues have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br).
INVITED SPEAKERS
* Beniamino Accattoli
* Hélène Kirchner
* Renate Schmidt
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* Mauricio Ayala-Rincon, Universidade de Brasilia
* Veronica Becher, Universidad de Buenos Aires
* Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
* Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, University of Groningen and CWI, Amsterdam
* Petrucio Viana, Universidade Federal Fluminense
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar
* Camilo Rocha, Pontificia Universidad Javeriana Cali
* Simona Ronchi Della Rocca, Universita' di Torino
* Alvaro Tasistro, Universidad ORT Uruguay
* Christian Urban, King's College London
ORGANISING COMMITTEE
* Flávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org
* http://lsfa2017.cic.unb.br/
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sandra
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.br/~renata/
--------------------------------------------------------
2017-05-14
[Caml-list] CfP Summer School on Information Security and Protection (ISSISP), July 17-21, Gif-sur-Yvette / Paris, France
The International Summer School on Information Security and Protection (ISSISP) is organized by CEA LIST on July 17-21, at Château de Button, Gif-sur-Yvette, France (near Paris).
website: https://issisp2017.github.io/
** Description
There is an increasing need for Software Security and Protection due to the growing sensitivity of user data coupled with the ubiquitous nature of computing systems ranging from tiny embedded devices to powerful data centers. The International Summer School on Information Security and Protection (ISSISP) highlights this need by bringing internationally renowned speakers from diverse fields in Computer Science such as Software Engineering, Formal Methods, Computer Architecture, Operating Systems and Compiler design into Software Security and Protection.
ISSISP is historically centered on MATE (Man-At-The-End) attack scenarios, with a strong focus on obfuscation and reverse. The 2017 edition will additionally cover control-flow hijacking issues as well as software protections against hardware attacks. ISSISP's courses will include both lectures and hands-on sessions.
The program includes the following speakers:
- Christian Collberg :: obfuscation, watermarking, fingerprinting
- Jack Davidson :: advanced software protections
- Bjorn De Sutter :: anti-deobfuscation techniques and protection evaluation
- Arun Lakhotia :: malware analysis
- Ronan Lashermes :: protection vs fault injection
- Damien Couroussé :: protection vs side-channel attacks
- Roberto Giacobazzi :: semantic foundations of code protection
- Sébastien Bardin :: binary-level formal methods
** Practical details
The School is expected to host around 50 people worldwide, all of them specialized in security, software analysis or related areas. Beside PhD students and young researchers which are our primary target, we also welcome (and expect) the participation of experts from both industry and national agencies.
Fees:
- student: 350 EUR
- academia / startup: 525 EUR
- company: 700 EUR
Student subscription fees include a certificate of participation from ACM and a complimentay 1-year ACM student membership -- with a subscription to the ACM Digital libray.
Registration is available with or without accomodation included. The provided accomodations are located on the site of the Summer School and are limited.
The International Summer School on Information Security and Protection
(ISSISP) is organized by CEA LIST on July 17-21, at Château de Button,
Gif-sur-Yvette, France (near Paris).
website: https://issisp2017.github.io/
** Description
There is an increasing need for Software Security and Protection due to
the growing sensitivity of user data coupled with the ubiquitous nature
of computing systems ranging from tiny embedded devices to powerful data
centers. The International Summer School on Information Security and
Protection (ISSISP) highlights this need by bringing internationally
renowned speakers from diverse fields in Computer Science such as
Software Engineering, Formal Methods, Computer Architecture, Operating
Systems and Compiler design into Software Security and Protection.
ISSISP is historically centered on MATE (Man-At-The-End) attack
scenarios, with a strong focus on obfuscation and reverse. The 2017
edition will additionally cover control-flow hijacking issues as well as
software protections against hardware attacks. ISSISP's courses will
include both lectures and hands-on sessions.
The program includes the following speakers:
- Christian Collberg :: obfuscation, watermarking, fingerprinting
- Jack Davidson :: advanced software protections
- Bjorn De Sutter :: anti-deobfuscation, protection evaluation
- Arun Lakhotia :: malware analysis
- Ronan Lashermes :: protection vs fault injection
- Damien Couroussé :: protection vs side-channel attacks
- Roberto Giacobazzi :: semantic foundations of code protection
- Sébastien Bardin :: binary-level formal methods
** Practical details
The School is expected to host around 50 people worldwide, all of them
specialized in security, software analysis or related areas. Beside PhD
students and young researchers which are our primary target, we also
welcome (and expect) the participation of experts from both industry and
national agencies.
Fees:
- student: 350 EUR
- academia / startup: 525 EUR
- company: 700 EUR
Student subscription fees include a certificate of participation from
ACM and a complimentay 1-year ACM student membership -- with a
subscription to the ACM Digital libray.
Registration is available with or without accomodation included. The
provided accomodations are located on the site of the Summer School and
are limited.
--
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
2017-05-04
[Caml-list] GCAI 2017 in Miami - Call for Papers
The 3rd Global Conference on Artificial Intelligence (GCAI 2017)
Miami, USA, 18-22 October 2017
http://easychair.org/smart-program/GCAI2017/
(Abstracts: 30 June, Papers: 7 July)
The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held
in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October
2017. The conference, which addresses all aspects of artificial intelligence,
is being organized by LRG (http://www.lrg.global) and the University of Miami.
The program chairs are Christoph Benzmueller, Christine Lisetti and Martin
Theobald. The conference chair is Geoff Sutcliffe.
SUBMISSION
Submissions in all areas of artifical intelligence are welcome. Suggested
topics include, but are not limited to:
Foundations
+ Knowledge representation
+ Cognitive modeling
+ Perception
+ Search
+ Reasoning and programming
+ Machine learning
+ Constraints and uncertainty
Architectures
+ Agents and distributed AI
+ Intelligent user interfaces
+ Natural language systems and linguistics
+ Information retrieval
+ Case-based reasoning
+ Affective computing
+ Robotics
Applications
+ Aviation and aerospace
+ Education and tutoring systems
+ Games and entertainment
+ Law and Machine Ethics
+ Mathematics and the Sciences
+ Medicine and healthcare
+ Management and manufacturing
+ World Wide Web
+ Security
Implications
+ Philosophical foundations
+ Social impact and ethics
+ Evaluation of AI systems
+ AI education
DATES
+ Abstract registration: 30 June, 2017
+ Submission: 7 July, 2017
+ Notification: 11 August, 2017
+ Final version: 25 August, 2017
+ Early registration deadline: tab
+ Workshops: 18 October 2017
+ Conference: 19-22 October, 2016
SUBMISSION and PUBLICATION
Submission is via EasyChair at
https://easychair.org/conferences/?conf=gcai2017
The proceedings will be published by EasyChair Publications in the EPiC Series
in Computing. The volume will be open access and authors will retain copyright.
INVITED SPEAKERS
+ Guy van den Broeck, UCLA, USA
+ Marijn Heule, University of Texas at Austin, USA
+ tba
PROGRAMME COMMITTEE
Jose Julio Alferes (Universidade NOVA de Lisboa)
Serge Autexier (DFKI)
Peter Baumgartner (National ICT Australia)
Christoph Benzmueller (Freie Universitaet Berlin) - chair
Philippe Besnard (CNRS / IRIT)
Richard Booth (Cardiff University)
James Delgrande (Simon Fraser University)
Wolfgang Faber (University of Huddersfield)
Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt)
Thom Fruehwirth (University of Ulm)
Daniel Garijo (UCLA)
Ernesto Jimenez-Ruiz (University of Oxford)
Gabriele Kern-Isberner (Technische Universitaet Dortmund)
Roman Kontchakov (Birkbeck, University of London)
Tim Landgraf (Freie Universitaet Berlin)
Jerome Lang (CNRS, LAMSADE, Universite Paris-Dauphine)
Sanjiang Li (University of Technology Sydney)
Christine Lisetti (Florida International University) - chair
Ana Gabriela Maguitman (Universidad Nacional del Sur)
George Metcalfe (University of Bern)
Angelo Montanari (University of Udine)
Till Mossakowski (University of Magdeburg)
Xavier Parent (University of Luxembourg)
Radu-Emil Precup (Politehnica University of Timisoara)
Dumitru Roman (SINTEF / University of Oslo)
Marco Roveri (FBK-irst)
Steven Schockaert (Cardiff University)
Magy Seif El-Nasr (Northeastern University)
Thomas Stuetzle (Universite Libre de Bruxelles (ULB))
Martin Theobald (Universite du Luxembourg) - chair
Juergen Umbrich (Vienna University of Economy and Business (WU))
*** further PC members will be added ***
--
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
Miami, USA, 18-22 October 2017
http://easychair.org/smart-program/GCAI2017/
(Abstracts: 30 June, Papers: 7 July)
The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held
in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October
2017. The conference, which addresses all aspects of artificial intelligence,
is being organized by LRG (http://www.lrg.global) and the University of Miami.
The program chairs are Christoph Benzmueller, Christine Lisetti and Martin
Theobald. The conference chair is Geoff Sutcliffe.
SUBMISSION
Submissions in all areas of artifical intelligence are welcome. Suggested
topics include, but are not limited to:
Foundations
+ Knowledge representation
+ Cognitive modeling
+ Perception
+ Search
+ Reasoning and programming
+ Machine learning
+ Constraints and uncertainty
Architectures
+ Agents and distributed AI
+ Intelligent user interfaces
+ Natural language systems and linguistics
+ Information retrieval
+ Case-based reasoning
+ Affective computing
+ Robotics
Applications
+ Aviation and aerospace
+ Education and tutoring systems
+ Games and entertainment
+ Law and Machine Ethics
+ Mathematics and the Sciences
+ Medicine and healthcare
+ Management and manufacturing
+ World Wide Web
+ Security
Implications
+ Philosophical foundations
+ Social impact and ethics
+ Evaluation of AI systems
+ AI education
DATES
+ Abstract registration: 30 June, 2017
+ Submission: 7 July, 2017
+ Notification: 11 August, 2017
+ Final version: 25 August, 2017
+ Early registration deadline: tab
+ Workshops: 18 October 2017
+ Conference: 19-22 October, 2016
SUBMISSION and PUBLICATION
Submission is via EasyChair at
https://easychair.org/conferences/?conf=gcai2017
The proceedings will be published by EasyChair Publications in the EPiC Series
in Computing. The volume will be open access and authors will retain copyright.
INVITED SPEAKERS
+ Guy van den Broeck, UCLA, USA
+ Marijn Heule, University of Texas at Austin, USA
+ tba
PROGRAMME COMMITTEE
Jose Julio Alferes (Universidade NOVA de Lisboa)
Serge Autexier (DFKI)
Peter Baumgartner (National ICT Australia)
Christoph Benzmueller (Freie Universitaet Berlin) - chair
Philippe Besnard (CNRS / IRIT)
Richard Booth (Cardiff University)
James Delgrande (Simon Fraser University)
Wolfgang Faber (University of Huddersfield)
Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt)
Thom Fruehwirth (University of Ulm)
Daniel Garijo (UCLA)
Ernesto Jimenez-Ruiz (University of Oxford)
Gabriele Kern-Isberner (Technische Universitaet Dortmund)
Roman Kontchakov (Birkbeck, University of London)
Tim Landgraf (Freie Universitaet Berlin)
Jerome Lang (CNRS, LAMSADE, Universite Paris-Dauphine)
Sanjiang Li (University of Technology Sydney)
Christine Lisetti (Florida International University) - chair
Ana Gabriela Maguitman (Universidad Nacional del Sur)
George Metcalfe (University of Bern)
Angelo Montanari (University of Udine)
Till Mossakowski (University of Magdeburg)
Xavier Parent (University of Luxembourg)
Radu-Emil Precup (Politehnica University of Timisoara)
Dumitru Roman (SINTEF / University of Oslo)
Marco Roveri (FBK-irst)
Steven Schockaert (Cardiff University)
Magy Seif El-Nasr (Northeastern University)
Thomas Stuetzle (Universite Libre de Bruxelles (ULB))
Martin Theobald (Universite du Luxembourg) - chair
Juergen Umbrich (Vienna University of Economy and Business (WU))
*** further PC members will be added ***
--
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] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May)
========================================================
CALL FOR PAPERS
19th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2017
Namur, Belgium, October 9-11, 2017
(co-located with LOPSTR'17)
========================================================
SUBMISSION DEADLINE: 12 May (abstracts) / 19 May (papers)
========================================================
PPDP 2017 is a forum that brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint programming
paradigms. The goal is to stimulate research in the use of logical formalisms
and methods for analyzing, performing, specifying, and reasoning about
computations, including mechanisms for concurrency, security, static
analysis, and verification.
Submissions are invited on all topics from principles to practice,
from foundations to applications. Topics of interest include, but are
not limited to
** Language Design: domain-specific languages; interoperability;
concurrency, parallelism, and distribution; modules;
probabilistic languages; reactive languages; database
languages; knowledge representation languages; languages
with objects; language extensions for tabulation;
metaprogramming.
** Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; garbage collection; memory
management.
** Foundations: type systems; type classes; dependent types; logical
frameworks; monads; resource analysis; cost models;
continuations; control; state; effects; semantics.
** Analysis and Transformation: partial evaluation; abstract
interpretation; control flow; data flow; information flow;
termination analysis; resource analysis; type inference and
type checking; verification; validation; debugging; testing.
** Tools and Applications: programming and proof
environments; verification tools; case studies in proof assistants
or interactive theorem provers; certification; novel applications
of declarative programming inside and outside of CS;
declarative programming pearls; practical experience reports
and industrial application; education.
This year the conference will be co-located with the 27th Int'l Symp.
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).
IMPORTANT DATES:
Abstract Submission: 12 May 2017
Paper Submission: 19 May 2017
Paper Rebuttal: 10 July 2017
Notification: 20 July 2017
Final Version: 15 Aug 2017
SUBMISSION CATEGORIES:
Submissions can be made in three categories: regular Research Papers,
System Descriptions, and Experience Reports.
Submissions of Research Papers must present original research which is
unpublished and not submitted elsewhere. They must not exceed 12 pages
ACM style 2-column (including figures and bibliography). Work that
already appeared in unpublished or informally published workshop
proceedings may be submitted (please contact the PC chair in case of
questions). Submissions of research papers will be judged on
originality, significance, correctness, clarity, and readability.
Submission of System Descriptions must describe a working system whose
description has not been published or submitted elsewhere. They must
not exceed 10 pages and should contain a link to a working system. System
Descriptions must be marked as such at the time of submission and will
be judged on originality, significance, usefulness, clarity, and readability.
Submissions of Experience Reports are meant to
help create a body of published, refereed, citable evidence where
declarative programming such as functional, logic, answer-set,
constraint programming, etc., is used in practice. They must not
exceed 6 pages. Experience Reports must be marked as such at the time
of submission and need not report original research results. They
will be judged on significance, usefulness, clarity, and readability.
Possible topics for an Experience Report include, but are not limited to:
* insights gained from real-world projects using declarative
programming
* comparison of declarative programming with conventional
programming in the context of an industrial project or a
university curriculum
* curricular issues encountered when using declarative programming
in education
* real-world constraints that created special challenges for an
implementation of a declarative language or for declarative
programming in general
* novel use of declarative programming in the classroom
* programming pearl that illustrates a nifty new data structure or
programming technique.
SUBMISSION GUIDELINES:
Submissions must be formatted using ACM style files (latest release
December 2016) using the instructions at
To prepare your submission using LaTex:
* Download acmart.zip from https://www.ctan.org/pkg/acmart
* Unzip acmart.zip
* Run latex acmart.ins to produce an acmart.cls file
* Run pdflatex sample-sigconf.tex to check that your installation
works correctly
* Write your paper using sample-sigconf.tex as a template
Proofs of theoretical results that do not fit within the page limit,
executables of systems, code of case studies, benchmarks used to
evaluate a given system, etc., should be made available, via a reference to
a website or in an appendix of the paper. Reviewers will be encouraged
to consider this additional material, but are not obliged
to. Submissions must be self-contained within the respective page
limit; considering the additional material should not be necessary to
assess the merits of a submission.
At least one author of each accepted submission will be expected to
attend and present their paper at the conference.
Papers must be submitted via easychair. The submission site is at
PROCEEDING
Accepted papers will be published in the ACM International Conference
Proceedings Series.
PROGRAM CHAIR
Brigitte Pientka (McGill University)
PROGRAM COMMITTEE
Andreas Abel (Gothenburg University)
Nadia Amin (EPFL)
Zena M. Ariola (University of Oregon)
Kenichi Asai (Ochanomizu University)
James Cheney (University of Edinburgh)
Mariangiola Dezani-Ciancaglini (University of Torino)
Santiago Escobar (Universitat Politècnica de València)
Amy Felty (University of Ottawa)
Thom Frühwirth (University of Ulm)
Patricia Johann (Appalachian State University)
Neel Krishnaswami (University of Cambridge)
Michaël Leuschel (Universität Düsseldorf)
Yanhong Annie Liu (Stony Brook University)
Andres Loeh (Well-Typed)
Vivek Nigam (Federal University of Paraiba / fortiss)
Naoki Nishida (Nagoya University)
Catuscia Palamidessi (INRIA)
Brigitte Pientka (McGill University) (PC Chair)
Ulrich Schoepp (Ludwig Maximilian University)
Chung-chieh Shan (Indiana University)
Bernardo Toninho (Imperial College London)
LOCAL ORGANIZER (joint with LOPSTR):
Wim Vanhoof (University of Namur)
----------------------------------------------------------------------
2017-05-02
[Caml-list] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis
(apologies for multiple copies)
Call for Papers
4th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Affiliated with CADE 2017
August 7, 2017 - Gothenburg, Sweden
http://software.imdea.org/Conferences/hcvs17
Invited speakers:
- Christoph Weidenbach, Max-Planck-Institut fuer Informatik
- Arie Gurfinkel, University of Waterloo
Submission deadlines:
- Paper submission: June 11, 2017
- Paper notification: July 3, 2017
- Workshop: August 7, 2017
Many Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses, and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.
This workshop aims to bring together researchers working in the
communities of Constraint/Logic Programming (e.g., ICLP and CP),
Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE), on the topic of Horn clause based analysis,
verification and synthesis.
Horn clauses for verification and synthesis have been advocated by
these communities at different times and from different perspectives,
and this workshop is organized to stimulate interaction and a fruitful
exchange and integration of experiences.
The workshop follows three previous meetings: HCVS 2016 in Eindhoven,
The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA
(w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL).
Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as
presentations covering previously published results that are of
interest to the workshop.
Program Committee:
- Nikolaj Bjorner (Microsoft Research)
- Mats Carlsson (SICS)
- Grigory Fedyukovich (University of Washington)
- Fabio Fioravanti (University of Chieti-Pescara)
- John Gallagher (Roskilde University)
- Pierre Ganty (IMDEA Software Institute)
- Alberto Griggio (Fondazione Bruno Kessler - chair)
- Gopal Gupta (U.T. Dallas)
- Manuel V. Hermenegildo (T.U. Madrid and IMDEA Software Institute - chair)
- Michael Leuschel (University of D�sseldorf)
- Pedro Lopez-Garcia (CSIC)
- David Monniaux (University of Grenoble)
- Jorge A. Navas (SRI International)
- Maurizio Proietti (IASI-CNR)
- Philipp Ruemmer (Uppsala University)
- Andrey Rybalchenko (Microsoft Research)
- Valerio Senni (ALES - UTRC)
Submission has to be done in one of the following formats:
- Regular papers (up to 12 pages plus bibliography, typeset in EPTCS
format), which should present previously unpublished work (completed
or in progress), including descriptions of research, tools, and
applications.
- Extended abstracts (up to 3 pages in EPTCS format), which describe
work in progress or aim to initiate discussions.
- Presentation-only papers, i.e., papers already submitted or
presented at a conference or another workshop. Such papers can be
submitted in any format, and will not be included in the workshop
post-proceedings.
All submitted papers will be refereed by the program committee and
will be selected for inclusion in accordance with the referee
reports. Accepted regular papers and extended abstracts will be
published electronically as a volume in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/
Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop. Papers must be submitted through
the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2017.
--
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
4th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Affiliated with CADE 2017
August 7, 2017 - Gothenburg, Sweden
http://software.imdea.org/Conferences/hcvs17
Invited speakers:
- Christoph Weidenbach, Max-Planck-Institut fuer Informatik
- Arie Gurfinkel, University of Waterloo
Submission deadlines:
- Paper submission: June 11, 2017
- Paper notification: July 3, 2017
- Workshop: August 7, 2017
Many Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses, and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.
This workshop aims to bring together researchers working in the
communities of Constraint/Logic Programming (e.g., ICLP and CP),
Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE), on the topic of Horn clause based analysis,
verification and synthesis.
Horn clauses for verification and synthesis have been advocated by
these communities at different times and from different perspectives,
and this workshop is organized to stimulate interaction and a fruitful
exchange and integration of experiences.
The workshop follows three previous meetings: HCVS 2016 in Eindhoven,
The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA
(w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL).
Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as
presentations covering previously published results that are of
interest to the workshop.
Program Committee:
- Nikolaj Bjorner (Microsoft Research)
- Mats Carlsson (SICS)
- Grigory Fedyukovich (University of Washington)
- Fabio Fioravanti (University of Chieti-Pescara)
- John Gallagher (Roskilde University)
- Pierre Ganty (IMDEA Software Institute)
- Alberto Griggio (Fondazione Bruno Kessler - chair)
- Gopal Gupta (U.T. Dallas)
- Manuel V. Hermenegildo (T.U. Madrid and IMDEA Software Institute - chair)
- Michael Leuschel (University of D�sseldorf)
- Pedro Lopez-Garcia (CSIC)
- David Monniaux (University of Grenoble)
- Jorge A. Navas (SRI International)
- Maurizio Proietti (IASI-CNR)
- Philipp Ruemmer (Uppsala University)
- Andrey Rybalchenko (Microsoft Research)
- Valerio Senni (ALES - UTRC)
Submission has to be done in one of the following formats:
- Regular papers (up to 12 pages plus bibliography, typeset in EPTCS
format), which should present previously unpublished work (completed
or in progress), including descriptions of research, tools, and
applications.
- Extended abstracts (up to 3 pages in EPTCS format), which describe
work in progress or aim to initiate discussions.
- Presentation-only papers, i.e., papers already submitted or
presented at a conference or another workshop. Such papers can be
submitted in any format, and will not be included in the workshop
post-proceedings.
All submitted papers will be refereed by the program committee and
will be selected for inclusion in accordance with the referee
reports. Accepted regular papers and extended abstracts will be
published electronically as a volume in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/
Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop. Papers must be submitted through
the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2017.
--
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
2017-05-01
[Caml-list] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury
-----------------------------
F I N A L C A L L F O R P A P E R S
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== PAPER SUBMISSIONS ==
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== INVITED SPEAKERS ==
Conor McBride University of Strathclyde (UK)
Cătălin Hriţcu INRIA Paris (FR)
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
Co-Chairs
Meng Wang University of Kent (UK)
Scott Owens University of Kent (UK)
PC
Jeremy Yallop University of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura Castro University of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten Radboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał Pałka Chalmers University of Technology (SE)
Sandrine Blazy University of Rennes 1 - IRISA (FR)
--
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
F I N A L C A L L F O R P A P E R S
-----------------------------
======== TFP 2017 ===========
18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html
The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.
TFP 2017 will be the main event of a pair of functional programming
events. TFP 2017 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on 22 June.
The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).
== SCOPE ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming
techniques to other languages are also within the scope of the
symposium.
Topics suitable for the symposium include, but are not limited to:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Debugging and profiling for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2017 program chairs, Scott Owens and Meng Wang.
== BEST PAPER AWARDS ==
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== PAPER SUBMISSIONS ==
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.
We use EasyChair for the refereeing process. Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp17
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
== INVITED SPEAKERS ==
Conor McBride University of Strathclyde (UK)
Cătălin Hriţcu INRIA Paris (FR)
== IMPORTANT DATES ==
Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017
== PROGRAM COMMITTEE ==
Co-Chairs
Meng Wang University of Kent (UK)
Scott Owens University of Kent (UK)
PC
Jeremy Yallop University of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura Castro University of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten Radboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał Pałka Chalmers University of Technology (SE)
Sandrine Blazy University of Rennes 1 - IRISA (FR)
--
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)