BEGIN:VCALENDAR
METHOD:PUBLISH
PRODID:-//Apple Inc.//iCal 3.0//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:CIS
X-WR-RELCALID:F388636C-6084-4B93-A009-29994A47C73A
VERSION:2.0
X-WR-TIMEZONE:US/Eastern
BEGIN:VTIMEZONE
TZID:US/Eastern
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:19551030T020000
RRULE:FREQ=YEARLY;UNTIL=20061029T060000Z;BYMONTH=10;BYDAY=-1SU
TZNAME:EST
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:19870405T020000
RRULE:FREQ=YEARLY;UNTIL=20060402T070000Z;BYMONTH=4;BYDAY=1SU
TZNAME:EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
TZNAME:EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SEQUENCE:1
DESCRIPTION:Snacks by Ben
UID:C45FDDB4-804A-11D9-91C9-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050309T140000
DTSTAMP:20050216T191909Z
SUMMARY:SIGHPC: Dave Shepherd
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20050309T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:5
TRANSP:OPAQUE
UID:A5375C16-85BE-11D9-B4A2-000A95D994B2
DTSTART;TZID=US/Eastern:20050328T130000
DTSTAMP:20050223T171643Z
SUMMARY:UD Spring Break
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050328T140000
RRULE:FREQ=DAILY;INTERVAL=1;UNTIL=20050403T035959Z
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:7642FA70-85AE-11D9-B4A2-000A95D994B2
DTSTART;VALUE=DATE:20050226
DTSTAMP:20050223T171840Z
SUMMARY:Birthday: Lori Pollock/Dan Chester
CREATED:20080707T001754Z
DTEND;VALUE=DATE:20050227
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=2
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:C08F4C57-85AD-11D9-B4A2-000A95D994B2
DTSTART;VALUE=DATE:20050316
DTSTAMP:20050223T151544Z
SUMMARY:Interview: Aidong Lu
CREATED:20080707T001754Z
DTEND;VALUE=DATE:20050317
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
DESCRIPTION:Snacks by Anthony
UID:675CE5C8-804E-11D9-91C9-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050316T140000
DTSTAMP:20050223T171246Z
SUMMARY:SIGHPC: Ben Breech
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20050316T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:B29E4A00-804A-11D9-91C9-000A95D994B2
DTSTART;TZID=US/Eastern:20050302T140000
STATUS:CANCELLED
DTSTAMP:20050228T163654Z
SUMMARY:CANCELLED: SIGHPC: Padma Raghavan
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050302T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:546B0A02-85E6-11D9-95B6-000A95AFADC4
DTSTART;VALUE=DATE:20050302
DTSTAMP:20060219T002317Z
SUMMARY:Interview: Eli Tilevich
CREATED:20080707T001753Z
DTEND;VALUE=DATE:20050303
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
DESCRIPTION:205 Gore Hall
UID:E08A47D4-A52F-11D9-B1E2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050429T143000
DTSTAMP:20050404T173849Z
SUMMARY:CIS Distinguished Lecturer: Ramesh Jain
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20050429T160000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:6
DESCRIPTION:Location: 102A\nTitle: Programming Dynamic Networks of Mobil
 e Devices\n\n                   Ulrich Kremer\n            Department of
  Computer Science\n                Rutgers University\n\nAbstract:\n\nDy
 namic networks of mobile devices such as smart phones and PDAs\nrepresen
 t a new and exciting distributed system architecture. Building \ndistrib
 uted applications on such an architecture poses new design \nchallenges 
 in programming models\, languages\,\ncompilers\, and runtime systems.\nT
 his talk will introduce SpatialViews\, a high-level language designed \n
 for programming mobile devices connected through a wireless ad-hoc\nnetw
 ork. SpatialViews allows specification of virtual networks with nodes\np
 roviding desired services and residing in interesting spaces.\nThese nod
 es are discovered dynamically with user-specified time \nconstraints and
  quality of result (QoR). The programming model supports \n``best-effort
 '' semantics\, i.e.\,\ndifferent executions of the same program may resu
 lt in ``correct''\nanswers of different quality. It is the responsibilit
 y of the compiler \nand runtime system to produce a high-quality answer 
 for the particular \nnetwork and resource conditions encountered during 
 program execution.\nExample applications will be used to illustrate the 
 different features \nof the SpatialViews language\, and to demonstrate t
 he expressiveness of \nthe language and the efficiency of the compiler g
 enerated code. Sample \napplications include sensor network applications
  that collect and \naggregate sensor data within the network\, applicati
 ons that use dynamic \nservice installation and computation offloading\,
  and augmented-reality \ngaming. The efficiency of the compiler generate
 d code is verified \nthrough simulation and physical measurements. The r
 eported results show \nthat SpatialViews is an expressive and effective\
 nlanguage for ad-hoc networks. In addition\, compiler optimizations can 
 \nsignificantly improve response times and energy consumption. More \nin
 formation about the language\, compiler and runtime system\, including\n
 a distribution of our prototype system\, can be found at \nhttp://www.cs
 .rutgers.edu/spatialviews .\n
UID:5A8EEE53-44A7-44F6-B966-B807D1425277
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20070223T143000
DTSTAMP:20070208T021412Z
SUMMARY:SIGSys: Uli Kremer
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20070223T153000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
TRANSP:OPAQUE
UID:3DB108FA-9643-11D9-A00E-000A95AFADC4
DTSTART;TZID=US/Eastern:20050406T093000
DTSTAMP:20060219T002315Z
SUMMARY:Colloquium: Venkatesh Ranganath 
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20050406T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
TRANSP:OPAQUE
UID:B0C2F551-89E4-4447-97BA-52A562F6322B
DTSTART;TZID=US/Eastern:20070214T153000
DTSTAMP:20070208T021215Z
SUMMARY:CIS Distinguished Speaker: David Mills
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20070214T163000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:7
DESCRIPTION:Snacks by Sreedevi
UID:7FAFA070-804E-11D9-91C9-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050427T140000
DTSTAMP:20050421T022943Z
SUMMARY:SIGHPC: Emily Gibson
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050427T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
DESCRIPTION:http://www.cs.wm.edu/~coppit/
UID:6065F05F-E186-4A84-8D0E-FEB46C8DD291
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20060315T140000
DTSTAMP:20060312T170916Z
SUMMARY:SIGHPC Speaker: David Coppit
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20060315T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
DESCRIPTION:327 Purnell
UID:6871BE6B-85E6-11D9-95B6-000A95AFADC4
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050302T093000
DTSTAMP:20050224T155922Z
SUMMARY:Colloquium: Eli Tilevich
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050302T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
DESCRIPTION:Memorial 107
UID:0151D084-84D4-11D9-B4A2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050311T110000
DTSTAMP:20050224T140104Z
SUMMARY:Ben Breech Proposal
CREATED:20080707T001751Z
DTEND;TZID=US/Eastern:20050311T120000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:1
DESCRIPTION:327 Purnell
UID:0F9ED24D-85AE-11D9-B4A2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050316T093000
DTSTAMP:20050228T163637Z
SUMMARY:Collquium: Aidong Lu
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20050316T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:1
DESCRIPTION:327 Purnell
UID:0DD258C5-85AE-11D9-B4A2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050311T093000
DTSTAMP:20050228T163630Z
SUMMARY:Collquium: Bruce Childers
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20050311T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
DESCRIPTION:304 Gore
UID:5CF93536-B675-11D9-A3BC-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050504T140000
DTSTAMP:20050426T170538Z
SUMMARY:Armando Caro - Defense
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20050504T160000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:8
DESCRIPTION:Title:  Configuration-Specific Fault Detection and Diagnosis
  in Web\nApplications\n\nAbstract:  Software portability is a key concer
 n when prospective runtime\nenvironments are highly configurable\; varia
 tions in environment settings\,\ndefined here as a configuration\, can h
 ave a significant impact on software\nexecution.  Detecting faults that 
 only surface in precise configurations\nis both extremely important and 
 difficult.  The primary focus of our work\nis detecting and diagnosing c
 onfiguration-specific faults with respect to\nweb application developmen
 t.  Current approaches suffer from time and\nresource constraints\, and 
 subsequently\, configuration-sensitive faults\nescape detection until we
 b applications are fielded.\n\nWe have developed a framework that suppor
 ts end-to-end detection and\ndiagnosis of web application faults that on
 ly surface in precise\nconfigurations.  The underlying basis for the fra
 mework is the direct\ncorrelation between unsupported HTML tags/CSS rule
 s and the occurrence of\nconfiguration-specific faults.  The framework a
 cquires tag/rule support\nknowledge through both automated (machine lear
 ning) and manual (expert\ninput) means and isolates fault-prone source c
 ode elements based on this\nknowledge.  Recognizing the impact that tag/
 rule representation\, learning\nstrategy\, and tag interaction can have 
 on learning accuracy\, we have\ninvestigated alternate schemes for each.
   Moreover\, we have explored (1)\nclient configuration space representa
 tion models and (2) visualization of\nconfiguration-sensitive fault dete
 ction results to\, respectively\, improve\nfault detection efficiency an
 d to facilitate correction of isolated\nfaults.\n\nBio:  Cyntrica Eaton 
 is a PhD Candidate in the Computer Science Department\nat the University
  of Maryland. She received her BS in Computer Science\nfrom Norfolk Stat
 e University in 2001. She was awarded fellowships from\nboth the Nationa
 l Consortium for Graduate Degrees for Minorities in\nEngineering and Sci
 ence\, Inc. (GEM) and The David and Lucile Packard\nFoundation. Her gene
 ral research interest is web testing and her current\nfocus is on compli
 ance analysis. She is a student member of the ACM and\nIEEE Computer Soc
 iety.\n
UID:0416B547-036F-4A54-A198-7B3A32163703
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20061129T133000
DTSTAMP:20061129T161323Z
SUMMARY:SIGSys: Cyntrica Eaton
CREATED:20080707T001751Z
DTEND;TZID=US/Eastern:20061129T143000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
TRANSP:OPAQUE
UID:BE6EBB42-84FC-11D9-B4A2-000A95D994B2
DTSTART;VALUE=DATE:20050311
DTSTAMP:20050223T151511Z
SUMMARY:Interview: Bruce Childers 
CREATED:20080707T001754Z
DTEND;VALUE=DATE:20050312
END:VEVENT
BEGIN:VEVENT
SEQUENCE:5
TRANSP:OPAQUE
UID:5E402DF4-9643-11D9-A00E-000A95AFADC4
DTSTART;TZID=US/Eastern:20050408T153000
DTSTAMP:20050419T184021Z
SUMMARY:Colloquium: Kirk Cameron
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20050408T163000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:9E894B4C-85AB-11D9-B4A2-000A95D994B2
DTSTART;VALUE=DATE:20050309
DTSTAMP:20050223T150029Z
SUMMARY:Interview: Jingyi Yu
CREATED:20080707T001754Z
DTEND;VALUE=DATE:20050310
END:VEVENT
BEGIN:VEVENT
SEQUENCE:11
DESCRIPTION:120 Sharp Lab\n\nFaculty Candidate Jun Wang\n\nLightweight\,
  High-performance I/O for Data-intensive Computing\n\nAbstract:\n\nFile 
 and storage systems are playing an increasingly important role in\nhigh-
 performance computing as the performance gap between CPU and disk\nconti
 nuously increases. Recently\, the HPC community and Department of\nEnerg
 y (DOE) have been developing several parallel file systems to address\nt
 he problem\, such as the parallel virtual file system-PVFS2\, Lustre\, I
 BM\nGPFS and Panasas ActiveScale File System (PanFS). Many newly emergin
 g\ndata-intensive applications in HPC community\, such as high-energy ph
 ysics\,\nclimate modeling and bioinformatics\, bring new I/O problems on
  a scale\nthat was heretofore unsolvable. It could take a long time to d
 evelop an\nentire parallel file system from scratch. If new portable\, c
 ustomized\nsoftware components are plugged into these systems\, better s
 ustained high\nI/O performance and higher scalability will be achieved\,
  and the\ndevelopment cycle of next-generation parallel file systems wil
 l be\nshortened.\n\nIn this talk\, we discuss a lightweight\, I/O manage
 ment package LightIO\nbeing developed to extend and leverage current par
 allel file systems.  It\nconsists of several components: 1) a lightweigh
 t\, segment-structured local\nfile system (LSFS) to boost local file I/O
  performance\; 2) an\napplication-level\, RDMA-based cache manager (Cach
 eRDMA) to improve\nintra-cluster data communication performance and etc.
  At present\, we are\nprototyping these lightweight components into the 
 Parallel Virtual File\nSystem 2 (PVFS2) on a small testbed and will soon
  deploy the\nextended prototype on large-scale clusters to gauge its eff
 ectiveness.\n\n\nShort Bio\n\nJun Wang is an Assistant Professor and the
  Director of Laboratory for\nComputer Architecture and Storage System (C
 ASS) in the Department of\nComputer Science and Engineering at the Unive
 rsity of Nebraska-Lincoln.\nHis current areas of interests are high-perf
 ormance computing\, file and\nstorage systems\, Peer-to-Peer\, Cluster a
 nd Grid Computing\, low-power\ncomputer systems\, and performance evalua
 tion and modeling.\n\nProf. Wang received the 2005 DOE Early Career Prin
 cipal Investigator\nAward. He secured an NSF Computer Systems Research g
 rant and an NSF\nComputer Systems Architecture seed grant in 2004 and 20
 05\, respectively.\nHe has been actively serving as the NSF panelist and
  the DOE grant\nproposal reviewer. He is a USENIX campus liaison at UNL.
  He has published\nover 30 refereed and invited journal and conference p
 apers. He is a member\nof ACM\, IEEE\, USENIX and SNIA.\n
UID:9A1E1AC2-3754-455C-AB09-4C81C3701BA3
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20060313T093000
DTSTAMP:20060307T181325Z
SUMMARY:Jun Wang
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20060313T110000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:1
DESCRIPTION:327 Purnell
UID:0BFD721B-85AE-11D9-B4A2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050309T093000
DTSTAMP:20050228T163622Z
SUMMARY:Collquium: Jingyi Yu
CREATED:20080707T001751Z
DTEND;TZID=US/Eastern:20050309T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:499BA695-9643-11D9-A00E-000A95AFADC4
DTSTART;VALUE=DATE:20050408
DTSTAMP:20060219T002315Z
SUMMARY:Interview: Kirk Cameron (LSU)
CREATED:20080707T001752Z
DTEND;VALUE=DATE:20050409
END:VEVENT
BEGIN:VEVENT
SEQUENCE:9
DESCRIPTION:Location: Smith 102A\n\nTitle: Computational Foundations of 
 Automatic Differentiation\n\nDr. Paul Hovland\nMathematics and Computer 
 Science Division\nArgonne National Laboratory\n\nAbstract:\n\nAutomatic\
 , or algorithmic\, differentiation is a technique for\ntransforming a pr
 ogram or subprogram that computes a mathematical\nfunction into one that
  computes the derivatives of that function.\nSuccessful implementation o
 f automatic differentiation tools requires\nresearch and development acr
 oss a broad spectrum of computer science\,\nincluding graph theory\, com
 pilers\, parallel algorithms\, and numerical\nanalysis.  We describe som
 e of the computational foundations of\nautomatic differentiation\, inclu
 ding graph-based heuristics for\nidentifying and exploiting common subex
 pressions\, parallel numerical\nalgorithms\, and domain-specific dataflo
 w analysis problems.  We\ndemonstrate the importance of accurate derivat
 ives to numerical\nalgorithms.  We also describe ongoing research in the
  design of\nlanguage-independent source transformation infrastructures a
 nd memory\nmanagement for automatic differentiation algorithms.\n
UID:4519D266-8465-4A00-A03F-DD340F3B8E20
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20070411T153000
DTSTAMP:20070404T203643Z
SUMMARY:SIGSys: Paul Hovland
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20070411T170000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:7C4FD6D4-85AB-11D9-B4A2-000A95D994B2
DTSTART;VALUE=DATE:20050304
DTSTAMP:20050223T145959Z
SUMMARY:Interview: Vivek Kwatra
CREATED:20080707T001754Z
DTEND;VALUE=DATE:20050305
END:VEVENT
BEGIN:VEVENT
SEQUENCE:6
TRANSP:OPAQUE
UID:F14D55A0-376F-4137-ADA3-B601A6B6F4B9
DTSTART;TZID=US/Eastern:20061025T160000
DTSTAMP:20061026T102120Z
SUMMARY:Lecture: Paul Amer
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20061025T170000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:1
TRANSP:OPAQUE
UID:B3C6A7D2-804E-11D9-91C9-000A95D994B2
DTSTART;TZID=US/Eastern:20050930T150000
DTSTAMP:20050216T191236Z
SUMMARY:Anthony Danalis
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050930T160000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:360FB65A-9643-11D9-A00E-000A95AFADC4
DTSTART;VALUE=DATE:20050406
DTSTAMP:20060219T002317Z
SUMMARY:Interview: Venkatesh Ranganath (Kansas State)
CREATED:20080707T001752Z
DTEND;VALUE=DATE:20050407
END:VEVENT
BEGIN:VEVENT
SEQUENCE:7
DESCRIPTION:Location: 102A
UID:61432156-B9AD-4B93-AE21-B9CDC79AF03B
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20070302T143000
DTSTAMP:20070206T124406Z
SUMMARY:SIGSys: Michael Hicks
CREATED:20080707T001753Z
DTEND;TZID=US/Eastern:20070302T153000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:1
DESCRIPTION:Snacks by Emily
UID:2EFBFC43-804B-11D9-91C9-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050504T140000
DTSTAMP:20050428T002308Z
SUMMARY:SIGHPC: Sara Sprenkle
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20050504T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:DFE2C8E9-958E-11D9-8AC7-000A95D994B2
DTSTART;VALUE=DATE:20050325
DTSTAMP:20060219T002316Z
SUMMARY:Interview: Clint Whaley (Florida State)
CREATED:20080707T001755Z
DTEND;VALUE=DATE:20050326
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
DESCRIPTION:327 Purnell
UID:EDCC92EE-958E-11D9-8AC7-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050325T093000
DTSTAMP:20050315T201611Z
SUMMARY:Colloquium: Clint Whaley
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20050325T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:8
DESCRIPTION:Verification of MPI Programs Using MPI-SPIN\n\nFormal verifi
 cation techniques\, such as model checking\, are the subject of increasi
 ng interest in the parallel programming community. In order to apply the
 se techniques to non-trivial MPI programs\, I have developed MPI-SPIN\, 
 an extension to the model checker SPIN that supports many commonly-used 
 MPI functions\, constants\, and types\, including those used for nonbloc
 king point-to-point communication. In a preliminary experiment\, I have 
 applied MPI-SPIN to the 17 examples (2.17--2.33) in \"MPI: The Complete 
 Reference\, Volume 1\" dealing with nonblocking communication. I success
 fully verified many correctness properties of these examples and in two 
 cases discovered non-trivial faults.
UID:D1859492-1797-470A-8B3B-BE6A15AE12C2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20061101T133000
DTSTAMP:20060927T184901Z
SUMMARY:SIGSys: Steve Siegel
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20061101T143000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:6
DESCRIPTION:Snacks by Sara
UID:73633B6C-804E-11D9-91C9-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050420T140000
DTSTAMP:20050420T114526Z
SUMMARY:SIGHPC: Jason Zurawski
CREATED:20080707T001754Z
DTEND;TZID=US/Eastern:20050420T150000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:2
TRANSP:OPAQUE
UID:24CB6F24-B279-11D9-BB5B-000A95D994B2
DTSTART;TZID=US/Eastern:20050429T113000
DTSTAMP:20050421T152237Z
SUMMARY:GSA Pizza Party
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20050429T140000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:3
DESCRIPTION:327 Purnell
UID:EAF45027-85AD-11D9-B4A2-000A95D994B2
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20050304T093000
DTSTAMP:20050228T163615Z
SUMMARY:Collquium: Vivek Kwatra 
CREATED:20080707T001755Z
DTEND;TZID=US/Eastern:20050304T103000
END:VEVENT
BEGIN:VEVENT
SEQUENCE:4
DESCRIPTION:Memorial Hall 123
UID:3279A360-78EA-45CE-B5E6-DE8547F4F51A
TRANSP:OPAQUE
DTSTART;TZID=US/Eastern:20070418T140000
DTSTAMP:20070307T194555Z
SUMMARY:Sun Microsystems Visit
CREATED:20080707T001752Z
DTEND;TZID=US/Eastern:20070418T160000
END:VEVENT
END:VCALENDAR