OpenMath.github.io/meetings/nice2002/ursula.htm at master · OpenMath/OpenMath.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
xmlns="http://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<meta name=ProgId content=PowerPoint.Slide>
<meta name=Generator content="Microsoft PowerPoint 9">
<link rel=File-List href="./ursula_files/filelist.xml">
<link rel=Preview href="./ursula_files/preview.wmf">
<link rel=OLE-Object-Data href="./ursula_files/oledata.mso">
<title>Safety and correctness  of  mathematical systems     </title>
<!--[if gte mso 9]><xml>
 <o:DocumentProperties>
  <o:Author>UM</o:Author>
  <o:LastAuthor>David Carlisle </o:LastAuthor>
  <o:Revision>91</o:Revision>
  <o:LastPrinted>2000-03-31T18:57:29Z</o:LastPrinted>
  <o:Created>2009-04-22T19:24:48Z</o:Created>
  <o:LastSaved>2002-04-11T15:46:11Z</o:LastSaved>
  <o:Pages>33</o:Pages>
  <o:Words>1190</o:Words>
  <o:PresentationFormat>On-screen Show</o:PresentationFormat>
  <o:Bytes>103394</o:Bytes>
  <o:Paragraphs>303</o:Paragraphs>
  <o:Slides>23</o:Slides>
  <o:Notes>12</o:Notes>
  <o:Version>9.3821</o:Version>
 </o:DocumentProperties>
 <o:OfficeDocumentSettings>
  <o:PixelsPerInch>80</o:PixelsPerInch>
 </o:OfficeDocumentSettings>
</xml><![endif]-->
<link rel=Presentation-XML href="./ursula_files/pres.xml">
<meta name=Description
content="11-Apr-02: Dependable mathematics and computational logic  ">
<meta http-equiv=expires content=0>
<![if !ppt]><script>
<!--
  var appVer = navigator.appVersion;
  var msie = appVer.indexOf( "MSIE " );
  var msieWin31 = (appVer.indexOf( "Windows 3.1" ) >= 0), isMac = (appVer.indexOf("Macintosh") >= 0);
  var ver = 0;
  if( msie >= 0 )
    ver = parseFloat( appVer.substring( msie+5, appVer.indexOf ( ";", msie ) ) );
  else
    ver = parseInt( appVer );

	path = "./ursula_files/v3_document.htm";

	if( msie>=0 && ( (isMac && ver>=5)||(!isMac && ver>=4) ) )
		window.location.replace( './ursula_files/frame.htm' );
	else if( ver >= 3 )
	{
		if ( !msieWin31 && ( ( msie >= 0 && ver >= 3.02 ) || ( msie < 0 && ver >= 3 ) ) )
			window.location.replace( path );
		else
			window.location.href = path;
	}
	else
		window.location.href = "./ursula_files/error.htm";
//-->
</script><![endif]>
</head>

<frameset>
 <noframes>
  <body>
  <p>This page uses frames, but your browser doesn't support them.</p>
  </body>
 </noframes>
</frameset>

</html>