caml-list - the Caml user's mailing list
 help / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org,  types@lists.chalmers.se, stp <stp@macs.hw.ac.uk>, ciao-users@cliplab.org,  caml users <caml-list@inria.fr>, coq-club@inria.fr, agda@lists.chalmers.se,  erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk,  cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu,  boost-interest@lists.boost.org,  Association for Symbolic Logic <asl@vassar.edu>, clean-list@science.ru.nl, event@in.tu-clausthal.de,  prog-lang@diku.dk, afsec@afsec.asr.cnrs.fr, security@fosad.org,  gdr-im@gdr-im.fr, gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu,  planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee,  theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, comm-theory@ieee.org,  wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca,  logic-programming@lists.picat-lang.org
Subject: [Caml-list] Summer School on Programming Languages and Verification (SPLV20)
Date: Wed, 22 Jul 2020 16:36:02 +0100
Message-ID: <CAEQEJxK4iojyY=RSakN4NJRipMU1RB8zbyO-ErcVH-Y5AsX3MA@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 2658 bytes --]

Dear colleagues,

This year we're running an online version of the Scottish Programming
Languages and Verification Summer School. Please register as soon as
possible, and no later than 30 July 2020. Registration is free!


  +-----------------------------------------------------------------+
  |                                                                 |
  |  Scottish Programming Languages and Verification Summer School  |
  |  The University of Edinburgh, Online (BST), 3-21 August 2020    |
  |  http://www.macs.hw.ac.uk/splv/splv20/                          |
  |                                                                 |
  +-----------------------------------------------------------------+

The second Scottish Programming Languages and Verification Summer
School is organised by the University of Edinburgh and will take
place online during 3-21 August 2020.  The aim of the school is to provide PhD
students with core and specialised knowledge in the broad area
of Programming Language and Verification research.

COURSES
=======

Invited course
--------------


 Maribel Fernandez (King’s College London)
 "Nominal rewriting and unification"


Core courses
-------------------

   Jamie Gabbay (Heriot-Watt University)
   "Nominal datatypes"

   Michel Steuwer (Glasgow University)
   "Compiler intermediate representations"

   Edwin Brady (University of St Andrews)
   "The Implementation of Idris 2"


PREREQUISITES
=============

The school is aimed at PhD students in programming languages,
verification and related areas. Also researchers and practitioners
will be very welcome, as will strong master's students. Participants
will need to have a background in computer science, mathematics or a
related discipline, and have basic familiarity with (functional)
programming and logic.

DATES
=====

Please register by 30 July 2020.
Courses: online, 3 - 21 August 2020

SUPPORT
=======

The summer school is hosted by the University of Edinburgh School of
Informatics, The summer school is hosted by the University of Edinburgh
School of Informatics, and partially supported by ERC grant Skye
(grant no 682315)
and the UK Manycore Network.



REGISTRATION
============

Registration is open at the following address:


    http://tiny.cc/SPLV20-registration

Attendance is *free*.

FURTHER INFORMATION
===================

More information can be found on the school webpage:

   http://www.macs.hw.ac.uk/splv/splv20/

Please contact the local organisers if you have any questions:

- Ohad Kammar                  ohad.kammar@ed.ac.uk

[-- Attachment #2: Type: text/html, Size: 3984 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAEQEJxK4iojyY=RSakN4NJRipMU1RB8zbyO-ErcVH-Y5AsX3MA@mail.gmail.com' \
    --to=komendantskaya@gmail.com \
    --cc=ARW-COMMITTEE@liverpool.ac.uk \
    --cc=acl2@cs.utexas.edu \
    --cc=afsec@afsec.asr.cnrs.fr \
    --cc=agda@lists.chalmers.se \
    --cc=asl@vassar.edu \
    --cc=boost-interest@lists.boost.org \
    --cc=caml-list@inria.fr \
    --cc=ciao-users@cliplab.org \
    --cc=cl-isabelle-users@lists.cam.ac.uk \
    --cc=clean-list@science.ru.nl \
    --cc=comm-theory@ieee.org \
    --cc=coq-club@inria.fr \
    --cc=erlang-questions@erlang.org \
    --cc=event@in.tu-clausthal.de \
    --cc=fmics@inrialpes.fr \
    --cc=gdr-im@gdr-im.fr \
    --cc=gt-verif-permanents@gdr-im.fr \
    --cc=haskell-cafe@haskell.org \
    --cc=iclp-workshops@sfu.ca \
    --cc=logic-programming@lists.picat-lang.org \
    --cc=nwpt-info@lists.ioc.ee \
    --cc=planetkr@kr.org \
    --cc=prog-lang@diku.dk \
    --cc=security@fosad.org \
    --cc=stp@macs.hw.ac.uk \
    --cc=tag@cs.utexas.edu \
    --cc=tag@utlists.utexas.edu \
    --cc=theorynt@listserv.nodak.edu \
    --cc=types-list@lists.seas.upenn.edu \
    --cc=types@lists.chalmers.se \
    --cc=wi@aifb.uni-karlsruhe.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

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