Hey everyone,

Our final social for this term is WAN Night. Come down to Discord on Saturday for a night of online gaming! We also have a tech talk this Wednesday from Cisco entitled /Have Your Robots Call My Robots - Using formal methods for robust network automation/, see below for more info. We are planning to have our Termly General Meeting next week, so if there is anything you would like discussed relating to this society please reply to this email and let us know. We had some suitably oxmas-themed fun last week, with some (debatably) fantastic Drawful drawings. We’ve also got a message from Cisco this week so check it out below if you’re interested in learning about their roles.

Lastly, we are aware that we are currently experiencing some technical issues with our website. We thank you for your patience as we get this problem sorted.

If you aren’t already on the CompSoc Discord, you can *join it here https://discord.gg/RhvsMSn* to take part in social events and keep in touch with other members.

See you soon,

/- Matthew and the rest of the committee/

------------------------------------------------------------------------

Events

Wan Night https://www.facebook.com/events/388148989103625/

*19:00, Saturday, Week 8, Discord*

Join us for a night of online gaming to finish off Michaelmas term 2020!

Have Your Robots Call My Robots https://www.facebook.com/events/713616606226136/

*19:00-20:00, Wednesday, Week 8*

Creating a better, cheaper Internet for all depends on network operations moving away from humans to software automatons.

This raises technical challenges, where techniques originating in automated theorem proving are highly practical.

This will be an accessible talk (that won’t assume deep knowledge of either networking or formal methods) by Cisco Distinguished Engineer Simon Chatterjee.

Click here to join the talk https://cisco.webex.com/cisco/j.php?MTID=m713ef05b27e990ae16687270d4bd9037

------------------------------------------------------------------------

Sponsor Notices

Cisco

Global technology leader, Cisco, is now hiring for 2021 graduate roles and internships! Visit this application link https://sanctuarygraduates.co.uk/redirect/?source=Faaria&url=http://cs.co/ciscourroles/&ref=BA&campaign=RosieCisco to explore their various opportunities in Engineering, IT, Sales, CX and Marketing. Additionally, you can follow their dedicated recruiting Facebook page https://www.facebook.com/Cisco-Recruiting-at-Oxford-University-2020-104247408112036 for the latest information and upcoming event details.

------------------------------------------------------------------------

The Oxford University Computer Society (CompSoc) aims to organise meetings and events for our members to use and further their computing interests. See all of our upcoming events on our Facebook page https://facebook.com/oxcompsoc/ or visit our website https://ox.compsoc.net for more information about the society.

Want to unsubscribe or manage your subscription preferences? Go to http://lists.ox.compsoc.net/mailman/listinfo/ http://lists.ox.compsoc.net/mailman/listinfo/.