CALL FOR PARTICIPATION
TABLEAUX 2017, FroCoS 2017, ITP 2017
Brasilia, Brazil
25-29 September 2017
http://tableaux2017.cic.unb.br
http://frocos2017.cic.unb.br
http://itp2017.cic.unb.br
*** Registration is now open ***
Registration website: https://registration2017.cic.unb.br
Early registration until 4th August
Late registration until 2nd September
More information can be found at the conferences websites:
http://tableaux2017.cic.unb.br/#registration
http://frocos2017.cic.unb.br/#registration
http://itp2017.cic.unb.br/#registration
*** Student Grants ***
A limited number of travel grants is available for students
who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP,
and whose attendance would benefit both the applicant and the event.
Although priority is given to students with active role in the
conferences/workshops, students in other situations are very much
encouraged to apply.
The grants are offered by Springer and by the organisation of
the conferences.
For details, see the full call at the conferences websites:
http://tableaux2017.cic.unb.br/#grants
http://frocos2017.cic.unb.br/#grants
http://itp2017.cic.unb.br/#grants
*** Invited Speakers ***
- Carlos Areces (FaMAF-Cordoba/Argentina)
- Wolfgang Bibel (Technische Universitaet Darmstadt, Germany)
- Katalin Bimbo (University of Alberta, Edmonton, Germany)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
- Reiner Haehnle (Technische Universitaet Darmstadt, Germany)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Cezary Kaliszyk (Universitaet Innsbruck, Austria)
- Leonardo Moura (RiSE, Microsoft, USA)
- Cesare Tinelli (The University of Iowa, USA)
- Renata Wasserman (IME/USP)
*** Programme ***
See:
http://tableaux2017.cic.unb.br/#programme
http://frocos2017.cic.unb.br/#programme
http://itp2017.cic.unb.br/#programme
*** Social Events ***
Excursion to visit the Itamaraty Palace (Foreign Affairs Ministry). The building was designed by Oscar Niemeyer, the gardens by Burle Marx, and inside we can find the works by Athos Bulcao and Alfredo Volpi, among others. Conference dinner will take place in a location by the Paranoa Lake.
*** Workshops ***
- 12th Logical and Semantic Frameworks with Applications (LSFA 2017)
http://lsfa2017.cic.unb.br/
23 and 24 September
- Fifth Workshop on Proof eXchange for Theorem Proving (PxTP)
http://pxtp.github.io/2017/
23 and 24 September
- EPS - Encyclopedia of Proof Systems
http://proofsystem.github.io/Encyclopedia/
24 and 25 September
- DaLí - Dynamic Logic: new trends and applications
http://workshop.dali.di.uminho.pt/
23 and 24 September
*** Tutorials ***
- Proof compressions and the conjecture NP = PSPACE
Lew Gordeev, Edward Hermann Haeusler
23 September 2017
- General methods in proof theory for modal and substructural logics
Bjoern Lellmann, Revantha Ramanayake
24 September 2017
- From proof systems to complexity bounds
Anupam Das
25 September 2017
- PVS for Computer Scientists
Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato
25 September 2017
*** Poster Session ***
The joint poster session will be held on the 28th September.
*** Venue ***
All the events will be held at the Finatec building located within the University of Brasilia.
Finatec - Fundacao de Empreendimentos Cientificos e Tecnologicos
Campus Universitario Darcy Ribeiro
Av. L3 Norte, Ed. Finatec
Asa Norte, Brasilia - DF
CEP 70910-900
*** Organisation ***
TABLEAUX Programme Chairs:
Renate A. Schmidt The University of Manchester, UK
Claudia Nalon University of Brasilia, Brazil
FroCoS Conference Chairs
Clare Dixon University of Liverpool, UK
Marcelo Finger University of Sao Paulo, Brazil
ITP Conference Chairs
Cesar Munoz NASA, USA
Mauricio Ayala-Rincon University of Brasilia, Brazil
Organising Committee
Claudia Nalon University of Brasilia, Brazil
Daniele Nantes Sobrinho University of Brasilia, Brazil
Elaine Pimentel Federal University of Rio Grande do Norte, Brazil
Joao Marcos Federal University of Rio Grande do Norte, Brazil
--
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-07-24
[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
[Apologies for the double-post; I had an incorrect URL in the first
message.]
CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK
Co-located with ICFP'17
PLMW web page: http://icfp17.sigplan.org/track/PLMW-ICFP-2017
###
The purpose of this mentoring workshop is to encourage graduate students
and senior undergraduate students to pursue careers in programming
language research. This workshop will provide technical sessions on
cutting-edge research in programming languages, and mentoring sessions
on how to prepare for a research career. We will bring together leaders
in programming language research from academia and industry to give
talks on their research areas. The workshop will engage students in
a process of imagining how they might contribute to our research
community.
So far, we have the following speakers and panelists confirmed for the
workshop:
- Amal Ahmed (Northeastern University)
- Nada Amin (University of Cambridge)
- Derek Dreyer (Max Planck Institute for Software Systems)
- Richard Eisenberg (Bryn Mawr College)
- Ron Garcia (University of British Columbia)
- Chris Martens (North Caroline State University)
- Conor McBride (Strathclyde University)
- Sam Staton (Oxford)
We especially encourage women and underrepresented minority students to
attend PLMW.
This workshop is part of the activities surrounding ICFP, the
International Conference on Functional Programming, and takes place the
day before the main conference. One goal of the workshop is to make ICFP
conference more accessible to newcomers. We hope that participants will
stay through the entire conference.
## Travel Scholarship Applications (Due 31 July)
Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by
31 July to apply for travel funding.
These scholarships will provide funds towards airfare, hotel, and
registration fees for attendance at both the workshop and ICFP, but are
limited. We welcome students with alternative sources of travel funding
to attend PLMW as well.
Selected participants will be notified by 2 August and will need to
pre-register and commit to attending the workshop by August 4.
Applicants who apply after July 31 may be eligible to receive funding,
if funds remain.
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
--
Neel Krishnaswami
nk480@cl.cam.ac.uk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
message.]
CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK
Co-located with ICFP'17
PLMW web page: http://icfp17.sigplan.org/track/PLMW-ICFP-2017
###
The purpose of this mentoring workshop is to encourage graduate students
and senior undergraduate students to pursue careers in programming
language research. This workshop will provide technical sessions on
cutting-edge research in programming languages, and mentoring sessions
on how to prepare for a research career. We will bring together leaders
in programming language research from academia and industry to give
talks on their research areas. The workshop will engage students in
a process of imagining how they might contribute to our research
community.
So far, we have the following speakers and panelists confirmed for the
workshop:
- Amal Ahmed (Northeastern University)
- Nada Amin (University of Cambridge)
- Derek Dreyer (Max Planck Institute for Software Systems)
- Richard Eisenberg (Bryn Mawr College)
- Ron Garcia (University of British Columbia)
- Chris Martens (North Caroline State University)
- Conor McBride (Strathclyde University)
- Sam Staton (Oxford)
We especially encourage women and underrepresented minority students to
attend PLMW.
This workshop is part of the activities surrounding ICFP, the
International Conference on Functional Programming, and takes place the
day before the main conference. One goal of the workshop is to make ICFP
conference more accessible to newcomers. We hope that participants will
stay through the entire conference.
## Travel Scholarship Applications (Due 31 July)
Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by
31 July to apply for travel funding.
These scholarships will provide funds towards airfare, hotel, and
registration fees for attendance at both the workshop and ICFP, but are
limited. We welcome students with alternative sources of travel funding
to attend PLMW as well.
Selected participants will be notified by 2 August and will need to
pre-register and commit to attending the workshop by August 4.
Applicants who apply after July 31 may be eligible to receive funding,
if funds remain.
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
--
Neel Krishnaswami
nk480@cl.cam.ac.uk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] PLMW@ICFP: CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
CALL FOR SCHOLARSHIP APPLICATIONS and PARTICIPATION (deadline July 31!)
ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK
Co-located with ICFP'17
PLMW web page: http://icfp17.sigplan.org/manageTrack/PLMW-ICFP-2017
###
The purpose of this mentoring workshop is to encourage graduate students
and senior undergraduate students to pursue careers in programming
language research. This workshop will provide technical sessions on
cutting-edge research in programming languages, and mentoring sessions
on how to prepare for a research career. We will bring together leaders
in programming language research from academia and industry to give
talks on their research areas. The workshop will engage students in
a process of imagining how they might contribute to our research
community.
So far, we have the following speakers and panelists confirmed for the
workshop:
- Amal Ahmed (Northeastern University)
- Nada Amin (University of Cambridge)
- Derek Dreyer (Max Planck Institute for Software Systems)
- Richard Eisenberg (Bryn Mawr College)
- Ron Garcia (University of British Columbia)
- Chris Martens (North Caroline State University)
- Conor McBride (Strathclyde University)
- Sam Staton (Oxford)
We especially encourage women and underrepresented minority students to
attend PLMW.
This workshop is part of the activities surrounding ICFP, the
International Conference on Functional Programming, and takes place the
day before the main conference. One goal of the workshop is to make ICFP
conference more accessible to newcomers. We hope that participants will
stay through the entire conference.
## Travel Scholarship Applications (Due 31 July)
Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by
31 July to apply for travel funding.
These scholarships will provide funds towards airfare, hotel, and
registration fees for attendance at both the workshop and ICFP, but are
limited. We welcome students with alternative sources of travel funding
to attend PLMW as well.
Selected participants will be notified by 2 August and will need to
pre-register and commit to attending the workshop by August 4.
Applicants who apply after July 31 may be eligible to receive funding,
if funds remain.
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
--
Neel Krishnaswami
nk480@cl.cam.ac.uk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
ACM SIGPLAN Programming Languages Mentoring Workshop, Oxford, UK
Co-located with ICFP'17
PLMW web page: http://icfp17.sigplan.org/manageTrack/PLMW-ICFP-2017
###
The purpose of this mentoring workshop is to encourage graduate students
and senior undergraduate students to pursue careers in programming
language research. This workshop will provide technical sessions on
cutting-edge research in programming languages, and mentoring sessions
on how to prepare for a research career. We will bring together leaders
in programming language research from academia and industry to give
talks on their research areas. The workshop will engage students in
a process of imagining how they might contribute to our research
community.
So far, we have the following speakers and panelists confirmed for the
workshop:
- Amal Ahmed (Northeastern University)
- Nada Amin (University of Cambridge)
- Derek Dreyer (Max Planck Institute for Software Systems)
- Richard Eisenberg (Bryn Mawr College)
- Ron Garcia (University of British Columbia)
- Chris Martens (North Caroline State University)
- Conor McBride (Strathclyde University)
- Sam Staton (Oxford)
We especially encourage women and underrepresented minority students to
attend PLMW.
This workshop is part of the activities surrounding ICFP, the
International Conference on Functional Programming, and takes place the
day before the main conference. One goal of the workshop is to make ICFP
conference more accessible to newcomers. We hope that participants will
stay through the entire conference.
## Travel Scholarship Applications (Due 31 July)
Please fill out [this form](https://goo.gl/forms/qDYTkvNndApNc91N2) by
31 July to apply for travel funding.
These scholarships will provide funds towards airfare, hotel, and
registration fees for attendance at both the workshop and ICFP, but are
limited. We welcome students with alternative sources of travel funding
to attend PLMW as well.
Selected participants will be notified by 2 August and will need to
pre-register and commit to attending the workshop by August 4.
Applicants who apply after July 31 may be eligible to receive funding,
if funds remain.
The workshop registration is open to all. Students with alternative
sources of funding are welcome.
--
Neel Krishnaswami
nk480@cl.cam.ac.uk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2017-07-18
[Caml-list] Call for Participation: ICFP 2017
[ Early registration ends 4 August. ]
=====================================================================
Call for Participation
ICFP 2017
22nd ACM SIGPLAN International Conference on Functional Programming
and affiliated events
September 3 - September 9, 2017
Oxford, UK
http://icfp17.sigplan.org/
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
A full week dedicated to functional programming:
ICFP, 2 co-hosted conferences, 1 co-hosted symposium, workshops,
tutorials, programming contest results, student research competition,
and mentoring workshop
* Overview and affiliated events:
http://icfp17.sigplan.org/home
* Program:
http://icfp17.sigplan.org/program/program-icfp-2017
* Accepted papers:
http://icfp17.sigplan.org/track/icfp-2017-papers
* Registration is available via:
https://regmaster4.com/2017conf/ICFP17/register.php
Early registration is due 4 August, 2016.
* Programming contest, 4-7 August, 2016:
http://2017.icfpcontest.org
* Student Research Competition:
http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition
* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/icfp_conference
There are several events affiliated with ICFP:
Sunday, September 3
Workshop on Higher-order Programming with Effects
Workshop on Type-Driven Development
Scheme and Functional Programming Workshop
Programming Languages Mentoring Workshop
ICFP Tutorials
Monday, September 4 – Wednesday, September 6
ICFP
FSCD - Days 1-3
Thursday, September 7
Haskell Symposium – Day 1
ML Family Workshop
Workshop on Functional High-Performance Computing
Commercial Users of Functional Programming – Day 1
FSCD - Day 4
Friday, September 8
Haskell Symposium – Day 2
OCaml Workshop
Erlang Workshop
Commercial Users of Functional Programming – Day 2
Saturday, September 9
Commercial Users of Functional Programming – Day 3
Haskell Implementors Workshop
Functional Art, Music, Modeling and Design
Conference Organizers:
General Chair: Jeremy Gibbons (University of Oxford, UK)
Program Chair: Mark Jones (Portland State University, USA)
Artifact Evaluation Co-Chair: Matthew Flatt (University of Utah, USA)
Artifact Evaluation Co-Chair: Ryan R. Newton (Indiana University, USA)
Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA)
PLMW Co-Chair: Neelakantan R. Krishnawami (University of Cambridge, UK)
PLMW Co-Chair: Dan Licata (Wesleyan University, USA)
PLMW Co-Chair: Brigitte Pientka (McGill University, Canada)
Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK)
Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA)
Student Research Competition Chair: Ilya Sergey (University College London, UK)
Student Volunteer Co-Captain: Yosuke Fukuda (Kyoto University, Japan)
Student Volunteer Co-Captain: Yuki Nishida (Kyoto University, Japan)
Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK)
Video Chair: Jose Calderon (Galois, Inc., USA)
Workshops Co-Chair: Andres Löh (Well-Typed LLP, UK)
Workshops Co-Chair: David Christiansen (Indiana University, USA)
Sponsors and industrial partners:
Platinum partners
Ahrefs
Jane Street Capital
Gold partners
Bloomberg
X
Silver partners
Galois
Oracle
Bronze partners
Obsidian Systems
Portland State University
Well-Typed
--
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 Participation
ICFP 2017
22nd ACM SIGPLAN International Conference on Functional Programming
and affiliated events
September 3 - September 9, 2017
Oxford, UK
http://icfp17.sigplan.org/
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
A full week dedicated to functional programming:
ICFP, 2 co-hosted conferences, 1 co-hosted symposium, workshops,
tutorials, programming contest results, student research competition,
and mentoring workshop
* Overview and affiliated events:
http://icfp17.sigplan.org/home
* Program:
http://icfp17.sigplan.org/program/program-icfp-2017
* Accepted papers:
http://icfp17.sigplan.org/track/icfp-2017-papers
* Registration is available via:
https://regmaster4.com/2017conf/ICFP17/register.php
Early registration is due 4 August, 2016.
* Programming contest, 4-7 August, 2016:
http://2017.icfpcontest.org
* Student Research Competition:
http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition
* Follow @icfp_conference on twitter for the latest news:
http://twitter.com/icfp_conference
There are several events affiliated with ICFP:
Sunday, September 3
Workshop on Higher-order Programming with Effects
Workshop on Type-Driven Development
Scheme and Functional Programming Workshop
Programming Languages Mentoring Workshop
ICFP Tutorials
Monday, September 4 – Wednesday, September 6
ICFP
FSCD - Days 1-3
Thursday, September 7
Haskell Symposium – Day 1
ML Family Workshop
Workshop on Functional High-Performance Computing
Commercial Users of Functional Programming – Day 1
FSCD - Day 4
Friday, September 8
Haskell Symposium – Day 2
OCaml Workshop
Erlang Workshop
Commercial Users of Functional Programming – Day 2
Saturday, September 9
Commercial Users of Functional Programming – Day 3
Haskell Implementors Workshop
Functional Art, Music, Modeling and Design
Conference Organizers:
General Chair: Jeremy Gibbons (University of Oxford, UK)
Program Chair: Mark Jones (Portland State University, USA)
Artifact Evaluation Co-Chair: Matthew Flatt (University of Utah, USA)
Artifact Evaluation Co-Chair: Ryan R. Newton (Indiana University, USA)
Industrial Relations Chair: Ryan Trinkle (Obsidian Systems LLC, USA)
PLMW Co-Chair: Neelakantan R. Krishnawami (University of Cambridge, UK)
PLMW Co-Chair: Dan Licata (Wesleyan University, USA)
PLMW Co-Chair: Brigitte Pientka (McGill University, Canada)
Programming Contest Organiser: Sam Lindley (University of Edinburgh, UK)
Publicity and Web Chair: Lindsey Kuper (Intel Labs, USA)
Student Research Competition Chair: Ilya Sergey (University College London, UK)
Student Volunteer Co-Captain: Yosuke Fukuda (Kyoto University, Japan)
Student Volunteer Co-Captain: Yuki Nishida (Kyoto University, Japan)
Student Volunteer Co-Captain: Jakub Zalewski (University of Edinburgh, UK)
Video Chair: Jose Calderon (Galois, Inc., USA)
Workshops Co-Chair: Andres Löh (Well-Typed LLP, UK)
Workshops Co-Chair: David Christiansen (Indiana University, USA)
Sponsors and industrial partners:
Platinum partners
Ahrefs
Jane Street Capital
Gold partners
Bloomberg
X
Silver partners
Galois
Oracle
Bronze partners
Obsidian Systems
Portland State University
Well-Typed
--
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-07-12
[Caml-list] Call for Participation: Higher-Order Programming with Effects, HOPE 2017
One-liner: the list of accepted talks for HOPE 2017 is now online!
------------------------------------------------------------------------------
CALL FOR PARTICIPATION
HOPE 2017
The 6th ACM SIGPLAN Workshop on
Higher-Order Programming with Effects
September 3, 2017
Oxford, United Kingdom
(the day before ICFP 2017)
http://icfp17.sigplan.org/track/hope-2017-papers#event-overview
------------------------------------------------------------------------------
The HOPE workshop series are intended to bring together researchers
interested
in the design, semantics, implementation, and verification of higher-order
effectful programs. They are informal, consisting of invited talks,
contributed talks on work in progress, and open-ended discussion sessions.
They are dedicated to John Reynolds, whose work is an inspiration to us all.
The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will
take place on Sunday, September 3, 2017, that is, the day before ICFP 2017,
in Oxford, United Kingdom.
# Goals of the Workshop
A recurring theme in many papers at ICFP, and in the research of many ICFP
attendees, is the interaction of higher-order programming with various kinds
of effects: storage effects, I/O, control effects, concurrency, etc. While
effects are of critical importance in many applications, they also make code
harder to build, maintain, and reason about. Higher-order languages (both
functional and object-oriented) provide a variety of abstraction
mechanisms to
help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types,
typestate, first-class events, transactions, Hoare Type Theory, session
types,
substructural and region-based type systems), and a number of different
semantic models and verification technologies have been developed in
order to
codify and exploit the benefits of this encapsulation (e.g. bisimulations,
step-indexed Kripke logical relations, higher-order separation logic, game
semantics, various modal logics). But there remain many open problems,
and the
field is highly active.
The goal of the HOPE workshop is to bring researchers from a variety of
different backgrounds and perspectives together to exchange new and exciting
ideas concerning the design, semantics, implementation, and verification of
higher-order effectful programs.
# Important Dates
* Workshop: September 3, 2017 (Sunday)
# Accepted Talks
http://icfp17.sigplan.org/track/hope-2017-papers#event-overview
# Workshop Organization
Program Co-Chairs:
François Pottier (Inria Paris)
Aleks Nanevski (IMDEA Software Institute)
Program Committee:
Edwin Brady University of St Andrews
Pierre-Évariste Dagand LIP6/CNRS
Atsushi Igarashi Kyoto University
Robbert Krebbers Delft University of Technology
Vivek Nigam Federal University of Paraíba
Matija Pretnar University of Ljubljana
Azalea Raad Imperial College London
Aseem Rastogi Microsoft Research
Filip Sieczkowski University of Wrocław
Niki Vazou University of Maryland
--
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 PARTICIPATION
HOPE 2017
The 6th ACM SIGPLAN Workshop on
Higher-Order Programming with Effects
September 3, 2017
Oxford, United Kingdom
(the day before ICFP 2017)
http://icfp17.sigplan.org/track/hope-2017-papers#event-overview
------------------------------------------------------------------------------
The HOPE workshop series are intended to bring together researchers
interested
in the design, semantics, implementation, and verification of higher-order
effectful programs. They are informal, consisting of invited talks,
contributed talks on work in progress, and open-ended discussion sessions.
They are dedicated to John Reynolds, whose work is an inspiration to us all.
The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects will
take place on Sunday, September 3, 2017, that is, the day before ICFP 2017,
in Oxford, United Kingdom.
# Goals of the Workshop
A recurring theme in many papers at ICFP, and in the research of many ICFP
attendees, is the interaction of higher-order programming with various kinds
of effects: storage effects, I/O, control effects, concurrency, etc. While
effects are of critical importance in many applications, they also make code
harder to build, maintain, and reason about. Higher-order languages (both
functional and object-oriented) provide a variety of abstraction
mechanisms to
help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types,
typestate, first-class events, transactions, Hoare Type Theory, session
types,
substructural and region-based type systems), and a number of different
semantic models and verification technologies have been developed in
order to
codify and exploit the benefits of this encapsulation (e.g. bisimulations,
step-indexed Kripke logical relations, higher-order separation logic, game
semantics, various modal logics). But there remain many open problems,
and the
field is highly active.
The goal of the HOPE workshop is to bring researchers from a variety of
different backgrounds and perspectives together to exchange new and exciting
ideas concerning the design, semantics, implementation, and verification of
higher-order effectful programs.
# Important Dates
* Workshop: September 3, 2017 (Sunday)
# Accepted Talks
http://icfp17.sigplan.org/track/hope-2017-papers#event-overview
# Workshop Organization
Program Co-Chairs:
François Pottier (Inria Paris)
Aleks Nanevski (IMDEA Software Institute)
Program Committee:
Edwin Brady University of St Andrews
Pierre-Évariste Dagand LIP6/CNRS
Atsushi Igarashi Kyoto University
Robbert Krebbers Delft University of Technology
Vivek Nigam Federal University of Paraíba
Matija Pretnar University of Ljubljana
Azalea Raad Imperial College London
Aseem Rastogi Microsoft Research
Filip Sieczkowski University of Wrocław
Niki Vazou University of Maryland
--
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-07-11
[Caml-list] FSCD 2017 - Call for participation
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
CALL FOR PARTICIPATION
2nd International Conference on
Formal Structures for Computation and Deduction
FSCD 2017
3–9, September 2017 (colocated with ICFP)
Oxford, UK
FSCD is a conference covering all aspects of formal structures for
computation and deduction from theoretical foundations to applications.
Building on two communities, RTA (Rewriting Techniques and Applications)
and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics, proof
theory and new emerging models of computation such as quantum computing
and homotopy type theory.
REGISTRATION
The registration page is already open and linked from:
The early registration deadline is *** 7 August ***.
Students should apply for scholarships by *** 21 July ***
(for more details please visit the conference webpage).
INVITED SPEAKERS
* Marco Gaboardi (Univ. Buffalo, SUNY)
* Georg Mose (Univ. Innsbruck)
* Alexandra Silva (University College London)
* Christine Tasson (PPS and Univ. Paris Diderot)
SATELLITE EVENTS
- Trends in Linear Logic and Applications (September 3)
- 31st International Workshop on Unification (September 3)
- Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Workshop (September 3)
- *Third Workshop on Higher-Dimensional Rewriting and Applications (September 8-9)
- Third Workshop on Homotopy Type Theory and Univalent Foundations (September 8-9)
- *First Workshop on String Diagrams in Computation, Logic, and Physics (September 8-9)
- Fourth Meeting on Structures and Deduction (September 8 and 9)
- Sixth International Workshop on Confluence (September 8)
- International Workshop on Logical Frameworks and Meta-Languages - Theory and Practice (September 8)
- Fourth International Workshop on Rewriting Techniques for Program Transformation and Evaluation (September 8)
- IFIP Working Group 1.6: Rewriting (September 9)
* These workshops will be co-located.
PROGRAM CHAIR
Dale Miller (Inria Saclay)
PROGRAM COMMITTEE
Andreas Abel (Gothenburg Univ.)
Elvira Albert (Complutense Madrid)
María Alpuente (TU Valencia)
Takahito Aoto (Niigata Univ. )
Zena Ariola (Univ. Oregon)
Federico Aschieri (TU Wien)
Stefano Berardi (Univ. Turin)
Lars Birkedal (Aarhus Univ.)
Filippo Bonchi (CNRS & ENS Lyon)
Pierre Clairambault (CNRS & ENS Lyon)
Ugo Dal Lago (Univ. Bologna)
Herman Geuvers (Radboud Univ.)
Silvia Ghilezan (Univ. Novi Sad)
Jürgen Giesl (RWTH Aachen)
Hugo Herbelin (Inria Paris)
Jan Hoffmann (Carnegie Mellon)
Deepak Kapur (Univ. New Mexico)
Paul Blain Levy (Univ. Birmingham)
Paulo Oliva (QMUL, London)
Vincent van Oostrom (Univ. Innsbruck)
Daniela Petrisan (LIAFA, Paris)
Femke van Raamsdonk (VU Univ. Amsterdam)
Grigore Rosu (Univ. Illinois)
Albert Rubio (UPC-BarcelonaTech)
Paula Severi (Univ. Leicester)
Bas Spitters (Aarhus Univ. )
Aaron Stump (Univ. Iowa)
Kazushige Terui (Kyoto Univ.)
René Thiemann (Univ. Innsbruck)
Sophie Tison (Lille Univ. )
CONFERENCE CHAIR
Sam Staton (University of Oxford)
WORKSHOPS CHAIR
Jamie Vicary (University of Oxford)
Looking forward to seeing you in Oxford!
==================================================================
2017-07-10
[Caml-list] DL 2017 - Call for Participation
-------------------------------------------------------------------------------
CALL FOR PARTICIPATION
30th International Workshop on Description Logics, DL 2017
18 - 21 July 2017 - Montpellier, France
http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. The workshop will be held in Montpellier, France from
18 to 21 July 2017.
** Registration is now open **
==============================
Registration website: http://dl.kr.org/dl2017/registration/
Invited Talks
=============
* Markus Krötzsch, Technical University of Dresden: Ontologies for Knowledge
Graphs?
* Andreas Pieris, University of Edinburgh: Query Rewriting under Existential
Rules
* Uli Sattler, University of Manchester: From Reasoning Problems to
Non-standard Reasoning Problems and One Step Further
Programme Details
=================
* 30 long presentations, 14 short presentations and 18 posters
* The complete list of accepted papers is available at
http://dl.kr.org/dl2017/accepted-papers/
Student Grants
==============
A limited number of student grants will be available for participation in
DL 2017. Each grant will cover the student registration fee and may
additionally include a contribution towards travel costs. For details please
check https://project.inria.fr/dl2017/students/
Accommodation
=============
There are many tourists visiting Montpellier in July, so please make sure to
book your accommodation well in advance to ensure the best choice of options.
Even if you are not sure to attend the workshop, you may nonetheless want to
book a room in a hotel offering free cancellation.
Organisation
============
* Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair)
* Birte Glimm, University of Ulm (Programme co-Chair)
* Roman Kontchakov, Birkbeck, University of London (Programme co-Chair)
* Meghyn Bienvenu, University of Montpellier (Workshop co-Chair)
* Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair)
Resources
=========
* Information about registration, travel information, etc., is available on
the DL 2017 homepage: http://dl.kr.org/dl2017/
* The official description logic homepage is at http://dl.kr.org/
--
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 PARTICIPATION
30th International Workshop on Description Logics, DL 2017
18 - 21 July 2017 - Montpellier, France
http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. The workshop will be held in Montpellier, France from
18 to 21 July 2017.
** Registration is now open **
==============================
Registration website: http://dl.kr.org/dl2017/registration/
Invited Talks
=============
* Markus Krötzsch, Technical University of Dresden: Ontologies for Knowledge
Graphs?
* Andreas Pieris, University of Edinburgh: Query Rewriting under Existential
Rules
* Uli Sattler, University of Manchester: From Reasoning Problems to
Non-standard Reasoning Problems and One Step Further
Programme Details
=================
* 30 long presentations, 14 short presentations and 18 posters
* The complete list of accepted papers is available at
http://dl.kr.org/dl2017/accepted-papers/
Student Grants
==============
A limited number of student grants will be available for participation in
DL 2017. Each grant will cover the student registration fee and may
additionally include a contribution towards travel costs. For details please
check https://project.inria.fr/dl2017/students/
Accommodation
=============
There are many tourists visiting Montpellier in July, so please make sure to
book your accommodation well in advance to ensure the best choice of options.
Even if you are not sure to attend the workshop, you may nonetheless want to
book a room in a hotel offering free cancellation.
Organisation
============
* Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair)
* Birte Glimm, University of Ulm (Programme co-Chair)
* Roman Kontchakov, Birkbeck, University of London (Programme co-Chair)
* Meghyn Bienvenu, University of Montpellier (Workshop co-Chair)
* Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair)
Resources
=========
* Information about registration, travel information, etc., is available on
the DL 2017 homepage: http://dl.kr.org/dl2017/
* The official description logic homepage is at http://dl.kr.org/
--
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-07-03
[Caml-list] CADE-26 - Call for Participation
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
==============================
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
Subscribe to:
Posts (Atom)