HackSoc, the computer science society
Hello, HackSoc!
 
 
 
 

We're more than halfway through this term now! Read on to find out about our events this week, as well as a series of exciting Women in Tech events from IBM.

IBM Women in Tech
 
 
 
 

IBM are running a Women in Tech 3 part series this term which is designed to provide York students studying a science-based degree an insight and closer look at female role models working in tech, what they do and their advice and tips in an informal, relaxed environment.

It's a chance to hear from women working in diverse tech roles and companies, hear about their university and career experiences and an opportunity to ask them any questions you have and gain advice and support from women leading the way in tech.

The second event in this series is a practical session where you will receive a certificate from IBM for completing.

You can book your place on each event through the links below:

  1. Women in Tech: What’s it like? - 6th November - 16:00-18:00pm

  2. Women in Tech: Node-RED: Basics to Bots Practical Session run by IBM - 20th November, 1.30-6.00pm (you will leave with a Watson accreditation certificate)

  3. Women in Tech: Advice from Women Role Models Working in Tech - 20th November, 6.00-7.00pm

Book your place now on the Careers Gateway. Food and drink will be provided at each event.

The Calendar
 
 
 
 

CoffeeScript - 12:30, Wed 06/11 - The Glasshouse, Langwith College

Our weekly social on Hes East; enjoy some lunch and have a good chat.


Talk - "Can compilers compile complex concurrent code correctly?" by Matt Windsor - 18:30, Thu 07/11 - The Pod (CSE/082&083)

"Concurrent programs that make use of C11-style atomic actions are hard to reason about, with the formal statement of the behaviours such programs can exhibit -- the C11 memory model -- being notoriously unwieldy and permissive. Worse, CPU architectures have their own memory models, so compilers must map from C to machine code in a way that preserves the original program's C11 guarantees inside the machine model.

"In this talk, I explore the above situation, then discuss and demonstrate ACT, a toolbox for investigating whether C11 compilers such as gcc and clang actually do this mapping correctly."


Board Games and Cake - 19:00, Fri 08/11 - The Pod (CSE/082&083)

One of HackSoc's oldest traditions, where we play many board games and eat plenty of cake! Members are encouraged to bring their own board games and cake if they enjoy the events.

And Finally...
 
 
 
 

Make sure you're in HackSoc's Slack workspace! We have over 100 members, and it's free to join the conversation, so sign up now!

If you'd like to become a member of the society, simply sign up here! If you aren't sure yet, we'd love you to come along to any of our events and chat to us. If you have any questions, get in touch over social media or Slack!

Have a great week,

Aaron 🤖

Facebook Twitter HackSoc website Slack