caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Metaprogramming Summer School (August 2019): call for applications
@ 2019-05-15 14:03 Jeremy Yallop
  2019-05-15 14:13 ` Raphael Santos
  0 siblings, 1 reply; 2+ messages in thread
From: Jeremy Yallop @ 2019-05-15 14:03 UTC (permalink / raw)
  To: Caml List

====================================================================
Second International Summer School on Metaprogramming

Schloss Dagstuhl, Leibniz Center for Informatics, Germany

11th-16th August 2019
(the week before ICFP'19)

https://www.cl.cam.ac.uk/events/metaprog/2019/
====================================================================

Metaprogramming is an approach to constructing programs by treating
program fragments (such as expressions or types) as values that the
program can manipulate. Metaprogramming comes in various forms ---
for example,

* in dependently-typed programming terms appear within types,
  supporting the construction of precise specifications of functions and
  data.

* in multi-stage programming expressions are program values, making it
  possible to write safe program generation programs that can
  significantly improve performance.

* in languages with macros programs execute partly during compilation
  and partly at run-time, eliminating the sharp distinction between
  built-in and user-defined constructs.

* embedded domain-specific languages reuse host language
  features such as syntax and type-checking for convenient definition
  of little languages suited to a particular endeavour.

Metaprogramming has many applications, including genericity, proof
automation, language extensibility and user-defined optimization.

The goal of the summer school is to explore the state-of-the art in
metaprogramming and its applications, covering both theory and
practice.

--------------------------------------------------------------------
Lecturers and courses

Oleg Kiselyov (Tohoku University)
  From the tagless-final cookbook:
     simple hardware description language and optimization-by-evaluation

Matthew Flatt (University of Utah)
  Building Languages with Racket

Conor McBride (University of Strathclyde)
  TBD

Jonathan Protzenko (Microsoft Research Redmond)
  Meta-F*: efficient meta-programming of the F* compiler at every stage

--------------------------------------------------------------------
Prerequisites

The school is aimed at graduate students in programming languages and
related areas, but is open to researchers, practitioners and strong
masters students with the support of a supervisor. Some experience of
typed functional programming in Haskell, OCaml, Scala, or a similar
language will be assumed.

--------------------------------------------------------------------
Costs

Thanks to the Schloss Dagstuhl subsidies, accommodation costs are as
follows, and the dates are immediately before ICFP'19 (also in
Germany):

Single-occupancy accommodation: €420
Double-occupancy accommodation: €330

Accommodation costs include full board (in a single- or
double-occupancy room, including meals during stay)
from Sunday 11 August (evening) to Friday 16 August (afternoon).

--------------------------------------------------------------------
Application procedure

You will need to complete the online registration form at:

  https://www.cl.cam.ac.uk/events/metaprog/2019/application.html

and ensure your referees send your references to:

  metaprog-2019@cl.cam.ac.uk

by the application deadline.

TIMETABLE

* 30 June: Application and reference letters deadline.

* 10 July: Notification of acceptance.

* 11 August: Summer school.

--------------------------------------------------------------------
Further information

For any questions relating to the school, please contact the
organisers (Jeremy Yallop, Ohad Kammar, Yukiyoshi Kameyama) at
metaprog-2019@cl.cam.ac.uk

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] Metaprogramming Summer School (August 2019): call for applications
  2019-05-15 14:03 [Caml-list] Metaprogramming Summer School (August 2019): call for applications Jeremy Yallop
@ 2019-05-15 14:13 ` Raphael Santos
  0 siblings, 0 replies; 2+ messages in thread
From: Raphael Santos @ 2019-05-15 14:13 UTC (permalink / raw)
  To: caml-list



Raphael Santoss

On Wed, May 15, 2019, at 16:03, Jeremy Yallop wrote:
> ====================================================================
> Second International Summer School on Metaprogramming
> 
> Schloss Dagstuhl, Leibniz Center for Informatics, Germany
> 
> 11th-16th August 2019
> (the week before ICFP'19)
> 
> https://www.cl.cam.ac.uk/events/metaprog/2019/
> ====================================================================
> 
> Metaprogramming is an approach to constructing programs by treating
> program fragments (such as expressions or types) as values that the
> program can manipulate. Metaprogramming comes in various forms ---
> for example,
> 
> * in dependently-typed programming terms appear within types,
>   supporting the construction of precise specifications of functions and
>   data.
> 
> * in multi-stage programming expressions are program values, making it
>   possible to write safe program generation programs that can
>   significantly improve performance.
> 
> * in languages with macros programs execute partly during compilation
>   and partly at run-time, eliminating the sharp distinction between
>   built-in and user-defined constructs.
> 
> * embedded domain-specific languages reuse host language
>   features such as syntax and type-checking for convenient definition
>   of little languages suited to a particular endeavour.
> 
> Metaprogramming has many applications, including genericity, proof
> automation, language extensibility and user-defined optimization.
> 
> The goal of the summer school is to explore the state-of-the art in
> metaprogramming and its applications, covering both theory and
> practice.
> 
> --------------------------------------------------------------------
> Lecturers and courses
> 
> Oleg Kiselyov (Tohoku University)
>   From the tagless-final cookbook:
>      simple hardware description language and optimization-by-evaluation
> 
> Matthew Flatt (University of Utah)
>   Building Languages with Racket
> 
> Conor McBride (University of Strathclyde)
>   TBD
> 
> Jonathan Protzenko (Microsoft Research Redmond)
>   Meta-F*: efficient meta-programming of the F* compiler at every stage
> 
> --------------------------------------------------------------------
> Prerequisites
> 
> The school is aimed at graduate students in programming languages and
> related areas, but is open to researchers, practitioners and strong
> masters students with the support of a supervisor. Some experience of
> typed functional programming in Haskell, OCaml, Scala, or a similar
> language will be assumed.
> 
> --------------------------------------------------------------------
> Costs
> 
> Thanks to the Schloss Dagstuhl subsidies, accommodation costs are as
> follows, and the dates are immediately before ICFP'19 (also in
> Germany):
> 
> Single-occupancy accommodation: €420
> Double-occupancy accommodation: €330
> 
> Accommodation costs include full board (in a single- or
> double-occupancy room, including meals during stay)
> from Sunday 11 August (evening) to Friday 16 August (afternoon).
> 
> --------------------------------------------------------------------
> Application procedure
> 
> You will need to complete the online registration form at:
> 
>   https://www.cl.cam.ac.uk/events/metaprog/2019/application.html
> 
> and ensure your referees send your references to:
> 
>   metaprog-2019@cl.cam.ac.uk
> 
> by the application deadline.
> 
> TIMETABLE
> 
> * 30 June: Application and reference letters deadline.
> 
> * 10 July: Notification of acceptance.
> 
> * 11 August: Summer school.
> 
> --------------------------------------------------------------------
> Further information
> 
> For any questions relating to the school, please contact the
> organisers (Jeremy Yallop, Ohad Kammar, Yukiyoshi Kameyama) at
> metaprog-2019@cl.cam.ac.uk
>

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-15 14:03 [Caml-list] Metaprogramming Summer School (August 2019): call for applications Jeremy Yallop
2019-05-15 14:13 ` Raphael Santos

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox