[PRL] [Fwd: Cornelia Colyer] Vaughan Pratt talk -- Monday, June 2 -- 4:00 P.M. -- NE43-518

Wed May 28 15:25:52 EDT 2003

------- start of forwarded message (RFC 934 encapsulation) -------
MIME-Version: 1.0
content-class: urn:content-classes:message
Content-Type: multipart/alternative;
	boundary="----_=_NextPart_001_01C32544.35804BE7"
Return-Path: <colyer at ceylon.lcs.mit.edu>
Delivered-To: wand at ccs.neu.edu
Thread-Topic: Vaughan Pratt talk -- Monday, June 2 -- 4:00 P.M. -- NE43-518
Thread-Index: AcMlRCfIQhYK00SLTw+r/Qv/yb3a5w==
From: "Cornelia Colyer" <colyer at ceylon.lcs.mit.edu>
To: <ai-tech-sq at ai.mit.edu>, <ai-seminar at ai.mit.edu>
Subject: Vaughan Pratt talk -- Monday, June 2 -- 4:00 P.M. -- NE43-518
Date: Wed, 28 May 2003 14:08:58 -0400

This is a multi-part message in MIME format.

- ------_=_NextPart_001_01C32544.35804BE7
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

_____________________________________
MONDAY -- JUNE 2, 2003 -- 4:15 P.M.
Refreshments at 4:00 P.M.
Conference Room NE43-518
Laboratory for Computer Science
Massachusetts Institute of Technology
_____________________________________
=20
=20
       NOTEBOOK FUNCTIONALITY IN A HANDHELD PC
=20
       VAUGHAN PRATT
       Chairman & CTO, Tiqit Computers, Inc.
       Professor Emeritus, Stanford University
=20
=20
Hosted by Anant Agarwal
Computer Architecture Group
_____________________________________
=20
=20
As each progressively smaller category of the ever-shrinking computer
emerges, it begins life with low expectations but eventually matures
to the same capabilities and responsibilities as its older and larger
predecessors. The cycle then repeats, with its principal drivers being
the march of technology and the cost and productivity benefits of
software homogeneity.
=20
The situation today is that the notebook rules, and the world has
predictably low expectations for handheld computers. However the cycle
seems likely to continue, given the recent push to take Palm and Pocket
PC devices well beyond their original role as electronic organizers by
deploying more complex applications on them, either porting the
applications from their desktop and notebook incarnations or developing
them from scratch.
=20
On the premise that it causes far more grief to port notebook operating
systems and software to the existing crop of PDAs than to compress
notebook
hardware to handheld dimensions, the speaker founded Tiqit Computers in
2000
to set the pace and standards for this likely new market by innovation,
demonstration, testing, and production of handheld computers having the
same
functionality and connectivity as desktop and notebook computers. The
talk
will focus on Tiqit's vision, its realization in the 20-oz 256MB-RAM
10GB-
HDD 640x480-display handheld computer described at
http://www.tiqit.com/,
our ongoing market development efforts, and our expectations for the
future.
_____________________________________
=20
=20
During the 1970s, the speaker worked at the physical and logical
boundaries
of AI and Theory on Tech Square's eighth floor, founding the
undergraduate
algorithms course 6.043 (now 6.046J) while developing the LINGOL (aka
ETL)
natural language parser. In 1981 he joined Stanford's CS department
where
he led the Sun workstation project. This subsequently spun off as Sun
Microsystems, for whom he worked briefly, designing the Pixrect graphics
interface and the Sun logo. He retired from Stanford in 2000 to found
Tiqit but continues to supervise research at Stanford in concurrency and
speech recognition. He has worked and taught in a number of areas
including
natural language processing, programming languages, design and analysis
of
algorithms, complexity theory, program verification, logics of programs,
algebraic logic, and computer graphics. He is a Fellow of the ACM,
serves
on several editorial boards, and, like his advisor, matches the pattern
"Knuth-Morris-Pratt pattern matcher".
_____________________________________
=20

- ------_=_NextPart_001_01C32544.35804BE7
Content-Type: text/html;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:st1=3D"urn:schemas-microsoft-com:office:smarttags" =
xmlns=3D"http://www.w3.org/TR/REC-html40">

<head>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">

<meta name=3DProgId content=3DWord.Document>
<meta name=3DGenerator content=3D"Microsoft Word 10">
<meta name=3DOriginator content=3D"Microsoft Word 10">
<link rel=3DFile-List href=3D"cid:filelist.xml at 01C32522.A0B02500">
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"PlaceType"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"PlaceName"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"Street"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"City"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"place"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"PersonName"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"address"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"time"/>
<o:SmartTagType =
namespaceuri=3D"urn:schemas-microsoft-com:office:smarttags"
 name=3D"date"/>
<!--[if gte mso 9]><xml>
 <o:OfficeDocumentSettings>
  <o:DoNotRelyOnCSS/>
 </o:OfficeDocumentSettings>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <w:WordDocument>
  <w:GrammarState>Clean</w:GrammarState>
  <w:DocumentKind>DocumentEmail</w:DocumentKind>
  <w:EnvelopeVis/>
  <w:Compatibility>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
  </w:Compatibility>
  <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
 </w:WordDocument>
</xml><![endif]--><!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
	{mso-style-update:auto;
	mso-style-parent:"";
	margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:14.0pt;
	mso-bidi-font-size:12.0pt;
	font-family:"Courier New";
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	mso-bidi-language:AR-SA;}
a:link, span.MsoHyperlink
	{color:blue;
	text-decoration:underline;
	text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
	{color:purple;
	text-decoration:underline;
	text-underline:single;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
	{margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Courier New";
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Courier New";
	mso-bidi-language:AR-SA;}
p.CourierNew14, li.CourierNew14, div.CourierNew14
	{mso-style-name:CourierNew14;
	mso-style-update:auto;
	mso-style-parent:"Plain Text";
	margin:0in;
	margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:14.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:"Courier New";
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:Arial;
	mso-bidi-language:AR-SA;}
span.EmailStyle19
	{mso-style-type:personal-compose;
	mso-style-noshow:yes;
	mso-ansi-font-size:10.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:Arial;
	mso-ascii-font-family:Arial;
	mso-hansi-font-family:Arial;
	mso-bidi-font-family:Arial;
	color:windowtext;}
span.GramE
	{mso-style-name:"";
	mso-gram-e:yes;}
@page Section1
	{size:8.5in 11.0in;
	margin:1.0in 77.95pt 1.0in 77.95pt;
	mso-header-margin:.5in;
	mso-footer-margin:.5in;
	mso-paper-source:0;}
div.Section1
	{page:Section1;}
- -->
</style>
<!--[if gte mso 10]>
<style>
 /* Style Definitions */=20
 table.MsoNormalTable
	{mso-style-name:"Table Normal";
	mso-tstyle-rowband-size:0;
	mso-tstyle-colband-size:0;
	mso-style-noshow:yes;
	mso-style-parent:"";
	mso-padding-alt:0in 5.4pt 0in 5.4pt;
	mso-para-margin:0in;
	mso-para-margin-bottom:.0001pt;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Times New Roman";}
</style>
<![endif]-->
</head>

<body lang=3DEN-US link=3Dblue vlink=3Dpurple =
style=3D'tab-interval:.5in'>

<div class=3DSection1>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>_____________________________________<o:p></o:p></span></font></p=
>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>MONDAY -- </span></font><st1:date Month=3D"6" Day=3D"2" =
Year=3D"2003">JUNE 2,
 2003</st1:date> -- <st1:time Hour=3D"16" Minute=3D"15">4:15 =
P.M.</st1:time><o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>Refreshments at =
</span></font></span><st1:time
Hour=3D"16" Minute=3D"0"><span class=3DGramE>4:00 =
P.M.</span></st1:time><o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Conference Room NE43-518<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Laboratory for Computer Science<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Massachusetts Institute of =
Technology<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>_____________________________________<o:p></o:p></span></font></p=
>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><span style=3D'mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp; =
</span><span
style=3D'mso-spacerun:yes'>&nbsp;&nbsp;</span>NOTEBOOK FUNCTIONALITY IN =
A HANDHELD PC<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><span style=3D'mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp; =
</span><span
style=3D'mso-spacerun:yes'>&nbsp;&nbsp;</span></span></font><st1:City><st=
1:place>VAUGHAN</st1:place></st1:City>
PRATT<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><span style=3D'mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp; =
</span><span
style=3D'mso-spacerun:yes'>&nbsp;&nbsp;</span>Chairman &amp; CTO, Tiqit =
Computers, Inc.<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><span style=3D'mso-spacerun:yes'>&nbsp;&nbsp;&nbsp;&nbsp; =
</span><span
style=3D'mso-spacerun:yes'>&nbsp;&nbsp;</span>Professor Emeritus, =
</span></font><st1:place><st1:PlaceName>Stanford</st1:PlaceName>
 <st1:PlaceType>University</st1:PlaceType></st1:place><o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 color=3Dblack face=3D"Courier =
New"><span
style=3D'font-size:10.0pt;color:black'><o:p>&nbsp;</o:p></span></font></p=
>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Hosted by </span></font><st1:PersonName>Anant =
Agarwal</st1:PersonName><o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Computer Architecture Group<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>_____________________________________<o:p></o:p></span></font></p=
>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>As each progressively smaller category of the ever-shrinking =
computer<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>emerges</span></font></span>, it begins life =
with low
expectations but eventually matures<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>to</span></font></span> the same capabilities =
and
responsibilities as its older and larger<o:p></o:p></p>

predecessors. The cycle =
then
repeats, with its principal drivers being<o:p></o:p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>the</span></font></span> march of technology =
and the
cost and productivity benefits of<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>software</span></font></span> =
homogeneity.<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>The situation today is that the notebook rules, and the world =
has<o:p></o:p></span></font></p>

predictably low =
expectations for
handheld computers. However the cycle<o:p></o:p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>seems</span></font></span> likely to =
continue, given
the recent push to take Palm and Pocket<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>PC devices well beyond their original role as electronic =
organizers by<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>deploying</span></font></span> more complex
applications on them, either porting the<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>applications</span></font></span> from their =
desktop
and notebook incarnations or developing<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>them</span></font></span> from =
scratch.<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>On the premise that it causes far more grief to port notebook =
operating<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>systems</span></font></span> and software to =
the
existing crop of PDAs than to compress notebook<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>hardware</span></font></span> to handheld =
dimensions,
the speaker founded Tiqit Computers in 2000<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>to</span></font></span> set the pace and =
standards for
this likely new market by innovation,<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>demonstration</span></font></span>, testing, =
and
production of handheld computers having the same<o:p></o:p></p>

functionality and =
connectivity as
desktop and notebook computers. The talk<o:p></o:p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>will</span></font></span> focus on Tiqit's =
vision, its
realization in the 20-oz 256MB-RAM 10GB-<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>HDD 640x480-display handheld computer described at <a
href=3D"http://www.tiqit.com/">http://www.tiqit.com/</a>,<o:p></o:p></spa=
n></font></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>our</span></font></span> ongoing market =
development
efforts, and our expectations for the future.<o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>_____________________________________<o:p></o:p></span></font></p=
>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'><o:p>&nbsp;</o:p></span></font></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>During the 1970s, the speaker worked at the physical and logical =
boundaries<o:p></o:p></span></font></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>of</span></font></span> AI and Theory on =
<st1:Street><st1:address>Tech
  Square</st1:address></st1:Street>'s eighth floor, founding the =
undergraduate<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>algorithms</span></font></span> course 6.043 =
(now
6.046J) while developing the LINGOL (aka ETL)<o:p></o:p></p>

natural language parser. =
In 1981
he joined Stanford's CS department where<o:p></o:p>

he led the Sun =
workstation
project. This subsequently spun off as Sun<o:p></o:p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Microsystems, for whom he worked briefly, designing the Pixrect
graphics<o:p></o:p></span></font></p>

interface and the Sun =
logo. He
retired from Stanford in 2000 to found<o:p></o:p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>Tiqit but continues to supervise research at Stanford in =
concurrency
and<o:p></o:p></span></font></p>

speech recognition. He =
has worked
and taught in a number of areas including<o:p></o:p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>natural</span></font></span> language =
processing,
programming languages, design and analysis of<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>algorithms</span></font></span>, complexity =
theory,
program verification, logics of programs,<o:p></o:p></p>

algebraic logic, and =
computer
graphics. He is a Fellow of the ACM, serves<o:p></o:p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>on</span></font></span> several editorial =
boards, and,
like his advisor, matches the pattern<o:p></o:p></p>

<p class=3DMsoPlainText><span class=3DGramE><font size=3D2 =
face=3D"Courier New"><span
style=3D'font-size:10.0pt'>&quot;Knuth-Morris-Pratt pattern =
matcher&quot;.</span></font></span><o:p></o:p></p>

<p class=3DMsoPlainText><font size=3D2 face=3D"Courier New"><span =
style=3D'font-size:
10.0pt'>_____________________________________<o:p></o:p></span></font></p=
>

<p class=3DMsoNormal><font size=3D2 face=3DArial><span =
style=3D'font-size:10.0pt;
font-family:Arial;mso-bidi-font-family:Arial'><o:p>&nbsp;</o:p></span></f=
ont></p>

</div>

</body>

</html>
=00
- ------_=_NextPart_001_01C32544.35804BE7--
------- end -------