_posts · 4ec648940f3ba0b489515a3e271038abee8a6da5 · xr119 / psvg.doc.ic.ac.uk

Compare

Forked from Verified Software / psvg.doc.ic.ac.uk

147 commits behind the upstream repository.

Update 2021-01-14-world-logic-day.md

Teresa Carbajo-Garcia authored 4 years ago

4ec64894

History

4ec64894 4 years ago

History

Name	Last commit	Last update
..
2016-07-26-advert.md
2016-09-01-newmember.md
2016-09-15-daiva.md
2016-10-03-papers.md
2016-10-12-talk.md
2016-11-14-inferlab.md
2016-11-23-dagstuhl.md
2016-12-05-ECMA.md
2016-12-15-Dolby.md
2017-01-13-Pedro_viva.md
2017-01-20-PIP_talk.md
2017-02-01-Gian_viva.md
2017-02-06-ESOP.md
2017-02-10-Azalea_viva.md
2017-02-11-INVEST.md
2017-02-14-NCSC_official_opening.md
2017-02-20-Schmitt.md
2017-03-28-Colloquium.md
2017-04-24-Dosualdo.md
2017-04-28-fsen.md
2017-05-01-farzan.md
2017-05-03-consistency.md
2017-05-08-aarhus.md
2017-05-09-Kloos.md
2017-05-17-Gian.md
2017-05-25-Azalea.md
2017-05-25-ecma.md
2017-06-13-csf.md
2017-06-16-Algebraic.md
2017-07-03-urops.md
2017-07-07-jstools.md
2017-08-12-cade.md
2017-09-06-darmstadt.md
2017-09-22-fmats5.md
2017-09-26-popl.md
2017-10-02-gabriela.md
2017-11-15- bernardi.md
2017-11-24-siddharth.md
2017-12-07-google-summit-munich.md
2018-01-06-PhD_opportunity.md
2018-01-12-popl.md
2018-01-15-tech_talk.md
2018-01-29-grohens.md
2018-01-31-chungkilhur.md
2018-02-14-hu-talk.md
2018-03-01-daiva-thesis.md
2018-03-19-formal-methods-meets-js.md
2018-04-18-papers-accepted-april-18.md
2018-04-23- felix-stutz.md
2018-06-13-martin.md
2018-07-16-seminar.md
2018-09-01-marie_curie.md
2018-09-02-fellowship.md
2018-09-03-radu.md
2018-10-15-sacha.md
2018-11-10-popl19.md
2018-11-7-facebook.md
2019-04-01-eccop2019.md
2019-05-1- fMfSS_talk.md
2019-05-13-lorentz _seminar.md
2019-05-31-goodbye _andrea.md
2019-06-03-calco.md
2019-07-26-srepls.md
2019-08-09-marktoberdorf.md
2019-08-15-jose.md
2019-09-26-workshop.md
2019-10-01-internship.md
2019-10-28-iris.md
2019-10-30-livestream.md
2019-11-11- ini_workshop.md
2020-01-22-hase.md
2020-02-20-shale.md
2020-04-27-ecoop.md
2020-05-11-pldi.md
2020-05-19-thisispldi.md
2020-06-16-advert.md
2020-06-16-deepspec.md
2020-06-19-plditalk.md
2020-08-31-concur2020.md
2020-09-01-manu.md
2020-09-27-fellow.md
2020-09-3-concurtalk.md
2020-10-01-martin.md
2020-10-01-rao.md
2020-11-04-codemeshtalk.md
2020-12-01-facetav.md
2021-01-12-gabi-internship.md
2021-01-14-world-logic-day.md