[Oxford CompSoc banner graphic] [5th Week] 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 herehttps://drive.google.com/file/d/1mAhesJnZ7bGFG6h3NsWtucGYKwzIEn8C/view?usp=sharing.
To apply for one of the roles above, please fill out this formhttps://docs.google.com/forms/d/e/1FAIpQLSeA-asoFC6MOkhX9P3dg-_gZsMbSwOX0LxtitOmbfDCBIW4jw/viewform?usp=sf_link.
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!
[Be a member]https://ox.compsoc.net/product/lifetime-membership/
(or go to https://ox.compsoc.net/product/lifetime-membership/https://ox.compsoc.net/product/lifetime-membership/?fbclid=IwAR1Oe_vwCudNvUkML5zplEHDvpOyIL_KhItKI7tHImIpgXhiu33iofAQrdY)
[Events] Discovering And Correcting A Deadlock In A Channel Implementation with Gavin Lowe [https://b6d43c23c6.imgdist.com/pub/bfra/8g5ux258/x2x/sp1/0t4/Concurrent_3.pn...]
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 [https://b6d43c23c6.imgdist.com/pub/bfra/8g5ux258/1kt/9hr/qbw/Bar%20Night%20B...]
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
CompSoc x EngSoc Social [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]
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 [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]
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
[And More...] Check Out OxWoCS!
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.
[Follow Us] [Web Site]https://ox.compsoc.net/ [Facebook] https://www.facebook.com/oxcompsoc/ [Instagram] https://www.instagram.com/ox.compsoc/ [Discord] https://discord.com/invite/cUZFPG5WZ6 [YouTube] https://www.youtube.com/channel/UCwdzpxzUZ2i84x5WyVR36Cg
contact us at committee@ox.compsoc.net
[Our Sponsors] [Jane Street] [Citadel] [TPP] [TPP]
Manage your email preferences or unsubscribe herehttps://lists.ox.compsoc.net/mailman/listinfo
[Designed with BEE]https://www.designedwithbee.com/?utm_source=editor&utm_medium=bee_pro&utm_campaign=free_footer_link Designed with BEEhttps://www.designedwithbee.com/?utm_source=editor&utm_medium=bee_pro&utm_campaign=free_footer_link