coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
- To: types-list AT lists.seas.upenn.edu, haskell-cafe AT haskell.org, types AT lists.chalmers.se, stp <stp AT macs.hw.ac.uk>, ciao-users AT cliplab.org, caml users <caml-list AT inria.fr>, coq-club AT inria.fr, agda AT lists.chalmers.se, erlang-questions AT erlang.org, ARW-COMMITTEE AT liverpool.ac.uk, cl-isabelle-users AT lists.cam.ac.uk, tag AT utlists.utexas.edu, boost-interest AT lists.boost.org, Association for Symbolic Logic <asl AT vassar.edu>, clean-list AT science.ru.nl, event AT in.tu-clausthal.de, prog-lang AT diku.dk, afsec AT afsec.asr.cnrs.fr, security AT fosad.org, gdr-im AT gdr-im.fr, gt-verif-permanents AT gdr-im.fr, tag AT cs.utexas.edu, planetkr AT kr.org, fmics AT inrialpes.fr, nwpt-info AT lists.ioc.ee, theorynt AT listserv.nodak.edu, acl2 AT cs.utexas.edu, comm-theory AT ieee.org, wi AT aifb.uni-karlsruhe.de, iclp-workshops AT sfu.ca, logic-programming AT lists.picat-lang.org
- Subject: [Coq-Club] Summer School on Programming Languages and Verification (SPLV20)
- Date: Wed, 22 Jul 2020 16:36:02 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya AT gmail.com; spf=Pass smtp.mailfrom=komendantskaya AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f68.google.com
- Ironport-phdr: 9a23:bL3GKBwzDTI6qQTXCy+O+j09IxM/srCxBDY+r6Qd0uITLfad9pjvdHbS+e9qxAeQG9mCtbQY2qGJ7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhTexe7x/IRG5oQjTucQdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lCkIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cQmVPQ9tRVzdZAoyic4QPE+QPPeFdr4bnplsOqwa1CQ2jCe7rzzNFgHH53bc+0+88Dw/I2gIuFM8KvHjJsNn5MaEfWv23wqbV1zXOd/xZ1zfz5obLbx4vv+2DUKlqfsbN00QiDR/JgkmSpIHjIjib1v4Ns2+e7+d4WuyviHQoqx1vrTi1x8csjJPGjZ8QxFDD8CV23oA1KsCiR059fd6kC5hQuDuaNoRsX8gvRGJouCE/yrIYv560YTIFyJI7xx7EaPyIaYiJ7Qj4WeaeJDd3nnNleLalixmu9kigz/TxW8+p21lFsiRLiMPDtmwR1xPN8MiHTONw80O81TuOyQze6+5KLEE6mKbGK5As374+m5kXvEnDESL6hET7gaCKe0gm+uWl5fnrbqnmq5OBOIF6hQHzPKsul8G5HO82PA8OX22B9uS90r3u5U35QbtQgvIsjqbVqo3aJccDqq6lAg9V1IYi5wyjADi61tkTgHoJLEpddR6Zk4TkP0vCLfP4APulnligjjRmy+rHM7DiBJjGM2LNn637fbln7k5R0Aozws5b55JTErwBJej8Wk71tNDBAB45NhG4z//pCNh81Y4SQ22PAqieMKPdtV+H+PgjLPWLZI8QoDr9Kv4l6ODyjXIhh1MRYa2k0YEUZX24BPhqPluVbHn2jtoAEmoGpg8+Q/briF2GXz5TfXGyX6ck6zE4D4KmCJnMRoawj7Ob2ie7AoZWZmNcBVGMC3jlbIqEW/IWZyKTJs9tiCALVb+kS4M5zxGhqBf6y6Z7LurT4iAXqYjs1N1x5+HKkREy9Cd0D9iG3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9xZ/+lJXRsiNZ7A0+x6DMj/VR7GfteQUVqpXtGmASwqQd8q2N8PY0N9G824gRzZ3iqqBaUVl72RC5Au/KLcxSu5G8Eo12fe2bJki1g9XuNLNHa6nehk+gHIQZPRnkOf0aumaOBU3CfW92qHyS+FtU9VeA55SqbIWXRZYVHZ6Zzl91vPVJeqCK87KU1KyceGL6ZQcZvygBEOX+v7cIDFf3qZnm67HlCI2fWFZ8z3eDNZlC7cAU9Bjhse522uPgw/HiOoqSTZFjMqXVnmZkek7PJzsmjzGkQ9ygXPa0x6y5K0/AQUjLqSUaVXlrkDoWIqryh+NFe7xdPfTdSa40Joc6lVSdc8+0tck2nZvgh4M4a7abtvwhYTaQB+uUyrzgh6EZlBls4xhH4wyAN0JuSfylwFPxqi4tXbHZjyC1XO0T2Hb6/I10vG19GSvK4Eruk77x3ouESoDUMo/nFj3pxIyHaG/b3ODREOStT6W0Nx/hM8urKeKjU06KvJyXltKrWv9CLe1sIgH60oxgvkN91YN7iYUQ70D8AACtOyAOgrgESyKBgDO/tOsqkuMIfuXuCd36WqNfphmzTug2NdqLts10iL8yt3AsrP0JcOi6WRxQ+vST7nl1679M37hNYALToWE2O5jCzlH5J5faZzcIAABCG0PouxwpE2ioDgXWJw9VjlG05D08ugZAGOb1X5mwFdkQwPu3uo3C+xyTNcnzAqs+yT32iGyur5eREvM2BQSWIkhEz2Z4OylctcUlLsJxMknwa/5Frr76Zcv61zaW7JTgMAcCTsamBneqS8rP+DZohB8tdgvjkSTummYF7fUrPnphIc3iX/BENRyCp+djTstI+91wBzh0qWNzBusHfJcNo2yBvCoJTEQfdX0yYFXgF7k3/QHFf4d9es/N6Pv5bFqOG3U3qsTdtda22jy5yYqG6642NtKRm+hOyo3NzgGk433Guzy9lnUj/ZqgrUZojwy7+3K/wheE5kDVy65sZnXsl3mY9qrJoLn2UGi4Wc5jwKnXq3ed5c3Ke7cHoAQiQa69/Y7QWj31dsajqWxqrwV3uXhNZnZpy5a3kSwTgg780MBKrQpL1PmTMwvV2irhnRZuBmtiwT1L0l4TpSh+YGuQFo1j+aDaobGExZOyPEkxWT88v4tKRcbXrqdbG22wx5h9/yIquFp1RxW3/ld40jGyY4zcJ6PVTA2Xvv8YLtadCYOdEUsxCSnx7Gk/NWIYM4vvUPjCtjf2n6uCt2mKYAkRVy0MTi78C8IGJ38ff8XkcBZ2/FIvgL8zSotp5w28Of3oShBJJkQ2xZU57hTPbuGzUX562+a1S+VQYko3LeIoLxWBeF4R4//X3KGpGvcXqQIStBlIgwdFymPEVaxTsscnA6k5o+TF34wcXgdAJm42lU6ACo7BRLze1sOl/0VWKN/Ao=
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.
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 AT ed.ac.uk
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 AT ed.ac.uk
- [Coq-Club] Summer School on Programming Languages and Verification (SPLV20), Ekaterina Komendantskaya, 07/22/2020
Archive powered by MHonArc 2.6.19+.