Nobuko Yoshida | Professional activities | Imperial College London

Skip to main content All experts

Visiting Researcher

Department of Computing - Faculty of Engineering

Orcid identifier0000-0002-3925-8557 (opens in a new tab)⁠

Visiting Researcher
Department of Computing - Faculty of Engineering

020 7594 8240 (Work)

n.yoshida@imperial.ac.uk (opens in a new tab)

556, Huxley Building, South Kensington Campus, United Kingdom

sort by:

EXTERNAL COMMITTEE
16th Asian Symposium on Programming Languages and Systems (opens in a new tab)⁠
2 Dec 2018 - 7 Dec 2018
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (opens in a new tab)⁠
8 Jan 2018 - 9 Jan 2018
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Session Types as a Descriptive Tool for Distributed Protocol
25 Oct 2017
Queen Mary, University of London
GUEST LECTURE
Lightweight Session Programming in Scala (opens in a new tab)⁠
27 Mar 2017
Center for Mathematics and Statistics, University of Novi Sad
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Let It Recover: Multiparty Protocol-Induced Recovery (opens in a new tab)⁠
13 Mar 2017
School of Computing, University of Kent
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Let It Recover: Multiparty Protocol-Induced Recovery (opens in a new tab)⁠
22 Feb 2017
University of Camerino
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Multiparty Session Types and their Applications
14 Dec 2016
Université Pierre et Marie Curie Paris 6
GUEST LECTURE
Compositionality and Session Types (opens in a new tab)⁠
5 Dec 2016
Simon's Institute for the Theory of Computing, University of California, Berkeley
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Building Graphical Choreographies From Communicating Machines: Principles and Applications (opens in a new tab)⁠
29 Nov 2016
University Paris-Diderot / IRIF
MORELEARN MORE (opens in a new tab)
OUTREACH ACTIVITY
Multiparty Session Types and their Applications to Concurrent and Distributed Systems (opens in a new tab)⁠
15 Sep 2016
St. Louis, MO
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Building Graphical Choreographies From Communicating Machines: Principles and Applications (opens in a new tab)⁠
18 Aug 2016
University of Southern Denmark
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Synthesis of Multiparty Session Types
27 Jul 2016
Nagoya University
GUEST LECTURE
Synthesis of Multiparty Session Types
19 Jul 2016
National Institute of Informatics (NII)
GUEST LECTURE
Multiparty Session Types and their Applications (opens in a new tab)⁠
16 May 2016
University of Pennsylvania
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Multiparty Session Types and their Applications (opens in a new tab)⁠
4 May 2016
School of Computer Science, The University of Manchester
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Multiparty Session Types and their Applications (opens in a new tab)⁠
29 Apr 2016
School of Science and Technology, University of Camerino
MORELEARN MORE (opens in a new tab)
GUEST LECTURE
Multiparty Session Types And Their Applications
4 Mar 2016
Center for Mathematics and Statistics, University of Novi Sad
GUEST LECTURE
Session types and their applications (opens in a new tab)⁠
27 Jan 2016
'Journées Francophones des Langages Applicatifs', JFLA 2016
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM:FASOCC 2014 ) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
12th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
13th Asian Symposium on Programming Languages and Systems (APLAS 2015) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
1st International Conference on Formal Structures for Computation and Deduction (FSCD) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)
EXTERNAL COMMITTEE
1st International Workshop on New Developments in Computational Models (DCM 2005) Programme Committee (opens in a new tab)⁠
MORELEARN MORE (opens in a new tab)