Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)
       [not found]               ` <CANr23v3kxG2DHWeZBJ16U45XNAcTN-iYBN1dv=geeUCZELS5iQ@mail.gmail.com>
@ 2020-03-27 22:50                 ` Jamie Vicary
  0 siblings, 0 replies; only message in thread
From: Jamie Vicary @ 2020-03-27 22:50 UTC (permalink / raw)
  To: Homotopy Type Theory

[Hopefully of broad interest to the HoTT community; the first talk in
particular is HoTT-focussed.]

** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) **
** https://www.cs.bham.ac.uk/~vicaryjo/owls/ **

The Online Worldwide Seminar on Logic and Semantics is a new
online-only series of fortnightly research talks, highlighting the
most exciting recent work in the international computer science logic
community. In this time of restricted international travel, a key aim
of this series is to provide a forum for informal discussion and
social interaction that is so important for the progress of science.
To facilitate this, the seminar incorporates in virtual form a number
of features more normally associated with physical meetings, including
virtual "coffee breaks" before and after the seminar, allowing
participants to chat in small groups. (Don't forget to bring your own
coffee.)

We are delighted to announce our initial programme of talks, all of
which take place on Wednesdays at 14:00 UTC+1. All members of the
computer science logic community are welcome, from students to
professors.

 - April 1. Kevin Buzzard, Imperial College London. "Is HoTT the way
to do mathematics?"
 - April 15. Joost-Pieter Katoen, Aachen University. "Termination of
probabilistic programs"
 - April 29. Daniela Petrisan, University of Paris. "Combining
probabilistic and non-deterministic choice via weak distributive laws"
 - May 13. Bartek Klin, Warsaw University: "Monadic monadic second order logic"
 - May 27. Dexter Kozen, Cornell University: "Brzozowski derivatives
as distributive laws"

Talks are fully interactive, with audience members able to see the
speaker's face at the same time as the slides, and able to ask
questions with full audio and video, just as they would in a physical
seminar, allowing the nuanced communication that is so critical for
modern science.

The seminar series is based on the Zoom technology platform, which is
capable of handing large meetings with ease. Visit the OWLS webpage
given at the top of this email for more information about the seminar,
and to sign up for our reminder email list.

Best wishes, the organizers:

  - Alexandra Silva, University College London
  - Pawel Sobocinski, Tallinn University of Technology
  - Jamie Vicary, University of Birmingham

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

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <CANr23v0bWcJNFkqdxOqFo7ycOcJJox9in3RNXMshj_pgnuMN4w@mail.gmail.com>
     [not found] ` <CANr23v0LEDabSFt=uWsvymTeUjYcPqXeY3FfXdCH1LEfeMrgZQ@mail.gmail.com>
     [not found]   ` <CANr23v3=hwT=TxAmTr4xTX0HNixxSfBFSmAdHbYE20=DSQ0ZRA@mail.gmail.com>
     [not found]     ` <CANr23v1iq12+EdCc9eZJNQQ0P1PJB4yAL4EauT62b8WpuiY7BA@mail.gmail.com>
     [not found]       ` <CANr23v3DrvJ09n9STrwFvD1hs7FBMLCnTP2g2n1YSTF7_MO5xw@mail.gmail.com>
     [not found]         ` <CANr23v2cjUne5MooRyTXO085m1fKctN58ryZpRK-YZiGpVGRoA@mail.gmail.com>
     [not found]           ` <CANr23v3C5wAENwcUWjoibJSkAePpH8wkzVaPWjPs-oVZKZTrLg@mail.gmail.com>
     [not found]             ` <CANr23v2LVYbHVbiqYOVTgnY=arhqaeRX7ZqGVqbNzhX66TRNaA@mail.gmail.com>
     [not found]               ` <CANr23v3kxG2DHWeZBJ16U45XNAcTN-iYBN1dv=geeUCZELS5iQ@mail.gmail.com>
2020-03-27 22:50                 ` Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS) Jamie Vicary

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


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