University of Glasgow - Schools - School of Computing Science

This Week’s Events All Upcoming Events Past Events Webapp

This Week’s Events

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 22 September, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA: Summer Updates

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 22 September, 2020
Time: 13:00 - 14:00
Location: Online

SICSA Meet and Greet Talk: Mark Riddell

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 24 September, 2020
Time: 15:00 - 16:00
Location:TBA

How are we changing the way businesses manage their cyber posture? Please join this online talk, the first for the 2020/2021 session, by Mark Riddell from M3Networks, discussing how we are addressing the problem that many SMEs are facing: the lack of time and money. Many business leaders just don’t know how to deal with cyber security, and they simply rely on their IT resources to cover this. The focus of the talk will be on helping to make cyber simple for business leaders and C-suite for the first time, showing them what their cyber posture looks like. The event is free and you can register to attend here. A URL will be sent to all attendees on the morning of the 24th September.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 24 September, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

Upcoming events

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 22 September, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA: Summer Updates

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 22 September, 2020
Time: 13:00 - 14:00
Location: Online

SICSA Meet and Greet Talk: Mark Riddell

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 24 September, 2020
Time: 15:00 - 16:00
Location: TBA

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 24 September, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 29 September, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: John Sylvester
Date: 29 September, 2020
Time: 13:00 - 14:00
Location: Online

A Shameless (Wireless) PLUG: STLC Punk! --- Mechanising $Lambda_\underline{\omega}}$ & Friends in Idris.

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Jan de Muijnck-Hughes
Date: 29 September, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that I will be giving the inauguaral PLUG for 2020/21. In this talk I will be discussing my approach to mechanising some simple variants of the Simply-Typed Lambda Calculus within Idris.

Using well-studied techniques the STLC can be encoded in dependently typed languages as a well-typed Embedded Domain Specific Languages (EDSLs). Here terms and types are kept separate,However, when looking to study more powerful variants, that include type-synonyms and data declarations, the lines between terms and types begin to blur. This impacts on our EDSLs' expressiveness and ability to create well-typed terms for variants.

In this talk I will show how we can use well-studied techniques from dependent type theory, namely type universes and types as terms, to encode various well-typed EDSLs. With our approach types become terms and our mechanised proofs of type-safety need not be anything special. We illustrate our approach by considering various expression languages and an implementation of $\lambda_{\underline{\omega}}$.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

Should one wish to ask question's during the talk then please use the chat or 'raise a hand' feature. Should the speaker not see these interrupts, I will actively interrupt. I will confirm on the day if the speaker is okay with audio interrupts by attendees.

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

SICSA Conference 2020: SICSA and the Sustainable Society

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 01 October, 2020
Time: 01:00 - 01:00
Location: TBA

The SICSA Conference is taking place on-line on 1st October 2020 and will be under the theme SICSA and the Sustainable Society. Register your interest now at: sicsaconference.org The conference this year will be co-located with ScotSoft, which is Scotland’s leading tech conference allowing our delegates to access elements of the event throughout the day. For this year’s conference we have prepared a rich and varied schedule addressing the many challenges presented by the idea of a future Sustainable Society. We are delighted to have Dr Elizabeth F. Churchill (UX Director, Google) and Professor Sally A. Fincher (School of Computing Science, University of Kent) as our Keynote Speakers. You will have the chance to hear about issues and challenges encountered in Computing Science Education, discussed at the Education Panel Session. Excellent exemplars of graduate research across SICSA will be presented from the shortlisted candidates for the SICSA PhD Award for Best Dissertation during at the PhD Lightning Talks session. We have invited participation from our partner research pools across Scotland, allowing us to bring together a large community of people to discuss the Computing and interdisciplinary challenges ahead. The SICSA Research Themes will show case research that demonstrates cutting edge computing research and its potential to address the Sustainable Society Challenge. We have inaugurated a new award for Best PhD Thesis in Scotland at the Conference this year and the winner will receive a prize of £2,000 generously sponsored by Amazon Development Scotland. Given the current situation with the COVID-19 pandemic the Conference this year will be held online, allowing us to increase our audience and have invited speakers from far and wide. The Conference will be open to all members from across the SICSA institutions, industry partners and all SICSA key stakeholders The Full Schedule for the Conference along with details of our Speakers and Sessions can be found on the SICSA Conference 2020 web-site

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 01 October, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 06 October, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

Teaching Accessibility in Computing Workshop

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 07 October, 2020
Time: 14:00 - 17:00
Location: TBA

It is essential for societal inclusion that our increasingly ubiquitous technologies are accessible to a wide range of users. For students who are learning about software development it is important that they are able to explore the different societal and technical aspects of creating accessible software. In this online workshop we will explore the state of accessibility teaching in Scotland through discussion of our collective experiences. This will be based around three questions: How is accessibility currently taught? How should or could it be done? How can we work together to get there? We would welcome you to the workshop if you are teaching accessibility topics, you are interested in accessibility or you just want to find out a bit more about it. Organisers: Dr Michael Crabb (University of Dundee), Dr Benjamin Gorman (University of Bournemouth), Dr Rachel Menzies (University of Dundee), Dr Garreth Tigwell (Rochester Institute of Technology, NY, USA). If you would like any more information or to discuss any element of the workshop further, contact Dr Rachel Menzies. You can register for this event here. A Zoom link will be send to attendees ahead of time.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 08 October, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 13 October, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Simon Fowler
Date: 13 October, 2020
Time: 13:00 - 14:00
Location: Online

Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically. Safely implementing session types requires linearity, usually in the form of a linear type system. Unfortunately, linear typing is difficult to integrate with graphical user interfaces (GUIs), and to date most programs using session types are command line applications.

In this paper, we propose the first principled integration of session typing and GUI development by building upon the Model-View-Update (MVU) architecture, pioneered by the Elm programming language. We introduce λMVU, the first formal model of the MVU architecture, and prove it sound. By extending λMVU with commands as found in Elm, along with linearity and model transitions, we show the first formal integration of session typing and GUI programming. We implement our approach in the Links web programming language, and show examples including a two-factor authentication workflow and multi-room chat server.

A Shameless (Wireless) PLUG: Frex: indexing modulo equations with free extensions

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Ohad Kammar, University of Edinburgh
Date: 13 October, 2020
Time: 15:00 - 16:00
Location: Online

I am very pleased to announce that Ohad Kammar of The University of Edinburgh will be talking about his work on Frex.

I'll report about ongoing work on an extensible dependently-typed library of algebraic solvers for common algebraic structures based on free extensions (frex): the coproduct of an algebra with a free algebra. One challenge arising when programming with types indexed by values involves convincing the type-checker that two open terms are equal, as variables appearing in open terms get in the way of standard normalisation procedures like beta-reduction.

Here I'll focus on indexing by terms malleable to equational reasoning. When the indexing type is the carrier for an algebraic structure, we hypothesise that type-checking modulo this theory amounts to representing the free extension of the algebra structure of this type with a finite set of variables. We propose a library involving two tiers: a user-facing tier for indexing types with algebraic values (‘frexlets’), and a library-developer-facing tier for extending the library to support new algebraic theories (‘core frex’). I'll report and demonstrate our implementation in Brady’s upcoming Idris2 programming language.

(joint work with Guillaume Allais, Edwin Brady, and Jeremy Yallop.)

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 15 October, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 20 October, 2020
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Mengwei Xu
Date: 20 October, 2020
Time: 13:00 - 14:00
Location: Online

FATA Coffee

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Various
Date: 22 October, 2020
Time: 15:30 - 16:00
Location: https://gather.town/IQI6fOLoocaYEoyL/SoCS-CommonRoom

A chance for everyone to meet up informally and have a chat.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 27 October, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

FATA Seminar: TBC

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Paulius Dilkas
Date: 27 October, 2020
Time: 13:00 - 14:00
Location: Online

A Shameless (Wireless) PLUG: Title TBC

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Brian Campbell, University of Edinburgh
Date: 27 October, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that Brian Campbell of The University of Edinburgh shall be giving a talk.

Details to be confirmed.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 03 November, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 10 November, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

A Shameless (Wireless) PLUG: A graphical language for closed monoidal categories

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Dan Ghica, University of Birmingham/Huawei
Date: 10 November, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that Dan Ghica of The University of Birmingham & Huawei, shall be giving a talk.

Details to be confirmed.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 17 November, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 24 November, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

A Shameless (Wireless) PLUG: Title TBC

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Simon Fowler, University of Glasgow
Date: 24 November, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that our own Simon (Fowler) shall be giving a talk.

Details to be confirmed.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 01 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 08 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

A Shameless (Wireless) PLUG: Title TBC

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Daniel HIllerström, University of Edinburgh
Date: 08 December, 2020
Time: 15:00 - 16:00
Location: Online

I am pleased to announce that Daniel HIllerström of the University of Edinburgh shall be giving a talk.

Details to be confirmed.

Location

I will be sending the details through PLUG's mailing list, and the SPLS Zulip instance.

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

As with previous Wireless PLUGs I ask that everyone:

join promptly at the advertised start of the session, and we will begin on the academic hour;
start with their camera's turned-off and microphone's muted; and
in the pursit of transparency, and if you are happy to do so, please ensure you can be identified by your user name.

Questions

During question time, I will moderate the questions so please use the chat and 'raise a hand' feature to get my attenion.

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 15 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 22 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 29 December, 2020
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 05 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 12 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 19 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 26 January, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 02 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 09 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 16 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 23 February, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 02 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 09 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 16 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 23 March, 2021
Time: 10:00 - 10:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

SYSTEMS Coffee

Group: Systems Section
Speaker: SYSTEMS
Date: 30 March, 2021
Time: 11:00 - 11:45
Location: Sir Alwyn Williams Building

Join us for a weekly meetup to catch up and say hello!

Past events

To view past events, please click here

Events Webapp

Try out the events webapp (available to staff and students).