|
HT5 Newsletter: Gavin Lowe Talk, Bar Night, EngSoc Social, Competitive Programming + More!!
|
|
|
|
Hello all,
Are you ready to beat those fifth-week blues? We've got some exciting events lined
up to lift your spirits!
First
up, we a talk from Gavin Lowe that I know you've all been waiting for. Next up, we have our bar night with OxWEST and PhysSoc. If you're looking for something a little more chilled out, then head along to our Saturday Social with EngSoc. And finally, we have
a competitive programming mashup contest. There's definitely lots to get stuck into this week!
|
|
- Charlotte,
CompSoc secretary
|
|
|
Upcoming CompSoc Elections
|
|
On Saturday 2nd March will be the CompSoc Annual General Meeting, where we'll be holding
committee elections.
So we're seeking candidates to join the next iteration of the CompSoc committee!
The different
positions available are:
|
|
|
|
• President
• Vice-President
• Secretary
• Treasurer
• Social Secretary
|
|
|
• Talks Officer
• Learn To Code Officer
• Competitive Programming Officer
• Cybersecurity Officer
• IT Officer
|
|
|
|
To find out more, including what each role entails, check out our election guide here.
To apply for one of the roles above, please fill out this form.
|
|
|
|
Still
not a member? Membership only costs £1 for LIFE, with tons of benefits - discounts on merch and tickets, free food at all socials, our exclusive Discord server and more - so it's definitely worth signing up!
|
|
|
Discovering And Correcting A Deadlock In A Channel Implementation with Gavin Lowe
|
|
Speaker: Gavin Lowe
Abstract: A few years back, when I was preparing an example for the Concurrent
Programming course, I discovered a deadlock in my program. I tracked the cause down to the implementation of a channel in the API we used; but I couldn't spot the bug itself by staring at the code.
This talk will describe how I used model checking to find the bug: I modelled the channel implementation using the process algebra CSP, and then used the model checker FDR to find the cause of the deadlock. There was a straightforward fix to the bug, which
I then verified using CSP and FDR.
The talk should be accessible to people with no knowledge of concurrent programming or CSP.
When: 5-6PM, Thursday 15th February
Where: Lecture Theatre B, Department of Computer Science 7 Parks Rd, Oxford
OX1 3QG
Click
'Going' here: https://fb.me/e/4SOguHeI7
|
|
|
Bar Night with OxWEST and PhysSoc
|
|
Come along to our Bar night this Friday with the Oxford Women in Engineering, Science,
and Technology and the Oxford University Physics Society !!! We’ll be there from 8pm onwards, with free pizza and a limited tab (first come first served!) — we look forward to seeing you there!
When: 8PM, Friday 16th February
Where: Christ Church College Bar, St Aldate's, Oxford OX1 1DP
Click
'Going' here: https://fb.me/e/1S608hT8G
|
|
|
|
What better way to combat the 5th week blues than by joining us and the Oxford University
Engineering Society for a chill social. Whether you're looking to hang out with friends or complete some last minute problem sheets, they'll be a ton of sweets, pastries and pizza to keep you going.
When: 8PM, Saturday 17th February
Where: Undergraduate Social Area, Department of Computer Science
7 Parks Rd, Oxford OX1 3QG
Click
'Going' here: https://fb.me/e/4kzxXf6uk
|
|
|
Competitive Programming: Mashup Contest
|
|
Join us for a classic mashup contest at the UGSA! There will be problems aimed at both
beginners and experienced competitors, and of course lots of free snacks. There will also be an opportunity after the contest to discuss some problems and socialise with fellow competitors!
When:
7-9PM, Monday 19th February
Where: Undergraduate Social Area, Department of Computer Science
7 Parks Rd, Oxford OX1 3QG
Click
'Going' here: https://fb.me/e/6kI1sdbzJ
|
|
|
|
|
Make sure
to join OxWoCS (Oxford Women in CS), a society we're working closely with, if you identify as a
woman or woman-adjacent person in CS! They have a host of wonderful events on, including talks, panels and socials. Computer Science is unfortunately a subject with one of the biggest gender gaps in Oxford and worldwide, and addressing this is
at the core of OxWoCS.
|
|
|
|
|
contact
us at committee@ox.compsoc.net
|
|
|
|
Manage
your email preferences or unsubscribe here
|
|
|
|
