Index of /~yoshida/slides

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]AIMS2024-last.pdf2024-02-16 14:28 187K 
[ ]AIMS_Nobuko's Slides.pdf2023-03-09 15:12 34M 
[ ]AIMS_Nobuko's Slides_with_demo.pdf2023-03-10 10:11 34M 
[ ]AIMS_mini_project.pdf2023-03-10 10:09 6.1M 
[ ]AIMS_mini_project_2024.pdf2024-02-16 14:55 8.1M 
[ ]Asynchronous Optimisation-109-pdfjam.pdf2022-05-27 10:19 27K 
[ ]Asynchronous Optimisation.key2022-05-23 12:41 195M 
[ ]Asynchronous Optimisation.pdf2022-05-23 12:41 11M 
[ ]Asynchronous Optimisation Lorentz.pdf2022-11-27 20:07 7.0M 
[ ]Asynchronous Optimisation_Kent.pdf2023-01-25 14:27 6.7M 
[ ]Behavioural Type-Based Static Verification Framework for Go.pdf2018-05-09 12:37 9.6M 
[ ]Betty_Lisbon_Final_2.pdf2016-10-05 12:42 15M 
[ ]Betty_Multiparty.pdf2014-06-30 09:51 1.7M 
[ ]Betty_Portugal_Final.pdf2016-10-04 11:48 17M 
[ ]BirminghamDec132023.pdf2023-12-09 15:24 14M 
[ ]CONCUR_2018_paper_25.pdf2018-04-24 14:59 719K 
[ ]Camerino2018.pdf2018-12-02 13:29 13M 
[ ]Camerino2018_resized.pdf2018-12-04 09:16 14M 
[ ]CamerinoApril2016.pdf2016-04-27 12:10 8.7M 
[ ]CodeMesh_Nov2020_Part_1.pdf2020-10-18 17:42 938K 
[ ]CodeMesh_Nov2020_Part_2.pdf2020-10-18 17:41 29M 
[ ]Compositional.pdf2016-11-29 23:11 25M 
[ ]Concurrency Workshop 2022 INI.pdf2022-08-07 19:39 12M 
[ ]Concurrency Workshop INI 2022 (1).pdf2022-08-07 19:39 1.8M 
[ ]Concurrency Workshop INI 2022.pdf2022-08-07 19:39 551K 
[ ]DSeminarJan17.pdf2017-01-27 21:36 1.8M 
[ ]ESOP-slides.pdf2018-04-16 20:17 7.5M 
[ ]Encoding.pdf2018-10-18 08:21 142K 
[ ]FCT21-PartOne.pdf2021-08-22 14:00 6.4M 
[ ]FCT21-PartOneCorrected.pdf2021-08-30 10:48 6.5M 
[ ]FCT21-PartOneCorrected.xopp2021-08-30 10:48 40K 
[ ]FCT21_final.pdf2021-08-23 16:58 15M 
[ ]FCT21_talk.key2021-09-10 17:33 20M 
[ ]FCT21_talk.pdf2021-09-10 17:49 19M 
[ ]Final_CodeMesh_Nov2020.pdf2020-10-18 17:55 19M 
[ ]Frank_Fest.pdf2016-03-30 14:38 6.2M 
[ ]Frank_Fest2.pdf2016-04-02 09:49 6.5M 
[ ]Full_Lecturenotes_with_Answers_Pictures.pdf2023-10-24 05:53 1.1M 
[ ]GCHQ.pdf2013-11-06 10:01 2.7M 
[ ]GO_CC16.pdf2016-03-30 14:37 380K 
[ ]GSSI_Nobuko's Slides.key2023-06-05 10:11 26M 
[ ]GSSI_Nobuko's Slides.pdf2023-06-05 10:11 15M 
[ ]Huawei_China_2024.key2024-07-31 09:49 100M 
[ ]Huawei_China_2024.pdf2024-07-31 09:50 14M 
[ ]Imperial-2017-01.pdf2016-12-31 19:18 1.9M 
[ ]Imperial_2017_01_all.pdf2016-12-31 19:19 6.9M 
[ ]IntroSlides.pdf2018-02-21 21:18 6.6M 
[ ]JAIST.pdf2015-07-21 03:08 8.2M 
[ ]JLA1_theory.pdf2016-01-25 21:20 4.0M 
[ ]JLA2_practice.pdf2016-01-25 21:20 7.1M 
[ ]Japan2018.pdf2018-07-22 00:30 13M 
[ ]Japan_2014_acroread-0522.pdf2014-06-02 12:31 5.6M 
[ ]Japan_May_2014.pdf2014-05-25 18:16 5.6M 
[DIR]JoshSummerSchool/2018-02-04 15:37 -  
[ ]June2014.pdf2014-06-21 05:20 4.1M 
[DIR]Keio/2016-07-30 12:37 -  
[ ]Kent_Asynchronous_Optimistaion_Adam.pdf2023-01-29 15:42 6.9M 
[ ]LICS2024pictures 2.pdf2024-07-08 11:22 7.1M 
[ ]MM70.pdf2017-09-21 13:52 16M 
[ ]ManchesterMay2016.pdf2016-05-03 21:57 8.7M 
[ ]NLandDec2018.pdf2018-12-09 09:57 7.3M 
[ ]NY_PI_18_19.pdf2018-10-18 08:21 741K 
[ ]Next Generation Protocols for Heterogeneous Systems.key2024-01-30 06:51 151M 
[ ]Next Generation Protocols for Heterogeneous Systems.pdf2024-01-30 06:51 14M 
[VID]NicolasLagaillardieCoordination20.mp42020-06-05 08:21 121M 
[ ]NobukoYoshidaMarch2016.pdf2016-03-26 23:22 1.5M 
[ ]Nobuko_presentation.pdf2015-05-01 14:19 6.0M 
[ ]Novi_Sad_2020.pdf2020-02-02 16:20 27M 
[ ]OPCT'23-Asynchronous Optimisation.pdf2023-06-27 05:41 7.5M 
[ ]OPCT23-1.pdf2023-06-27 05:41 4.4M 
[ ]OpenProbleminSessionTypes.pdf2017-06-21 19:03 8.5M 
[ ]PaperLoveYoshida.pdf2016-09-11 17:20 9.3M 
[ ]Paris6_Dec_2016.pdf2016-12-11 23:24 17M 
[ ]PennWorkshop2016.pdf2016-05-18 04:44 9.1M 
[VID]Proving_Distributed_Architecture.mp42017-09-17 20:24 318M 
[ ]QMSlides.pdf2017-10-23 15:53 15M 
[ ]SMTP_specification.pdf2017-09-17 20:06 125K 
[VID]Scribble Business Movie.mp42017-09-17 20:08 22M 
[ ]Session Calculus .pdf2014-11-03 08:43 1.1M 
[ ]Shonan2019.pdf2019-05-25 14:15 7.8M 
[ ]Specification-Guided_China_2024.key2024-07-31 09:53 100M 
[ ]Specification-Guided_China_2024.pdf2024-07-31 09:54 40M 
[ ]Specification-Guided_Summer_2023.key2023-07-18 10:55 26M 
[ ]Specification-Guided_Summer_2023.pdf2023-07-31 02:39 15M 
[ ]Stardust0922_IC.pdf2022-09-11 14:33 750K 
[ ]Stardust3_19_Dec_2023.pdf2023-12-16 16:53 357K 
[ ]TLCA_with_applications.pdf2014-06-30 10:00 6.4M 
[ ]TLLA24.pdf2024-07-08 11:23 25M 
[ ]Upscale.pdf2015-06-12 20:17 2.3M 
[DIR]Video/2022-06-01 09:45 -  
[ ]YoshidaShonan2019.pdf2019-05-27 01:25 10M 
[ ]YoshidaSummer2019.pdf2019-07-21 11:48 10M 
[ ]ZDLC.pdf2015-04-28 18:25 724K 
[ ]abcd_2019.pdf2019-12-14 22:45 18M 
[ ]activity_abcd_2019.pdf2019-12-19 21:51 25M 
[ ]all_pause_st.pdf2023-10-24 05:53 1.1M 
[ ]automata.tar.gz2014-06-26 22:00 13M 
[ ]automata_interconnect.tar.gz2016-11-20 20:42 12M 
[ ]camerino-ny-open-problems-2017.pdf2017-12-07 22:54 11M 
[ ]camerino.pdf2016-04-25 22:45 9.7M 
[ ]concur19.pdf2019-07-12 10:29 586K 
[ ]cyprus_2019.pdf2019-03-03 19:52 34M 
[VID]deadlock.mp42017-01-16 03:15 2.0M 
[ ]effpi.pdf2019-02-25 09:25 5.7M 
[ ]fase.pdf2016-03-30 14:38 653K 
[VID]godel_demo.mp42017-06-22 16:12 15M 
[ ]group_presentation.pdf2019-11-12 15:31 32M 
[ ]invited.pdf2014-06-06 18:03 4.1M 
[ ]kent_talk.pdf2015-12-11 07:25 9.7M 
[ ]lecturenotes.pdf2014-06-30 09:52 254K 
[DIR]lectures/2015-10-09 09:57 -  
[ ]lyon.pdf2014-06-21 05:22 6.6M 
[ ]mCLR2_keynote.pdf2022-10-03 20:56 9.8M 
[ ]mpst_pause.pdf2023-10-24 05:53 644K 
[ ]nagoya_2019.pdf2019-08-19 08:16 38M 
[ ]newjaist.pdf2015-08-30 23:13 12M 
[ ]ny-open-problems-2017.pdf2017-06-22 11:58 9.1M 
[ ]origin_abcd_2019.pdf2019-12-19 12:02 5.6M 
[ ]oxford.pdf2018-12-19 10:33 367K 
[ ]phil_birthday.pdf2019-12-12 16:31 59K 
[ ]presentation.slides.pdf2019-11-21 16:58 90K 
[ ]presentation_final_with_applications.pdf2014-10-01 11:55 65M 
[ ]refinement_slides_all-2.pdf2023-01-26 18:29 11M 
[ ]serbia_talk.pdf2016-02-28 11:40 7.2M 
[ ]session_types.pdf2019-11-12 10:53 945K 
[ ]slides-ny.pdf2017-01-21 22:35 1.3M 
[ ]slides.pdf2019-02-25 09:22 5.7M 
[ ]slides2.pdf2015-07-21 03:09 2.6M 
[ ]trend_2018.pdf2018-09-04 15:31 5.8M 
[ ]upscale_frank_60.pdf2016-03-11 12:46 2.5M 
Apache Server at vm-wwwhomes.doc.ic.ac.uk Port 80