caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Summer School on Programming Languages and Verification (SPLV20)
@ 2020-07-22 15:36 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2020-07-22 15:36 UTC (permalink / raw)
  To: types-list, haskell-cafe, types, stp, ciao-users, caml users,
	coq-club, agda, erlang-questions, ARW-COMMITTEE,
	cl-isabelle-users, tag, boost-interest,
	Association for Symbolic Logic, clean-list, event, prog-lang,
	afsec, security, gdr-im, gt-verif-permanents, tag, planetkr,
	fmics, nwpt-info, theorynt, acl2, comm-theory, wi,
	iclp-workshops, logic-programming

[-- 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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2020-07-22 15:36 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-22 15:36 [Caml-list] Summer School on Programming Languages and Verification (SPLV20) Ekaterina Komendantskaya

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ http://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


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