CSC Web Site
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
www/events.xml

11360 lines
497 KiB

<?xml version='1.0'?>
<!DOCTYPE eventdefs SYSTEM "csc.dtd" [<!ENTITY mdash "&#x2014;">]>
<eventdefs>
<!-- Summer 2021 -->
<eventitem date="2021-07-17" time="7:00 PM" room="Online" title="Afterhours: Burnout">
<short>
<p>This Afterhours will be a discussion about recognizing burnout, recovering from burnout, and preventing it from occurring.</p>
</short>
<abstract>
<p>CSC's next Afterhours is here! Afterhours is a series where we get the
opportunity to dive into uncomfortable topics and share our experiences,
as well as tips and tricks on how to overcome these problems.</p>
<p>It's unfortunately common to feel burnt out and exhausted, especially at
this point in the term. This Afterhours will be a discussion about
recognizing burnout, recovering from burnout, and preventing it from
occurring. Speakers will share their personal stories, and the
conversation will be open for all participants to discuss and share
their own experiences.</p>
<p>Zoom Link: https://us06web.zoom.us/j/83131978922?pwd=Tm1NLzgraGZ2U1VCQVpDSFZxbGpSdz09</p>
</abstract>
</eventitem>
<eventitem date="2021-06-15" time="8:00 PM" room="Online" title="Speed-Friending">
<short>
<p>Come hop on a Zoom call with us to to connect with others in our community!</p>
</short>
<abstract>
<p>We know a virtual Spring term is making meeting new friends even harder, but we are happy to announce that our Speed-Friending event is back! Come hop on a Zoom call with us to get a chance to connect with others in our community.</p>
<p>Like last term's event, you will be able to meet others in groups of 3 or 4, with around 10 minutes to talk. An optional prompt will act as an icebreaker, but feel free to discuss anything you want! Remember to connect with the people in your groups if you'd like to stay in contact afterwards!</p>
<p>Zoom: https://zoom.us/j/94998577861?pwd=REFJK0FUZXUzWUdlQVRjQVo4WGtJZz09</p>
</abstract>
</eventitem>
<eventitem date="2021-06-10" time="7:00 pm" room="Online" title="Titus Winters Tech Talk">
<short>
<p>Become inspired in an upcoming talk by Titus Winters on June 10th from 7-8pm ET, who will share how good team culture can positively impact code!</p>
</short>
<abstract>
<p>Become inspired in an upcoming talk by Titus Winters on June 10th from 7-8pm ET, who will share how good team culture can positively impact code!</p>
<p>Titus Winters is a senior staff software engineer at Google, the chair of the global subcommittee for the design of the C++ standard library, a teacher and an author. Over the years, Titus has started several Google projects that are believed to be in the top 10 largest refactorings in human history. This unique scale and perspective has informed his thinking on the care and feeding of software systems. </p>
<p>In this tech talk, Titus will discuss the roles of individual contributors, team leads, and managers in fostering a good culture, and show how this has a positive impact on project outcomes. Titus's talk will hit many teamwork and leadership themes of the "Software Engineering at Google" book, and the habits that have made his teams successful.</p>
<p>Zoom: <a href="https://zoom.us/j/97312996497?pwd=Vnl5ZXNFTEJHQkRqMndnR3N0VjlJZz09">https://zoom.us/j/97312996497?pwd=Vnl5ZXNFTEJHQkRqMndnR3N0VjlJZz09</a></p>
<p>Registration: <a href="http://bit.ly/csc-sesoc-google-tech-talk-signups">http://bit.ly/csc-sesoc-google-tech-talk-signups</a></p>
</abstract>
</eventitem>
<eventitem date="2021-05-24" time="7 PM" room="Online" title="CSC x SE Soc: Interview Prep">
<short>
<p>CSC and SE Soc are hosting an Interview Prep Workshop next week! Join Kristy Gao and Bimesh De Silva as they review the interview process, from behavioural to technical interviews. They'll finish off with live mock interviews, and the event will be held on Twitch (https://www.twitch.tv/uwcsclub).</p>
</short>
<abstract>
<p>Browsing through your unsolved Leetcode problems? Flipping open CTCI for the first time? Have no clue what to expect from a technical interview or just need an interview refresher? </p>
<p>We've got you covered at our CSC x SE Soc Interview Prep Workshop this Monday, May 24th from 7:00-8:30pm ET! Live-streamed on Twitch, Kristy Gao and Bimesh De Silva will be walking through important aspects of the interview process from coding challenges to behavioural interviews to algorithmic interviews, go through some live mock interviews, and share their tips and techniques along the way!</p>
<p>Registration isn't required, we'll just be sending you an email reminder, as well as inviting you to our calendar event!</p>
<p>The event will be hosted on Twitch at <a href="https://www.twitch.tv/uwcsclub">https://www.twitch.tv/uwcsclub</a></p>
<p>Register at <a href="http://bit.ly/csc-sesoc-interview-prep-signup">http://bit.ly/csc-sesoc-interview-prep-signup</a>!</p>
</abstract>
</eventitem>
<eventitem date="2021-05-17" time="8:00 pm" room="Online" title="CSC BOT &#38; Game Night">
<short>
<p>
Learn about our plans for the term and play some games with us.
</p>
</short>
<abstract>
<p>Kick off your Spring term with CSC! Come join us on Discord to learn more about what we'll be up to this term and how you can participate!</p>
<p>Afterwards, stick around for a relaxing and fun game night. See you there!</p>
</abstract>
</eventitem>
<eventitem date="2021-05-16" time="7:00 pm" room="Online" title="Drop-in Resume Critiques (Day 2)">
<short>
<p>
Live Resume Critiques with Tech+, UW Data Science Club, and UW PM (registration required).
</p>
</short>
<abstract>
<p>Joining forces with Tech+, UW Data Science Club, and UW PM, we're hosting live resume critiques!</p>
<p>The session will be held on Discord; you must sign up at <a href="http://bit.ly/S21-resume-critique">http://bit.ly/S21-resume-critique</a> to gain access to the critiques. Deadline to signup is Friday, May 14th at 11:59pm EDT.</p>
</abstract>
</eventitem>
<eventitem date="2021-05-15" time="7:00 pm" room="Online" title="Drop-in Resume Critiques (Day 1)">
<short>
<p>
Live Resume Critiques with Tech+, UW Data Science Club, and UW PM (registration required).
</p>
</short>
<abstract>
<p>Joining forces with Tech+, UW Data Science Club, and UW PM, we're hosting live resume critiques!</p>
<p>The session will be held on Discord; you must sign up at <a href="http://bit.ly/S21-resume-critique">http://bit.ly/S21-resume-critique</a> to gain access to the critiques. Deadline to signup is Friday, May 14th at 11:59pm EDT.</p>
</abstract>
</eventitem>
<!-- Winter 2021-->
<eventitem date="2021-03-27" time="2:30 pm" room="Online" title="Alt-Tab">
<short>
<p>
Join us for lightning tech talk presented by students.
</p>
</short>
<abstract>
<p>CSC is proud to present to you Alt-Tab! Join us in a lightning tech talk series presented to you by our very own students. Alt-Tab consists of 10 to 15-minute talks about anything related to tech. Learn more about exciting topics that range from competitive programming to cryptography!</p>
<p>We will have four incredible presenters that are eager to share their insights with you. Stay tuned as we'll be introducing them and the topics that they will be discussing soon!.</p>
<p>Registration is not required to attend! We'll just be sending you an email reminder, as well as inviting you to our calendar event.</p>
<p>Event Date: March 27th EDT via Twitch (<a href="https://www.twitch.tv/uwcsclub">https://www.twitch.tv/uwcsclub</a>) at 2:30-4pm</p>
<p>You can also attend here: <a href="https://live.csclub.uwaterloo.ca/2021-03-27-alt-tab.html">https://live.csclub.uwaterloo.ca/2021-03-27-alt-tab.html</a>.</p>
<p>Register at <a href="http://bit.ly/uwcsclub-alt-tab-signup!">http://bit.ly/uwcsclub-alt-tab-signup!</a> Alternatively, you can also email us at exec@csclub.uwaterloo.ca to sign up as well.</p>
<p>See you all soon!</p>
</abstract>
</eventitem>
<eventitem date="2021-03-25" time="7 pm" room="Online" title="Out of The Box: React">
<short>
<p>
Learn how React works and make your own version!
</p>
</short>
<abstract>
<p>Modern web frameworks are a black-box. They're easy to use, but they have numerous minute details to master in order to apply them to truly scalable websites. Over the last few years, front-end frameworks have absorbed the responsibilities of the back-end, meaning it's become ever more important to dig their details out of the box. </p>
<p>Out of the Box is a series of code-along projects that explore what's under the hood of modern web frameworks. Nearly 5 million websites use React, including many of the internet's most popular websites. While its simple syntax attracts developers from all over, underneath lies a complex infrastructure of code to manage all elements from caching to hooks. Rishi will bring these ideas to light in our inaugural episode of Out of the Box. Come join him and code your own version of React!</p>
<p>Only basic web experience is needed. All JavaScript code will be written within a single HTML document for simplicity. Node.js will also be required to participate in the event! </p>
<p>Registration is not required to attend! We'll just be sending you an email reminder, as well as inviting you to our calendar event.</p>
<p> Event Date: Thurs. March 25 at 7-9 PM EST via Twitch (<a href="http://twitch.tv/uwcsclub">http://twitch.tv/uwcsclub</a>) </p>
<p> Register at <a href="http://bit.ly/uwcsc-ootb-diy-react-signup!">http://bit.ly/uwcsc-ootb-diy-react-signup!</a> Alternatively, you can also email us at exec@csclub.uwaterloo.ca to sign up as well.</p>
</abstract>
</eventitem>
<eventitem date="2021-03-16" time="7:30 pm" room="Online" title="Speed-Friending">
<short>
<p>
Join CSC to meet new people in a Speed-Friending event.
</p>
</short>
<abstract>
<p>
Meeting people in University can be challenging, especially when it's virtual.
We understand these struggles, and we want to give you a chance to meet other students! The CS community is huge, and we'd like to connect you all.
</p>
<p>
Have you heard of speed-dating? Well, CSC is now introducing our Speed-Friending event, where you will get the chance to meet people in fast rotating groups of 3 or 4, and talk to them for about 10 minutes We'll provide you with an optional prompt to start off your discussions, but the rest is up to you!. Feel free to leave at any time with a group you like.
</p>
<p>
You won't want to miss this event! Registration is optional; we'll just be sending you a reminder on the day of, as well as a calendar invite.
</p>
<p>
Event Date: Tuesday, March 16th from 7:30 - 8:30PM EST
</p>
<p>
Sign up at <a href="https://bit.ly/uwcsclub-speed-friending-signup">https://bit.ly/uwcsclub-speed-friending-signup</a>! Alternatively, you can also email us at exec@csclub.uwaterloo.ca.
</p>
<p>
Click this link to join the event once it starts! We'll be hosting it on Zoom: <a href="https://zoom.us/j/93667714038?pwd=aHIyOTAyOTNhd0VmREtONjl4QTNUUT09">https://zoom.us/j/93667714038?pwd=aHIyOTAyOTNhd0VmREtONjl4QTNUUT09</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2021-03-06" time="7:00 pm" room="Online" title="Afterhours: Personal Relationships">
<short>
<p>
Join CSC as we talk about personal relationships.
</p>
</short>
<abstract>
<p>
The past year has been tough for all of us, having to deal with the pandemic while studying or working remotely. If you've felt that meeting new people and sustaining relationships with others has never been more challenging, we feel that too, and we want to talk about it.
</p>
<p>
CSC brings you the third chapter of Afterhours, and this time we're discussing Personal Relationships. Join us for a chat about how our relationships (platonic and romantic) have been affected, whether that be due to co-op, sequence changes, or COVID. We'll be sharing our own personal stories and we'd love for you all to join in on the discussion.
</p>
Registration is required for attendance, so don't miss out!
<ul>
<li>Event Date: Sat. March 6 at 7 PM EST via Zoom</li>
<li>Register at <a href="https://forms.gle/Gzeqvg9KpEghCH4H9">https://forms.gle/Gzeqvg9KpEghCH4H9</a>! Alternatively, you can also email us at exec@csclub.uwaterloo.ca to sign up as well.</li>
<li>Deadline to Register: Sat. March 6 at 12PM EST</li>
</ul>
</abstract>
</eventitem>
<eventitem date="2021-02-19" time="8:00 pm" room="Online" title="Fun Friday">
<short>
<p>
Join CSC as we play games all night!
</p>
</short>
<abstract>
<p>
Join CSC as we play games all night! Come for an opportunity to play League (win some free skins :eyes:), Scribbl.io, Among Us, Jackbox, Tetris and more!
</p>
<p>
This event will be occurring on our Discord: <a href="https://discord.gg/pHfYBCg">https://discord.gg/pHfYBCg</a>
</p>
</abstract>
</eventitem>
<eventitem date="2021-02-18" time="8:00 pm" room="Online" title="Theatre Thursday">
<short>
<p>
Come watch a movie with CSC!
</p>
</short>
<abstract>
<p>
Come watch a movie with CSC! Bring your popcorn and your movie commentary, we'll be looking for your input on what we watch so keep an eye out for a poll on our Discord.
</p>
<p>
This event will be occurring on our Discord: <a href="https://discord.gg/pHfYBCg">https://discord.gg/pHfYBCg</a>
</p>
</abstract>
</eventitem>
<eventitem date="2021-02-16" time="8:00 pm" room="Online" title="Talk to CSC Tuesday">
<short>
<p>
Come meet and chill out with CSC execs.
</p>
</short>
<abstract>
<p>
Come meet and chill out with CSC execs. This is an opportunity for you to meet new people and socialize with us!
</p>
<p>
This event will be occurring on our Discord: <a href="https://discord.gg/pHfYBCg">https://discord.gg/pHfYBCg</a>
</p>
</abstract>
</eventitem>
<eventitem date="2021-01-28" time="7:00 pm" room="Online" title="Recovering From a Rough Term">
<short>
<p>
Join us to learn about other students have bounced back from a rough term, and how you can too.
</p>
</short>
<abstract>
<p>
The fall term has ended and the winter term is ramping up. Maybe you didn't meet all your expectations last term, you are feeling overwhelmed with your coop search, or you are feeling stuck with a bad mindset-we've been there before and you're not alone.
</p>
<p> Introducing the first session of our Afterhours series, join us for a chat with fellow UW CS students. Learn about how they bounced back from their rough times and how you can too! </p>
<ul>
<li> Where: Zoom</li>
<li> When: January 28th 7 - 8 pm EST</li>
<li> Sign up: <a href="https://forms.gle/MnKmGcXeazwKhTd7A">https://forms.gle/MnKmGcXeazwKhTd7A</a></li>
</ul>
</abstract>
</eventitem>
<eventitem date="2021-01-26" time="7:00 pm" room="Online" title="CTCI136">
<short>
<p>
Join us for tips and tricks on technical interviews.
</p>
</short>
<abstract>
<p> LeetCode? What is that?</p>
<p> Your favourite course is back and ready to help you cram for your upcoming WaterlooWorks interviews.</p>
<p> Join us on January 26 at 7PM EST on Twitch where we'll walk you through all the important concepts such as coding challenges, behavioural questions, and algorithms to help you crack the coding interview! Get your notebooks out and stay until the end to witness a CSC exec go through a sample problem and get some behind the scenes tips and tricks.</p>
<p>
The event will be streamed at <a href="https://twitch.tv/uwcsclub">twitch.tv/uwcsclub</a>
</p>
<p>
Register at <a href="https://forms.gle/pqG47mPh8cyf2sWB8">https://forms.gle/pqG47mPh8cyf2sWB8</a>
</p>
</abstract>
</eventitem>
<eventitem date="2021-01-14" time="7:00 pm" room="Online" title="RES 135">
<short>
<p>
Join us for resume and WaterlooWorks tips for the upcoming coop search.
</p>
</short>
<abstract>
<p>
Class is in session and the job search is starting! Want your resume reviewed before applying?
</p>
<p>
With WaterlooWorks applications opening next week, we want to help you prepare for the coop hunt! Come join us on January 14th at 7pm EST on Twitch to get some WaterlooWorks tips and tricks and watch upper-year/alum students critique your resumes live.
Take notes as we provide resume advice from the perspective of engineers currently working in the tech industry!
</p>
<p>
Drop your resume in the registration link for a chance to get your resume reviewed live!
</p>
<p>
Not interested in a public critique? You can also drop your resume in the registration link for emailed feedback! More details on the RES135 registration form
</p>
<p>
The event will be streamed at <a href="https://twitch.tv/uwcsclub">twitch.tv/uwcsclub</a>
</p>
<p>
Register at <a href="https://forms.gle/KFygHB6N6mmnwWpm7">https://forms.gle/KFygHB6N6mmnwWpm7</a>
</p>
</abstract>
</eventitem>
<eventitem date="2021-01-11" time="7:00 pm" room="Online" title="Get involved in CS Club!">
<short>
<p>
Learn about how you can involved with CS Club this term.
</p>
</short>
<abstract>
<p>Do you want to take part in CS Club's exciting upcoming events? Want to help out with our website redesign? Come join us on January 11th at 7pm EST on Twitch to learn about how you can become a member of CS Club, the roles that you can take on and how to participate in existing and brand-new community initiatives.
</p>
<p>
The event will be streamed at <a href="https://twitch.tv/uwcsclub">twitch.tv/uwcsclub</a>
</p>
<p>
Register at <a href="https://forms.gle/WBGPkvs5HzX1CEj98">https://forms.gle/WBGPkvs5HzX1CEj98</a>
</p>
</abstract>
</eventitem>
<!-- Fall 2020-->
<eventitem date="2020-11-25" time="7:00 pm" room="Online" title="Roasting Our First Year Resumes">
<short>
<p>
Upper years students will be critiquing their own resumes from first year.
</p>
<p>
&#128073; Streamed at <a href="https://twitch.tv/uwcsclub">twitch.tv/uwcsclub</a>
</p>
</short>
<abstract>
<p>
Looking to start your resume for next term but don’t know where to start? CSC is hosting a Roasting Our First Year Resumes event.
</p>
<p>
Join us on November 25 from 7-8pm on Twitch to hear from some Waterloo upper years as they critique their resumes from first year.
</p>
<p>
Be sure to tune in to hear resume tips from a diverse group of upper years in varying tech domains and bring your questions for the Q&amp;A!
</p>
<p>
The event will be streamed at <a href="https://twitch.tv/uwcsclub">twitch.tv/uwcsclub</a>
</p>
</abstract>
</eventitem>
<eventitem date="2020-11-19" time="5:00 pm" room="Online" title="WiCS x CSC: Alt-Tab">
<short>
<p>
CSC and WiCS are hosting Alt-Tab on November 19th, 5-7 PM EST.
</p>
</short>
<abstract>
<p>
Come join the UW Computer Science Club (CSC) and Women in Computer Science (WiCS) on Thursday, November 19th from 5-7PM EST for Alt-Tab!
</p>
<p>
Alt-Tab is a lightning tech talk series presented by students and alumni. This term's Alt-Tab event will comprise of 4 different speakers who will be talking about topics including Ethereum NFT gaming, proof assistants and vanity Tor URLS. There will also be a raffle to win $20 gift cards!
</p>
</abstract>
</eventitem>
<!-- Winter 2020-->
<eventitem date="2020-03-12" time="6:00 pm" room="MC Comfy" title="WiCS x CSC Bondfire">
<short>
<p>
"Bonfire" with WiCS Thursday March 12th @ 6PM in MC Comfy
</p>
</short>
<abstract>
<p>
CSC and WiCS are hosting an indoor get together event Thursday March 12th @ 6PM in MC Comfy. Gather around the "bonfire" for a night of fun, food, and friends! Free hot chocolate, food and s'mores on us!
</p>
</abstract>
</eventitem>
<eventitem date="2020-02-11" time="6:00 pm" room="MC 4045" title="Physical Security Workshop">
<short>
<p>
Physical Security Workshop on Tuesday, Feb 11th, at 6:00 PM in MC 4045
</p>
</short>
<abstract>
<p>
In this physical security workshop, students will learn about the theoretical considerations of what makes a system secure. Then, we will break into teams for a hands-on exercise, and a screening of the legendary movie "Hackers".
</p>
<p>
Snacks and drinks will be provided.
</p>
</abstract>
</eventitem>
<eventitem date="2020-01-28" time="6:30 pm" room="STC 0010" title="Code Party 0">
<short>
<p>
Code Party 0 on January 28th, 2020, at 6:30 PM in STC 0010
</p>
</short>
<abstract>
<p>
Code Party 0 on January 28th, 2020, at 6:30 PM in STC 0010
</p>
<p>
The CS Club is hosting our first Code Party of the term from 6:30 pm until 9 pm in STC 0010, on Tuesday, January 28. Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 0 and do it, with great company and great food. Come any time after 6:30 pm.
</p>
</abstract>
</eventitem>
<!-- Spring 2019 -->
<eventitem date="2019-07-29" time="6:00 PM" room="MC Comfy" title="End of Term Event">
<short>
<p>
The Computer Science Club will be holding a end of term event on Monday, July 29th
at MC Comfy at 6:00 PM.
</p>
</short>
<abstract>
<p>
Come hang out and celebrate the end of the term with us. There will be pizza,
ice cream sandwiches, and juice boxes. :)
</p>
</abstract>
</eventitem>
<eventitem date="2019-07-18" time="6:00 PM" room="MC 5417" title="Alt-Tab">
<short>
<p>
The Computer Science Club will be holding a joint event with Women in Computer
Science on Thursday, July 18th at MC 5417 at 6:00 PM.
</p>
</short>
<abstract>
<p>
Alt-Tab is back, and this time being co-hosted with WiCS.
Come listen to lightning tech talks by fellow students that will knock your metaphorical socks off!
</p>
<p>The speaker lineup:</p>
<ul>
<li>Falah Shazib - How Not To Build A Virtual Escape Room</li>
<li>Anubhav Srivastava - The Fast Inverse Square Root Algorithm</li>
<li>Frieda Rong - Arrow's Impossibility Theorem</li>
<li>Charlie Wang - Gentle Introduction to Meltdown</li>
<li>Stacy Gaikovaia - Intro to Verilog: Hardware Simulation and Synthesis</li>
<li>William Gertler - Ethics in the Age of Lonely Qubits</li>
</ul>
<p>Food and Bubble Tea will be provided!</p>
</abstract>
</eventitem>
<eventitem date="2019-07-09" time="7:00 PM" room="MC Comfy" title="Movie Night">
<short>
<p>
The Computer Science Club will be holding a joint event with Women in Computer Science on
Tuesday, July 9th at MC Comfy at 7:00 PM.
</p>
</short>
<abstract>
<p>
Come hang out and watch The Lego Batman Movie with us! There will popcorn and pizza!
</p>
</abstract>
</eventitem>
<eventitem date="2019-06-18" time="6:00 PM" room="PHY 150" title="Code Party 0">
<short>
<p>
The Computer Science Club will be holding Code Party 0 on Tuesday, June 18th
at PHY 150 at 6:00 PM.
</p>
</short>
<abstract>
<p>
Come hang out with us! Study for midterms, do assignments, work on side projects, or
prep for interviews. We'll have free food - we aren't ordering pizza, so don't worry. :)
</p>
</abstract>
</eventitem>
<eventitem date="2019-06-05" time="7:00 PM" room="MOVED to MC Comfy" title="WiCS x CSC Bondfire Night">
<short>
<p>
The Computer Science Club will be holding a joint event with Women in
Computer Science on Wednesday, June 5th at MC Comfy at 7:00 PM. NOTE: the
event has been moved from the Laurel Creek Firepit due to rain.
</p>
</short>
<abstract>
<p>
Come and join us for a night of Campfire, friends, fun and yeah Free food 😁,
we'll be having Pitas, drinks, water(Gotta Keep my Fam hydrated eh! 😉) and
last but not the least we'll be having S'mores too, because any Campfire is
incomplete without them.
</p>
</abstract>
</eventitem>
<eventitem date="2019-05-16" time="7:00 pm" room="MC Comfy (MC 3001)" title="Spring 2019 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the Spring 2019
term on Thursday, May 16th in MC Comfy (MC 3001) at 7:00 PM.
</p>
</short>
<abstract>
<p>
During the meeting, the president, vice-president, treasurer and
assistant vice-president (formerly secretary) will be elected, the
sysadmin will be ratified, and the librarian and office manager will be
appointed.
</p>
<p>
If you'd like to run for any of these positions or nominate someone,
you can write your name on the whiteboard in the CSC office (MC
3036/3037) or send an email to cro@csclub.uwaterloo.ca. You can also
deposit nominations in the CSC mailbox in MathSoc or present them to
the CRO, Charlie Wang, in-person. Nominations will close at 6:00 PM on
Wednesday, May 15th.
</p>
</abstract>
</eventitem>
<!-- Winter 2019 -->
<eventitem date="2019-04-05" time="3:30 pm" room="STC 0020" title="Prof talk: Making the Switch: Going from 2D to S3D">
<short>
<p>
We will be having our second prof talk of the term with Lesley Istead, on April 5, 3:30 pm in STC 0020. She will be talking about the problems and algorithms used in the film industry to go from 2D to S3D. Come listen to the talk and enjoy some free food!
</p>
</short>
<abstract>
<p>
We will be having our second prof talk of the term with Lesley Istead, on April 5, 3:30 pm in STC 0020. She will be talking about the problems faced, and algorithms used in the film industry to go from 2D to S3D. Come listen to the talk and enjoy some free food!
</p>
<p>
For the last 10 years, most blockbusters have been released in both 2D and stereoscopic 3D. The move from 2D to S3D is non-trivial and involves many new algorithms and technologies.
But there are still many problems to be solved and many improvements that can still be made. In this talk, we'll explore artifacts of traditional 2D photography, methods to represent them comfortably in S3D, and their meaning in a 3D world.
</p>
</abstract>
</eventitem>
<eventitem date="2019-03-21" time="6 pm" room="MC Comfy" title="CSC + WiCS Movie Night">
<short>
<p>
CSC + WiCS Movie Night on March 21th, 2019, at 6 PM in MC Comfy
</p>
</short>
<abstract>
<p>
CSC + WiCS Movie Night on March 21th, 2019, at 6 PM in MC Comfy
</p>
<p>
Join us and bring all your friends to CSC and WiCS' movie night! We will be showing your fave tech-related movies and serving some delicious snacks.
</p>
</abstract>
</eventitem>
<eventitem date="2019-03-20" time="4 pm" room="PHY 150" title="Prof talk: Animated Tilings">
<short>
<p>
Professor Craig Kaplan will be talking about tiling arrangements on March 20th, 2019, at 4 PM in PHY 150
</p>
</short>
<abstract>
<p>
By slowly varying the shapes of tiles in a tiling, it's possible to create fun and interesting abstract animations. Many of these animations are a good fit for the genre of looping mathematical GIFs that proliferate in social media. In this talk, I'll introduce a few core concepts from tiling theory and then discuss techniques for constructing tilings that evolve in space or in time.
</p>
</abstract>
</eventitem>
<eventitem date="2019-03-13" time="6 pm" room="QNC 1502" title="Code Party 0">
<short>
<p>
Code Party 0 on March 13th, 2019, at 6 PM in QNC 1502
</p>
</short>
<abstract>
<p>
Code Party 0 on March 13th, 2019, at 6 PM in QNC 1502
</p>
<p>
The CS Club is hosting our first Code Party of the term from 6 pm until 9 pm in QNC-1502, on Wednesday, March 13. Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 0 and do it, with great company and great food. Come any time after 6 pm.
</p>
</abstract>
</eventitem>
<eventitem date="2019-03-02" time="12 pm" room="QNC 1502" title="Git 101">
<short>
<p>
Git 101 workshop on March 2nd, 2019, at 12 PM in QNC 1502
</p>
</short>
<abstract>
<p>
Git 101 workshop on March 2nd, 2019, at 12 PM in QNC 1502
</p>
<p>
Git and source code management is an essential tool in software development. Knowing how to make the best out of it will help you get out of tricky situations, and allow you to be a better engineer.
</p>
<p>
Come learn some basic topics with us including the motivation for using git, interaction with git using the command line, pull requests, feature branch workflow, etc. This event targets first years with minimal git experience.
</p>
<p>
We are also searching for mentors for the workshop. Instructions for signing up are <a href="https://github.com/uwcsc/git-101-mentor-signup">here</a>
</p>
<p>Pizza will be provided.</p>
</abstract>
</eventitem>
<eventitem date="2019-01-24" time="6:30 pm" room="STC 0060" title="Algorithms practice workshop">
<short>
<p>
Algorithms practice workshop on January 24th, 2019, at 6:30 PM in STC 0060
</p>
</short>
<abstract>
<p>
Algorithms practice workshop on January 24th, 2019, at 6:30 PM in STC 0060
</p>
<p>
Worried about your upcoming WaterlooWorks technical interviews? Want to nail your dream internship this term? Come to the Algorithms Practice Workshop at 6:30 PM, January 24th at STC 0060!
</p>
<p>
During the workshop, you will learn tons of useful technical interview tips collected from experienced upper-year students, as well as gain hands-on experience by practicing efficiently!
</p>
<p>
Writing a good solution to the problem is only the beginning — technical interviewers are evaluating more than just your code. Let's learn how to impress them in multiple ways!
</p>
<p>
Please register <a href="https://goo.gl/forms/WnUOd5VWwUfwA3Ru2">here</a>
<br />
<a href="https://www.facebook.com/events/554508501696081">Facebook event page</a>
</p>
</abstract>
</eventitem>
<!-- Fall 2018 -->
<eventitem date="2018-12-03" time="7:00 - 9:00 pm" room="MC Comfy"
title="CSC EOT">
<short>
<p>
CSC End of term celebrations on December 3rd, at 7 PM in MC Comfy.
</p>
</short>
<abstract>
<p>
CSC End of term celebrations on December 3rd, at 7 PM in MC Comfy.
</p>
<p>
The term is coming to an end, and we will be celebrating as such on Monday December 3rd 7-9pm in the MC Comfy.
</p>
<p>
Come hang out with fellow CSC members, and enjoy food and cake!
</p>
</abstract>
</eventitem>
<eventitem date="2018-11-29" time="6:00 pm - 8:00 pm" room="MC 5479"
title="Alt-Tab">
<short>
<p>
Alt-Tab is coming up next week on Thursday Nov. 29th 6-8pm at MC 5417. We have an amazing group of members giving short talks on topics of their choice.
</p>
</short>
<abstract>
<p>
Alt-Tab is coming up next week on Thursday Nov. 29th 6-8pm at MC 5417. We have an amazing group of members giving short talks on topics of their choice.
</p>
<h3>Talk List:</h3>
<h4>Anna Lorimer - &lt;redacted&gt;</h4>
<p>
All about Slitheen (no, not the dr who alien)
</p>
<h4>Will Gertler - Quantum Information: a Primer</h4>
<p>
An introduction to elementary topics in quantum information theory as an analogous extension of classical information, including simple applications.
</p>
<h4>Fatema Boxwala - GANs, Generative Art and Edward Bellamy</h4>
<p>On October 25th of this year, the first AI-generated work of art sold on the high-end art market at Christie's - for half a million dollars. A Portrait of Edward Bellamy is an image generated by a GAN, a Generative Adversarial Network. Fatema is going to wax poetic about GANs, generative art, and what it really means for something to be art.</p>
<h4>Alex Zvorygin - Designing Large Scale Systems for the Web</h4>
<p>
Learn to build systems that scale! Handle millions of users, keep latencies low, and your systems stable!
</p>
<h4>Patrick Melanson - ᴜɴɪᴄᴏᴅᴇ</h4>
<p>
ᴜɴɪᴄᴏᴅᴇ! It will let you talk to all your friends in Egyptian hieroglyphs, pictures of rocketships, Urdu, or even just Latin characters!
</p>
<p>
ᴜɴɪᴄᴏᴅᴇ: BUT WHAT SECRETIVE CABAL CONTROLS THIS UNIMAGINABLE POWER? Find out at this talk!
</p>
<p>
ᴜɴɪᴄᴏᴅᴇ; not just a blessing, but a curse! Reset Spotify forum passwords, make fradulent PayPal sites, send misunderstood texts to your girlfriends' parents, and prevent all of these real-world examples!!
</p>
<p>
ᴜɴɪᴄᴏᴅᴇ. ؟؟Can you really afford to not tap into this power??
</p>
<h4>Zichuan Wei - Quantum Computers: what they are and what they can do</h4>
<p>
Recently, quantum computing is getting a lot attention and companies like Google, IBM and Microsoft are investing millions of dollars into the field. What is it? and Why people are willing to spend so much money on it? This talk aims to partially answer these questions.
</p>
</abstract>
</eventitem>
<eventitem date="2018-11-12" time="5:30 pm" room="MC-4063"
title="Netplay in emulators">
<short>
<p>
Professor Gregor Richards will be talking about netplay in emulators, which allows for playing video games over the internet.
</p>
</short>
<abstract>
<h3>Abstract:</h3>
<p>
You've got a game, but you didn't write it. You're running it by emulating the machine it was meant to run on, and the machine it was meant to run on never had support for networking. Now, you want to play with your friend, over the Internet. Oh, and it's not acceptable to incur any latency between your controller and the game while we're at it. Surely that can't be possible, right? Wrong. This talk will discuss the re-emulation technique for netplay used commercially by a system called GGPO and freely in an emulator frontend called RetroArch, and how similar techniques can be applied to make networking work in other scenarios it was never meant for. This will be an unprepared, impromptu talk with no slides, so it should either be a fascinating dive into a little-heard-of technique, or an impenetrable mess of jargon and algorithms. Either way, it should be fun.
</p>
<p>
Prof. Richards is the maintainer of the netplay infrastructure for RetroArch, a popular emulator frontend for multiple platforms.
</p>
</abstract>
</eventitem>
<eventitem date="2018-11-05" time="5:30 pm" room="MC-4063"
title="[Cancelled] BBC micro:bit computer: What is it good for?">
<short>
<p>
Professor Richard Mann will be talking about the BBC micro:bit, an embedded computer that is popular with hobbyists and comes with a variety of peripherals.
</p>
</short>
<abstract>
<p>This talk was cancelled. The material for the talk can be found <a href="http://www.cs.uwaterloo.ca/~mannr">here.</a></p>
<h3>Abstract:</h3>
<p>
BBC micro:bit (microbit.org) was introduced in 2015 and has since become popular with educators and hobbyists.
</p><p>
Micro:bit uses an ARM Cortex M0 processor running the "mbed" OS/runtime (mbed.arm.com). It has a built in LED 7x7 array, two buttons, compass, accelerometer, infra red transceivers, and low power wireless communication. Most importantly, it has multiple analog and digital pins to connect to the external world.
</p><p>
Web based tools compile gui/blocks, javascript, or python to executable (HEX) files that run on the device. The device appears as a USB drive. It is programmed by copying (dragging) the HEX image to the device. Once programmed, the device runs standalone and communicates with the the host computer via a serial port API.
</p><p>
All of this is great fun and a gateway into electronics and real time programming.
</p><p>
In this talk I will present a brief introduction to micro:bit, electronics, and electronic signal measurement (voltmeter, function generator, oscilloscope).
</p><p>
We will measure the run time performance of the micro:bit, in particular the operation of the analog inputs and outputs and the response time/latency of the device and consider its suitability for user interface, music and audio projects.
</p>
<h3>Bio:</h3>
<p>
Richard Mann is Associate Professor in Computer Science. His research is in AI, Sound/Audio, Acoustics, and Electro/acoustic measurement. Details at www.cs.uwaterloo.ca/~mannr
</p><p>
In W19 I will teach: CS489 -- Advanced topics, Computational Sound and Audio. This is a project-based course (no final).
</p><p>
I am also looking for URA students in the Sound/Audio area.
</p>
</abstract>
</eventitem>
<eventitem date="2018-10-29" time="5:30 pm" room="QNC-1506"
title="Gloves 101">
<short>
<p>
Make touchscreen gloves with the CS Club on October 29, 5:30 PM in QNC 1506.
</p>
</short>
<abstract>
<p>
Do you have a pair of favorite gloves that you wish you could use with your phone? Do you not have that but have always wondered how touchscreen gloves work? Join us on Monday Oct 29th 5:30-6:30pm at QNC1506 to learn how you can make your own pair of touchscreen gloves! Fatema Boxwala will be teaching a hands-on workshop with all materials provided (but you can also totally bring your own). Come and learn a super easy introduction to wearable electronics and sewing!
</p>
</abstract>
</eventitem>
<eventitem date="2018-10-22" time="5:30 pm" room="MC-3003"
title="Unix 101">
<short>
<p>
Learn the basics of UNIX with the CS Club on October 22, 5:30 PM in MC 3003.
</p>
</short>
<abstract>
<p>
Interested in Unix, but don’t know where to start? Then come learn some
basic topics with us including interaction with the command line, motivation
for using it, some simple commands, and more. This event targets first years
with minimal Unix experience.
</p>
<p>
Light refreshments and snacks will be provided.
</p>
</abstract>
</eventitem>
<eventitem date="2018-10-18" time="6:30 pm" room="EV3-1408"
title="Code Party 0">
<short>
<p>
The CS Club is hosting our first Code Party of the term from 6:30pm until ~9:30pm in EV3-1408, on Thursday October 18.
</p>
</short>
<abstract>
<p>
The CS Club is hosting our first Code Party of the term from 6:30pm until ~9:30pm in EV3-1408, on Thursday October 18.
</p>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 0 and do it, with great company and great food.
</p>
<p>
Come any time after 6:30pm.
</p>
</abstract>
</eventitem>
<eventitem date="2018-10-15" time="5:30 pm" room="DC 1302"
title="Data Driven UIs, Incrementally">
<short>
<p>
Jane Street's Yaron Minsky is coming to Waterloo to give a talk aimed at undergraduate students.
</p>
</short>
<abstract>
<p>
Jane Street's Yaron Minsky is coming to Waterloo to give a talk aimed at
undergraduate students. The talk titled Data Driven UIs, Incrementally
will be held in DC 1302 on Oct. 15th 5:30-6:30pm. Yaron Minsky got his
BA in Mathematics from Princeton and his PhD in Computer Science from
Cornell, where he studied distributed systems. He joined Jane Street in
2003, where he started out developing quantitative trading strategies,
going on to found the firm's quantitative research group. Here's a brief
description of the talk:
</p>
<p>
Trading in financial markets is a data-driven affair, and as such, it
requires applications that can efficiently filter, transform and
present data to users in real time.
</p>
<p>
But there's a difficult problem at the heart of building such
applications: finding a way of expressing the necessary
transformations of the data in a way that is simultaneously easy to
understand and efficient to execute over large streams of data.
</p>
<p>
This talk will show how we've approached this problem using
Incremental, an OCaml library for constructing dynamic computations
that update efficiently in response to changing data. We'll show how
Incremental can be used throughout the application, from the servers
providing the data to be visualized, to the JavaScript code that
generates DOM nodes in the browser. We'll also discuss how these
applications have driven us to develop ways of using efficiently
diffable data structures to bridge the worlds of functional and
incremental computing.
</p>
</abstract>
</eventitem>
<eventitem date="2018-10-03" time="7:00 pm" room="Columbia Lake Firepit 2"
title="CSC &amp; WiCS &amp; MathSoc go outside!">
<short>
<p>
We will be having a bonfire this Wednesday, Oct 3rd 7-10pm, at Columbia Lake Firepit 2 (NW of CIF), co-hosted with WiCS and MathSoc. Smores and snacks will be provided!
</p>
</short>
<abstract>
<p>
We will be having a bonfire this Wednesday, Oct 3rd 7-10pm, at Columbia Lake Firepit 2 (NW of CIF), co-hosted with WiCS and MathSoc. Smores and snacks will be provided!
</p>
<p>
Here's a map that shows the firepit location: <a href="https://uwaterloo.ca/economics/sites/ca.economics/files/uploads/files/firepit_map_oct_2012.pdf">https://uwaterloo.ca/economics/sites/ca.economics/files/uploads/files/firepit_map_oct_2012.pdf</a>
</p>
</abstract>
</eventitem>
<!-- Spring 2018 -->
<eventitem date="2018-07-17" time="6:00 pm" room="MC 4041"
title="Sound: From microphones to speakers and everything inbetween">
<short>
<p>
The CSC will be hosting a Prof Talk by Richard Mann.
</p>
</short>
<abstract>
<p>
The CSC will be hosting a Prof Talk by Richard Mann.
</p>
<p>
When you hit record on your phone how is the sound recorded? Air pressure changes come to a microphone, which converts electricity to voltage. The analog signal is digitized by an analog to digital converter (ADC), and finally stored as a digital file in memory. For playback, the process is reversed, and output to head phones or a (tiny) speaker.</p>
<p>
In a loud room does your phone distort? Can you hear the sound clearly? Phones are getting better. But what is needed to achieve professional quality sound recording?</p>
</abstract>
</eventitem>
<eventitem date="2018-07-11" time="6:00 pm" room="STC 0010"
title="Capture the Flag">
<short>
<p>
Test your programming, web, networking, and trivia skills in this computer security themed contest. Learn how to reverse engineer, crack codes, find flaws in websites, and use security tools.
</p>
</short>
<abstract>
<p>
Test your programming, web, networking, and trivia skills in this computer security themed contest. Learn how to reverse engineer, crack codes, find flaws in websites, and use security tools.
</p>
<p>Play as an individual, a team of up to three, or join a team at the event.</p>
<p> Bring your laptops, have fun, win prizes!</p>
<p>Run by Capture The Flag Club in partnership with CACR and the CS Club.</p>
<p>See http://ctf.uwaterloo.ca/ for more info!</p>
</abstract>
</eventitem>
<eventitem date="2018-07-04" time="6:00 pm" room="MC 4058"
title="Alt-Tab">
<short>
<p>
Come hear 10-15 minutes talks from CSC members on a variety of topics.
</p>
</short>
<abstract>
<p>
Come hear 10-15 minutes talks from CSC members on a variety of topics. Currently planned talks include:
</p>
<ul>
<li>Abstract Machines, what a PL person thinks a computer looks like!</li>
<li>Rendering with Signed Distance Fields</li>
<li>Strength, weaknesses, and applications of genetic algorithms</li>
</ul>
<p>
Interested in talking? Email djauhar@edu.uwaterloo.ca with your title and
a short abstract.
</p>
</abstract>
</eventitem>
<eventitem date="2018-06-04" time="6:00 pm" room="Laurel Creek Firepit"
title="CSC and WiCS Go Outside">
<short>
<p>
Come join us for a bonfire outside at the Laurel Creek firepit (across Ring. Rd. from EV3) with fellow CSC and WiCS members. Smores and snacks will be provided.
</p>
</short>
<abstract>
<p>
Come join us for a bonfire outside at the Laurel Creek firepit (across Ring. Rd. from EV3) with fellow CSC and WiCS members. Smores and snacks will be provided.
</p>
<p>
The firepit we will be using is in the bottom right of <a href="https://uwaterloo.ca/economics/sites/ca.economics/files/uploads/files/firepit_map_oct_2012.pdf">this map.</a>
</p>
</abstract>
</eventitem>
<eventitem date="2018-05-28" time="6:30pm" room="STC 0020"
title="Code Party 0">
<short>
<p>
The CS Club is hosting our first Code Party of the term from 6:30pm until ~9:30pm in STC 0020!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
</short>
<abstract>
<p>
The CS Club is hosting our first Code Party of the term from 6:30pm until ~9:30pm in STC 0020!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 0 and do it, with great company and great food.
</p>
<p>
Come any time after 6:30pm.
</p>
</abstract>
</eventitem>
<!-- Winter 2018 -->
<eventitem date="2018-03-28" time="6:00pm" room="MC 4020"
title="Alt-Tab: W18">
<short>
CSC will be hosting our termly Alt-Tab event, the Computer Science
version of Short Attention Span Math Seminars (SASMS) hosted by that
math club down the hall. It will be a night full of friendly talks.
</short>
<abstract>
Our current lineup includes:
<ul>
<li>Ifaz Kabir: Efficient Type Inference with Union Find</li>
<li>Jordan Garside: GraphQL and APIs</li>
<li>Ansley Peduru: Lessons Learned from Cross-Compiling Rust</li>
<li>Sean Harrap: Implementing Structs Almost From Scratch</li>
<li>Ashish Gaurav: Teaching Programs to play Simple Games</li>
<li>Jennifer Zhou: Garbage Collection Concepts</li>
</ul>
</abstract>
</eventitem>
<eventitem date="2018-03-26" time="7:00pm" room="QNC 2502"
title="Uncode Party with WiCS">
<short>
We are having a joint Code Party with Women in Computer Science (WiCS).
This time, it's an Uncode Party, where you try to find the worst solutions
possible to programming problems that we will provide.
</short>
<abstract>
<p>An example of a good "bad" solution is
<a href="http://wiki.c2.com/?SlowSort">SlowSort</a>.
Come and write shoddy code with us and eat free food. You can work on
your assignments too. No general meeting will be bundled with this event.
</p>
</abstract>
</eventitem>
<eventitem date="2018-03-22" time="6:00pm" room="MC 4059"
title="Prof Talk with Richard Mann">
<short>
<p>Professor Richard Mann will be giving a talk on black-box testing
of audio gear. Come out to see fancy audio gear, learn more about his
Advanced Topics course in Computational Sound, and eat free food! Click
through for his abstract.</p>
</short>
<abstract>
<p>
Black box testing usually refers to computer testing, either software
or hardware.
</p>
<p>
In this talk I apply similar ideas to testing analog and digital audio
gear. For example, given an audio device, such as a guitar effects pedal,
can we stimulate the system with test signals and determine what processing
is done inside?
</p>
<p>
I will present our open source testing software to test the frequency
response, time delay and distortion in audio systems. We will show several
real world testing situations, including microphones, loud speakers,
digital keyboards, digital audio mixing boards, and guitar effects pedals.
</p>
<p>
Students are encouraged to bring their own musical instruments and/or
sound processors for testing.
</p>
<p>
Finally, I will present information about my current audio course,
CS489/689 -- Advanced Topics in Computer Science -- Computational
Sound. This is a project based course, normally offered in the Winter term.
</p>
</abstract>
</eventitem>
<eventitem date="2018-03-13" time="6:00pm" room="MC Comfy"
title="Discussion with maddog">
<short>
<p>
We'll be having a discussion session with maddog, an out-of-town speaker
from the LPI. Food will be provided, as well as good company. Come out!
</p>
</short>
<abstract>
<p>
Jon "maddog" Hall is the Executive Director of Linux International, an
association of computer users who wish to support and promote the Linux
Operating System. During his career in commercial computing which
started in 1969 (almost a half-century ago), Mr. Hall has been a
programmer, systems designer, systems administrator, product manager,
technical marketing manager, educator, and consultant.
<br/>
He has worked for such companies as Western Electric Corporation, Aetna
Life and Casualty, Bell Laboratories, Digital Equipment Corporation, VA
Linux Systems, SGI and Futura Networks (Campus Party).
<br/>
Mr. Hall is currently the CEO of OptDyn, Inc (www.optdyn.com) which
creates the Subutai(tm) suite of Open Source Peer-to-Peer Cloud
computing tools. He also works as an independent consultant, and is
involved with bringing environmentally friendly computing to emerging
marketplaces, as well as working on performance and educational issues
with Free and Open Source Software via the Linaro Association. He is
the Chairman Emeritus of wit.com
<br/>
Mr Hall has worked on many systems, both proprietary and open, having
concentrated on Unix systems since 1980 and Linux systems since 1994
(almost a quarter century ago), when he first met Linus Torvalds and
correctly recognized the commercial importance of Linux and Free and
Open Source Software.
<br/>
He has taught at Hartford State Technical College, Merrimack College
and Daniel Webster College. He still likes talking to students over
pizza and beer (the pizza can be optional).
<br/>
Mr. Hall is the author of numerous magazine and newspaper articles,
many presentations and one book, "Linux for Dummies". He currently
writes a monthly article for Linux Pro Magazine and occasionally blogs
for them on their web site.
<br/>
Mr. Hall has consulted with the governments of China, Malaysia and
Brazil as well as the United Nations and many local and state
governments on the use of Free and Open Source Software.
<br/>
Mr. Hall has served and serves on the boards of several companies,
universities and several non-profit organizations. He is currently
very active with the University of Sao Paulo's Centro Interdisciplinar
Em Tecnologias Interativas (CITI), acting as a member of their advisory
board. Mr. Hall is also the Board Chair of the Linux Professional
Institute, the world's premier Open Source Certification organization,
and is the senior advisor and co-founder of Caninos Loucos, bringing
inexpensive, locally designed and manufactured single board computers
to Brazil. He is also the President of Project Caua.
<br/>
Mr. Hall has traveled the world (over 100 countries) speaking on the
benefits of Free and Open Source Software, and received his BS in
Commerce and Engineering from Drexel University (1973), and his MSCS
from RPI in Troy, New York (1977).
</p>
</abstract>
</eventitem>
<eventitem date="2018-03-12" time="6:00pm" room="MC Comfy"
title="Programming for the 22nd Century">
<short>
<p>
We are bringing an out-of-town speaker, John "maddog" Hall, to come speak!
Come to this event, where he will be talking about changes in programming
paradigms since the invention of C, and the discussion event tomorrow.
</p>
</short>
<abstract>
<p>
Abstract: Many things have changed since the early days of programming,
but many programs are written as if they were for the machines of the 20th
century which had small memories, no cache, single core CPUs, small
address spaces. Even the definition of "performance" has changed. This
talk will investigate some of these issues and hopefully lead people to
better programming.
</p>
</abstract>
</eventitem>
<eventitem date="2018-02-07" time="5:30pm" room="QNC 1502"
title="Technical Interview Prep">
<short>
<p>
Our first workshop of the term! Fatema and Arshia will be heading a
workshop on how to prepare for technical interviews.
</p>
<p>
Got technical interviews? Come out!
</p>
</short>
<abstract>
<p>
Details and abstract TBA. So far, we're going to be meeting and going
over how to get really good at technical interviews.
</p>
<p>We will:</p>
<ul>
<li>Talk about the different kinds of programming jobs you can apply and interview for</li>
<li>Present some general advice for tech interviews</li>
<li>have sessions in parallel for software engineering, frontend engineering, security, and devops interviews</li>
</ul>
<p>
If you're in 2B or below, you'll probably find this event helpful! Anyone is welcome to attend, however.
</p>
</abstract>
</eventitem>
<eventitem date="2018-01-25" time="6:00pm" room="STC 0040"
title="Code Party 0">
<short>
<p>
Our first code party of the term! Food is sandwiches, constitution
amendments are a go, and Dr. Morton will be talking there! It'll be fun.
</p>
</short>
<abstract>
<p>
The food is sandwiches, fruit platter, and coffee! You can consume this
sustenance while:
</p>
<ul>
<li>Dr. Andrew Morton talks about an upcoming CS final year project
course!</li>
<li>We take up Constitution and Code of Conduct amendments</li>
<li>We elect someone to the position of Secretary</li>
<li>Show off any cool things we're working on, and</li>
<li>Just, like, hang out for a while (that's what code parties are
for)</li>
</ul>
<p>
Come out! There will be cool people there we promise. Like our VP Charlie
Wang.
</p>
</abstract>
</eventitem>
<eventitem date="2018-01-15" time="5:00pm" room="MC Comfy"
title="Winter 2018 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the
Winter 2018 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian, CTF Club Liaison and IMAPd (fridge and snack runs)
will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the Winter 2018
term on Monday, January 15th at 5:00pm in the MC Comfy Lounge (MC 3001).
There will be snacks at the elections, probably Timbits.
</p>
<p>
The following positions will be elected: President, Vice-President,
Treasurer and Secretary. The following positions will be appointed:
Systems Administrator (to be ratified at the meeting), Office Manager,
Librarian and IMAPd (fridge and snack runs).
</p>
<p>
If you would like to run or nominate someone for any of the elected
positions, you can put your/their name and Quest ID as well as a list
of positions on a piece of paper into the nominations box in the CSC
office (MC 3036/3037) or send an email to the Chief Returning Officer
at <a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
<p>
I will periodically empty the nominations box and notify the people
nominated via their @csclub.uwaterloo.ca (or failing that,
@edu.uwaterloo.ca) email address. Please note that club officer
positions (elected positions, plus Systems Administrator) are
restricted to MathSoc social members.
</p>
<p>
Nominations will close at 5:00pm on Sunday, January 14th (24 hours
prior to the start of elections). At this time, I will publish the list
of nominations via the CSC mailing list as well as at
<a href="https://csclub.uwaterloo.ca/elections">
https://csclub.uwaterloo.ca/elections
</a>.
</p>
<p>
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. A full description of the roles and the
election procedure are listed in our Constitution, available at
<a href="https://csclub.uwaterloo.ca/about/constitution">
https://csclub.uwaterloo.ca/about/constitution.
</a>
</p>
<p>
Any questions related to the election can be directed to
<a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<!-- Fall 2017 -->
<eventitem date="2017-12-01" time="6:00pm" room="MC Comfy"
title="End of Term Event">
<short>
<p>
Join fellow CSC members for our end of term social. There will be food and
good company. We can grab board games from Mathsoc.
</p>
</short>
<abstract>
<p>
Join fellow CSC members for our end of term social. There will be food and
good company. We can grab board games from Mathsoc.
</p>
</abstract>
</eventitem>
<eventitem date="2017-11-23" time="6:00pm" room="STC 0010"
title="CTF Computer Networking Workshop">
<short>
<p>
Hosted in collaboration with the <a href="http://ctf.uwaterloo.ca">Univerisy of Waterloo CTF Club</a>
</p>
</short>
<abstract>
<p>
Hosted in collaboration with the <a href="http://ctf.uwaterloo.ca">Univerisy of Waterloo CTF Club</a>
</p>
</abstract>
</eventitem>
<eventitem date="2017-11-15" time="5:30 pm" room="STC 0050"
title="Code Party 1">
<short>
<p>
The CS Club is hosting our second Code Party of the term from 6:00pm until late in the evening in STC 0050!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
</short>
<abstract>
<p>
The CS Club is hosting our second Code Party of the term from 5:30pm until late in the evening in STC 0050!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 1 and do it, with great company and great food.
</p>
<p>
Come any time after 5:30pm.
</p>
</abstract>
</eventitem>
<eventitem date="2017-11-14" time="6:00pm" room="STC 0020"
title="Capture the Flag Computing Competition">
<short>
<p>
Test your programming, web, networking, and trivial skills</p>
<p>
Learn how to reverse engineer, crack codes, and use various tools.
</p>
<p>
Win prizes!
</p>
</short>
<abstract>
<p>
Test your programming, web, networking, and trivial skills</p>
<p>
Learn how to reverse engineer, crack codes, and use various tools.
</p>
<p>
Win prizes!
</p>
</abstract>
</eventitem>
<eventitem date="2017-11-09" time="6:00 pm" room="MC 4059"
title="Alt+Tab Talks">
<short>
<p>
Come watch (or give!) interesting short talks by CS Club members.
Talks include "Dynamic programming as path finding", "What is a landing page", "Subsurface scattering" and "How to compute on a GPU", but more are welcome (email <a href="mailto:tghume@csclub.uwaterloo.ca">tghume@csclub.uwaterloo.ca</a>)! Click the link to the event detail page for more info.
</p>
</short>
<abstract>
<p>
Come watch (or give!) interesting short talks by CS Club members.
Talks include "Dynamic programming as path finding", "What is a landing page", "How to compute on a GPU" and "Subsurface scattering", but more are welcome (email <a href="mailto:tghume@csclub.uwaterloo.ca">tghume@csclub.uwaterloo.ca</a>)! There will be food.
</p>
<p>
Each talk can be 5-15 minutes long on any computer-related topic of interest.
If you're interested in giving a talk (please do!) email <a href="mailto:tghume@csclub.uwaterloo.ca">tghume@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2017-11-02" time="7pm" room="MC 4059 and MC 4061"
title="CSC+WiCS Fall Social and Movie Night">
<short>
<p>
Join other CSC and WiCS members for a social event featuring free food, board games and a showing of Wonder Woman.
</p>
</short>
<abstract>
<p>
Join other CSC and WiCS members for a social event featuring free food, board games and a showing of Wonder Woman.
</p>
</abstract>
</eventitem>
<eventitem date="2017-10-12" time="5:30 pm" room="MC 3003"
title="Unix 101">
<short>
<p>
Interested in Linux, but don't know where to start? Come learn some
basic topics with us including interaction with the shell, motivation
for using it, some simple commands, and more! (Snacks after)
</p>
</short>
<abstract>
<p>
New to the Linux computing environment? If you seek an introduction,
look no further (you can if you want we're not the police). Topics that
will be covered include basic interaction with the shell and the
motivations behind using it, and an introduction to compilation. You'll
have to learn this stuff in CS 246 anyways, so why not get a head start!
</p>
<p>
If you're interested in attending, make sure you can log into the Macs
on the third floor, or show up to the CSC office (MC 3036) 20 minutes
early for some help.
</p>
</abstract>
</eventitem>
<eventitem date="2017-10-05" time="6:00 pm" room="Laurel Creek Firepit"
title="CSC Goes Outside">
<short>
<p>
Come join us for a bonfire outside at the Laurel Creek firepit (across Ring. Rd. from EV3) with fellow CSC members. Smores and snacks will be provided.
</p>
</short>
<abstract>
<p>
Come join us for a bonfire outside at the Laurel Creek firepit (across Ring. Rd. from EV3) with fellow CSC members. Smores and snacks will be provided.
</p>
<p>
The firepit we will be using is in the bottom right of <a href="https://uwaterloo.ca/economics/sites/ca.economics/files/uploads/files/firepit_map_oct_2012.pdf">this map.</a>
</p>
</abstract>
</eventitem>
<eventitem date="2017-09-29" time="6:30 pm" room="M3 1006"
title="Code Party 0">
<short>
<p>
The CS Club is hosting our first Code Party of the term (Friday September 29th) from 6:30pm until late in the evening in M3 1006!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
</short>
<abstract>
<p>
The CS Club is hosting our first Code Party of the term (Friday September 29th) from 6:30pm until late in the evening in M3 1006!
</p>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework projects you need to finish? Or want some time to explore some new technology and chat about it? You can join us at Code Party 0 and do it, with great company and great food.
</p>
<p>
Come any time after 6:30pm, there will be snacks and we'll be ordering pizza at around 7:00pm!
</p>
</abstract>
</eventitem>
<eventitem date="2017-09-22" time="6:00 pm" room="MC Comfy Lounge"
title="Fall 2017 Special Elections">
<short>
<p>
The Computer Science Club will be holding special elections
for the Spring 2017 Vice-President and Secretary.
Additionally, the Systems Administrator, Office Manager and
Librarian, CTF Club Liaison and IMPAD will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding special elections
for the Fall 2017 term on Friday, September 22th at 6:00pm
in the MC Comfy Lounge (MC 3001).
</p>
<p>
The following positions will be elected: Vice-President and Secretary.
The following positions will be appointed:
Systems Administrator (to be ratified at the meeting),
Office Manager and Librarian, CTF Club Liaison and IMPAD.
Additionally, we will be looking for members to join the
Programme Committee.
</p>
<p>
The results of the previous election are as follows:
</p>
<ul>
<li>President: matedesc (Melissa Tedesco)</li>
<li>Treasurer: tghume (Tristan Hume)</li>
</ul>
<p>
If you would like to run or nominate someone for any of the elected positions,
you can put your name in a special box in the CSC office (MC 3036/3037)
or by sending an email to the Chief Returning Officer (Melissa)
at <a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
Please note that executive positions are restricted
to MathSoc social members. We welcome the participation of first years.
</p>
<p>
Nominations will close at 6:00pm on Thursday, September 21st
(24 hours prior to the start of elections).
After that time, a list of current nominations will be sent out by email. It will also be available on the whiteboard
in the office and at
<a href="https://csclub.uwaterloo.ca/elections">https://csclub.uwaterloo.ca/elections</a>.
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. A full description of the roles and
the election procedure are listed in our Constitution,
available at
<a href="https://csclub.uwaterloo.ca/about/constitution">
https://csclub.uwaterloo.ca/about/constitution
</a>.
Any questions related to the election can be directed to
<a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2017-09-15" time="6:00 pm" room="MC Comfy Lounge"
title="Fall 2017 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the
Spring 2017 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian, CTF Club Liaison and Fridge Person will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the
Fall 2017 term on Friday, September 15th at 6:00pm
in the MC Comfy Lounge (MC 3001).
</p>
<p>
The following positions will be elected: President, Vice-President,
Treasurer and Secretary. The following positions will be appointed:
Systems Administrator (to be ratified at the meeting),
Office Manager and Librarian, CTF Club Liaison and Fridge Person (the exact name of this position is still to be determined). Additionally, we will be looking
for members to join the Programme Committee.
</p>
<p>
If you would like to run or nominate someone for any of the elected positions,
you can put your name in a special box in the CSC office (MC 3036/3037)
or by sending an email to the Chief Returning Officer (Felix)
at <a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
Please note that executive positions are restricted
to MathSoc social members. We welcome the participation of first years.
</p>
<p>
Nominations will close at 6:00pm on Thursday, September 14th
(24 hours prior to the start of elections).
After that time, a list of current nominations will be sent out by email. It will also be available on the whiteboard
in the office and at
<a href="https://csclub.uwaterloo.ca/elections">https://csclub.uwaterloo.ca/elections</a>.
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. A full description of the roles and
the election procedure are listed in our Constitution,
available at
<a href="https://csclub.uwaterloo.ca/about/constitution">
https://csclub.uwaterloo.ca/about/constitution
</a>.
Any questions related to the election can be directed to
<a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<!-- Spring 2017 -->
<eventitem date="2017-07-24" time="6:00 pm" room="MC Comfy"
title="End of Term Party">
<short>
<p>
Come celebrate the end of the term with us in MC Comfy!
</p>
</short>
<abstract>
<p>
Come celebrate the end of the term with us in MC Comfy! We will be serving Urban Bricks!
</p>
</abstract>
</eventitem>
<eventitem date="2017-07-18" time="5:00 pm" room="MC4040"
title="Alt-Tab: S17">
<short>
<p>
Join us for food and interesting member talks!
</p>
</short>
<abstract>
<p>
CSC's Alt-Tab is back! Join us for food and interesting member talks. The current lineup includes:
</p>
<ul>
<li>Ifaz Kabir: "The comment that took Stack Exchange down and the algorithm that could have saved them"</li>
<li>Fatema Boxwala: "Manic PXE Dream Servers"</li>
<li>Charlie Wang: TBA (Something About Typed Racket)</li>
<li>Sean Harrap: "Register Allocation With Graphs"</li>
<li>Bryan Coutts: "Vehicle Routing"</li>
<li>Reila Lee: TBA</li>
</ul>
</abstract>
</eventitem>
<eventitem date="2017-07-15" time="10:00 am" room="CSC Office"
title="Spring Cleaning">
<short>
<p>
Join us for Spring Cleaning!
</p>
</short>
<abstract>
<p>
We will be conducting our Spring Cleaning on Saturday, July the 15th @
10:00am. We'll be clearing out some junk, mopping the floors, dusting
off the tables/shelves, and generally tidying up the place. The more
help we can get the better! If you would like to lend a hand, just come
over to the office this weekend.
</p>
</abstract>
</eventitem>
<eventitem date="2017-07-05" time="7:00 pm" room="Laurel Creek Firepit"
title="CSC and WiCS Goes Outside">
<short>
<p>
Come join Women in Computer Science and the Computer Science Club outdoors!
</p>
</short>
<abstract>
<p>
Come hang out with the Women in Computer Science and the Computer Science Club! We have Marshmallows and other
treats. Also fire. And a creek. Let's enjoy the outdoors!
</p>
</abstract>
</eventitem>
<eventitem date="2017-06-22" time="6:00 pm" room="STC 0020"
title="Code Party 0">
<short>
<p>
Join us for Code Party 0!
</p>
</short>
<abstract>
<p>
Come code with us, eat some food, do some things. Personal projects you want to work on? Homework projects
you need to finish? Or want some time to explore some new technology and chat about it? You can join us at
Code Party 0 and do it, with great company and great food.
</p>
</abstract>
</eventitem>
<eventitem date="2017-06-15" time="6:00 pm" room="MC4060"
title="Understanding machine learning - a theory perspective">
<short>
<p>
Professor Shai Ben-David will discuss the basic principles behind machine learning and how they relate to some of
the headline-making practical tools, in addition to the major research challenges and directions that address
the fast expanding scope of potential machine learning applications.
</p>
</short>
<abstract>
<p>
We are all aware that we live in the era of ("big") data. In contrast to classical scientists
that devoted much of their resources to collecting data, nowadays researchers are flooded with
data and the focus has switched to trying to make sense of and utilize the big and complex available data.
Machine learning is aimed to use computer power to do just that.
</p>
<p>
It is therefore no wonder that machine learning is currently a hot topic. Evidence is all over the map, from
NYTimes articles to being a top priority for research investments by Google, Amazon, Microsoft and Facebook.
Throughout its (short) history, machine learning has enjoyed fruitful interactions between theory and practice.
The growing awareness to its power keeps stimulating research towards new applications to the field, which in turn
spur the development of algorithms and inspire new frontiers for our theoretical pursuit.
</p>
<p>
In this talk Professor Shai Ben-David will explain the basic principles behind machine learning and how these principles relate to some
of headline-making practical tools. Ben-David will also describe some of the major research challenges and research
directions that address the fast expanding scope of potential machine learning applications.
</p>
</abstract>
</eventitem>
<eventitem date="2017-06-01" time="6:00 pm" room="MC 3003"
title="Unix 102">
<short>
<p>
Come gain some more in-depth knowledge or some less well-known tips and tricks for using the command line.
</p>
</short>
<abstract>
<p>
Finished the bash unit in CS246 and still don't see what's great about Unix?
Want to gain some more in-depth knowledge, or some less well-known tips and
tricks for using the command line? Unix 102 is the event for you! Fatema is
"kind of successful" and "knows things about Unix" and you can be too! Topics
covered will be: users, groups and permissions, ez string manipulation, additional skills, tips and tricks.
</p>
</abstract>
</eventitem>
<eventitem date="2017-05-17" time="6:00 pm" room="MC Comfy Lounge"
title="Spring 2017 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the
Spring 2017 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the
Spring 2017 term on Wednesday, May 17th at 6:00pm
in the MC Comfy Lounge (MC 3001).
</p>
<p>
The following positions will be elected: President, Vice-President,
Treasurer and Secretary. The following positions will be appointed:
Systems Administrator (to be ratified at the meeting),
Office Manager and Librarian. Additionally, we will be looking
for members to join the Programme Committee.
</p>
<p>
If you would like to run or nominate someone for any of the elected positions,
you can put your name in a special box in the CSC office (MC 3036/3037)
or by sending an email to the Chief Returning Officer (Zachary)
at <a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
Please note that executive positions are restricted
to MathSoc social members. We welcome the participation of first years.
A list of current nominations will be available on the whiteboard
in the office and at
<a href="https://csclub.uwaterloo.ca/elections">https://csclub.uwaterloo.ca/elections</a>.
</p>
<p>
Nominations will close at 6:00pm on Tuesday, May 16th
(24 hours prior to the start of elections).
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. A full description of the roles and
the election procedure are listed in our Constitution,
available at
<a href="https://csclub.uwaterloo.ca/about/constitution">
https://csclub.uwaterloo.ca/about/constitution
</a>.
Any questions related to the election can be directed to
<a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<!-- Winter 2017 -->
<eventitem date="2017-04-05" time="5:00 pm" room="STC 0060"
title="Code Party 1">
<short>
<p>
Come code with us, eat some food, do some things.
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party 1
and do it, with great company and great food.
Come any time after 5pm, but if you come earlier your food preferences are more likely to be accounted for, and there's more time for coding!
</p>
</short>
<abstract>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party 1
and do it, with great company and great food.
</p>
<p>
Come any time after 5pm, but if you come earlier your food preferences are more likely to be accounted for, and there's more time for coding!
</p>
</abstract>
</eventitem>
<eventitem date="2017-03-22" time="6:00 pm" room="MC 4045"
title="Unix 201">
<short>
<p>
A talk and demo about more advanced Unix tricks and tools than are taught in our regular Unix 101 events. Topics may include customizing your prompt, the ranger console file manager, fancy shells, htop, rsync and using terminal escape sequences in your programs.
</p>
</short>
<abstract>
<p>
A talk and demo about more advanced Unix tricks and tools than are taught in our regular Unix 101 events. Topics may include customizing your prompt, the ranger console file manager, fancy shells, htop, rsync and using terminal escape sequences in your programs.
</p>
<p>
List of things talked about can be found <a href="https://gist.github.com/trishume/fb1c80f61c9a62426a6565a9f661e449">here</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2017-03-09" time="6:00 pm" room="MC 4042"
title="Alt+Tab Talks">
<short>
<p>
Come watch (or give!) interesting short talks by CS Club members.
Talks include "Stepping into math: building a step-by-step algebra solver" and "Online database migrations at scale", but more are welcome (email <a href="mailto:tghume@csclub.uwaterloo.ca">tghume@csclub.uwaterloo.ca</a>)! Click the link to the event detail page for more info. (Note: date was moved to Thursday)
</p>
</short>
<abstract>
<p>
Come watch (and/or give!) interesting short talks by CS Club members.
Talks include "How your text editor does syntax highlighting", "Online database migrations at scale", "Stitching Spaces in Subdivision Surfaces", "Theory of Computation" and "Stepping into math: building a step-by-step algebra solver", but more are welcome!
</p>
<p>
Each talk can be 5-15 minutes long on any computer-related topic of interest.
If you're interested in giving a talk (please do!) email <a href="mailto:tghume@csclub.uwaterloo.ca">tghume@csclub.uwaterloo.ca</a>.
</p>
<p>
The event was previously scheduled for Wednesday but was moved to Thursday the 9th due to a conflict with a WICS event.
</p>
</abstract>
</eventitem>
<eventitem date="2017-02-08" time="5:00 pm" room="STC 0020"
title="Code Party 0">
<short>
<p>
Come code with us, eat some food, do some things.
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party 0
and do it, with great company and great food.
Come any time after 5pm, but if you come earlier your food preferences are more likely to be accounted for, and there's more time for coding!
</p>
</short>
<abstract>
<p>
Come code with us, eat some food, do some things.
</p>
<p>
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party 0
and do it, with great company and great food.
</p>
<p>
Come any time after 5pm, but if you come earlier your food preferences are more likely to be accounted for, and there's more time for coding!
</p>
</abstract>
</eventitem>
<eventitem date="2017-01-12" time="6:00 pm" room="MC Comfy Lounge"
title="Winter 2017 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the
Winter 2017 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the
Winter 2017 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian will be appointed.
</p>
<p>
The following positions will be elected: President, Vice-President,
Treasurer and Secretary. The following positions will be appointed:
Systems Administrator (to be ratified at the meeting),
Office Manager and Librarian. Additionally, we will be looking
for members to join the Programme Committee. The nominees for the four
elected positions are:
</p>
<ul>
<li>President</li>
<tt>
<ul>
<li>matedesc</li>
<li>wyschean</li>
</ul>
</tt>
<li>Vice President</li>
<tt>
<ul>
<li>tghume</li>
<li>wyschean</li>
</ul>
</tt>
<li>Treasurer</li>
<tt>
<ul>
<li>jj2baile</li>
<li>jxpryde</li>
<li>tghume</li>
</ul>
</tt>
<li>Secretary</li>
<tt>
<ul>
<li>aafata</li>
<li>tghume</li>
</ul>
</tt>
</ul>
<p>
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. We use approval voting; for each position,
you may vote for any subset of the candidates. If you wish to vote but
will not be attending the election, you may send an absentee ballot
indicating which candidate(s) you wish to vote for, for each position.
This ballot must be sent to cro@csclub.uwaterloo.ca from your
@uwaterloo.ca or @csclub.uwaterloo.ca email address. A full
description of the roles and the election procedure are listed in our
Constitution, available at
https://csclub.uwaterloo.ca/about/constitution.
</p>
</abstract>
</eventitem>
<!-- Fall 2016 -->
<eventitem date="2016-12-05" time="6:00 PM" room="MC Comfy" title="CSC/PMC EOT Party">
<short>
<p>
The CSC and the PMAMC&amp;OC (aka pure math club) are hosting our end
of term events together! We'll be taking over MC Comfy to hang out,
eat lots of food (from Kismet!), and play board games.
</p>
</short>
<abstract>
<p>
The CSC and the PMAMC&amp;OC (aka pure math club) are hosting our end
of term events together! We'll be taking over MC Comfy to hang out,
eat lots of food (from Kismet!), and play board games.
</p>
</abstract>
</eventitem>
<eventitem date="2016-11-30" time="6:00 PM" room="MC 4063" title="ALT+TAB Talks">
<short>
<p>
Various members of the CSC will be giving brief, 25 minute talks on
CS-related topics. An list of the talks being delivered can be found
if you follow the event page link in this description. There will be
food provided.
</p>
</short>
<abstract>
<p>
The CSC is hosting ALT+TAB this Wednesday. ALT+TAB is similar to the
PMC's SASMS events; several members of the CSC will give brief, 25
minute talks on various interesting topics in CS. There will be food
provided at the event. The talks being delivered are:
<table border="1">
<tr>
<td><b>Member</b></td>
<td><b>Talk Title</b></td>
</tr>
<tr>
<td>Felix Bauckholt</td>
<td>A Short Idris Tutorial</td>
</tr>
<tr>
<td>Bryan Coutts</td>
<td>Linear and Integer Programming</td>
</tr>
<tr>
<td>Sean Harrap</td>
<td>Communication Complexity</td>
</tr>
<tr>
<td>Christopher Hawthorne</td>
<td>Gödel's Incompleteness Theorem</td>
</tr>
<tr>
<td>Charlie Wang</td>
<td>Typed Racket</td>
</tr>
<tr>
<td>Ifaz Kabir</td>
<td>How Modern SAT Solvers Work</td>
</tr>
</table>
</p>
</abstract>
</eventitem>
<eventitem date="2016-11-25" time="6:00 PM" room="MC 4063" title="Edmund Noble Member Talk">
<short>
<p>
CSC member Edmund Noble will be giving a talk, titled "Purely
Functional Programming with Freely-Generated Domain Specific
Languages". The talk will focus on embedded DSLs that exist within
other languages, and how they can easily be constructed.
</p>
</short>
<abstract>
<p>
CSC member Edmund Noble will be giving a talk, titled "Purely
Functional Programming with Freely-Generated Domain Specific
Languages". The talk will focus on embedded DSLs that exist within
other languages, and how they can easily be constructed. The abstract
for this talk is below. <br/><br/>
</p>
<p>
Dependency injection is an often-used technique in object-oriented
programming to easily modify the behaviours of an object by providing
it with objects it would have otherwise generated on its own, to
increase modularity. Aspect-oriented programming is a related
technique which adds additional behaviour ("advice") to existing code,
aiming to address cross-cutting concerns which affect wide areas of an
application without sacrificing modularity. Dependency injection
might not seem a common topic in functional programming, but
application modularity is essential to functional programming in a
practical setting. A natural analogue to dependency injection and
aspect-oriented programming in functional programming comes from a
surprising place, and offers superior modularity to both. The free
monad (F f) for a type constructor (and domain-specific language
instruction set) f provides a syntax tree with internal nodes as
domain-specific language instructions, which in combination with
coproduct functors, allow domain-specific languages to be composed and
combined easily.
<ul>
<li><a href="http://slides.com/edmundnoble/freely-generated-domain-specific-languages/fullscreen#">Slides</a></li>
<li><a href="https://github.com/edmundnoble/free-dsl">Sources</a></li>
</ul>
</p>
</abstract>
</eventitem>
<eventitem date="2016-11-21" time="6:15 PM" room="MC 4063" title="Richard Mann Prof Talk">
<short>
<p>
Professor Richard Mann will be giving a talk, titled "Open Source
Software for Sound Measurement and Analysis". He will be presenting
information about his new course, CS 489, Computational Sound, which
will be running in Winter 2017.
</p>
</short>
<abstract>
<p>
Professor Richard Mann will be giving a talk, titled "Open Source
Software for Sound Measurement and Analysis". He will be presenting
information about his new course, CS 489, Computational Sound, which
will be running in Winter 2017. The abstract for this talk is below.
<br/><br/>
</p>
<p>
The most common problem in acoustics is to measure the frequency
response of an (expensive!) listening room. While specifications
exist for the amplifiers, speakers, etc, each system must be still
evaluated individually, since the frequency response depends on the
direct sound from the speaker(s), the listener position and the
reverberation of the room. The user may spend considerable time
adjusting the speaker placement, the system equalization, and
possibly treating the room to get the best response.
</p>
<p>
There are several commercial and freeware applications for this task,
some of which are very good. However, to learn the methods the user
must understand the processing involved.
</p>
<p>
The purpose of this talk is to present an open source solution. Our
system is based on a very few lines of code, written in GNU Octave, a
Matlab(r) workalike that runs under Linux, Windows and Mac.
</p>
<p>
The program works by playing a known test signal, such a tone, or
some kind of noise source out of the sound card into the system. The
system is measured by comparing driving signal to that measured by a
microphone in the room. The frequency response is computed using the
Discrete Fourier Transform (DFT).
</p>
<p>
This is joint work with Prof. John Vanderkooy, Physics, University of
Waterloo.
</p>
</abstract>
</eventitem>
<eventitem date="2016-11-16" time="8:30 PM" room="M3 1006" title="General Meeting">
<short>
<p>
This general meeting will be held to discuss changes to our Code of
Conduct.
</p>
</short>
<abstract>
<p> The Code of Conduct and the amended version can be found below: </p>
<ul>
<li><a href="https://www.csclub.uwaterloo.ca/~exec/proposed-amendment/about/code-of-conduct">Proposed CoC</a></li>
<li><a href="https://www.csclub.uwaterloo.ca/~exec/proposed-amendment.patch">Diff between current and proposed CoC</a></li>
</ul>
</abstract>
</eventitem>
<eventitem date="2016-11-16" time="6:30 pm" room="M3 1006" title="Code Party">
<short>
<p>
Come code with us, eat some food, do some things.
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party
and do it, with great company and great food.
</p>
</short>
</eventitem>
<eventitem date="2016-11-09" time="6:00 pm" room="MC 3003"
title="UNIX 101">
<short>
<p>
The CSC is having its next event, UNIX 101, on Wednesday November 9th
at 6 PM in MC 3003 (the mac lab across from the CSC). UNIX 101 is a
tutorial where we teach the basics of using a command-line (terminal)
environment in UNIX. Knowing how to use the command-line and UNIX is
an invaluable skill in CS, and helps prepare you for future projects
and co-ops.
</p>
</short>
<abstract>
<p>
The CSC is having its next event, UNIX 101, on Wednesday November 9th
at 6 PM in MC 3003 (the mac lab across from the CSC). UNIX 101 is a
tutorial where we teach the basics of using a command-line (terminal)
environment in UNIX. Knowing how to use the command-line and UNIX is
an invaluable skill in CS, and helps prepare you for future projects
and co-ops.
</p>
</abstract>
</eventitem>
<eventitem date="2016-10-18" time="5:30 pm" room="QNC 1507"
title="Feminism in STEM - a 101 Panel">
<short>
<p>An introductory feminism in STEM panel, free food.</p>
</short>
<abstract>
<p>
The CS Club is hosting an introductory panel for applications and benefits of feminism in STEM.
Example topics will include the differences between general feminism and feminism applied to STEM.
Dr. Prabhakar Ragde from SCS, Swetha Kulandaivelan, and Filzah Nasir will be speaking on the panel. Fatema Boxwala will be moderating.
Free food will be there and we're in a fancy room. Come on out!
</p>
</abstract>
</eventitem>
<eventitem date="2016-10-13" time="6:00 pm" room="Columbia Lake 2 Fire Pit"
title="CSC and WiCS Go Outside">
<short>
<p>
The CSC and WiCS (Women in Computer Science) are co-hosting a social
event on Thursday, October 13th (the day after reading week). We will
be Going Outside to the Columbia Lake 2 Fire Pit; there will be a
campfire, s'mores, lots of food, frisbees, grass, etc. Bring your
friends!
</p>
</short>
<abstract>
<p>
The CSC and WiCS (Women in Computer Science) are co-hosting a social
event on Thursday, October 13th (the day after reading week). We will
be Going Outside to the Columbia Lake 2 Fire Pit (see
<a href='https://uwaterloo.ca/economics/sites/ca.economics/files/uploads/files/firepit_map_oct_2012.pdf'>map</a>).
There will be a campfire, s'mores, lots of food, frisbees, grass, etc. Bring your friends!
</p>
</abstract>
</eventitem>
<eventitem date="2016-10-06" time="6:00 pm" room="MC 4021"
title="Bringing OOP Best Practices to the World of Functional Programming">
<short>
<p>
The CSC will have its first talk of the term this Thursday, October
6th. UW alumna and CSC member Elana Hashman will be giving a talk on
using functional programming languages (like Racket!) in industry, and
how some concepts from the more common object-oriented paradigm are
translated to the functional paradigm. The abstract for the talk is below.
</p>
</short>
<abstract>
<p>
I transitioned from writing software in imperative, object-oriented
(OO) programming languages to doing functional programming (FP)
full-time, and you can do it, too! In this talk, I'll make a case for
using FP for real-world development, cover some cases where common FP
language features substitute for design patterns and OOP structure,
and provide some examples of translating traditional OO design
patterns into functional code.
</p>
</abstract>
</eventitem>
<eventitem date="2016-09-19" time="6:30 pm" room="MC Comfy Lounge"
title="Fall 2016 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the
Fall 2016 President, Vice-President, Secretary and Treasurer.
Additionally, the Systems Administrator, Office Manager and
Librarian will be appointed.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the
Fall 2016 term on Monday, September 19th at 6:30pm
in the MC Comfy Lounge (MC 3001).
</p>
<p>
The following positions will be elected: President, Vice-President,
Treasurer and Secretary. The following positions will be appointed:
Systems Administrator (to be ratified at the meeting),
Office Manager and Librarian. Additionally, we will be looking
for members to join the Programme Committee.
</p>
<p>
If you would like to run or nominate someone for any of the elected positions,
you can put your name in a special box in the CSC office (MC 3036/3037)
or by sending an email to the Chief Returning Officer (Zachary)
at <a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
Please note that executive positions are restricted
to MathSoc social members. We welcome the participation of first years.
A list of current nominations will be available on the whiteboard
in the office and at
<a href="https://csclub.uwaterloo.ca/elections">https://csclub.uwaterloo.ca/elections</a>.
</p>
<p>
Nominations will close at 6:30pm on Sunday, September 18th
(24 hours prior to the start of elections).
Voting will be done in a heads-down, hands-up manner and is restricted
to MathSoc social members. A full description of the roles and
the election procedure are listed in our Constitution,
available at
<a href="https://csclub.uwaterloo.ca/about/constitution">
https://csclub.uwaterloo.ca/about/constitution
</a>.
Any questions related to the election can be directed to
<a href="mailto:cro@csclub.uwaterloo.ca">cro@csclub.uwaterloo.ca</a>.
</p>
</abstract>
</eventitem>
<!-- Spring 2016 -->
<eventitem date="2016-07-25" time="6:00 pm" room="MC Comfy Lounge"
title="Richard Mann Prof Talk and EOT">
<short>
<p>
Join us on Monday, July 25th at 6pm in the MC Comfy Lounge for an
exciting prof talk by Richard Mann on Open Source Computer Sound
Measurement. The abstract for the talk is below. We will follow
this up by an EOT event with dinner and board games!
Last event of the term, get hype.
</p>
</short>
<abstract>
<p>
An ideal computer audio system should faithfully reproduce signals of
all frequencies in the audible range (20 to 20,000 cycles per second).
Real systems, particularly mobile devices and laptops, may still
produce acceptable quality, but often have a limited response,
particularly at the low (bass) frequencies.
Sound/acousic energy refers to time varying pressure waves in air.
When recording sound, the acoustic signal will be picked up by
microphone, which converts it to electrical signals (voltages). The
signal is then digitized (analog to digital conversion) and stored as
a stream of numbers in a data file. On playback the digital signal is
converted to an electrical signal (digital to analog conversion) and
finally returned as an acoustic signal by a speaker and/or headphones.
In this talk I will present open source software (Octave/Linux) to
measure the end-to-end frequency response of an audio system using the
Discrete Fourier Transform. I will demonstrate the software using a
standard USB audio interface and a consumer grade omnidirectional
microphone.
This is joint work with John Vanderkooy, Distinguished Professor
Emeritus, Department of Physics and Astronomy.
</p>
</abstract>
</eventitem>
<eventitem date="2016-07-21" time="6:00 pm" room="MC 4045"
title="Notorious CS452">
<short>
<p>
Bill Cowan is the Director of the Computer Graphics Lab, and
teaches the notorious CS452, lovingly known as the trains course
by CS students. He will be giving a talk on that very course.
</p>
</short>
<abstract>
<p>
CS452, aka the trains course, has for some time enjoyed notoriety
as a playground for over-achieving masochists. To maintain its
reputation it receives a periodic upgrade, which is now due. This
talk discusses possible directions for the upgrade in the context
of the philosophy that has guided its evolution over the decades
of its existence.
</p>
</abstract>
</eventitem>
<eventitem date="2016-07-14" time="6:30 pm" room="MC 2034"
title="Computer Science: Beyond Bits and Bytes">
<short>
<p>
Gladimir Baranoski is an Associate Professor at the School of Computer Science, in the
Natural Phenomena Simulation Group. He will be giving a talk on underappreciated
facets of computer science and its connections to other disciplines.
</p>
</short>
<abstract>
<p>
Talk Abstract: Computer science is often perceived to be confined to
traditional areas such as operating systems, programming languages,
compilers and so on. Viewed in this context, one’s professional future
in this field seems to be directly linked to the accumulation of knowledge
and practical experience in these areas. Although their importance is
undeniable, it is also possible, and highly recommended, to expand one’s
horizons. In this talk, we are going to informally look at ubiquitous,
albeit sometimes underappreciated, facets of computer science and its
synergistic connections to other disciplines. We are also going to discuss
how creativity and serendipity can impact one’s career and lead to tangible
contributions in physical and life sciences.
</p>
</abstract>
</eventitem>
<eventitem date="2016-07-11" time="7:00 pm" room="BMH Green"
title="WiCS and CSC Go Outside!">
<short>
<p>
Join us at BMH Green for a night outdoors with fellow people in Computer Science!
There will be ice cream and board games and frisbees and maybe some water guns.
Bring your friends!
</p>
</short>
</eventitem>
<eventitem date="2016-06-08" time="6:00 pm" room="MC 5479"
title="scp talks">
<short>
<p>
Listen to cool 15-20 lightning talks by CSC members on a variety of
computer science and related topics.
</p>
</short>
<abstract>
<p>
Come on out to the CSC Short Contemplation Period Talk night on Wednesday,
featuring many short (20 minute) talks from our members. From Automata to
Zip files, any topic is welcome. Come on out and give a talk, or just
learn things. Talks start at 6:00PM and runs till 9, with a break for
dinner, which will be provided.
</p>
</abstract>
</eventitem>
<eventitem date="2016-06-02" time="6:30 pm" room="STC 0010"
title="Code Party 0">
<short>
<p>
Come code with us, eat some food, do some things.
Personal projects you want to work on? Homework
projects you need to finish? Or want some time to explore
some new technology and chat about it? You can join us at Code Party 0
and do it, with great company and great food.
</p>
</short>
</eventitem>
<eventitem date="2016-05-25" time="6:00 pm" room="MC 3036 (CSC Office)"
title="CSC Does Spring Cleaning">
<short>
<p>
Come out and help make the office slightly less messy! We will bribe...
uh, provide you with food for helping. :)
</p>
</short>
<abstract>
<p>
It's that time of the year - spring cleaning. And if you haven't noticed,
our office needs it. Help us clean it and we will give you food to eat.
Pretty good deal if you ask me.
</p>
<p>
Our office manager will also be providing office training to interested
members before the event.
</p>
</abstract>
</eventitem>
<eventitem date="2016-05-12" time="7:00 pm" room="MC 3001 (Comfy)"
title="Spring 2016 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the Spring 2016
for President, Vice-President, Secretary, and Treasurer. Additionally,
librarian, office manager, sysadmin, and fridge regent will be appointed
and ratified.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the Spring 2016
term on Thursday, May 12th at 19:00 in the MC Comfy (MC 3001). During
the meeting, the president, vice-president, treasurer and secretary will
be elected, the sysadmin will be appointed and ratified, and the
librarian and office manager will be appointed. There may be timbits.
</p>
<p>
If you'd like to run for any of these positions or nominate someone, you
can put your name in a special box on top of the fridge in the CSC
office (MC 3036/3037) or send me (Patrick) an email at cro@csclub
uwaterloo.ca. It is highly recommended to send me an email in addition
to nominating yourself by paper in the office. You can also deposit
nominations in the CSC mailbox in MathSoc or present them to me in person.
Nominations will close at 19:00 on Wednesday, May 11th (24 hours
before the start of elections).
</p>
<p>
Voting is done heads-down hands-up, and is restricted to Mathsoc social
members.
</p>
<p>
For the part of the constitution pertaining to elections,
see http://csclub.uwaterloo.ca/about/constitution#officers
</p>
<p>
All members are welcome to run! Especially new members and anyone
interested in being a new exec! Most of the roles have a small guide on
the wiki at https://wiki.csclub.uwaterloo.ca/Exec_Manual and I will
print out a hard copy of a more comprehensive exec manual and bind it myself, I swear.
</p>
</abstract>
</eventitem>
<!-- Winter 2016 -->
<eventitem date="2016-04-04" time="5:00 pm" room="MC Comfy"
title="On Surrounding a Polygon">
<short>
<p>Come out to a talk on surrounding a polygon by Dr. Craig Kaplan! Also stay afterwards for our EOT and socialize :) food will be provided!
</p>
</short>
<abstract>
<p>
Come out to a talk on surrounding a polygon by Dr. Craig Kaplan! Also stay afterwards for our EOT and socialize :) food will be provided!
The prof talk will be on Surrounding a Polygon:
Dr. Craig Kaplan will explore the problem of surrounding a polygon with copies of itself. This problem raises a number of fascinating mathematical questions, and we can use software as an experimental tool to probe the answers to those questions.
<p></p>
He'll also present known mathematical and computational results related to surrounds of polygons, and discuss what they say about larger open questions in tiling theory. Finally, he will also show how the task of surrounding individual polygons can make for fun and challenging puzzles, and say a bit about his experience creating an app based on those puzzles.
</p>
</abstract>
</eventitem>
<eventitem date="2016-03-29" time="6:00 pm" room="MC 4021"
title="SASMS Style Talk Night">
<short>
<p>The CSC is hosting the first annual member talk series! This is a chance for anyone to come and give a short talk on any relevant topic.
Some talks already arranged are on topics ranging from modern Javascript, to the Linux Kernel.</p>
</short>
<abstract>
<p>
The CSC is hosting the first annual member talk series. This is a chance for anyone to come and give a short talk on any relevant topic.
We already have some talks arranged, on topics ranging from modern JavaScript, and the Linux Kernel. More speakers are welcome. If you are interested, please email tbelaire@uwaterloo.ca or signup here:http://goo.gl/forms/zNYbDEQSFU
There will be a break for food halfway through.
</p>
</abstract>
</eventitem>
<eventitem date="2016-03-23" time="6:00 pm" room="QNC 1502"
title="SAT and SMT Solvers for Software Engineering and Security">
<short>
<p>A talk about SAT and SMT Solvers for Software Engineering and Security by Dr. Vijay Ganesh</p>
</short>
<abstract>
<p>
Boolean SAT and SMT solvers increasingly play a central role in the construction of reliable and secure software, regardless of whether such reliability/security is ensured through formal methods, program analysis or testing. This dramatic influence of solvers on software engineering as a discipline is a recent phenomenon, largely attributable to impressive gains in solver efficiency and expressive power. Dr. Vijay Ganesh will motivate the need for SAT and SMT solvers, sketch out their research story thus far, and then describe his contributions to solver research. Specifically, he will talk about a SAT solver called MapleCMS, and a string SMT solver, called Z3str2, developed in his lab. He will also talk about real-world applications enabled by his solvers, and the techniques he developed that helped make them efficient.
</p>
</abstract>
</eventitem>
<eventitem date="2016-03-16" time="6:00 pm" room="MC3003"
title="Git 102">
<short>
<p>Git 102 : Why you learned git in the first place. </p>
</short>
<abstract>
<p>
Learn how to manage multiple remotes, for those times when GitHub goes down. Then learn what to do when you accidentally overwrite your source code! Only basic git knowledge is assumed.
</p>
</abstract>
</eventitem>
<eventitem date="2016-03-09" time="6:30 pm" room="MC4058"
title="Steve Bourque and Mike Patterson Network Infrastructure talk">
<short>
<p>
Steve Bourque and Mike Patterson of IST will give a brief overview of campus network connectivity and interconnectivity.</p>
</short>
<abstract>
<p>
Steve Bourque and Mike Patterson of IST will give a brief overview of campus network connectivity and interconnectivity. Steve will describe the general connections, and Mike will talk about specific security measures in place. We'll have refreshments!
</p>
</abstract>
</eventitem>
<eventitem date="2016-03-03" time="6:00 pm" room="MC Comfy"
title="Tea and Study">
<short>
<p>
It's midterms season, and everyone has to study. So why not come study with the CS Club? Everyone welcome, especially new members!
There will be tea and delicious snacks and outlets. Plus our delightful company.
See you there!
</p>
</short>
<abstract>
<p>
Come join CSC at our Tea and Study event! Everyone welcome, especially new members!
There will be tea and delicious snacks and outlets. Plus our delightful company.
</p>
</abstract>
</eventitem>
<eventitem date="2016-02-10" time="6:30 pm" room="MC Comfy"
title="Movie Night: Big Hero 6">
<short>
<p>
Movie Night! Come watch "Big Hero 6" with the CSC!
</p>
</short>
<abstract>
<p>
Come watch "Big Hero 6" with the Computer Science Club this wednesday the 10th at 6:30 PM in the MC Comfy Lounge.
Why "Big Hero 6"? It's an award-winning animated Disney movie involving an inflatable robot fighting evil in "San Frasokyo". Enough said.
</p>
</abstract>
</eventitem>
<eventitem date="2016-02-04" time="6:00 pm" room="STC 0010"
title="Code Party">
<short>
<p>
The CS Club is having its termly code party! Come out and work on projects, assignments, and more. Food is provided!
</p>
</short>
<abstract>
<p>
Want help installing Linux? Bring a USB, we'll help you.
Want to work on a project, CS homework, or an IRC bot? Come over, we'll have food.
Want to see what it's like to be in the new STC? Plugs at every desk, I'm telling you.
(This term it's going to be in the new STC not in the comfy. We're going for some adventure this term.)
</p>
<p>
Be there, we'll have dinner!
</p>
</abstract>
</eventitem>
<eventitem date="2016-01-28" time="6:00 pm" room="MC 3003"
title="Unix 101">
<short>
<p>
Interested in Linux, but don't know where to start? Come learn some
basic topics with us including interaction with the shell, motivation
for using it, some simple commands, and more! (Cookies after)
</p>
</short>
<abstract>
<p>
New to the Linux computing environment? If you seek an introduction,
look no further (you can if you want we're not the police). Topics that
will be covered include basic interaction with the shell and the
motivations behind using it, and an introduction to compilation. You'll
have to learn this stuff in CS 246 anyways, so why not get a head start!
</p>
<p>
If you're interested in attending, make sure you can log into the Macs
on the third floor, or show up to the CSC office (MC 3036) 20 minutes
early for some help. If you're already familiar with these topics, don't
hesitate to come to Unix 102, planned to be held after Reading Week.
</p>
</abstract>
</eventitem>
<eventitem date="2016-01-23" time="11:00 AM" room="TBA"
title="Eth1: Jane Street Competition">
<short>
<p>
eth1: a day-long programming contest. Form teams and hack
together a trading bot to compete against others and the markets.
</p>
</short>
<abstract>
<p>
eth1: a day-long programming contest. Form teams and hack together a trading bot to compete against others and the markets.
</p>
<p>
Brought to you by: CSC and Jane Street.
</p>
<p>
Each member of the winning team will receive $1000 USD.
</p>
<p>
There'll be lots of (free) food and drink available.
</p>
<p>
Absolutely no special math, OCaml, or finance knowledge is required; you can use any language you like. The contest is entirely technical in nature and you won't need any visual design skills.
</p>
<p>
The exact details of the hackathon aren't released until the competition begins. The one thing you can do ahead of time to prepare is familiarize yourself with the libraries for writing TCP clients in your programming language of choice.
</p>
<p>
<a href="https://docs.google.com/a/janestreet.com/forms/d/1I7UukJDH9ZAVWpLl-2vwmvPWzbWBFjj8g973hidn8eE/viewform">Sign up!</a>
</p>
<p>
The contest will be on Saturday, January 23rd, from 11:00AM - 11:00PM. Signups will close on Monday, January 18th at 11:59PM, and we'll send out confirmations to participants on the 20th.
</p>
<p>
For any other queries, email: eth1-waterloo@janestreet.com
</p>
<p>
Further details will be announced closer to the event. Teams of up to three will be accepted, but you don't have to have a team to sign up — feel free to turn up as a singleton and we'll form teams on the fly.
</p>
</abstract>
</eventitem>
<eventitem date="2016-01-14" time="19:00" room="MC 3001 (Comfy)"
title="Winter 2016 Elections">
<short>
<p>
Interested in Linux, but don't know where to start? Come learn some
basic topics with us including interaction with the shell, motivation
for using it, some simple commands, and more! (Cookies after)
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the Winter 2016
term on Thursday, January 14th in MC Comfy (MC 3001) at 19:00. During
the meeting, the president, vice-president, treasurer and secretary will
be elected, the sysadmin will be ratified, and the librarian and office
manager will be appointed.
</p>
<p>
If you'd like to run for any of these positions or nominate someone, you
can write your name on the whiteboard in the CSC office (MC 3036/3037) or
send me (Charlie) an email at cro@csclub.uwaterloo.ca. Every effort will
be made to note down whiteboard nominations, but it is highly recommended
to send me an email in addition to writing on the whiteboard. You can
also deposit nominations in the CSC mailbox in MathSoc or present them to
me in person. Nominations will close at 18:00 on Wednesday, January 13th.
All members are welcome to run!
</p>
</abstract>
</eventitem>
<!-- Fall 2015 -->
<eventitem date="2015-11-27" time="7:30 PM" room="MC Comfy"
title="WiCS and CSC watch War Games!">
<short>
<p>
WiCS and CSC are watching War Games in the Comfy lounge.
</p>
</short>
<abstract>
<p>
WiCS and CSC are watching War Games in the Comfy lounge.
</p>
<p>
War Games is this movie where these kids phone a computer and then the computer wants to nuke things.
Cold war stuff. Nowadays computers won't let you do that, you have to SSH in instead.
</p>
<p>
We're bringing food. Gluten-free, vegetarian options available. Sandwiches, drinks, and popcorn!
</p>
<p>
Everyone welcome! Stop by!
</p>
</abstract>
</eventitem>
<eventitem date="2015-11-26" time="5:00-7:00 PM" room="MC 4063"
title="An Introduction to Google's FOAM Framework">
<short>
<p>
An introduction to Google's FOAM framework, an open-source modeling
framework written in Javascript, by Google's Kevin Greer.
</p>
</short>
<abstract>
<p>
FOAM is an open-source modeling framework written in Javascript. With FOAM,
you can create Domain Specific Languages (DSLs), which are high-level
models that can be interpreted or compiled to different languages or
environments (Java/Android, Swift/iOS, and JS/Web). Currently, it supports
DSLs for entities/classes, parsers, animations, database queries,
interactive documents, and, most importantly, new DSLs.
</p>
<p>
FOAM supports building text, HTML, and graphical views for DSLs using a
small Model View Controller (MVC) library, which is itself modeled with
FOAM. This library can also be used by modeled Javascript applications.
</p>
<p>
FOAM increases developer productivity by allowing them to express
solutions at a higher, more succinct level. The MVC library also
increases application performance through its efficient data-binding,
caching, and query-optimization mechanisms.
</p>
<p>
Learn more at http://foamdev.com
</p>
<p>
You can get in contact with Kevin Greer on twitter,
<a href="https://twitter.com/kgrgreer">@kgrgreer</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2015-11-23" time="6:00 PM" room="MC 4041"
title="'Static Analysis and Program Optimization Using Dataflow Analysis'">
<short>
<p>
An introduction to some basic issues with optimization of imperative
programs, by Sean Harrap
</p>
</short>
<abstract>
<p>
An introduction to some basic issues with optimization of imperative
programs by Sean Harrap, beginning with traditional methods such as tree
traversals.
</p>
<p>
This will be followed by a more powerful solution to these problems,
providing an overview of its mathematical foundations, and then
describing how it can be used to express optimizations simply and elegantly.
</p>
<p>
Some familiarity with the second year CS core (CS245, CS241, MATH239)
will be assumed.
</p>
</abstract>
</eventitem>
<eventitem date="2015-11-19" time="7:00-8:00 PM" room="MC 4020"
title="'Git 101'">
<short>
<p>
Learn how to use Git properly in an exciting talk by Charlie Wang!
</p>
</short>
<abstract>
<p>
git init, git add, git commit, git 'er done!
</p>
<p>
In Git 101, Charlie Wang will convince you to use Git for your projects and
show you a high level overview of how to use it properly.
</p>
<p>
This talk is recommended for CS 246 students.
</p>
<p>
Come for the tutorial, stay for the bad jokes.
</p>
</abstract>
</eventitem>
<eventitem date="2015-10-16" time="7:00 PM" room="ML Theatre of the Arts"
title="Cory Doctorow - The War on General Purpose Computing">
<short>
Between walled gardens, surveillance agencies, and political opponents,
no matter who's winning the war on general purpose computing you're
losing. The Computer Science Club will be hosting Cory Doctorow's talk
in the Theatre of the Arts on October 16.
</short>
<abstract>
<p>
No Matter Who's Winning the War on General Purpose Computing, You're Losing
</p>
<p>
If cyberwar were a hockey game, it'd be the end of the first period and
the score would be tied 500-500. All offense, no defense.
</p>
<p>
Meanwhile, a horrible convergence has occurred as everyone from car
manufacturers to insulin pump makers have adopted the inkjet printer
business model, insisting that only their authorized partners can make
consumables, software and replacement parts -- with the side-effect of
making it a felony to report showstopper, potentially fatal bugs in
technology that we live and die by.
</p>
<p>
And then there's the FBI and the UK's David Cameron, who've joined in
with the NSA and GCHQ in insisting that everyone must be vulnerable to
Chinese spies and identity thieves and pervert voyeurs so that the spy
agencies will always be able to spy on everyone and everything, everywhere.
</p>
<p>
It's been fifteen years since the copyright wars kicked off, and we're
still treating the Internet as a glorified video-on-demand service --
when we're not treating it as a more perfect pornography distribution
system, or a jihadi recruitment tool.
</p>
<p>
It's all of those -- and more. Because it's the nervous system of the
21st century. We've got to stop treating it like a political football.
</p>
<p>
Cory Doctorow will be talking on Friday October 16, 7pm in
the Theatre of the Arts. Admission is free, and
the talk will be open to the public. Doors open
at 6:30pm. Headsets will be provided for the hard of hearing,
email Patrick at pj2melan@uwaterloo.ca . The theatre is wheelchair accessible.
</p>
<p>
The following books written by Cory will be sold at the event:
<ul>
<li>Little Brother</li>
<li>Homeland</li>
<li>For the Win</li>
<li>Makers</li>
<li>Pirate Cinema</li>
<li>Information Doesn't want to be free</li>
<li>In Real Life</li>
</ul>
</p>
</abstract>
</eventitem>
<eventitem date="2015-10-07" time="5:30 PM" room="MC 4061"
title="Starting an VN Indie Game Company as a UW Student">
<short>
<p>Come out to a talk by Alfe Clemencio!</p>
<p> Many people want to make games as signified by all the game development
schools that are appearing everywhere. But how would you do it as a UW
student? This talk shares the experiences of how making Sakura River
Interactive was founded without any Angel/VC investment.
</p>
</short>
<abstract>
<p>Come out to a talk by Alfe Clemencio!</p>
<p> Many people want to make games as signified by all the game development
schools that are appearing everywhere. But how would you do it as a UW
student? This talk shares the experiences of how making Sakura River
Interactive was founded without any Angel/VC investment.
</p>
<p> The talk will start off with inspiration drawn of Co-op Japan, to it's
beginnings at Velocity. Then a reflection of how various game
development and business skills was obtained in the unexpected ways at
UW will follow. How the application of probabilities, theory of
computation, physical/psychological attraction theories was used in the
development of the company's first game. Finally how various Computer
Science theories helped evaluate feasibility of several potential
incoming business deals.
</p>
<a href="http://www.sakurariver.ca/">From Sakura River interactive</a>
</abstract>
</eventitem>
<eventitem date="2015-10-02" time="7:30 PM" room="MC 4040"
title="'Why Am I Studying This?'">
<short>
<p>
Big-O, the Halting Problem, Finite State Machines, and more are concepts that get
even more interesting in the real world. Come and hear Tom Rathborne talk about how theory
hits reality (often with a bang!) at Booking.com.
</p>
</short>
<abstract>
<ul>
<li>Data Structures</li>
<li>Finite State Machines</li>
<li>big-O</li>
<li>Queuing theory</li>
<li>Race conditions</li>
<li>Compilers</li>
<li>The Halting Problem</li>
<li>etc.</li>
</ul>
<p>
These things get even more interesting in the real world.
Come and hear Tom Rathborne talk about how theory hits reality (often with a bang!) at
Booking.com, the biggest not-a-technology-company on the Internet.
</p>
<p>
Food and drinks will be provided!
</p>
</abstract>
</eventitem>
<eventitem date="2015-09-30" time="5:00 PM" room="DC 1304"
title="Back to Back Talks: Culture Turnaround and Software Defined Networks">
<short>
<p>
Back to back talks from John Stix and Francisco Dominguez on turning
a company's culture around and on Software Defined Networks!
</p>
</short>
<abstract>
<p>
Back to back talks from John Stix and Francisco Dominguez on turning
a company's culture around and on Software Defined Networks!
</p>
<p>
John Stix will be talking about how he turned around the corporate culture at Fibernetics Corporation.
</p>
<p>
Francisco Dominguez will be talking about Software Defined Networks, which
for example can turn multiple flakey internet connections into one reliable
one.
</p>
<p>
The speakers are:
<ul>
<li>John Stix - President, Fibernetics</li>
<li>Francisco Dominguez - CTO, Fibernetics</li>
</ul>
</p>
<p>
Food and drinks will be provided!
</p>
</abstract>
</eventitem>
<eventitem date="2015-09-24" time="4:30 PM" room="EIT 3142"
title="CSC and WiCS Career Panel">
<short>
<p>
The CSC is joining WiCS to host a career panel! Come hear from Waterloo
alumni as they speak about their time at Waterloo, experience with coop,
and life beyond the university. Please register at http://bit.ly/1OyJP6D
</p>
</short>
<abstract>
<p>
The CSC is joining WiCS to host a career panel! Come hear from Waterloo
alumni as they speak about their time at Waterloo, experience with coop,
and life beyond the university. A great chance to network and seek
advice!
</p>
<p>
The panelists are:
<ul>
<li>Joanne Mckinley - Software Engineer, Google</li>
<li>Carol Kilner - COO, BanaLogic Corporation</li>
<li>Harshal Jethwa - Consultant, Infusion</li>
<li>Dan Collens - CTO, Big Roads</li>
</ul>
</p>
<p>
Food and drinks will be provided! Please register
<a href="https://docs.google.com/forms/d/1G-8LFLgxQUkahXvODpS2cVSvceNibTt18Uc8TnhlKI8/viewform?usp=send_form">here</a>
</p>
</abstract>
</eventitem>
<eventitem date="2015-09-22" time="9 PM" room="MC 3001"
title="Results of Fall 2015 Elections">
<short>
<p>
The Computer Science Club has elected its executive for the term, and a new Office Manager and System Administrator have been appointed.
</p>
<p>
See inside for results.
</p>
</short>
<abstract>
<p>
The Computer Science Club has elected its executive for the term, and a new Office Manager and System Administrator have been appointed.
The quorum for elections had been reached, and voting members of the CSC voted for their President, Vice President, Treasurer, and Secretary from among many qualified candidates.
The new elected executive then proceeded to appoint a System Administrator (who became part of the executive <i>ex officio</i>) and an Office Manager.
The appointment of a Librarian was delayed because no suitable and willing candidate was found.
</p>
<p>
The results of the elections are:
<ul>
<li>Simone Hu - President</li>
<li>Theo Belaire - Vice President</li>
<li>Jordan Upiter - Treasurer</li>
<li>Daniel Marin - Secretary</li>
<li>Jordan Pryde - System Administrator</li>
<li>Office Manager - Ilia Chtcherbakov</li>
</ul>
</p>
</abstract>
</eventitem>
<eventitem date="2015-09-22" time="7 PM" room="MC 3001"
title="Fall 2015 Elections">
<short>
<p>
The Computer Science Club will be holding elections for the Fall 2015
term on Tuesday, September 22nd in MC Comfy (MC 3001) at 19:00. During
the meeting, the president, vice-president, treasurer and secretary will
be elected, the sysadmin will be ratified, and the librarian and office
manager will be appointed.
</p>
<p>
See inside for nominations.
</p>
</short>
<abstract>
<p>
The Computer Science Club will be holding elections for the Fall 2015
term on Tuesday, September 22nd in MC Comfy (MC 3001) at 19:00. During
the meeting, the president, vice-president, treasurer and secretary will
be elected, the sysadmin will be ratified, and the librarian and office
manager will be appointed.
</p>
<p>
If you'd like to run for any of these positions or nominate someone, you
can write your name on the board in the CSC office (MC 3036/3037) or
send me (Charlie) an email at cro@csclub.uwaterloo.ca. You can also
deposit nominations in the CSC mailbox in MathSoc or present them to me
in person. Nominations will close at 18:00 on Monday, September 21st.
All members are welcome to run! First-years are especially encouraged to
run for secretary, office manager, and librarian, but they are not
limited to those positions.
</p>
</abstract>
</eventitem>
<eventitem date="2015-09-17" time="6 PM" room="MC 2065"
title="Google Cardboard">
<short>
<p>
Come for a talk from Rob Suderman on Cardboard, Google's recent
exploration in affordable, cereal box based Virtual Reality.
</p>
</short>
<abstract>
<p>
Come for a talk from Rob Suderman on Cardboard, Google's recent
exploration in affordable, cereal box based Virtual Reality.
</p>
<p>
Learn about the tools available to make your own application, some of
the pitfalls to avoid, and an overview of rendering virtual reality
content with some tips and tricks on high performance rendering. The
talk will contain content for everyone interested!
</p>
</abstract>
</eventitem>
<!-- Spring 2015 -->
<eventitem date="2015-07-16" time="6 PM" room="MC 4064"
title="Algorithms for Shortest Paths">
<short>
<p>
Come to this exciting talk about path-finding algorithms which
is being presented by Professor Anna Lubiw.
</p>
</short>
<abstract>
<p>
Finding shortest paths is a problem that comes up in many applications:
Google maps, network routing, motion planning, connectivity in social
networks, and etc.
The domain may be a graph, either explicitly or implicitly represented,
or a geometric space.
</p>
<p>
Professor Lubiw will survey the field, from Dijkstra's foundational algorithm to
current results and open problems.
There will be lots of pictures and lots of ideas.
</p>
<p>
<a href="http://mirror.csclub.uwaterloo.ca/csclub/shortest-paths-CSclub.pdf">Click here to see the slides from the talk.</a>
</p>
<p>
<a href="/media/Algorithms%20for%20Shortest%20Paths">Click here for the recorded talk.</a>
</p>
</abstract>
</eventitem>
<eventitem date="2015-07-08" time="6 PM" room="MC 4060"
title="Infrasound is all around us">
<short>
<p>
Ambient infra sound surrounds us. Richard Mann presents his current
research and equipment on measuring infra sound, and samples of recorded
infra sound.
</p>
</short>
<abstract>
<p>
Infra sound refers to sound waves below the range of human hearing.
Infra sound comes from a number of natural phenomena including weather
changes, thunder, and ocean waves. Common man made sources include
heating and ventilation systems, industrial machinery, moving vehicle
cabins (air, trains, cars), and energy generation (wind turbines, gas
plants).
<br></br>
In this talk Richard Mann will present equipment he has built to measure infra sound, and
analyse some of the infra sound he has recorded.
<br></br>
Note: In Winter 2016 Richard Mann will be offering a new course, in Computer Sound. The
course will appear as CS489/CS689 ("Topics in Computer Science"). This
is a project-based course (60% assignments, 40% project, no final).
Details at his web page,
<a href="http://www.cs.uwaterloo.ca/~mannr">~mannr</a>.
</p>
</abstract>
</eventitem>
<eventitem date="2015-06-26" time="7:00 PM" room="Laurel Creek Firepit"
title="WiCS and CSC Go Outside">
<short>
<p>Come hang out with the Women in Computer Science and the Computer Science Club! There will be s'mores and frozen yogurt. Also fire. And a creek. Let's enjoy the outdoors!</p>
</short>
<abstract>
<p>Come hang out with the Women in Computer Science and the Computer Science Club! There will be s'mores and frozen yogurt. Also fire. And a creek. Let's enjoy the outdoors!</p>
</abstract>
</eventitem>
<eventitem date="2015-06-19" time="6:00 PM" room="MC 3003"
title="UNIX 102">
<short>
<p>n things SCS hasn't told you about the shell</p>
</short>
<abstract>
<p>
This is a continuation of the Unix10X series of seminars that cover the use
of *nix environments, largely through interacting with a command line shell. In
this instalment we will be covering some of what the School of Computer
Science has left out of their introduction to the Command Line / Bash (from
cs246), as well as a brief introduction to having a useful prompt.
<br></br>
Topics to be discussed include:
<ul>
<li>Lost Bash: fancy expansion, arrays, and shopt</li>
<li>The File System is scary: your file names contain white space and newlines</li>
<li>Where Am I: A brief introduction to prompt customization</li>
</ul>
</p>
</abstract>
</eventitem>
<eventitem date="2015-05-22" time="4:00 PM" room="MC 3001 (Coomfy)"
title="By-Elections">
<short>
<p>
As there are vacancies in the executive council, there will be
by-election on May 22nd. The following positions are open for election:
<ul>
<li>Treasurer</li>
<li>Secretary</li>
</ul>
</p>
<p>
The executive are also looking for people who may be interested in the
following positions:
<ul>
<li>Systems Administrator</li>
<li>Office Manager</li>
<li>Librarian</li>
</ul>
</p>
</short>
</eventitem>
<!-- Winter 2015 -->
<eventitem date="2015-04-02" time="5:30 PM" room="MC 4020"
title="Describing and Synthesizing Microfluidics">
<short>
<p>
Derek Rayside presents current research on the field of microfluidics.
Microfluidics are currently developed mainly by trial and error. How can
this be improved?
</p>
</short>
<abstract>
<p>
Microfluidics is an exciting new area concerned with designing devices
that perform some medical diagnoses and chemical synthesis tasks orders
of magnitude faster and less expensively than traditional techniques.
However, microfluidic device design is currently a black art, akin to
how digital circuits were designed before 1980.
<br></br>
We have developed a
hardware description language that is appropriate for the description
and synthesis of both single-phase and multi-phase microfluidic devices.
These are new results that have not yet been published. This is
collaborative work with other research groups in Mechanical Engineering,
Chemical Engineering, and Electrical Engineering.
</p>
</abstract>
</eventitem>
<eventitem date="2015-03-27" time="6:00 PM" room="EIT 1015"
title="Constitutional GM and Code Party 1">
<short>
<p>
GM for the W2015 term, two main amendments to be discussed: Requiring
elections to be held within two weeks of the beginning of term and
adopting a club-wide code of conduct.
<br></br>
Code Party 1 follows, we're doing timed code golf problems, T-shirts might
find themselves on people who do well on code golf.
</p>
</short>
<abstract>
<p>
GM for the W2015 term, two main amendments to be discussed: Requiring
elections to be held within two weeks of the beginning of term and
adopting a club-wide code of conduct.
<br></br>
Code Party 1 follows, we're doing timed code golf problems, T-shirts might
find themselves on people who do well on code golf.
</p>
</abstract>
</eventitem>
<eventitem date="2015-03-10" time="6:00 PM" room="MC 4040"
title="Runtime Type Inference in Dynamic Languages - Day 2">
<short>
<p>
Day 2 of Runtime Type Inference in Dynamic Languages with Kannan Vijayan
</p>
</short>
<abstract>
<p>
Day 2 of Runtime Type Inference in Dynamic Languages with Kannan Vijayan
</p>
</abstract>
</eventitem>
<eventitem date="2015-03-09" time="6:00 PM" room="MC 4040"
title="Runtime Type Inference in Dynamic Languages - Day 1">
<short>
<p>
Javascript is fast. In some cases, very close to compiled-language fast.
How is this even possible? How do we know what types our variables have?
How can we optimize it well? Kannan Vijayan will be talking about the
historical advances in JIT-compilation of dynamically typed programs over
two days. Of course, both of those talks will have free food.
</p>
</short>
<abstract>
<p>
How do we make dynamic languages fast? Today, modern Javascript engines
have demonstrated that programs written in dynamically typed scripting lan-
guages can be executed close to the speed of programs written in languages
with static types. So how did we get here? How do we extract precious type
information from programs at runtime? If any variable can hold a value of any
type, then how can we optimize well?
<br></br>
This talk covers a bit of the history of the techniques used in this space, and
tries to summarize, in broad strokes, how those techniques come together to
enable efficient jit-compilation of dynamically typed programs.
To do the topic justice, Kannan Vijayan will be talking the Monday and
Tuesday March 9th and 10th.
<br></br>
Does that mean two consecutive days of free food? Yes it does.
</p>
</abstract>
</eventitem>
<eventitem date="2015-03-03" time="6:00 PM" room="MC 2038"
title="SAT and SMT solvers">
<short>
<p>
Murphy Berzish explains how to programmatically determine if a program is satisfiable,
and how to find a concrete counterexample if it is unsatisfiable. At the core
are SAT/SMT solvers. SAT theory deals with Boolean Satisfiability solvers,
while SMT theory--Satisfiability Modulo a Theory--allows SMT to be extended
to common data structures. Free food!
</p>
</short>
<abstract>
<p>
Does your program have an overflow error? Will it work with all inputs? How
do you know for sure? Test cases are the bread and butter of resilient design,
but bugs still sneak into software. What if we could prove our programs are
error-free?
<br></br>
Boolean Satisfiability (SAT) solvers determine the ‘satisfiability’ of boolean
set of equations for a set of inputs. An SMT solver (Satisfiability Modulo
a Theory) applies SMT to bit-vectors, strings, arrays, and more. Together,
we can reduce a program and prove it is satisfiable, or provide a concrete
counter-example. The implications of this are computer-aided reasoning tools
for error-checking in addition to much more robust programs.
<br></br>
In this talk Murphy Berzish will give an overview of SAT/SMT theory and
some real-world solution methods. He will also demonstrate applications of
SAT/SMT solvers in theorem proving, model checking, and program verification.
<br></br>
What else? Oh yes, refreshments and drinks will be served. Come out!
</p>
</abstract>