Fall 2014

Tuesday, September 2nd
Mathematics & Computer Science Welcome Back BBQ
The Mathematics & Computer Science professors will be grilling hot dogs, hamburgers and veggie burgers. They will also provide side dishes and desserts. Come out & enjoy the fun!

12:00 p.m.
Rector Courtyard (Rain Location: Rector Atrium)
Lunch provided

Tuesday, September 23rd

Professor Tim Wahls
"Formal Methods, Social Networking and Code Generation"

Event-B is a formal notation for modeling software systems. Event-B tools (notably the Rodin platform) provide strong support for proving correctness and safety properties of models, producing a level of assurance that no amount of testing can achieve.  In this talk, we give a tutorial introduction to Event-B by developing a simple model of a social networking application and using Rodin to prove a few correctness properties of that model.  We then demonstrate using the EventB2SQL tool to automatically generate a database application from the Event-B model, yielding an implementation that maintains those same correctness properties.  EventB2SQL is joint work with Qi Wang '13 and Mia Shang '16.

12:00 p.m.
Tome 115
Lunch provided

Tuesday, September 30th
Maurice Royce, Asir Saeed, Hieu Le - Dickinson College students
"Talk Title TBD"

Abstract: TBD

12:00 p.m.
Tome 115
Lunch provided

Tuesday, October 14th
Michael Belfatti
"Talk Title TBD"

Abstract: TBD

12:00 p.m.
Tome 115
Lunch provided

Tuesday, October 28th
Professor Shannon Talbott, Moravian College
"Talk Title TBD"

Abstract: TBD

12:00 p.m.
Tome 115
Lunch provided

Tuesday, November 11th
Marc Besson and Katherine Roy - Dickinson College students
"Talk Title TBD"

Abstract: TBD

1:30-2:30 p.m.
Tome 115
Snacks provided

Tuesday, November 18th
Professor Dick Forrester
"Talk Title TBD"

Abstract: TBD

12:00 p.m.
Tome 115
Lunch provided

Tuesday, December 9th
Professor Holley Friedlander
"Talk Title"

Abstract: TBD

12:00 p.m.
Tome 115
Lunch provided