Stirling Computational Math Day

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 21 August, 2019
Time: 10:00 - 16:00
Location:The University of Stirling, 2B84/2B85, Cottrell Buiulding, University of Stirling, United Kingdom

SICSA is supporting the Stirling Computational Math Day, taking place on 21 August 2019 at the University of Stirling The meeting brings together mathematicians and computer scientists, mainly from Scotland, to discuss recent developments in computational mathematics and spark new collaborations. We are specifically aiming at researchers in computer algebra and computational mathematics, as well as scientists from other relevant areas and application domains. In computational mathematics, computer algebra has become a lively independent discipline and significantly influenced the research in many scientific fields. As computer algebra systems are playing greater roles in more and more application domains, the landscape and sphere of computer algebra is also evolving. For example, by combining techniques from computer algebra with tools from numerical computation, symbolic-numeric algorithms have been developed for problems until recently were yet solvable by either numerical or symbolic methods alone. Such developments have connected computer algebra researchers to other research communities and led to many interesting applications in science and engineering. This workshop aim to present some of the latest developments in computer algebra, computational mathematics and optimisation. We focus on the connections between these subjects and their impacts on other domains, in the hope of identifying promising future research directions. Speakers are: Des Higham (University of Edinburgh); Title (tentative): "Numerical Precision in Deep Learning" Colva M. Roney-Dougal (University of St. Andrews); Title (tentative): “An introduction to computational group theory” Keshav Dahal (University of the West of Scotland); Title: "Diversifying Multi-objective search with evolving fitness functions for solving scheduling problems" Wen-shin Lee (University of Stirling): Title: "From computer algebra to signal processing: sparse interpolation, rational approximation, tensor decomposition and exponential analysis" Patrick Maier (University of Stirling/Sheffield Hallam University) John McCall (Robert Gordon University) Registration: Attendance is free but please register here More information on the Stirling Computational Math Day can be found at https://sites.google.com/view/stirling-compmathday2019/home

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 22 August, 2019
Time: 12:00 - 13: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.

Stirling Computational Math Day

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 21 August, 2019
Time: 10:00 - 16:00
Location: The University of Stirling, 2B84/2B85, Cottrell Buiulding, University of Stirling, United Kingdom

SICSA is supporting the Stirling Computational Math Day, taking place on 21 August 2019 at the University of Stirling The meeting brings together mathematicians and computer scientists, mainly from Scotland, to discuss recent developments in computational mathematics and spark new collaborations. We are specifically aiming at researchers in computer algebra and computational mathematics, as well as scientists from other relevant areas and application domains. In computational mathematics, computer algebra has become a lively independent discipline and significantly influenced the research in many scientific fields. As computer algebra systems are playing greater roles in more and more application domains, the landscape and sphere of computer algebra is also evolving. For example, by combining techniques from computer algebra with tools from numerical computation, symbolic-numeric algorithms have been developed for problems until recently were yet solvable by either numerical or symbolic methods alone. Such developments have connected computer algebra researchers to other research communities and led to many interesting applications in science and engineering. This workshop aim to present some of the latest developments in computer algebra, computational mathematics and optimisation. We focus on the connections between these subjects and their impacts on other domains, in the hope of identifying promising future research directions. Speakers are: Des Higham (University of Edinburgh); Title (tentative): "Numerical Precision in Deep Learning" Colva M. Roney-Dougal (University of St. Andrews); Title (tentative): “An introduction to computational group theory” Keshav Dahal (University of the West of Scotland); Title: "Diversifying Multi-objective search with evolving fitness functions for solving scheduling problems" Wen-shin Lee (University of Stirling): Title: "From computer algebra to signal processing: sparse interpolation, rational approximation, tensor decomposition and exponential analysis" Patrick Maier (University of Stirling/Sheffield Hallam University) John McCall (Robert Gordon University) Registration: Attendance is free but please register here More information on the Stirling Computational Math Day can be found at https://sites.google.com/view/stirling-compmathday2019/home

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 22 August, 2019
Time: 12:00 - 13: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: 29 August, 2019
Time: 12:00 - 13: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: 05 September, 2019
Time: 12:00 - 13: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 Scottish Seminar on Formal Modelling, Verification and Synthesis

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 09 September, 2019
Time: 10:00 - 16:00
Location: School of Computing Science, University of Glasgow, Room 423, University of Glasgow, United Kingdom

SFMoVeS: Scottish Seminar on Formal Modelling, Verification, and Synthesis - a SICSA funded Workshop co-located with QEST 2019 About SFMoVeS The International Conference on Quantitative Evaluation of Systems (QEST) is the leading forum on quantitative evaluation and verification of computer systems and networks, through stochastic models and measurements. In 2019 QEST takes place in Glasgow! This is a great opportunity to bring together researchers from all SICSA institutions for a one-day pre-conference workshop to address current challenges and relevant questions, to communicate and share their experiences on formal approaches to quantitative evaluation of systems. Our aim is to foster a tighter community of researchers from SICSA institutions interested in the formal modelling, verification and synthesis applied to computer systems and networks. Invited Speakers include: Professor Simon Dobson, School of Computer Science, University of St Andrews Dr Alice Miller, School of Computing Science, University of Glasgow Call for Presentations We invite contributions on formal methods applied to modelling, verification and synthesis of complex software systems. Speakers are invited to present research results in any of the themes of interest for the workshop as well as application experiences, tools, and promising preliminary ideas. We are planning this event as a friendly venue for PhD students and RAs to discuss their work in progress and get feedback. If you would like to give a talk, please send your proposed title and abstract (up to 500 words) by email to Oana Andrei via email oana.andrei@glasgow.ac.uk by 16 August 2019. Peer reviewing will be light & quick and will be primarily based on relevance. For additional information please contact Oana Andrei. Registration: The lunch and the coffee breaks are free for registered participants, thanks to our sponsor SICSA. In order to help with catering arrangements, we would ask that you register on this Eventbrite page The organisers of this workshop are Oana Andrei and Michele Sevegnani, University of Glasgow

The 16th International Conference on Quantitative Evaluation of SysTems (QEST 2019)

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 10 September, 2019
Time: 01:00 - 01:00
Location: The University of Glasgow, Wolfson Medical Building, University of Glasgow, United Kingdom

SICSA is delighted to be sponsoring The 16th International Conference on Quantitative Evaluation of SysTems (QEST 2019) which is taking place at the University of Glasgow. The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative evaluation and verification of computer systems and networks. Areas of interest include quantitative specification methods, stochastic and non-deterministic models and metrics for performance, reliability, safety, correctness, and security. QEST is interested in both theoretical and experimental research. QEST welcomes a diversity of modelling formalisms, programming languages and methodologies that incorporate quantitative aspects such as probabilities, temporal properties and other forms of non-determinism. This includes work on the combination of quantitative evaluation and verification with machine learning techniques. Papers may advance empirical, simulation and analytic methods. Of particular interest are case studies that highlight the role of quantitative specification, modelling and evaluation in the design of systems. Systems of interest include computer hardware and software architectures, communication systems, cyber-physical systems, infrastructural systems, security systems and biological systems. Papers that describe novel tools to support the practical application of research results in all of the above areas are also welcome. Keynotes are: Andrew Gordon, Microsoft Research UK End-User Probabilistic Programming' Piet Van Mieghem, Delft University of Technology, The Netherlands Andre Platzer, Carnegie Mellon University, USA Registration: Registration is now open and you can register here SICSA is covering the cost of conference registration for a limited number of Scotland-based PhD students. If you would like to apply for one of these places, then please email Gethin Norman including up to 150 words on why SICSA should cover your registration.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 12 September, 2019
Time: 12:00 - 13: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.

West European Student & Young Professional Congress (WESYP '19)

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 19 September, 2019
Time: 01:00 - 01:00
Location: Glasgow Caledonian University, Cowcaddens Road, Glasgow Caledonian University, G4 0BA, United Kingdom

The SICSA Networking & Systems Research Theme is pleased to be a silver sponsor of the West European Student & Young Professional Congress (WESYP '19) which is taking place between 19 - 21 September at Glasgow Caledonian University. WESYP 2019 is a platform to network with like-minded individuals and industry representatives, meet industry leaders of tomorrow and exchange thoughts on technological advancements needed for a sustainable future. West Europe Student-Young Professional Congress (WESYP) brings together young professionals and IEEE student members and volunteers from Western Europe together to share their stories and discuss the on-going advancements in the world of science and technology. Focused on the theme “Building a Sustainable Future”, this year’s WESYP is a platform to network, train leaders of tomorrow and share thoughts on technological advancements for a sustainable future. The full program and details of registration can be accessed on the WESYP'19 web-site.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 19 September, 2019
Time: 12:00 - 13: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 FATA Seminar 2019/2020

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: David Manlove, School of Computing Science, University of Glasgow
Date: 24 September, 2019
Time: 13:00 - 14:00
Location: Sir Alwyn Williams Building, 423 Seminar Room

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 26 September, 2019
Time: 12:00 - 13: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: 03 October, 2019
Time: 12:00 - 13: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: 10 October, 2019
Time: 12:00 - 13: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.

Esra Erdem Seminar (title TBC)

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Esra Erdem, Sabanci University, Istanbul
Date: 15 October, 2019
Time: 13:00 - 14:00
Location: Lilybank Gardens, F121 Conference Room

Please note change of venue to F121.

Abstract TBC.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 17 October, 2019
Time: 12:00 - 13: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: 24 October, 2019
Time: 12:00 - 13: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: 31 October, 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.

SICSA DemoFest 2019: Bringing Research To Life

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 04 November, 2019
Time: 16:00 - 19:00
Location: Our Dynamic Earth, 112 Holyrood Road, Edinburgh, United Kingdom

4th November 2019, Our Dynamic Earth, Edinburgh Register now! DemoFest returns to Edinburgh on 4th November for an evening of research and technology demonstrations, keynote talks and networking. DemoFest provides a perfect opportunity for private and public sector organisations to experience the innovative Computing research taking place in Scottish Universities. Our exhibitors will talk about their research, tell you why it’s important to your organisation, and demonstrate their cutting-edge technology working in real-time. The event also provides a space for you to discuss future collaborations and business opportunities with talented researchers. The 2019 event will feature: Keynote talk from Dr Zoë Webster, Director of AI and Data Economy at Innovate UK Research & Technology Showcase with over 40 research and technology demonstrations from 14 Scottish Universities Partner Exhibitions from across the Scottish digital eco-system DemoFest 2019 will focus on the following key areas: Artificial Intelligence Cyber Physical Systems Cyber Security Data Science Human-Computer Interaction Networking and Systems Theory, Modelling and Interaction Event Timetable 15:00 - 16:00 - Exhibitor Networking Session (open to exhibitors and partners only) 16:00 - 17:00 - Keynote Session 17:00 - 19:00 - Research Showcase and Refreshments 19:00 - Event Close DemoFest is organised by SICSA, in partnership with ScotlandIS.

RA Coffee Break

Group: School of Computing Science
Speaker: you
Date: 07 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: 14 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.

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.

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.

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.

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.