Events
Departmental Lunch
Wednesday 18th June 1-2pm | Atrium @ CS Dept
Our last departmental lunch for the year!! Come by for a free lunch (and doughnuts!) in the CS Department and celebrate the wonderful year we've had together 💗
Keep It Real
Thursday, May 29th 5-9pm | Maplethorpe Hall @ St. Hugh's College
Keep It Real is OxWoCS’ flagship evening event, created to spotlight the unfiltered journeys of women in STEM. This immersive experience brings together students, researchers, and professionals for a night of honest storytelling, career insight, and community building. Expect powerful keynote moments, an energising panel on resilience and leadership, mentorship circles, a dynamic career fair, and more 🎉 Spaces are limited, so sign up quickly!
✨ Sign up: https://forms.gle/eGYLoQfQPmz4MDLz5
Join the Committee! OxWoCS AGM and Hustings (2025-26)
Save the date for our AGM meeting coming up on May 20th! We will be running our election hustings and also going over the spectacular year we've had. Pizza dinner will be provided as well 🍕
Graduate Sip, Snack, and Syntax
Thursday, May 15th 4:30-6:30pm | Common Room @ CS Dept
Calling all female and non-binary graduate students in CS — join for an evening of coding, conversation, and community at Sip, Snack & Syntax! Bring along any code you’re working on — whether it’s a side project, coursework, or just an idea — and spend time in a relaxed, collaborative environment. No pressure, just a chance to troubleshoot, share insights, and connect with others over good code and great company. No sign-ups needed, just drop in! 🤗
🧃 Soft drinks and refreshments provided — think snacks, mocktails, and plenty of treats to keep the ideas flowing.
GirlsWhoML: Transformers
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
GirlsWhoML: Convolutional Neural Networks
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
GirlsWhoML: Neural Networks
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
Departmental Lunch
Wednesday, February 5th 1-2pm | Atrium @ CS Dept
Come and chat with the committee and other members of OxWoCS and enjoy a free Taylors lunch in the CS Department!
✨ Sign up: https://forms.gle/TVvsWnbmwAq11PXL8
GirlsWhoML: Recap
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
GirlsWhoML: Logistic Regression
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
Professional Headshots
Tuesday, January 21st 3-4pm | Atrium @ CS Dept
Come get a professional head shot by a hired photographer! We will send a scheduled 5-minute time slot during this hour period. Please sign up below so we know numbers, we will check names upon arrival.
GirlsWhoML: Linear Regression
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
Seminar Series: Dr. Jenjira Jaimunk
Many service providers offer their services in exchange for users' private data. Despite recent regulations aimed at protecting user privacy, users often have limited control over how their data is collected and used. To address these privacy concerns in cloud-IoT applications, this study proposes a novel architecture, called Data Bank, which empowers users with fine-grained control over their data. Data Bank employs a category-based data access (CBDA) model encompassing the entire data lifecycle, from data collection from IoT devices to data sharing with services. The study demonstrates how dynamic policies can be defined using a new attribute-based instance of CBDA, and explores the use of policy graphs to visualise and analyse these policies.
Sign up: https://forms.office.com/e/SrRk1WN0Pz
GirlsWhoML: Intro to Python
Mondays 5-7pm in Hilary Term | In-Person & Online
Are you interested in a practical introduction to machine learning? Sign up here for GirlsWhoML! The format is an hour-long lecture, followed by a practical with a provided Jupyter notebook.
The course will be delivered Monday evenings, 5-7 pm, on the following dates:
✦ Thu 16th Jan: Intro to Python (this session isn't on a Monday!)
✦ Mon 20th Jan: Linear Regression
✦ Mon 27th Jan: Logistic Regression
✦ Mon 3rd Feb: Recap
✦ Mon 10th Feb: Neural Networks
✦ Mon 17th Feb: Convolutional Neural Networks
✦ Mon 24th Feb: Transformers
Sign up:https://forms.gle/bDjrq8aW886SCw6W7
TheTradeDesk x OxWoCS- Beyond the Resume: Discovering your unique value
Join us for a workshop to learn more about The Trade Desk and spend time learning how to identify your personal values and align them with your short-term and long-term goals. We will explore how to find your “why” to set up your own personal brand, no matter online or when you present yourself to others. We'll provide practical tips on LinkedIn branding, networking, confidence building which you can hopefully use moving forward!
Food and drinks will be provided.
Sign up: https://bit.ly/oxwocs-skills
Departmental Lunch
Come and chat with the committee and other members of OxWoCS and enjoy a FREE Taylors lunch in the CS Department!
Sign up: https://forms.gle/bDbLUJjYj7T4PiCN8
OxWoCS Industry Dinner MT24
Connect with fellow OxWoCS members and our Gold sponsors: The Trade Desk, Jump Trading and OxAM over a 3 course meal.
Each table will consist of OxWoCS members and 2 industry reps from each company, we will ask our sponsors to rotate between tables so you will get an opportunity to talk to all of the industry reps.
Date & Time: Thursday 7 November, 6-8 pm
Location: Browns Oxford. 5-11 Woodstock Rd, Oxford OX2 6HA
Please fill in this form: bit.ly/oxwocs-ind by 28 October to sign up!
Undergraduate Sip & Solve
Female and non-binary undergraduates, come along to OxWoCS Sip and Solve Thursday (every even week) from 1-2 pm in the Computer Science atrium! Bring along your problem sheets and work on any problems that you might be stuck on. Free food and drinks will be included!
No sign-ups are needed, just show up
OxWoCS Mid-Term Ice-Cream Social
Join OxWoCS at our relaxing mid-term social at G&D's Come meet other OxWoCS members and receive a £5 voucher to spend at G&D's!
Location: George & Danver, 94 St Aldate's, Oxford, OX1 1BT
Sign up: https://forms.gle/ThAsJo92Ssk6m7z39
Optiver Tech Interview Workshop
Looking to improve your technical interview skills? OxWoCS is hosting an interactive mock interview workshop with sponsors designed to do just that.
Together with an Optiver recruiter and a software engineer, you’ll break down a real interview scenario, brainstorm answers, and learn how to approach questions like a pro. This is your chance to see what works, ask your questions to experts, and walk away feeling more confident for the real thing.
Date & Time: 28 October, 5-8pm
Location: W-Bill Roscoe LT
Pizza and drinks will be provided
18 attendees will be randomly selected to receive a FREE Cracking the Coding Interview book!
Sign up here: bit.ly/oxwocs-tiw
Seminar Series: Prof. Edith Elkind
Join us for the first Seminar Series of the term, where Professor Edith Elkind will be speaking about "Group Fairness in Collective Decisions: From Multiwinner Voting to Participatory Budgeting".
Event Details:
📆 12pm Wednesday 23rd October
📍 Bill Roscoe Lecture Theatre, Wolfson Building, Department of Computer Science
Abstract:
Many cities around the world allocate a part of their budget based on residents' votes, following a process known as participatory budgeting. It is important to understand which outcomes of this process should be viewed as fair, and whether fair outcomes could be computed efficiently. In this talk, we overview recent progress on this topic. We first focus on a special case of participatory budgeting where all candidate projects have the same cost (known as multiwinner voting), formulate progressively more demanding notions of fairness for this setting, and identify efficiently computable voting rules that satisfy them. We then discuss the challenges of extending these ideas to the general model.
Looking forward to seeing you there!
Seminar Series: Time - The next frontier in Machine Learning
Join us for the OxWoCS Distinguished Speaker Series. Professor Mihaela van der Schaar is giving her talk: "Time: The next frontier in Machine Learning".
Speaker: Prof. Mihaela van der Schaar
Title: Time - The next frontier in Machine Learning
Time: Monday 22nd Jan. 2-3pm
Venue: Department for Statistics (24-29 St. Giles) - Large Lecture Theatre
Registration:https://forms.office.com/e/Az5r1xVA4b
In this talk, I aim to illuminate the underemphasized yet critical dimension in machine learning: time. I contend that time harbors the potential to revolutionize machine learning methodologies and their applications in numerous domains from healthcare to engineering to finance. This presentation underscores the opportunities and challenges that emerge from integrating temporal dynamics into machine learning models, enriching prediction accuracy, inference robustness, causality, and conceptual understanding.
Mihaela van der Schaar is the John Humphrey Plummer Professor of Machine Learning, Artificial Intelligence and Medicine at the University of Cambridge and a Fellow at The Alan Turing Institute in London. In addition to leading the van der Schaar Lab, Mihaela is founder and director of the Cambridge Centre for AI in Medicine (CCAIM). Mihaela was elected IEEE Fellow in 2009. She has received numerous awards, including the Oon Prize on Preventative Medicine from the University of Cambridge (2018), a National Science Foundation CAREER Award (2004), 3 IBM Faculty Awards, the IBM Exploratory Stream Analytics Innovation Award, the Philips Make a Difference Award and several best paper awards, including the IEEE Darlington Award.
Mihaela is personally credited as inventor on 35 USA patents, many of which are still frequently cited and adopted in standards. She has made over 45 contributions to international standards for which she received 3 ISO Awards. In 2019, a Nesta report determined that Mihaela was the most-cited female AI researcher in the U.K.
Seminar Series: Axioms as rules: How to reason with mathematical theories
Sign-Up Link: https://forms.office.com/e/UAVpHCAabq
One of the advantages of using sequent systems as a framework for logical reasoning is that the resulting calculi are often simple, have good proof theoretical properties (like cut-elimination, consistency, etc) and can be easily implemented, eg using rewriting.
Hence it would be heaven if we could add axioms in mathematical theories to first order logics and reason about them using all the machinery already built for the sequent framework. Indeed, the general problem of extending standard proof-theoretical results obtained for pure logic to certain classes of non-logical axioms has been the focus of attention for quite some time now.
The main obstacle for this agenda is that adding non-logical axioms to systems while still maintaining the good proof theoretical properties is not an easy task. In fact, adding naively axioms to sequent systems often result in non cut-free systems. One way of circumventing this problem is by treating axioms as theories, added to the sequent context. This is already in Gentzen’s consistency proof of elementary arithmetic. Now the derivations have only logical axioms as premises, and cut elimination applies.
But we can do better by transforming axioms into inference rules. In this talk, we will propose a systematic way of adding inference rules to sequent systems. The proposal will be based on the notions of focusing and polarities. We will also discuss how our framework escalates to hypersequents and systems of rules, and the application of this to modal logics, proofs explanation and SMT solvers.
This is a joint work with Dale Miller, Sonia Marin, Marco Volpe, Francesca Poggiolesi and Yoni Zohar.
Panel on Female Leadership and Scientific Entrepreneurship
We are thrilled to extend an invitation to you for a panel discussion centered around female leadership, moving from science to entrepreneurship, and global partnerships. This enlightening event is a collaborative effort between the Oxford Women in Computer Science Society (OxWoCS) and Oxford Chinese Students and Scholars Association (Oxford CSSA). Refreshments will be provided in the Atrium after the panel (5:00 - 5:30PM)
Sign up here: https://forms.gle/2zjM6xQjYCvjhbtS7
Meet the Committee!
Curious to learn more about the different roles at OxWoCS? Come join us at The Victoria for a free drink (non-alcoholic or alcoholic) on us, and meet the OxWoCS committee! Register your intent here: OxWoCS Meet the Committee Night