|
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!
|
|
|
|
Can computers prove theorems? talk with Professor Kevin Buzzard
|
|
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
|
|
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/cUZFPG5WZ6
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
|
|
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 here.
(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: here
|
Competitive Programming: Mashup Contest
|
|
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
|
|
|
|
Jane Street 2024 Hong Kong Summer Internships - Apply Now!
|
|
Jane
Street's 2024 Quantitative Trading and Software Engineering Summer Internships in Hong Kong are currently open and accepting applications!
|
|
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
|
|
|
|
