Difference between revisions of "Schedule"

From CSLabsWiki
Jump to: navigation, search
(seL4 & POSIX Project)
(Added two new weekly meetings)
Line 2: Line 2:
  
 
=Weekly Events=
 
=Weekly Events=
 +
 +
===Type Theory Study Group===
 +
'''Project Head''': [[User:cmr|Rust]]
 +
 +
'''Time''': Every Sunday at 12:00pm and Thursday at 6:15pm
 +
 +
'''Description''': A study group learning about Type Theory using the ''Types and Programming Languages'' Book
  
 
===Programming Challenges===
 
===Programming Challenges===
Line 13: Line 20:
 
'''Project Head''': [[User:lannonbr|Benjamin]]
 
'''Project Head''': [[User:lannonbr|Benjamin]]
  
'''Time''': Every sunday at 4:00pm
+
'''Time''': Every Sunday at 4:00pm
  
 
'''Description''': a weekly workshop series on the Vim text editor.
 
'''Description''': a weekly workshop series on the Vim text editor.
 +
 +
===ITL Beowulf Cluster===
 +
'''Project Heads''': Mike Fulton, [[User:Kimbalac|Baha]], & [[User:lannonbr|Benjamin]]
 +
 +
'''Time''': Every Tuesday at 6:00pm
 +
 +
'''Description''': The meeting to discuss the project to convert the ITL into a Computing Cluster.
  
 
===COSI Meeting===
 
===COSI Meeting===

Revision as of 15:28, 3 October 2015

This is going to be a page that will list events going on in the labs this semester.

Weekly Events

Type Theory Study Group

Project Head: Rust

Time: Every Sunday at 12:00pm and Thursday at 6:15pm

Description: A study group learning about Type Theory using the Types and Programming Languages Book

Programming Challenges

Project Head: Baha

Time: Every Sunday at 2:00pm

Description: a weekly programming challenge to learn new paradigms and programming languages.

Vim Workshop

Project Head: Benjamin

Time: Every Sunday at 4:00pm

Description: a weekly workshop series on the Vim text editor.

ITL Beowulf Cluster

Project Heads: Mike Fulton, Baha, & Benjamin

Time: Every Tuesday at 6:00pm

Description: The meeting to discuss the project to convert the ITL into a Computing Cluster.

COSI Meeting

Project Head: COSI

Time: Every Wednesday at 7:30pm (7:00pm for the forum)

Description: COSI's weekly meeting. Come bring project updates, lightning talks, and see what people in COSI have been up to.

Ziltoid the Omniscient

Project Head: Rust

Time: Every Friday at 5:00pm

Description: a weekly meeting on setting up COSI's gateway box and firewall, Ziltoid.

Robigalia

Project Head: Rust

Time: Every Saturday at 2:00pm

Description: a weekly meeting for implementing a POSIX server for the seL4 microkernel.

Other Events

Key Signing Party

Project Head: Rust

Time: After-meeting slot, 2015-10-28

Description: A PGP key signing party.

Previous Events

Previous happenings in the labs are listed on List of Previous Events (2015-2016). If you know of a previous event that happened that isn't on the list, please feel free to add it.