CUSEC 2006

I am glad to announce that Microsoft has just signed on as a Platinum sponsor for CUSEC v5.0.

Look out for their booth at CUSEC’s career fair. Coming to CUSEC just became a sweeter deal. You ask why? Well, remember how I mentioned Electronic Arts will be donating games as prizes. You guessed it, Microsoft will be contributing four XBox 360s to CUSEC v5.0 as prizes for certain events. Now you can have EA’s next. gen. games and Microsoft’s console to play them on!

I would like to bring your attention to our fifth and final Keynote announcement, Connie Heitmeyer.

Connie is the Head of the Software Engineering Section of the Naval Research Laboratory’s Center for High Assurance Computer Systems, and Chief Designer of the SCR. Her research interests are in formal specification and formal analysis of software and system requirements and of high assurance software systems. She is also very interested in transferring formal methods technology and tools to software practitioners. Connie’s keynote will describe the many different roles that formally based tools can play in debugging, verifying, and validating software and software artifacts, with emphasis on tools for specifying and analyzing software requirements.

See the Keynotes pages for Connie’s (and all the keynotes) bio and talk abstract. For more of Connie’s work, take a look at some of her selected publications.

Finally the answer you have all been waiting for: CUSEC 2006 will be held at the Hotel Omni Mont-Royal. If you have attended CUSEC in Montreal in previous years it will not be hard to find, as the Omni is a block west of the Centre Mont-Royal.

For head delegates, stay tuned to the mailing list for details about hotels in the area with rates that are feasible for students.

Maps to the Omni courtesy of Google Maps and Omni Hotels (includes directions).

The Omni is located in the heart of the beautiful city of Montreal. Evenings after the conference you can get away with (or from) attendees and check out the many shoppes, pubs, and clubs in the downtown core, take a short Metro ride to Vieux-Montreal, or if the the temperature allows take a ride on a horse drawn sleigh atop Mont Royal.