RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 21 November, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 21 November, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

First order logic: deductive systems

Group: CS reading group
Speaker: TBA
Date: 26 November, 2019
Time: 11:00 - 12:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Chapter 8 in Ben Ari's Mathematical Logic for Computer Science.

We extend the deductive systemsGandHfrom propositional logic to first-orderlogic by adding axioms and rules of inference for the universal quantifier. (The exis-tential quantifier is defined as the dual of the universal quantifier.)

A Shameless PLUG: Towards Channel-Dependent Session Types

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Simon Gay, University of Glasgow
Date: 26 November, 2019
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 203 Meeting Room

This session's shameless PLUG is by our own Simon Gay who will talk about some very interesting research

Session types describe communication protocols, so that protocol compliance can be verified by static type-checking. There are natural situations in which protocols require dependent types, so that the future *structure* of the protocol can depend on the *content* of some of the messages. A further step is to allow dependency on a channel, which means that the dependency is on the traffic on that channel.

Setting up a session type system with these features requires a suitable infrastructure that combines dependent types and linear types. Traditionally this has been problematic, but is now available in the form of Bob Atkey's Quantitative Type Theory, which is a refinement of a previous theory by Conor McBride. In this talk, I will report on progress towards defining a syntax, operational semantics and type system for a functional language with channel-dependent (aka traffic-dependent) session types.

Note: More so than not, this talk will be affected by the upcoming UCU strike. Unfortunately, we won't know if the talk will be going ahead until the day of the talk itself. Apologies for any inconvenience caused.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 28 November, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

Multiresolution Multitask Gaussian Processes: Air quality in London

Group: Inference, Dynamics and Interaction (IDI)
Speaker: Theo Damoulas, University of Warwick
Date: 28 November, 2019
Time: 12:00 - 13:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

We consider evidence integration from potentially dependent observation processes under varying spatio-temporal sampling resolutions and noise levels. We offer a multi-resolution multi-task framework, termed MRGPs, while allowing for both inter-task and intra-task multi-resolution and multi-fidelity. We develop shallow Gaussian Process (GP) mixtures that approximate the difficult to estimate joint likelihood with a composite one and deep GP constructions that naturally handle scaling issues and biases. By doing so, we generalize and outperform state of the art GP compositions and offer information-theoretic corrections and efficient variational approximations for inference. We demonstrate the competitiveness of MRGPs on synthetic settings and on the challenging problem of hyper-local estimation of air pollution levels across London from multiple sensing modalities operating at disparate spatio-temporal resolutions.

PhD Support Group - Weekly Meeting

Group: PhD Support Group
Speaker: Mental Health First Aiders
Date: 28 November, 2019
Time: 12:00 - 13:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Doing
a PhD can be hard at times If you feel like you need somewhere you can talk about the
stresses and strains in your life without being judged, then come and join the PhD Support
Group! All PhD students are welcome to drop in to our weekly meetings.

The support group is run by PhD students for PhD students. No lecturers or supervisors are included. We encourage you to come along and have a relaxing time to talk about anything you want, be it stress about deadlines, an acute feeling of imposter syndrome or an upcoming progression review. Or anything else, really.

Who we are: We are a group of PhD students who did a mental health first aid course over two days, certified by the NHS. We don’t claim to be counsellors or to give any advice. Our task is to manage the support group and to create a space where people can speak and express themselves, without judgement. If you need support finding professional help, please come and talk to us, we will try to support you in this.
Equally, if you prefer to talk one-to-one, contact any of the Mental Health First Aiders.

Support group — Policies

In this space, we want to make sure that everybody feels safe and comfortable. Participating means we might share stories and parts of ourselves that are vulnerable. With that in mind, we expect everybody to help in sustaining a trusting, wholesome and supportive community by following our policies:

●Be non-judgemental and respectful.
●Keep everything within the group.
●No phones!
●Nobody has to share anything if they don't want to.
●Late-comers are welcome, but please be respectful and quiet when coming in.
●No food during the session, but drinks are OK.


Thank you,
Your Mental Health First Aiders

COMPUMATCH drop-in session

Group: Interdisciplinary Collaboration Events
Speaker: COMPUMATCH
Date: 03 December, 2019
Time: 14:00 - 16:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Do you think your research could benefit from a collaborator in theoretical computer science?  One of the things that makes theoretical computer science at the University of Glasgow special is our passion for applying our abstract knowledge to address real-world problems.  Our areas of expertise include optimisation, modelling, data analysis, and many more – and if we cannot help you ourselves, we will do our best to point you in the direction of somebody who can.

Compumatch is mainly set up to identify possible long-term collaborations involving novel research from both sides – the kind of collaboration that might ultimately lead to a joint funding application (anything from an LKAS studentship to a major UKRI grant), although of course the first step might be advising on a paper or giving a talk at an interdisciplinary event.  If you are unsure whether your project is suitable for Compumatch please do come along anyway – we are more than happy to redirect you to one of the other schemes for working with Computing Science (Hacky Hour or Glasgow University Software Services) if appropriate.

At this drop-in session you will have a chance to chat to us in person about your research needs and how we can help. Note that you can also contact the Compumatch team at any point by emailing compumatch@dcs.gla.ac.uk.

PhD Support Group - Weekly Meeting

Group: PhD Support Group
Speaker: Mental Health First Aiders
Date: 04 December, 2019
Time: 16:00 - 17:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Doing
a PhD can be hard at times If you feel like you need somewhere you can talk about the
stresses and strains in your life without being judged, then come and join the PhD Support
Group! All PhD students are welcome to drop in to our weekly meetings.

The support group is run by PhD students for PhD students. No lecturers or supervisors are included. We encourage you to come along and have a relaxing time to talk about anything you want, be it stress about deadlines, an acute feeling of imposter syndrome or an upcoming progression review. Or anything else, really.

Who we are: We are a group of PhD students who did a mental health first aid course over two days, certified by the NHS. We don’t claim to be counsellors or to give any advice. Our task is to manage the support group and to create a space where people can speak and express themselves, without judgement. If you need support finding professional help, please come and talk to us, we will try to support you in this.
Equally, if you prefer to talk one-to-one, contact any of the Mental Health First Aiders.

Support group — Policies

In this space, we want to make sure that everybody feels safe and comfortable. Participating means we might share stories and parts of ourselves that are vulnerable. With that in mind, we expect everybody to help in sustaining a trusting, wholesome and supportive community by following our policies:

●Be non-judgemental and respectful.
●Keep everything within the group.
●No phones!
●Nobody has to share anything if they don't want to.
●Late-comers are welcome, but please be respectful and quiet when coming in.
●No food during the session, but drinks are OK.


Thank you,
Your Mental Health First Aiders

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 05 December, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

TBD

Group: Inference, Dynamics and Interaction (IDI)
Speaker: Alison O'Neil, Cannon Medical Research
Date: 05 December, 2019
Time: 12:00 - 13:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

FATA Christmas Lunch

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: All welcome, but please let someone know!
Date: 09 December, 2019
Time: 12:45 - 15:00
Location: The Bothy Glasgow, 11 Ruthven Lane, G12 9BG

If you would like to come but haven't yet paid a deposit then please email 2093581m@student.gla.ac.uk.

We will meet at 12.45 in the foyer of SAWB then walk over for the 13.00 booking.

Menus available here: https://www.bothyglasgow.co.uk/festive/ (vegeterian, vegan, low gluten options available).

External Systems Seminar

Group: Systems Seminars
Speaker: Rosa Filgueira, EPCC, University of Edinburgh
Date: 11 December, 2019
Time: 13:30 - 14:30
Location: Lilybank Gardens, F121 Conference Room

tbc

PhD Support Group - Weekly Meeting

Group: PhD Support Group
Speaker: Mental Health First Aiders
Date: 12 December, 2019
Time: 10:00 - 11:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Doing
a PhD can be hard at times If you feel like you need somewhere you can talk about the
stresses and strains in your life without being judged, then come and join the PhD Support
Group! All PhD students are welcome to drop in to our weekly meetings.

The support group is run by PhD students for PhD students. No lecturers or supervisors are included. We encourage you to come along and have a relaxing time to talk about anything you want, be it stress about deadlines, an acute feeling of imposter syndrome or an upcoming progression review. Or anything else, really.

Who we are: We are a group of PhD students who did a mental health first aid course over two days, certified by the NHS. We don’t claim to be counsellors or to give any advice. Our task is to manage the support group and to create a space where people can speak and express themselves, without judgement. If you need support finding professional help, please come and talk to us, we will try to support you in this.
Equally, if you prefer to talk one-to-one, contact any of the Mental Health First Aiders.

Support group — Policies

In this space, we want to make sure that everybody feels safe and comfortable. Participating means we might share stories and parts of ourselves that are vulnerable. With that in mind, we expect everybody to help in sustaining a trusting, wholesome and supportive community by following our policies:

●Be non-judgemental and respectful.
●Keep everything within the group.
●No phones!
●Nobody has to share anything if they don't want to.
●Late-comers are welcome, but please be respectful and quiet when coming in.
●No food during the session, but drinks are OK.


Thank you,
Your Mental Health First Aiders

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 12 December, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

PhD Support Group - Weekly Meeting

Group: PhD Support Group
Speaker: Mental Health First Aiders
Date: 18 December, 2019
Time: 16:00 - 17:00
Location: Sir Alwyn Williams Building, 404 Meeting Room

Doing
a PhD can be hard at times If you feel like you need somewhere you can talk about the
stresses and strains in your life without being judged, then come and join the PhD Support
Group! All PhD students are welcome to drop in to our weekly meetings.

The support group is run by PhD students for PhD students. No lecturers or supervisors are included. We encourage you to come along and have a relaxing time to talk about anything you want, be it stress about deadlines, an acute feeling of imposter syndrome or an upcoming progression review. Or anything else, really.

Who we are: We are a group of PhD students who did a mental health first aid course over two days, certified by the NHS. We don’t claim to be counsellors or to give any advice. Our task is to manage the support group and to create a space where people can speak and express themselves, without judgement. If you need support finding professional help, please come and talk to us, we will try to support you in this.
Equally, if you prefer to talk one-to-one, contact any of the Mental Health First Aiders.

Support group — Policies

In this space, we want to make sure that everybody feels safe and comfortable. Participating means we might share stories and parts of ourselves that are vulnerable. With that in mind, we expect everybody to help in sustaining a trusting, wholesome and supportive community by following our policies:

●Be non-judgemental and respectful.
●Keep everything within the group.
●No phones!
●Nobody has to share anything if they don't want to.
●Late-comers are welcome, but please be respectful and quiet when coming in.
●No food during the session, but drinks are OK.


Thank you,
Your Mental Health First Aiders

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 19 December, 2019
Time: 11:00 - 12:00
Location: Computing Science Common Room

This is a weekly coffee break for RAs in Computing to network, informally discuss issues, or simply enjoy some coffee and biscuits away from the screen.

Soft Squishy Electronic Skin

Group: Inference, Dynamics and Interaction (IDI)
Speaker: Ravinder Dahiya, School of Engineering, University of Glasgow
Date: 05 March, 2020
Time: 12:00 - 13:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Abstract:

The miniaturization led advances in microelectronics over 50 years have revolutionized our lives through fast computing and communication. Recent advances in the field are propelled by applications such as electronic skin in robotics, wearable systems, and healthcare technologies etc. Often these applications require electronics to be soft and Squishy so as to conform to 3D surfaces. These requirements call for new methods to realize sensors, actuators electronic devices and circuits on unconventional substrates such as plastics, papers and elastomers. This lecture will present various approaches (over different time and dimension scales) for obtaining distributed electronic, sensing and actuation devices on soft and flexible substrates, especially in context with the tactile or electronic skin (eSkin). These approaches range from distributed off-the-shelf electronics integrated on flexible printed circuit boards, to novel alternatives such as eSkin constituents obtained by printed nanowires, graphene and ultra-thin chips, etc. The technology behind such sensitive flexible and squishy electronic systems is also the key enabler for numerous emerging fields such as internet of things, smart cities and mobile health etc. This lecture will also discuss how the flexible electronics research may unfold in the future.

Bio:

Ravinder Dahiya is a Professor of Electronics and Nanoengineering and EPSRC Research Fellow in James Watt School of Engineering at University of Glasgow, UK. Prof Dahiya is the director of Electronic Systems Design Centre and the leader of Bendable Electronics and Sensing Technologies (BEST) group. For a full bio, see https://rsdahiya.com/about-me/