Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Author: v1stan3

Dr. Shubham Chatterjee from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: From Generalized to Personalized: Leveraging LLMs for Conversational Search Speaker: Dr. Shubham Chatterjee                      University of […]

Yoshua Wuyts from Microsoft will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Introducing Effect Types to the Rust Programming Language Speaker: Yoshua Wuyts                     Microsoft When: 11am Tue 30 April Where: Meeting […]

Melissa Terras from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Creative Informatics: Catalysing Edinburgh’s Creative Community to Innovate with Data Speaker: Melissa Terras                      University of Edinburgh […]

Neel Krishnaswami from the University of Cambridge will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: The Denotational Semantics of Static Single Assignment (SSA) Form Speaker: Neel Krishnaswami Professor of Logic, Semantics and Computation in the department of computer science at the […]

Hugo Paquet from the LIPN, Université Sorbonne Paris Nord will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: 2-Dimensional Monads and Concurrency Speaker: Hugo Paquet When: 11am Tue 12 March Where: 4th floor Bayes Centre Registration: https://www.smartsurvey.co.uk/s/D8MKWE/ External:https://meeting.huaweicloud.com/welink/j/96318912/Vktqh29Pvz5oiwVtY1vzND4UM3gyFzi7o Meeting ID:96318912 Passcode:542647 Abstract: This […]

Cristina Matache from the University of Edinburgh will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Title: Parameterized algebraic theories and applications Speaker: Cristina Matache Postdoc at the University of Edinburgh When: 11am Tue 5 March Where: 4th floor Bayes Centre External: https://meeting.huaweicloud.com/welink/j/98501554/Tn5envXzahKhNLYXRK1C3shKofbLwFfIb […]

Ross Horne from the University of Strathclyde will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Ross Horne, University of Strathclyde Title: The True Concurrency of ePassport Privacy When: 11am Tue 27 Feb Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/95973609/D5HiJPcxftyMkkIHpVKDdMmWEHQrujaq5 Meeting ID: 97614068 […]

Bob Atkey, University of Strathclyde will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below. Speaker: Bob Atkey, University of Strathclyde Title: Data Types with Negation When: 11am Tue 9 Jan Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/95973609/D5HiJPcxftyMkkIHpVKDdMmWEHQrujaq5 Passcode: 381535 Abstract Inductive data types are […]

Efi Tsamoura will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk as below, lunch will be provided.   Title: On Learning Latent Models with Multi-Instance Weak Supervision. Speaker: Efi Tsamoura, Samsung AI When: 12nn Thu 23 Nov Where: 4th floor Bayes Centre External link: https://meeting.huaweicloud.com/welink/j/94584057/Y636nF2lqRtlVZvXQdnkLmpJ34TfuNv7U […]

Ursula Martin will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk as below, lunch will be provided.   Title: The Social Machine of Mathematics, and what it means for AI-assisted proof. Speaker: Ursula Martin When: 11am Tue 14 Nov Where: 4th floor Bayes Centre External […]

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel