[Oxford CompSoc banner graphic]   [7th Week]   MT7 Newsletter: Can computers prove theorems? talk, TGM, Learn To Code, Competitve Programming + More!!!

Hello all,

This is the final newsletter of the Michaelmas (wow it went so quick). We've got 4 incredible events for you to round of the term.

On Thursday, we've got a talk from Kevin Buzzard titled Can computers prove theorems? On Saturday, we have both the final Learn To Code session as well as our termly general meeting. And the final event of the term will be a Competitive Programming mashup contest!

- Charlotte, CompSoc secretary

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]   Can computers prove theorems? talk with Professor Kevin Buzzard [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]

Speaker: Kevin Buzzard, professor of pure mathematics at Imperial College London

Abstract: Computers have been helping mathematicians for decades, by creating tables of examples of mathsy things. Much rarer are computer-assisted proofs, where computers finish the a proof of a theorem by doing a (typically huge) case check. But will advances in LLMs or interactive theorem provers mean that computers will soon start helping human mathematicians in new ways, or even doing maths themselves? I'll give a survey of the state of the art and suggest where we might be going.

After the talk join us in the UGSA for some free pizza and an opportunity to discuss the talk with others.

When: 5-6PM, Thursday 23rd November

Where: Lecture Theatre B, Department of Computer Science 7 Parks Rd, Oxford OX1 3QG

Click 'Going' here: https://fb.me/e/OzjUbAtI

Week 7 Saturday Social: Termly General Meeting [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]

Join us for our Termly General Meeting, where we discuss YOUR suggestions on how to make the society better! Voting is members-only, but we'll appreciate any and all feedback. Please send your motions via the dedicated channel on our Discord before Friday 12pm!

Our Discord (members only - not one yet? Hit the big button at the top of this newsletter, it's only £1!): https://discord.com/invite/cUZFPG5WZ6https://discord.com/invite/cUZFPG5WZ6?fbclid=IwAR1AHUAOOPUt7VXPx5_D5NbLRBcS_rhEGS1h8XxAAvIGiGPoNZQsgCCKBV8

We'll round off our last Saturday Social of term with some snacks, games and free pizza!!

When: 7-11PM, Saturday 25th November

Where: Undergraduate Social Area, Department of Computer Science 7 Parks Rd, Oxford OX1 3QG

Click 'Going' here: https://fb.me/e/1pjmVcOaT

Learn To Code [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]

We will be having our final session of the Learn to Code series this term, aimed at complete beginners! Our amazing coding officer will guide you through learning Python, from the absolute basics to making your very own game by the end of the course. If you've ever wanted to pick up coding, but felt it was hard, frustrating, or just didn't know where to start, this is the perfect event series for you. Non-members and members alike are free to come along!

If you want to go, make sure sign up herehttps://docs.google.com/forms/d/e/1FAIpQLSdL1VWFV4lmmYNdVc5cZI7UgVhqDqJt9YDiCEs2spp914gc6A/viewform?usp=sf_link. (The session won't go ahead if we don't get enough sign-ups)

When: 5:30-6:30PM, Saturday 25th November

Where: E-Sports room, Jesus College, Oxford, OX1 3DW

Sign Up: herehttps://docs.google.com/forms/d/e/1FAIpQLSdL1VWFV4lmmYNdVc5cZI7UgVhqDqJt9YDiCEs2spp914gc6A/viewform

Competitive Programming: Mashup Contest [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]

Wrap up Michaelmas with the final contest of the term! It will be a classic mashup contest, with problems aimed for both beginners and experienced competitors. There will of course be snacks (specific requests welcome via Discord 👀) and ample opportunity to discuss problems with other competitors afterwards!

When: 7-9PM, Monday 27th November

Where: Undergraduate Social Area, Department of Computer Science 7 Parks Rd, Oxford OX1 3QG

Click 'Going' here: https://fb.me/e/1z8sSekaX

[And More...]   Jane Street 2024 Hong Kong Summer Internships - Apply Now! [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]

Jane Street's 2024 Quantitative Trading and Software Engineering Summer Internships in Hong Kong are currently open and accepting applicationshttps://www.janestreet.com/join-jane-street/open-roles/?type=internship&location=hong-kong!

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.

MT Term Card [https://b6d43c23c6.imgdist.com/public/users/Integrators/BeeProAgency/975166_...]     [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]

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