added s16 elections
authorPatrick Melanson <pj2melan@uwaterloo.ca>
Fri, 6 May 2016 19:38:52 +0000 (15:38 -0400)
committerPatrick Melanson <pj2melan@uwaterloo.ca>
Fri, 6 May 2016 19:38:52 +0000 (15:38 -0400)
events.xml

index 322df97..e8ea7fe 100644 (file)
@@ -3,6 +3,52 @@
 <!DOCTYPE eventdefs SYSTEM "csc.dtd" [<!ENTITY mdash "&#x2014;">]>
 <eventdefs>
 
+<!-- Spring 2016 -->
+<eventitem date="2016-05-12" time="19:00" 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">
@@ -15,7 +61,7 @@
 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. 
+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.
@@ -27,7 +73,7 @@ He'll also present known mathematical and computational results related to surro
 <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. 
+    <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>
@@ -51,7 +97,7 @@ There will be a break for food halfway through.
   </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.      
+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>