Please help us publicize TEAL: Tools for Educational Activities in Logic, a workshop associated w/ FLoC26. We have a novel design, focused on demos, discussion, and generally high-quality interaction rather than weak papers. See full details on our site!
teal.cs.brown.edu/floc2026/
๐ Your Abstract Awaits Submit by 6 February 2026
Entries for BCS Women Lovelace 2026 are coming in from across the UK. ๐ Is your university on the list?
๐ฉ Submission link: forms.office.com/e/avvaJ0kZPw
โ FAQ
bcswomenlovelace.bcs.org?page_id=99
People seated around a table during a collaborative workshop, with colorful sticky notes, cards, and markers spread out.
โฐCountdown is on!
Apply by 31 Jan for a fully funded, 4-year PhD at @glasgow.ac.uk
๐ Work on Global Challenges like Beyond Net Zero & Planetary Health
๐ฌ Advance Enabling Technologies from AI & Big Data to Quantum
โจ Shape your research. Drive real impact.
๐ Deadline: 31 Jan 2026
๐ www.divein.org.uk
Promotional graphic for DiveIn CDT PhD recruitment. The left side shows individuals working with technical equipment in a lab setting. The right side contains text: โApplications Now Open โ Fully-funded 4 year PhD. Applicant Webinar โ 26th November. More info at divein.org.uk.โ Logos for University of Glasgow, UKRI Engineering and Physical Sciences Research Council, and DiveIn CDT appear at the bottom.
๐ฃ Applications Now Open!
๐ Dive into mission-driven interdisciplinary #STEM research with a fully funded 4-year PhD starting Sept 2026
โ
Co-create your project
โ
Enhanced stipend
โ
Cohort-based experience
โ
Partner network
๐
Applicant Webinar: Nov 26
๐More info & registration: www.divein.org.uk/apply
I was thinking it was Jeremy, Iโll talk to him and weโll be in touch!
Whoโs organising in Glasgow? Iโm asking from both CS Ed and FM perspectives
Just published a blog post on the Advance HE website, drawing on our research into how Graduate Apprentices develop an impressive range of professional skills.
advance-he.ac.uk/news-and-vie...
๐๐๐ฟ๐ฟ๐ ๐๐ฝ: ๐๐๐ฏ๐บ๐ถ๐ ๐ฎ ๐ป๐ผ๐บ๐ถ๐ป๐ฎ๐๐ถ๐ผ๐ป ๐ผ๐ฟ ๐ถ๐ป๐๐ถ๐๐ฒ ๐๐ผ๐บ๐ฒ๐ผ๐ป๐ฒ ๐๐ผ ๐ฎ๐ฝ๐ฝ๐น๐ ๐ณ๐ผ๐ฟ ๐๐ต๐ฒ ๐ฐ๐ต๐ฎ๐ป๐ฐ๐ฒ ๐๐ผ ๐๐ถ๐ป โฌ๐ฑ,๐ฌ๐ฌ๐ฌ!
All initiatives, old or new, are welcome! Nominate now: www.informatics-europe.org/society/mine...
#womeninTECH #womeninacademia #informatics #genderequality #WomenEmpoweringWomen #computerscience
2025 Minerva Informatics Equality Award has now extended the nomination deadline to Jun 16th. Nominate now: https://www.informatics-europe.org/society/minerva-informatics-equality-award.html
New deadline: June 16th!
๐Nominate NOW for the Minerva Informatics Equality Award, honoring initiatives that empower women in #Informatics across Europe!
๐ฐโฌ5,000 prize & a presentation at #ECSS_2025
All innovative & forward-thinking initiatives are welcome!
๐ Apply: tinyurl.com/jekuah4j
#womeninSTEM
Thanks to @unistrathclyde.bsky.social and the organisers for hosting the 41st British Colloquium for Theoretical Computer Science. It was a great opportunity to hear about everyone's research.
Special thanks to @oanamandrei.bsky.social & Alasdair Lambert for the #TCS Education session!
#HE #BCTCS
FMAS is back for 2025!
We are interested in work that applies Formal Methods to almost any kind of autonomous system
Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: fmasworkshop.github.io/FMAS2025/
#FMAS2025
Weโre hiring at @uofglasgow.bsky.social ! Join us as Lecturer/Senior Lecturer/Reader in Foundational AI - formal verification, robustness, trustworthy systems. Exciting research & new AI degree coming soon.
Apply by 30 April: shorturl.at/4Cb1t
@uofgstem.bsky.social
#AI #AcademicJobs #CSjobs
Join Informatics Europe Special Online Event "United for Impact: Women in Informatics", open to all where we share knowledge, experience and drive further progress in diversity and inclusion for Informatics research and education.
Join us as we enhance our efforts for #women in #Informatics, hear from #diversity experts:
โจProf. Letizia Jaccheri (EUGAIN)
โจProf. Ana Lucia Varbanescu (IPN EDI)
โจProf. Matthew Barr (Ada Scotland)
โจProf. Maria Pia Giovanni (CDIT Roma)
Open to all - see you there: tinyurl.com/yc5p6y9m
#womeninSTEM
Nominate now for Minerva Informatics Equality Award 2025 - 10th Award edition to recognise excellent initiatives for women in Informatics research and education.
๐ 10 Years of Advancing #GenderEquality in Informatics!
๐ Nominate NOW for the Minerva Informatics Equality Award, celebrating initiatives that empower women in #Informatics across Europe!
๐ฐ โฌ5,000 prize + a chance to present at #ECSS_2025
๐ Apply: tinyurl.com/3j8d3d8p
โณ Deadline: 2 Jun
#womeninSTEM
'Four things to look for when choosing your next Responsible AI training' - really useful blog post from @oanamandrei.bsky.social and colleagues, in response to the UK government's AI Opportunities Action Plan (via Responsible Ai UK). rai.ac.uk/four-things-...
Learn from diverse perspectives to excel - hear 2 colleagues from our member institute @uofgcompsci.bsky.social share insights with our Academic Leadership Development Course facilitator @gerifitz.bsky.social.
Join IE's next online leadership course in May: www.informatics-europe.org/events/acade...
Insightful conversation about leadership, mentoring, and psychological safety with @matthewbarr.co.uk - an amazing and inspiring academic, mentor, ally, and supporter, all thanks to @gerifitz.bsky.social for having us in the thoughtful space of her Changing Academic Life podcast!
๐ช Want to help make the SICSA PhD Conference an unforgettable event? Join the team and volunteer at #SICSAConf2025.
Roles include:
๐จ Brochure design
๐ฒ Social Media
๐ Badge & swag prep
๐ธ Photography
Interested? Join us today! sicsaconf.org/volunteer/
Grateful to have met and worked with peers during the Disciplinary Commons project! Now I continue collaborating with Eleni Akrida, Barnaby Martin, and @drolga.bsky.social on a study exploring algorithms pedagogy, more to come!
A group of people sitting on chairs at the front of the room with a screen in the back reading Disciplinary Commons in Algorithms Project Update and discussion
I took part in the UK-based Disciplinary Commons in Theoretical CS (Algorithms education) in 2022-2023 and the course portfolios for all participants are now online on Zenodo zenodo.org/communities/... Photo from the panel with all participants at BCTCS 2023 in Glasgow
Prof Muffy Calder is holding a copy of the front page of the book, The Laws of Thought, on which are founded the mathematical theories of logic and probabilities, written by George Boole in Boole is the inventor of Boolean Logic, one of the foundations of computing science. Boolean algebra is Muffyโs favourite algebra!
To mark #WorldLogicDay (14 January 2025 wld.cipsh.international/wld2025.html) the FATA seminar will hostย ย a talk by Professor Muffy Calder on โBoole's legacy: a short celebration for World Logic Dayโ. More details:ย ย samoa.dcs.gla.ac.uk/events/viewt...
@uofglasgow.bsky.social
#WorldLogicDay is January 14 (wld.cipsh.international/wld2025.html)
In honor of WLD, let's celebrate the achievements of women in logic!
Share your favorite work by a woman logician, and tag us so we can share with everyone.
Oana Andrei at CEP '25
@oanamandrei.bsky.social @ #CEP25 kicking off our RECAP (Research Evidence-based Collaborations for Advancement in Pedagogy) session on Integrating Socially Responsible Computing Competencies in Software Engineering Education (w/ @drolga.bsky.social & @waqarnabi.bsky.social)
doi.org/10.1145/3702...
Our book, ๐ผ๐ฅ๐ฅ๐ง๐ค๐๐๐๐๐จ ๐ฉ๐ค ๐๐ค๐ง๐ -๐ฝ๐๐จ๐๐ ๐๐๐๐ง๐ฃ๐๐ฃ๐ ๐๐ฃ ๐๐๐๐๐๐ง ๐๐๐ช๐๐๐ฉ๐๐ค๐ฃ: ๐๐ข๐ฅ๐ง๐ค๐ซ๐๐ฃ๐ ๐๐ง๐๐๐ช๐๐ฉ๐ ๐๐ข๐ฅ๐ก๐ค๐ฎ๐๐๐๐ก๐๐ฉ๐ฎ, is now available in electronic form, with the print version out on 16 December - just in time for Christmas! ๐
doi.org/10.4324/9781...
Looking forward to @suesentance.bsky.socialโs talk today at @uofgcompsci.bsky.social about @rpcerc.bsky.social and their projects including broadening participation, AI education, programming education, and many timely and exciting topics!
Our two new #CyberAdvent calendars for 2024 are on the way! Weโve created a primary version and a secondary version, both launching on 1st December. There are plenty of prizes to be won! ๐๐
A person leading the choir in front of a projected image showing the lyrics of a wintery song
I love getting to sing with the UofG Community Choir whenever I can, like today with some timely winter songs and festive carols โ๏ธ ๐ถ
Plus itโs fun to spot a few colleagues from @uofgcompsci.bsky.social in there ๐
A huge thank you to @uofglasgow.bsky.social for supporting things like this!
Looks amazing and great weather for it! Well done!! ๐ I had a similar experience on this exact one many years ago with first time so close to the top but froze on the spot in panic because of the wind and too much snow on the ridge. A week later the weather was nicer and did it!
Yellow autumnal light with cloudy blue skies over the University of Glasgow Tower and Kelvingrove Park. The scene is reflected in the River Kelvin in the foreground.
Gorgeous November light captured by UofG School of Psychology & Neuroscience's Dr Helena Paterson! ๐ ๐คฉ
Happy Friday everyone! ๐
Hello-hello! I was wondering when the UofG and co. I know from the other place will show up around here ๐ Thereโs going to be more activity next week for sure, let me roll my sleeves up ๐ฉ๐ปโ๐ป ๐ฅ๏ธ