This Week’s EventsAll Upcoming EventsPast EventsWebapp

This Week’s Events

FATA Seminar: Local separators -- from tree-decompositions to graph-decompositions

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Johannes Carmesin, University of Birmingham
Date: 02 March, 2021
Time: 13:00 - 14:00
Location: Online

Tree-decompositions are an important tool in algorithms and structural graph theory. Graph-decompositions are the natural generalisation of tree-decompositions where the decomposition-tree is replaced by a genuine graph. While I was originally motivated by potential applications to large networks, graph-decompositions turn out to be also quite useful to study embeddings of graphs in surfaces, to obtain characterisations in terms of forbidden shallow minors and in group theory.

I will start the talk with a short introduction to tree-decompositions. Then I will introduce graph-decompositions and related concepts to state the natural extension of Tutte's decomposition theorem along 2-separators to this setting.

Typestate Analysis for Aliased Objects

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Mathias Jakobsen, University of Glasgow
Date: 02 March, 2021
Time: 15:00 - 16:00
Location: Online

Mathias Jakobsen has recently joined us as a PhD student and will be talking about Typestate Analysis for Aliased Objects.

Abstract

In programming languages that use typestates to enforce object protocols, a linear type system is often enforced to ensure that aliasing cannot cause issues where changes in typestates go unnoticed. This, in turn, leaves us with a very restrictive type system, that can be difficult to apply to real-world programs. We present an extension to the language of typestates used in Mungo that describe unrelated parts of a protocol, which gives us natural aliasing properties and interleaving of sub-protocols. We also introduce a global approach to type checking programs with typestates, which is WiP with Alice Ravier and Ornela Dardha. It allows complete freedom in the use of aliasing, at the cost of slower type checking.

Location

Due to the ongoing impact of the COVID-19 pandemic, PLUG talks will take place online via Zoom. The details will be sent via the PLUG mailing list and the SPLS Zulip instance nearer the time.

More information about PLUGs mailing list can be found here:http://www.dcs.gla.ac.uk/plug/

As with previous Wireless PLUGs, please:

  1. join promptly at the advertised start of the session, and we will begin on the academic hour;
  2. start with your camera turned off and microphone muted; and
  3. ensure you can be identified by your username.

Questions

If the speaker is happy with questions during the talk, please use the chat or 'raise hand' feature. Should the speaker not see these interrupts, the chair will actively interrupt.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 03 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

AI for medical imaging applications

Group: Computing Technologies for Healthcare
Speaker: Matt Muckley, PhD, Facebook AI Research (FAIR) group
Date: 04 March, 2021
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/meeting/register/tJUuc-CvrDkpE9VnDHe6j-eTcn4zS40lBTIU

Matt Muckley will discuss his recent work using artificial intelligence for medical imaging applications, such has work in the open fastMRI competition to accelerate reconstruction of MRI knee images and a representation learning approach to covid-19 prognosis prediction from chest x-rays.
 
This seminar will be held on Zoom and is open to colleagues at the University of Glasgow and/or the NHS Greater Glasgow and Clyde. Please register to attend at the following link:
https://uofglasgow.zoom.us/meeting/register/tJUuc-CvrDkpE9VnDHe6j-eTcn4zS40lBTIU
After registering, you will receive a confirmation email containing information about joining the meeting.

The event is organised by Dr Sydney N. Williams, Imaging Centre of Excellence (ICE), University of Glasgow

Upcoming events

FATA Seminar: Local separators -- from tree-decompositions to graph-decompositions

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Johannes Carmesin, University of Birmingham
Date: 02 March, 2021
Time: 13:00 - 14:00
Location: Online

Tree-decompositions are an important tool in algorithms and structural graph theory. Graph-decompositions are the natural generalisation of tree-decompositions where the decomposition-tree is replaced by a genuine graph. While I was originally motivated by potential applications to large networks, graph-decompositions turn out to be also quite useful to study embeddings of graphs in surfaces, to obtain characterisations in terms of forbidden shallow minors and in group theory.

I will start the talk with a short introduction to tree-decompositions. Then I will introduce graph-decompositions and related concepts to state the natural extension of Tutte's decomposition theorem along 2-separators to this setting.

Typestate Analysis for Aliased Objects

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Mathias Jakobsen, University of Glasgow
Date: 02 March, 2021
Time: 15:00 - 16:00
Location: Online

Mathias Jakobsen has recently joined us as a PhD student and will be talking about Typestate Analysis for Aliased Objects.

Abstract

In programming languages that use typestates to enforce object protocols, a linear type system is often enforced to ensure that aliasing cannot cause issues where changes in typestates go unnoticed. This, in turn, leaves us with a very restrictive type system, that can be difficult to apply to real-world programs. We present an extension to the language of typestates used in Mungo that describe unrelated parts of a protocol, which gives us natural aliasing properties and interleaving of sub-protocols. We also introduce a global approach to type checking programs with typestates, which is WiP with Alice Ravier and Ornela Dardha. It allows complete freedom in the use of aliasing, at the cost of slower type checking.

Location

Due to the ongoing impact of the COVID-19 pandemic, PLUG talks will take place online via Zoom. The details will be sent via the PLUG mailing list and the SPLS Zulip instance nearer the time.

More information about PLUGs mailing list can be found here:http://www.dcs.gla.ac.uk/plug/

As with previous Wireless PLUGs, please:

  1. join promptly at the advertised start of the session, and we will begin on the academic hour;
  2. start with your camera turned off and microphone muted; and
  3. ensure you can be identified by your username.

Questions

If the speaker is happy with questions during the talk, please use the chat or 'raise hand' feature. Should the speaker not see these interrupts, the chair will actively interrupt.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 03 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

AI for medical imaging applications

Group: Computing Technologies for Healthcare
Speaker: Matt Muckley, PhD, Facebook AI Research (FAIR) group
Date: 04 March, 2021
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/meeting/register/tJUuc-CvrDkpE9VnDHe6j-eTcn4zS40lBTIU

Matt Muckley will discuss his recent work using artificial intelligence for medical imaging applications, such has work in the open fastMRI competition to accelerate reconstruction of MRI knee images and a representation learning approach to covid-19 prognosis prediction from chest x-rays.
 
This seminar will be held on Zoom and is open to colleagues at the University of Glasgow and/or the NHS Greater Glasgow and Clyde. Please register to attend at the following link:
https://uofglasgow.zoom.us/meeting/register/tJUuc-CvrDkpE9VnDHe6j-eTcn4zS40lBTIU
After registering, you will receive a confirmation email containing information about joining the meeting.

The event is organised by Dr Sydney N. Williams, Imaging Centre of Excellence (ICE), University of Glasgow

Conversational Search

Group: Information Retrieval (IR)
Speaker: Prof. Faegheh Hasibi, University of Radboud, Netherland
Date: 08 March, 2021
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/j/99150712088?pwd=RVJFVzh1MVFsUFlCcjRrZk54Z2xQQT09

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Gramoz Goranci
Date: 09 March, 2021
Time: 13:00 - 14:00
Location: Online

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 10 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

Information Retrieval, recommendation system and text mining

Group: Information Retrieval (IR)
Speaker: Prof. Hamed Zamani, University of Massachusetts Amherst
Date: 15 March, 2021
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/j/99150712088?pwd=RVJFVzh1MVFsUFlCcjRrZk54Z2xQQT09

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Cyril Allgnol, Ecole Nationale de l'Aviation Civile
Date: 16 March, 2021
Time: 13:00 - 14:00
Location: Online

Title TBA

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Bruce Collie, University of Edinburgh
Date: 16 March, 2021
Time: 15:00 - 16:00
Location: Online

Bruce Collie from the University of Edinburgh will be speaking about his recent work. A title and abstract will be available nearer the time.

Location

Due to the ongoing impact of the COVID-19 pandemic, PLUG talks will take place online via Zoom. The details will be sent via the PLUG mailing list and the SPLS Zulip instance nearer the time.

More information about PLUGs mailing list can be found here:http://www.dcs.gla.ac.uk/plug/

As with previous Wireless PLUGs, please:

  1. join promptly at the advertised start of the session, and we will begin on the academic hour;
  2. start with your cameras turned off and microphones muted; and
  3. ensure you can be identified by your username.

Questions

If the speaker is happy with questions during the talk, please use the chat or 'raise hand' feature. Should the speaker not see these interrupts, the chair will actively interrupt.

 
LocationOnline

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 17 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

HealthCare Seminar - TBC

Group: Computing Technologies for Healthcare
Speaker: Dr. Emma Robinson, King's College London
Date: 18 March, 2021
Time: 14:00 - 15:00
Location: https://uofglasgow.zoom.us/j/92737903794?pwd=ZFdpcUk2TlBlWVlydXRjWEUvTW42UT09

Dr Robinson's research focuses on the development of computational methods for brain imaging analysis,  and covers a wide range of image processing and machine learning topics. Most notably, her software for cortical surface registration (Multimodal Surface Matching, MSM) has been central to the development of  of the Human Connectome Project’s “Multi-modal parcellation of the Human Cortex “ (Glasser et al, Nature 2016), and has featured as a central tenet in the HCP’s paradigm for neuroimage analysis (Glasser et al, Nature NeuroScience 2016). This work has been widely reported in the media including Wired, Scientific American, and Wall Street Journal). Current research interests are focused on the application of advanced machine learning, and particularly Deep Learning to diverse data sets combining multi-modality imaging data with genetic samples. We are particualrly interested in building sensitive models of cognitive development and developmental outcome for prematurely born babies from data collected for the Developing Human Connectome Project (dHCP).

Future Forum 3

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 18 March, 2021
Time: 17:00 - 19:00
Location: TBA

Are you a code citizen of any experience/skill level, from hobbyist to professional? We'd like your input to understand what coders think about when you think of security, what you do about it, or if indeed you do think about it when creating code. This interactive workshop focuses on security in coding and what the code citizens (you!) know about it to help us to design a Serious Game. We'll be using this insight to inform the design of a Serious Game to help engage and teach code citizens about the value of considering security from the outset. Help us feed into to our research on Serious Games for code security! All active participants will receive a £10 Amazon/other online retailer voucher, and participants will be entered into a draw for one £50 Amazon voucher! Presented by Heriot-Watt University in collaboration with Glasgow School of Art and the University of St Andrews. Register to attend via Eventbrite.

Conversational Recommendation System

Group: Information Retrieval (IR)
Speaker: Prof. Krisztian Balog, University of Stavanger
Date: 22 March, 2021
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/j/99150712088?pwd=RVJFVzh1MVFsUFlCcjRrZk54Z2xQQT09

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 24 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

Statically Verified Refinements for Multiparty Protocols

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Fangyi Zhou, Imperial College London
Date: 30 March, 2021
Time: 15:00 - 16:00
Location: Online

Fangyi Zhou from Imperial College London will be speaking about their work on statically-verified refinements for multiparty session types, following on from a recent OOPSLA paper. More details will be available nearer the time.

Location

Due to the ongoing impact of the COVID-19 pandemic, PLUG talks will take place online via Zoom. The details will be sent via the PLUG mailing list and the SPLS Zulip instance nearer the time.

More information about PLUGs mailing list can be found here:http://www.dcs.gla.ac.uk/plug/

As with previous Wireless PLUGs, please:

  1. join promptly at the advertised start of the session, and we will begin on the academic hour;
  2. start with your cameras turned off and microphones muted; and
  3. ensure you can be identified by your username.

Questions

If the speaker is happy with questions during the talk, please use the chat or 'raise hand' feature. Should the speaker not see these interrupts, the chair will actively interrupt.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 31 March, 2021
Time: 15:00 - 15:30
Location: Online

A chance for everyone to meet up informally and have a chat - In the SOCS common room

Document re-ranking and entity set expansion

Group: Information Retrieval (IR)
Speaker: Prof. Ben He, University of Chinese Academy of Sciences
Date: 12 April, 2021
Time: 12:00 - 13:00
Location: https://uofglasgow.zoom.us/j/99150712088?pwd=RVJFVzh1MVFsUFlCcjRrZk54Z2xQQT09

Recommendation System and user modelling

Group: Information Retrieval (IR)
Speaker: Prof. Min Zhang, Tsinghua University
Date: 19 April, 2021
Time: 12:00 - 13:00
Location: https://uofglasgow.zoom.us/j/99150712088?pwd=RVJFVzh1MVFsUFlCcjRrZk54Z2xQQT09

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Michael McKay
Date: 20 April, 2021
Time: 13:00 - 14:00
Location: Online

Past events

To view past events, please click here

Events Webapp