added two talks
This commit is contained in:
parent
87b996ffe8
commit
679ef7f017
54
events.xml
54
events.xml
|
@ -1,7 +1,57 @@
|
|||
<eventdefs>
|
||||
<!-- Summer 2005 -->
|
||||
<eventitem date="2005-?-?" time="TBA" room="TBA" title="Programming and Verifying the Interactive Web">
|
||||
<short>Shriram Krishnamurthi will be talking about continuations in Web Programming</short>
|
||||
<abstract>
|
||||
<p>
|
||||
Server-side Web applications have grown increasingly common, sometimes
|
||||
even replacing brick and mortar as the principal interface of
|
||||
corporations. Correspondingly, Web browsers grow ever more powerful,
|
||||
empowering users to attach bookmarks, switch between pages, clone
|
||||
windows, and so forth. As a result, Web interactions are not
|
||||
straight-line dialogs but complex nets of interaction steps.
|
||||
</p>
|
||||
<p>
|
||||
In practice, programmers are unaware of or are unable to handle these
|
||||
nets of interaction, making the Web interfaces of even major
|
||||
organizations buggy and thus unreliable. Even when programmers do
|
||||
address these constraints, the resulting programs have a seemingly
|
||||
mangled structure, making them difficult to develop and hard to
|
||||
maintain.
|
||||
</p>
|
||||
<p>
|
||||
In this talk, I will describe these interactions and then show how
|
||||
programming language ideas can shed light on the resulting problems
|
||||
and present solutions at various levels. I will also describe some
|
||||
challenges these programs pose to computer-aided verification, and
|
||||
present solutions to these problems.
|
||||
</p>
|
||||
</abstract>
|
||||
</eventitem>
|
||||
<eventitem date="2005-06-07" time="4:00 PM" room="TBA" title="UW's CS curriculum: past, present, and future"
|
||||
<short>Come out to here Prabhakar Ragde talk about our UW's CS curriculum</short>
|
||||
<abstract>
|
||||
<p>
|
||||
I'll survey the evolution of our computer science curriculum over the
|
||||
past thirty-five years to try to convey the reasons (not always entirely
|
||||
rational) behind our current mix of courses and their division into core
|
||||
and optional. After some remarks about constraints and opportunities in
|
||||
the near future, I'll open the floor to discussion, and hope to hear
|
||||
some candid comments about the state of CS at UW and how it might be
|
||||
improved.
|
||||
</p><br>
|
||||
About the speaker:<br>
|
||||
<p>
|
||||
Prabhakar Ragde is a Professor in the School of Computer Science at UW.
|
||||
He was Associate Chair for Curricula during the period that saw the
|
||||
creation of the Bioinformatics and Software Engineering programs, the
|
||||
creation of the BCS degree, and the strengthening of the BMath/CS degree.
|
||||
</p>
|
||||
</abstract>
|
||||
</eventitem>
|
||||
|
||||
<!-- Winter 2005 -->
|
||||
<eventitem date="2005-03-15" time="4:30 PM" room="MC 4060" title="Oh No! More
|
||||
Lemmings Day!">
|
||||
<eventitem date="2005-03-15" time="4:30 PM" room="MC 4060" title="Oh No! More Lemmings Day!">
|
||||
<short>Come out for some retro Amiga-style Lemmings gaming action!</short>
|
||||
<abstract>
|
||||
<p>
|
||||
|
|
Loading…
Reference in New Issue