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:
- join promptly at the advertised start of the session, and we will begin on the academic hour;
- start with your camera turned off and microphone muted; and
- 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
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:
- join promptly at the advertised start of the session, and we will begin on the academic hour;
- start with your camera turned off and microphone muted; and
- 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
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:
- join promptly at the advertised start of the session, and we will begin on the academic hour;
- start with your cameras turned off and microphones muted; and
- 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: 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:
- join promptly at the advertised start of the session, and we will begin on the academic hour;
- start with your cameras turned off and microphones muted; and
- 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 hereEvents Webapp
- Try out the events webapp (available to staff and students).