Welcome!
Welcome to the University of Waterloo Computer Science Club website. Use the menu at the top of our pages to navigate around our website. If you're new to the Computer Science Club, be sure to check out our About section.
News and Upcoming Events
| Upcoming Events | |
|---|---|
| 2015-03-03 | SAT and SMT solvers. 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! |
| 6:00 PM, MC 2038 | |
| 2015-03-09 | Runtime Type Inference in Dynamic Languages - Day 1. 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. |
| 6:00 PM, MC 4040 | |
| 2015-03-10 | Runtime Type Inference in Dynamic Languages - Day 2. Day 2 of Runtime Type Inference in Dynamic Languages with Kannan Vijayan |
| 6:00 PM, MC 4040 | |
| Past events are available. | |
| News | |
| 2015-01-16 |
Elections for Winter 2015 have concluded. The following people were elected:
The following people were appointed:
|
| yj7kim | |
| Older news items are available. Make sure you check out the uw.csc newsgroup and our announcement boards on the second and third floor of MC for more updates. You can also download an ICS of our events. | |
Getting involved
If you are interested in holding, planning, or helping out with an event, don't hesitate to contact the Programme Committee right away! We will be more than glad to help you organise and hold your event. Industry representatives should take a look at our wiki page for industry events. If you want to help out with other CSC stuff, drop by our office and we'll give you something to do.
You might want to try contacting the Systems Committee if you're interested in doing system administration tasks or if you need assistance using CSC computer systems.
Getting your own homepage
Many members of the Computer Science Club host their personal websites on our web server. To find out how to get your own, check out the Services page.