/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / software / 2996

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 58 72 65 66 3a 20 73 70 | 61 72 6b 79 20 63 6f 6d |Xref: sp|arky com|
|00000010| 70 2e 73 6f 66 74 77 61 | 72 65 2d 65 6e 67 3a 32 |p.softwa|re-eng:2|
|00000020| 39 39 36 20 63 6f 6d 70 | 2e 73 70 65 63 69 66 69 |996 comp|.specifi|
|00000030| 63 61 74 69 6f 6e 3a 33 | 33 32 20 63 6f 6d 70 2e |cation:3|32 comp.|
|00000040| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 2e 7a 3a |specific|ation.z:|
|00000050| 33 35 38 0a 50 61 74 68 | 3a 20 73 70 61 72 6b 79 |358.Path|: sparky|
|00000060| 21 75 75 6e 65 74 21 6d | 63 73 75 6e 21 75 6b 6e |!uunet!m|csun!ukn|
|00000070| 65 74 21 6f 78 2d 70 72 | 67 21 62 6f 77 65 6e 0a |et!ox-pr|g!bowen.|
|00000080| 46 72 6f 6d 3a 20 62 6f | 77 65 6e 40 63 6f 6d 6c |From: bo|wen@coml|
|00000090| 61 62 2e 6f 78 2e 61 63 | 2e 75 6b 20 28 4a 6f 6e |ab.ox.ac|.uk (Jon|
|000000a0| 61 74 68 61 6e 20 42 6f | 77 65 6e 29 0a 4e 65 77 |athan Bo|wen).New|
|000000b0| 73 67 72 6f 75 70 73 3a | 20 63 6f 6d 70 2e 73 6f |sgroups:| comp.so|
|000000c0| 66 74 77 61 72 65 2d 65 | 6e 67 2c 63 6f 6d 70 2e |ftware-e|ng,comp.|
|000000d0| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 2c 63 6f |specific|ation,co|
|000000e0| 6d 70 2e 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |mp.speci|fication|
|000000f0| 2e 7a 0a 53 75 62 6a 65 | 63 74 3a 20 43 46 50 3a |.z.Subje|ct: CFP:|
|00000100| 20 46 4d 45 27 39 33 20 | 53 79 6d 70 6f 73 69 75 | FME'93 |Symposiu|
|00000110| 6d 20 2d 20 49 6e 64 75 | 73 74 72 69 61 6c 2d 53 |m - Indu|strial-S|
|00000120| 74 72 65 6e 67 74 68 20 | 46 6f 72 6d 61 6c 20 4d |trength |Formal M|
|00000130| 65 74 68 6f 64 73 0a 4d | 65 73 73 61 67 65 2d 49 |ethods.M|essage-I|
|00000140| 44 3a 20 3c 34 31 36 31 | 40 69 6e 63 61 2e 63 6f |D: <4161|@inca.co|
|00000150| 6d 6c 61 62 2e 6f 78 2e | 61 63 2e 75 6b 3e 0a 44 |mlab.ox.|ac.uk>.D|
|00000160| 61 74 65 3a 20 32 39 20 | 4a 75 6c 20 39 32 20 31 |ate: 29 |Jul 92 1|
|00000170| 35 3a 31 35 3a 30 36 20 | 47 4d 54 0a 45 78 70 69 |5:15:06 |GMT.Expi|
|00000180| 72 65 73 3a 20 31 20 4f | 63 74 20 39 32 20 32 33 |res: 1 O|ct 92 23|
|00000190| 3a 35 39 3a 35 39 20 47 | 4d 54 0a 53 65 6e 64 65 |:59:59 G|MT.Sende|
|000001a0| 72 3a 20 6e 65 77 73 40 | 63 6f 6d 6c 61 62 2e 6f |r: news@|comlab.o|
|000001b0| 78 2e 61 63 2e 75 6b 0a | 52 65 70 6c 79 2d 54 6f |x.ac.uk.|Reply-To|
|000001c0| 3a 20 4a 69 6d 2e 57 6f | 6f 64 63 6f 63 6b 40 63 |: Jim.Wo|odcock@c|
|000001d0| 6f 6d 6c 61 62 2e 6f 78 | 2e 61 63 2e 75 6b 20 28 |omlab.ox|.ac.uk (|
|000001e0| 4a 69 6d 20 57 6f 6f 64 | 63 6f 63 6b 29 0a 4f 72 |Jim Wood|cock).Or|
|000001f0| 67 61 6e 69 7a 61 74 69 | 6f 6e 3a 20 50 72 6f 67 |ganizati|on: Prog|
|00000200| 72 61 6d 6d 69 6e 67 20 | 52 65 73 65 61 72 63 68 |ramming |Research|
|00000210| 20 47 72 6f 75 70 2c 20 | 4f 78 66 6f 72 64 20 55 | Group, |Oxford U|
|00000220| 6e 69 76 65 72 73 69 74 | 79 2c 20 55 4b 0a 4c 69 |niversit|y, UK.Li|
|00000230| 6e 65 73 3a 20 31 37 36 | 0a 0a 44 65 61 72 20 43 |nes: 176|..Dear C|
|00000240| 6f 6c 6c 65 61 67 75 65 | 2c 0a 0a 49 20 77 6f 75 |olleague|,..I wou|
|00000250| 6c 64 20 62 65 20 67 72 | 61 74 65 66 75 6c 20 69 |ld be gr|ateful i|
|00000260| 66 20 79 6f 75 20 77 6f | 75 6c 64 20 62 65 20 6b |f you wo|uld be k|
|00000270| 69 6e 64 20 65 6e 6f 75 | 67 68 20 74 6f 20 64 69 |ind enou|gh to di|
|00000280| 73 70 6c 61 79 20 74 68 | 65 20 61 74 74 61 63 68 |splay th|e attach|
|00000290| 65 64 20 63 61 6c 6c 0a | 66 6f 72 20 70 61 70 65 |ed call.|for pape|
|000002a0| 72 73 20 6f 6e 20 79 6f | 75 72 20 64 65 70 61 72 |rs on yo|ur depar|
|000002b0| 74 6d 65 6e 74 61 6c 20 | 6e 6f 74 69 63 65 62 6f |tmental |noticebo|
|000002c0| 61 72 64 2e 20 20 54 68 | 65 20 65 76 65 6e 74 20 |ard.  Th|e event |
|000002d0| 69 73 20 74 68 65 20 46 | 6f 72 6d 61 6c 20 4d 65 |is the F|ormal Me|
|000002e0| 74 68 6f 64 73 0a 45 75 | 72 6f 70 65 20 53 79 6d |thods.Eu|rope Sym|
|000002f0| 70 6f 73 69 75 6d 2c 20 | 46 4d 45 27 39 33 2c 20 |posium, |FME'93, |
|00000300| 61 6e 64 20 74 68 65 20 | 64 65 61 64 6c 69 6e 65 |and the |deadline|
|00000310| 20 66 6f 72 20 73 75 62 | 6d 69 73 73 69 6f 6e 73 | for sub|missions|
|00000320| 20 69 73 20 31 20 4f 63 | 74 6f 62 65 72 20 31 39 | is 1 Oc|tober 19|
|00000330| 39 32 2e 0a 54 68 61 6e | 6b 20 79 6f 75 20 66 6f |92..Than|k you fo|
|00000340| 72 20 79 6f 75 72 20 68 | 65 6c 70 2e 0a 0a 4a 69 |r your h|elp...Ji|
|00000350| 6d 20 57 6f 6f 64 63 6f | 63 6b 20 3c 4a 69 6d 2e |m Woodco|ck <Jim.|
|00000360| 57 6f 6f 64 63 6f 63 6b | 40 63 6f 6d 6c 61 62 2e |Woodcock|@comlab.|
|00000370| 6f 78 2e 61 63 2e 75 6b | 3e 0a 0a 2d 2d 2d 2d 2d |ox.ac.uk|>..-----|
|00000380| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000390| 2d 2d 2d 20 4c 61 54 65 | 58 20 73 6f 75 72 63 65 |--- LaTe|X source|
|000003a0| 20 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d | -------|--------|
|000003b0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 0a 0a 5c 64 6f 63 75 |--------|-..\docu|
|000003c0| 6d 65 6e 74 73 74 79 6c | 65 5b 31 31 70 74 5d 7b |mentstyl|e[11pt]{|
|000003d0| 61 72 74 69 63 6c 65 7d | 0a 5c 72 65 6e 65 77 63 |article}|.\renewc|
|000003e0| 6f 6d 6d 61 6e 64 7b 5c | 74 68 65 70 61 67 65 7d |ommand{\|thepage}|
|000003f0| 7b 7d 0a 5c 73 65 74 6c | 65 6e 67 74 68 7b 5c 70 |{}.\setl|ength{\p|
|00000400| 61 72 69 6e 64 65 6e 74 | 7d 7b 30 69 6e 7d 0a 5c |arindent|}{0in}.\|
|00000410| 73 65 74 6c 65 6e 67 74 | 68 7b 5c 70 61 72 73 6b |setlengt|h{\parsk|
|00000420| 69 70 7d 7b 30 2e 35 65 | 78 7d 0a 25 20 5c 61 64 |ip}{0.5e|x}.% \ad|
|00000430| 76 61 6e 63 65 5c 68 6f | 66 66 73 65 74 20 62 79 |vance\ho|ffset by|
|00000440| 20 2d 33 6d 6d 20 20 25 | 20 41 34 20 69 73 20 6e | -3mm  %| A4 is n|
|00000450| 61 72 72 6f 77 65 72 2e | 0a 25 20 5c 61 64 76 61 |arrower.|.% \adva|
|00000460| 6e 63 65 5c 76 6f 66 66 | 73 65 74 20 62 79 20 20 |nce\voff|set by  |
|00000470| 38 6d 6d 20 20 25 20 41 | 34 20 69 73 20 74 61 6c |8mm  % A|4 is tal|
|00000480| 6c 65 72 2e 0a 5c 6f 64 | 64 73 69 64 65 6d 61 72 |ler..\od|dsidemar|
|00000490| 67 69 6e 20 2d 30 2e 34 | 6d 6d 20 5c 65 76 65 6e |gin -0.4|mm \even|
|000004a0| 73 69 64 65 6d 61 72 67 | 69 6e 20 2d 30 2e 34 6d |sidemarg|in -0.4m|
|000004b0| 6d 0a 5c 74 6f 70 6d 61 | 72 67 69 6e 20 2d 32 32 |m.\topma|rgin -22|
|000004c0| 2e 39 6d 6d 20 5c 68 65 | 61 64 68 65 69 67 68 74 |.9mm \he|adheight|
|000004d0| 20 35 6d 6d 20 5c 68 65 | 61 64 73 65 70 20 38 6d | 5mm \he|adsep 8m|
|000004e0| 6d 0a 5c 66 6f 6f 74 68 | 65 69 67 68 74 20 32 2e |m.\footh|eight 2.|
|000004f0| 34 6d 6d 20 5c 66 6f 6f | 74 73 6b 69 70 20 32 2e |4mm \foo|tskip 2.|
|00000500| 35 6d 6d 0a 5c 74 65 78 | 74 68 65 69 67 68 74 20 |5mm.\tex|theight |
|00000510| 32 35 38 2e 35 6d 6d 20 | 5c 74 65 78 74 77 69 64 |258.5mm |\textwid|
|00000520| 74 68 20 31 36 35 6d 6d | 0a 0a 5c 62 65 67 69 6e |th 165mm|..\begin|
|00000530| 7b 64 6f 63 75 6d 65 6e | 74 7d 0a 0a 25 20 5c 74 |{documen|t}..% \t|
|00000540| 69 74 6c 65 7b 46 4d 45 | 27 39 33 20 53 79 6d 70 |itle{FME|'93 Symp|
|00000550| 6f 73 69 75 6d 20 5c 5c | 20 7b 5c 6c 61 72 67 65 |osium \\| {\large|
|00000560| 20 49 6e 64 75 73 74 72 | 69 61 6c 2d 53 74 72 65 | Industr|ial-Stre|
|00000570| 6e 67 74 68 20 46 6f 72 | 6d 61 6c 20 4d 65 74 68 |ngth For|mal Meth|
|00000580| 6f 64 73 20 5c 5c 0a 25 | 20 20 20 20 20 20 20 20 |ods \\.%|        |
|00000590| 4f 64 65 6e 73 65 2c 20 | 44 65 6e 6d 61 72 6b 7d |Odense, |Denmark}|
|000005a0| 7d 0a 25 20 5c 61 75 74 | 68 6f 72 7b 43 61 6c 6c |}.% \aut|hor{Call|
|000005b0| 20 66 6f 72 20 50 61 70 | 65 72 73 7d 0a 25 20 5c | for Pap|ers}.% \|
|000005c0| 64 61 74 65 7b 32 37 20 | 4d 61 72 63 68 20 31 39 |date{27 |March 19|
|000005d0| 39 32 7d 0a 25 20 5c 6d | 61 6b 65 74 69 74 6c 65 |92}.% \m|aketitle|
|000005e0| 0a 5c 62 65 67 69 6e 7b | 63 65 6e 74 65 72 7d 0a |.\begin{|center}.|
|000005f0| 7b 5c 68 75 67 65 20 43 | 61 6c 6c 20 66 6f 72 20 |{\huge C|all for |
|00000600| 50 61 70 65 72 73 20 46 | 4d 45 27 39 33 20 53 79 |Papers F|ME'93 Sy|
|00000610| 6d 70 6f 73 69 75 6d 20 | 5c 5c 7d 0a 7b 5c 4c 61 |mposium |\\}.{\La|
|00000620| 72 67 65 20 49 6e 64 75 | 73 74 72 69 61 6c 2d 53 |rge Indu|strial-S|
|00000630| 74 72 65 6e 67 74 68 20 | 46 6f 72 6d 61 6c 20 4d |trength |Formal M|
|00000640| 65 74 68 6f 64 73 5c 5c | 7d 0a 5c 65 6e 64 7b 63 |ethods\\|}.\end{c|
|00000650| 65 6e 74 65 72 7d 0a 0a | 5c 62 65 67 69 6e 7b 63 |enter}..|\begin{c|
|00000660| 65 6e 74 65 72 7d 20 0a | 09 53 70 6f 6e 73 6f 72 |enter} .|.Sponsor|
|00000670| 65 64 20 62 79 20 74 68 | 65 20 43 6f 6d 6d 69 73 |ed by th|e Commis|
|00000680| 73 69 6f 6e 20 6f 66 20 | 74 68 65 20 45 75 72 6f |sion of |the Euro|
|00000690| 70 65 61 6e 20 43 6f 6d | 6d 75 6e 69 74 69 65 73 |pean Com|munities|
|000006a0| 20 28 43 45 43 29 09 5c | 5c 0a 09 4f 72 67 61 6e | (CEC).\|\..Organ|
|000006b0| 69 73 65 64 20 62 79 20 | 46 6f 72 6d 61 6c 20 4d |ised by |Formal M|
|000006c0| 65 74 68 6f 64 73 20 45 | 75 72 6f 70 65 0a 5c 65 |ethods E|urope.\e|
|000006d0| 6e 64 7b 63 65 6e 74 65 | 72 7d 0a 0a 54 68 65 20 |nd{cente|r}..The |
|000006e0| 66 69 72 73 74 20 46 4d | 45 20 53 79 6d 70 6f 73 |first FM|E Sympos|
|000006f0| 69 75 6d 20 77 69 6c 6c | 20 62 65 20 68 65 6c 64 |ium will| be held|
|00000700| 20 61 74 20 4f 64 65 6e | 73 65 20 54 65 63 68 6e | at Oden|se Techn|
|00000710| 69 63 61 6c 20 43 6f 6c | 6c 65 67 65 20 69 6e 0a |ical Col|lege in.|
|00000720| 44 65 6e 6d 61 72 6b 2c | 20 64 75 72 69 6e 67 20 |Denmark,| during |
|00000730| 74 68 65 20 77 65 65 6b | 20 6f 66 20 31 39 2e 5c |the week| of 19.\|
|00000740| 20 74 6f 20 32 33 2e 5c | 20 41 70 72 69 6c 2c 20 | to 23.\| April, |
|00000750| 31 39 39 33 2e 0a 49 74 | 20 69 73 20 62 65 69 6e |1993..It| is bein|
|00000760| 67 20 6f 72 67 61 6e 69 | 73 65 64 20 62 79 20 46 |g organi|sed by F|
|00000770| 6f 72 6d 61 6c 20 4d 65 | 74 68 6f 64 73 20 45 75 |ormal Me|thods Eu|
|00000780| 72 6f 70 65 2c 20 61 73 | 20 74 68 65 20 73 75 63 |rope, as| the suc|
|00000790| 63 65 73 73 6f 72 20 74 | 6f 20 74 68 65 0a 6c 61 |cessor t|o the.la|
|000007a0| 73 74 20 66 6f 75 72 20 | 56 44 4d 20 73 79 6d 70 |st four |VDM symp|
|000007b0| 6f 73 69 61 2c 20 74 6f | 20 70 72 6f 6d 6f 74 65 |osia, to| promote|
|000007c0| 20 74 68 65 20 69 6e 74 | 65 72 65 73 74 73 20 6f | the int|erests o|
|000007d0| 66 20 75 73 65 72 73 2c | 20 72 65 73 65 61 72 63 |f users,| researc|
|000007e0| 68 65 72 73 0a 61 6e 64 | 20 64 65 76 65 6c 6f 70 |hers.and| develop|
|000007f0| 65 72 73 20 6f 66 20 70 | 72 65 63 69 73 65 20 6d |ers of p|recise m|
|00000800| 61 74 68 65 6d 61 74 69 | 63 61 6c 20 6d 65 74 68 |athemati|cal meth|
|00000810| 6f 64 73 20 69 6e 20 70 | 72 6f 67 72 61 6d 20 64 |ods in p|rogram d|
|00000820| 65 76 65 6c 6f 70 6d 65 | 6e 74 2e 0a 0a 54 68 65 |evelopme|nt...The|
|00000830| 20 6c 61 73 74 20 66 65 | 77 20 79 65 61 72 73 20 | last fe|w years |
|00000840| 68 61 76 65 20 62 6f 72 | 6e 65 20 77 69 74 6e 65 |have bor|ne witne|
|00000850| 73 73 20 74 6f 20 74 68 | 65 20 72 65 6d 61 72 6b |ss to th|e remark|
|00000860| 61 62 6c 65 20 64 69 76 | 65 72 73 69 74 79 20 6f |able div|ersity o|
|00000870| 66 0a 66 6f 72 6d 61 6c | 20 6d 65 74 68 6f 64 73 |f.formal| methods|
|00000880| 2c 20 77 69 74 68 20 61 | 70 70 6c 69 63 61 74 69 |, with a|pplicati|
|00000890| 6f 6e 73 20 74 6f 20 73 | 65 71 75 65 6e 74 69 61 |ons to s|equentia|
|000008a0| 6c 20 61 6e 64 20 63 6f | 6e 63 75 72 72 65 6e 74 |l and co|ncurrent|
|000008b0| 20 73 6f 66 74 77 61 72 | 65 2c 20 0a 74 6f 20 72 | softwar|e, .to r|
|000008c0| 65 61 6c 2d 74 69 6d 65 | 20 61 6e 64 20 72 65 61 |eal-time| and rea|
|000008d0| 63 74 69 76 65 20 73 79 | 73 74 65 6d 73 2c 20 61 |ctive sy|stems, a|
|000008e0| 6e 64 20 74 6f 20 68 61 | 72 64 77 61 72 65 20 64 |nd to ha|rdware d|
|000008f0| 65 73 69 67 6e 2e 0a 49 | 6e 20 74 68 61 74 20 74 |esign..I|n that t|
|00000900| 69 6d 65 2c 20 6d 61 6e | 79 20 74 68 65 6f 72 65 |ime, man|y theore|
|00000910| 74 69 63 61 6c 20 70 72 | 6f 62 6c 65 6d 73 20 68 |tical pr|oblems h|
|00000920| 61 76 65 20 62 65 65 6e | 20 74 61 63 6b 6c 65 64 |ave been| tackled|
|00000930| 20 61 6e 64 20 73 6f 6c | 76 65 64 2c 0a 61 6e 64 | and sol|ved,.and|
|00000940| 20 6d 61 6e 79 20 63 6f | 6e 74 69 6e 75 65 20 74 | many co|ntinue t|
|00000950| 6f 20 62 65 20 77 6f 72 | 6b 65 64 20 75 70 6f 6e |o be wor|ked upon|
|00000960| 2e 0a 59 65 74 20 69 74 | 20 69 73 20 62 79 20 74 |..Yet it| is by t|
|00000970| 68 65 20 73 75 69 74 61 | 62 69 6c 69 74 79 20 6f |he suita|bility o|
|00000980| 66 20 74 68 65 69 72 20 | 69 6e 64 75 73 74 72 69 |f their |industri|
|00000990| 61 6c 20 61 70 70 6c 69 | 63 61 74 69 6f 6e 20 61 |al appli|cation a|
|000009a0| 6e 64 20 74 68 65 0a 65 | 78 74 65 6e 74 20 6f 66 |nd the.e|xtent of|
|000009b0| 20 74 68 65 69 72 20 75 | 73 61 67 65 20 74 68 61 | their u|sage tha|
|000009c0| 74 20 66 6f 72 6d 61 6c | 20 6d 65 74 68 6f 64 73 |t formal| methods|
|000009d0| 20 77 69 6c 6c 20 75 6c | 74 69 6d 61 74 65 6c 79 | will ul|timately|
|000009e0| 20 62 65 20 6a 75 64 67 | 65 64 2e 0a 54 68 69 73 | be judg|ed..This|
|000009f0| 20 73 79 6d 70 6f 73 69 | 75 6d 20 77 69 6c 6c 20 | symposi|um will |
|00000a00| 66 6f 63 75 73 20 6f 6e | 20 7b 5c 65 6d 20 54 68 |focus on| {\em Th|
|00000a10| 65 20 41 70 70 6c 69 63 | 61 74 69 6f 6e 20 6f 66 |e Applic|ation of|
|00000a20| 20 49 6e 64 75 73 74 72 | 69 61 6c 2d 53 74 72 65 | Industr|ial-Stre|
|00000a30| 6e 67 74 68 0a 46 6f 72 | 6d 61 6c 20 4d 65 74 68 |ngth.For|mal Meth|
|00000a40| 6f 64 73 2e 5c 2f 7d 0a | 57 65 20 65 6e 63 6f 75 |ods.\/}.|We encou|
|00000a50| 72 61 67 65 20 61 6c 6c | 20 70 61 70 65 72 73 20 |rage all| papers |
|00000a60| 74 6f 20 61 64 64 72 65 | 73 73 20 74 68 65 20 64 |to addre|ss the d|
|00000a70| 69 66 66 69 63 75 6c 74 | 69 65 73 20 6f 66 20 73 |ifficult|ies of s|
|00000a80| 63 61 6c 69 6e 67 20 74 | 68 65 69 72 0a 74 65 63 |caling t|heir.tec|
|00000a90| 68 6e 69 71 75 65 73 20 | 75 70 20 74 6f 20 69 6e |hniques |up to in|
|00000aa0| 64 75 73 74 72 69 61 6c | 2d 73 69 7a 65 64 20 70 |dustrial|-sized p|
|00000ab0| 72 6f 62 6c 65 6d 73 2c | 20 61 6e 64 20 6f 66 20 |roblems,| and of |
|00000ac0| 74 68 65 69 72 20 73 75 | 69 74 61 62 69 6c 69 74 |their su|itabilit|
|00000ad0| 79 20 69 6e 20 0a 74 68 | 65 20 77 6f 72 6b 2d 70 |y in .th|e work-p|
|00000ae0| 6c 61 63 65 2e 0a 50 61 | 70 65 72 73 20 73 68 6f |lace..Pa|pers sho|
|00000af0| 75 6c 64 20 64 69 73 63 | 75 73 73 20 74 65 63 68 |uld disc|uss tech|
|00000b00| 6e 69 71 75 65 73 20 74 | 68 61 74 20 61 72 65 20 |niques t|hat are |
|00000b10| 66 6f 72 6d 61 6c 20 28 | 74 68 61 74 20 69 73 2c |formal (|that is,|
|00000b20| 20 74 68 65 79 20 68 61 | 76 65 20 61 0a 6d 61 74 | they ha|ve a.mat|
|00000b30| 68 65 6d 61 74 69 63 61 | 6c 20 62 61 73 69 73 29 |hematica|l basis)|
|00000b40| 2c 20 61 6e 64 20 74 68 | 61 74 20 61 72 65 20 69 |, and th|at are i|
|00000b50| 6e 64 75 73 74 72 69 61 | 6c 6c 79 20 61 70 70 6c |ndustria|lly appl|
|00000b60| 69 63 61 62 6c 65 2e 0a | 50 61 70 65 72 73 20 74 |icable..|Papers t|
|00000b70| 61 63 6b 6c 69 6e 67 20 | 74 68 65 6f 72 65 74 69 |ackling |theoreti|
|00000b80| 63 61 6c 20 69 73 73 75 | 65 73 20 61 72 65 20 6d |cal issu|es are m|
|00000b90| 75 63 68 20 65 6e 63 6f | 75 72 61 67 65 64 2c 20 |uch enco|uraged, |
|00000ba0| 70 72 6f 76 69 64 69 6e | 67 20 74 68 61 74 0a 74 |providin|g that.t|
|00000bb0| 68 65 79 20 63 6f 6e 74 | 61 69 6e 20 61 20 6a 75 |hey cont|ain a ju|
|00000bc0| 73 74 69 66 69 63 61 74 | 69 6f 6e 20 6f 66 20 74 |stificat|ion of t|
|00000bd0| 68 65 20 70 72 61 63 74 | 69 63 61 6c 20 61 64 76 |he pract|ical adv|
|00000be0| 61 6e 74 61 67 65 73 20 | 74 68 61 74 20 66 6f 6c |antages |that fol|
|00000bf0| 6c 6f 77 2e 0a 0a 46 75 | 6c 6c 2d 6c 65 6e 67 74 |low...Fu|ll-lengt|
|00000c00| 68 20 72 65 73 65 61 72 | 63 68 20 70 61 70 65 72 |h resear|ch paper|
|00000c10| 73 2c 20 69 6e 64 75 73 | 74 72 69 61 6c 20 72 65 |s, indus|trial re|
|00000c20| 70 6f 72 74 73 2c 20 70 | 72 6f 70 6f 73 61 6c 73 |ports, p|roposals|
|00000c30| 20 66 6f 72 20 74 75 74 | 6f 72 69 61 6c 73 0a 61 | for tut|orials.a|
|00000c40| 6e 64 20 74 6f 6f 6c 20 | 64 65 6d 6f 6e 73 74 72 |nd tool |demonstr|
|00000c50| 61 74 69 6f 6e 73 20 61 | 72 65 20 73 6f 6c 69 63 |ations a|re solic|
|00000c60| 69 74 65 64 2c 20 70 61 | 72 74 69 63 75 6c 61 72 |ited, pa|rticular|
|00000c70| 6c 79 20 69 6e 20 74 68 | 65 20 66 6f 6c 6c 6f 77 |ly in th|e follow|
|00000c80| 69 6e 67 20 0a 61 72 65 | 61 73 3a 5c 76 73 70 61 |ing .are|as:\vspa|
|00000c90| 63 65 2a 7b 2d 31 6d 6d | 7d 0a 5c 62 65 67 69 6e |ce*{-1mm|}.\begin|
|00000ca0| 7b 63 65 6e 74 65 72 7d | 0a 09 5c 62 65 67 69 6e |{center}|..\begin|
|00000cb0| 7b 74 61 62 75 6c 61 72 | 7d 7b 40 7b 24 5c 62 75 |{tabular|}{@{$\bu|
|00000cc0| 6c 6c 65 74 7e 24 7d 6c | 40 7b 24 7e 5c 62 75 6c |llet~$}l|@{$~\bul|
|00000cd0| 6c 65 74 7e 24 7d 6c 7d | 0a 09 09 09 50 72 61 63 |let~$}l}|....Prac|
|00000ce0| 74 69 63 61 6c 20 75 73 | 65 0a 09 09 26 09 43 61 |tical us|e...&.Ca|
|00000cf0| 73 65 20 73 74 75 64 69 | 65 73 0a 09 09 5c 5c 09 |se studi|es...\\.|
|00000d00| 54 6f 6f 6c 73 0a 09 09 | 26 09 4c 69 6e 6b 69 6e |Tools...|&.Linkin|
|00000d10| 67 20 66 6f 72 6d 61 6c | 20 61 6e 64 20 69 6e 66 |g formal| and inf|
|00000d20| 6f 72 6d 61 6c 20 6d 65 | 74 68 6f 64 73 20 0a 09 |ormal me|thods ..|
|00000d30| 09 5c 5c 09 43 6f 6d 70 | 61 72 69 73 6f 6e 73 20 |.\\.Comp|arisons |
|00000d40| 6f 66 20 66 6f 72 6d 61 | 6c 20 6d 65 74 68 6f 64 |of forma|l method|
|00000d50| 73 20 5c 68 73 6b 69 70 | 38 6d 6d 5c 6d 62 6f 78 |s \hskip|8mm\mbox|
|00000d60| 7b 7d 0a 09 09 26 09 50 | 72 6f 6f 66 20 0a 09 09 |{}...&.P|roof ...|
|00000d70| 5c 5c 09 43 6f 6e 63 75 | 72 72 65 6e 63 79 0a 09 |\\.Concu|rrency..|
|00000d80| 09 26 09 52 65 61 6c 2d | 74 69 6d 65 20 61 6e 64 |.&.Real-|time and|
|00000d90| 20 72 65 61 63 74 69 76 | 65 20 73 79 73 74 65 6d | reactiv|e system|
|00000da0| 73 20 0a 09 09 5c 5c 09 | 52 65 66 69 6e 65 6d 65 |s ...\\.|Refineme|
|00000db0| 6e 74 20 74 65 63 68 6e | 69 71 75 65 73 20 0a 20 |nt techn|iques . |
|00000dc0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 26 |        |       &|
|00000dd0| 20 20 20 20 20 20 20 4f | 62 6a 65 63 74 20 6f 72 |       O|bject or|
|00000de0| 69 65 6e 74 61 74 69 6f | 6e 20 0a 09 09 5c 5c 09 |ientatio|n ...\\.|
|00000df0| 53 65 63 75 72 65 20 73 | 79 73 74 65 6d 73 20 0a |Secure s|ystems .|
|00000e00| 09 09 26 09 53 61 66 65 | 74 79 2d 63 72 69 74 69 |..&.Safe|ty-criti|
|00000e10| 63 61 6c 20 73 79 73 74 | 65 6d 73 20 0a 09 09 5c |cal syst|ems ...\|
|00000e20| 5c 09 54 68 65 20 64 65 | 76 65 6c 6f 70 6d 65 6e |\.The de|velopmen|
|00000e30| 74 20 70 72 6f 63 65 73 | 73 20 0a 09 09 26 09 45 |t proces|s ...&.E|
|00000e40| 64 75 63 61 74 69 6f 6e | 20 61 6e 64 20 74 65 63 |ducation| and tec|
|00000e50| 68 6e 6f 6c 6f 67 79 20 | 74 72 61 6e 73 66 65 72 |hnology |transfer|
|00000e60| 20 0a 09 5c 65 6e 64 7b | 74 61 62 75 6c 61 72 7d | ..\end{|tabular}|
|00000e70| 0a 5c 65 6e 64 7b 63 65 | 6e 74 65 72 7d 0a 5c 76 |.\end{ce|nter}.\v|
|00000e80| 73 70 61 63 65 2a 7b 2d | 31 6d 6d 7d 0a 0a 5c 62 |space*{-|1mm}..\b|
|00000e90| 65 67 69 6e 7b 64 65 73 | 63 72 69 70 74 69 6f 6e |egin{des|cription|
|00000ea0| 7d 0a 5c 69 74 65 6d 5b | 31 20 4f 63 74 6f 62 65 |}.\item[|1 Octobe|
|00000eb0| 72 20 31 39 39 32 20 7b | 5c 65 6d 20 53 75 62 6d |r 1992 {|\em Subm|
|00000ec0| 69 73 73 69 6f 6e 73 7d | 3a 5d 5c 6d 62 6f 78 7b |issions}|:]\mbox{|
|00000ed0| 7d 5c 5c 0a 0a 5c 76 73 | 70 61 63 65 2a 7b 2d 37 |}\\..\vs|pace*{-7|
|00000ee0| 6d 6d 7d 0a 25 09 5c 62 | 65 67 69 6e 7b 66 6c 75 |mm}.%.\b|egin{flu|
|00000ef0| 73 68 6c 65 66 74 7d 0a | 5c 62 65 67 69 6e 7b 69 |shleft}.|\begin{i|
|00000f00| 74 65 6d 69 7a 65 7d 0a | 5c 69 74 65 6d 09 46 75 |temize}.|\item.Fu|
|00000f10| 6c 6c 2c 20 6f 72 69 67 | 69 6e 61 6c 20 72 65 73 |ll, orig|inal res|
|00000f20| 65 61 72 63 68 20 70 61 | 70 65 72 73 20 28 36 20 |earch pa|pers (6 |
|00000f30| 63 6f 70 69 65 73 2c 20 | 31 32 70 74 2c 20 73 69 |copies, |12pt, si|
|00000f40| 6e 67 6c 65 20 73 70 61 | 63 65 64 2c 20 6d 61 78 |ngle spa|ced, max|
|00000f50| 69 6d 75 6d 20 32 30 70 | 70 29 2e 09 0a 5c 69 74 |imum 20p|p)...\it|
|00000f60| 65 6d 09 49 6e 64 75 73 | 74 72 69 61 6c 20 75 73 |em.Indus|trial us|
|00000f70| 61 67 65 20 72 65 70 6f | 72 74 73 20 28 36 20 63 |age repo|rts (6 c|
|00000f80| 6f 70 69 65 73 2c 20 31 | 32 70 74 2c 20 73 69 6e |opies, 1|2pt, sin|
|00000f90| 67 6c 65 20 73 70 61 63 | 65 64 2c 20 6d 61 78 69 |gle spac|ed, maxi|
|00000fa0| 6d 75 6d 20 31 30 70 70 | 29 2e 09 09 0a 5c 69 74 |mum 10pp|)....\it|
|00000fb0| 65 6d 09 50 72 6f 70 6f | 73 61 6c 73 20 66 6f 72 |em.Propo|sals for|
|00000fc0| 20 74 75 74 6f 72 69 61 | 6c 73 20 28 24 5c 66 72 | tutoria|ls ($\fr|
|00000fd0| 61 63 7b 31 7d 7b 32 7d | 24 20 64 61 79 2c 20 6d |ac{1}{2}|$ day, m|
|00000fe0| 61 78 69 6d 75 6d 20 35 | 30 70 70 20 6f 66 20 6e |aximum 5|0pp of n|
|00000ff0| 6f 74 65 73 20 66 6f 72 | 20 70 61 72 74 69 63 69 |otes for| partici|
|00001000| 70 61 6e 74 73 29 2e 0a | 5c 69 74 65 6d 20 20 09 |pants)..|\item  .|
|00001010| 50 72 6f 70 6f 73 61 6c | 73 20 66 6f 72 20 74 6f |Proposal|s for to|
|00001020| 6f 6c 20 64 65 6d 6f 6e | 73 74 72 61 74 69 6f 6e |ol demon|stration|
|00001030| 73 20 28 77 69 74 68 20 | 68 61 72 64 77 61 72 65 |s (with |hardware|
|00001040| 20 61 6e 64 20 73 6f 66 | 74 77 61 72 65 20 72 65 | and sof|tware re|
|00001050| 71 75 69 72 65 6d 65 6e | 74 73 29 2e 0a 5c 65 6e |quiremen|ts)..\en|
|00001060| 64 7b 69 74 65 6d 69 7a | 65 7d 0a 5c 76 73 70 61 |d{itemiz|e}.\vspa|
|00001070| 63 65 2a 7b 2d 31 6d 6d | 7d 0a 25 09 5c 65 6e 64 |ce*{-1mm|}.%.\end|
|00001080| 7b 66 6c 75 73 68 6c 65 | 66 74 7d 0a 0a 20 09 50 |{flushle|ft}.. .P|
|00001090| 72 6f 70 6f 73 61 6c 73 | 20 66 6f 72 20 74 6f 6f |roposals| for too|
|000010a0| 6c 73 20 64 65 6d 6f 6e | 73 74 72 61 74 69 6f 6e |ls demon|stration|
|000010b0| 73 20 73 68 6f 75 6c 64 | 20 62 65 20 73 65 6e 64 |s should| be send|
|000010c0| 20 74 6f 20 74 68 65 0a | 20 09 6f 72 67 61 6e 69 | to the.| .organi|
|000010d0| 73 69 6e 67 20 63 68 61 | 69 72 6d 61 6e 2c 20 77 |sing cha|irman, w|
|000010e0| 68 69 6c 65 20 61 6c 6c | 20 6f 74 68 65 72 20 70 |hile all| other p|
|000010f0| 72 6f 70 6f 73 61 6c 73 | 20 73 68 6f 75 6c 64 20 |roposals| should |
|00001100| 62 65 20 73 65 6e 64 0a | 20 09 74 6f 20 74 68 65 |be send.| .to the|
|00001110| 20 70 72 6f 67 72 61 6d | 6d 65 20 63 68 61 69 72 | program|me chair|
|00001120| 6d 61 6e 2e 20 49 6e 64 | 75 73 74 72 69 61 6c 20 |man. Ind|ustrial |
|00001130| 75 73 61 67 65 20 72 65 | 70 6f 72 74 73 20 64 6f |usage re|ports do|
|00001140| 20 6e 6f 74 0a 09 6e 65 | 65 64 20 74 6f 20 63 6f | not..ne|ed to co|
|00001150| 6e 66 6f 72 6d 20 74 6f | 20 75 73 75 61 6c 20 73 |nform to| usual s|
|00001160| 74 61 6e 64 61 72 64 73 | 20 66 6f 72 20 61 63 61 |tandards| for aca|
|00001170| 64 65 6d 69 63 20 70 61 | 70 65 72 73 2e 0a 09 5c |demic pa|pers...\|
|00001180| 76 73 70 61 63 65 2a 7b | 2d 31 6d 6d 7d 0a 5c 69 |vspace*{|-1mm}.\i|
|00001190| 74 65 6d 5b 31 20 44 65 | 63 65 6d 62 65 72 20 31 |tem[1 De|cember 1|
|000011a0| 39 39 32 20 7b 5c 65 6d | 20 4e 6f 74 69 66 69 63 |992 {\em| Notific|
|000011b0| 61 74 69 6f 6e 20 6f 66 | 20 61 63 63 65 70 74 61 |ation of| accepta|
|000011c0| 6e 63 65 7d 5d 5c 76 73 | 70 61 63 65 2a 7b 2d 31 |nce}]\vs|pace*{-1|
|000011d0| 6d 6d 7d 0a 5c 69 74 65 | 6d 5b 31 20 46 65 62 72 |mm}.\ite|m[1 Febr|
|000011e0| 75 61 72 79 20 31 39 39 | 33 20 7b 5c 65 6d 20 43 |uary 199|3 {\em C|
|000011f0| 61 6d 65 72 61 2d 72 65 | 61 64 79 20 63 6f 70 79 |amera-re|ady copy|
|00001200| 20 64 75 65 20 66 6f 72 | 20 70 75 62 6c 69 73 68 | due for| publish|
|00001210| 65 72 73 7d 5d 0a 5c 65 | 6e 64 7b 64 65 73 63 72 |ers}].\e|nd{descr|
|00001220| 69 70 74 69 6f 6e 7d 0a | 0a 5c 70 61 72 62 6f 78 |iption}.|.\parbox|
|00001230| 7b 37 63 6d 7d 25 0a 7b | 25 20 5c 62 65 67 69 6e |{7cm}%.{|% \begin|
|00001240| 7b 63 65 6e 74 65 72 7d | 0a 20 20 7b 5c 62 66 20 |{center}|.  {\bf |
|00001250| 50 72 6f 67 72 61 6d 6d | 65 20 43 68 61 69 72 6d |Programm|e Chairm|
|00001260| 61 6e 7d 5c 5c 0a 20 25 | 20 5c 65 6e 64 7b 63 65 |an}\\. %| \end{ce|
|00001270| 6e 74 65 72 7d 0a 20 4a | 69 6d 20 43 2e 50 2e 5c |nter}. J|im C.P.\|
|00001280| 20 57 6f 6f 64 63 6f 63 | 6b 5c 5c 0a 20 4f 78 66 | Woodcoc|k\\. Oxf|
|00001290| 6f 72 64 20 55 6e 69 76 | 65 72 73 69 74 79 5c 5c |ord Univ|ersity\\|
|000012a0| 0a 25 43 6f 6d 70 75 74 | 69 6e 67 20 4c 61 62 6f |.%Comput|ing Labo|
|000012b0| 72 61 74 6f 72 79 20 5c | 5c 0a 20 50 72 6f 67 72 |ratory \|\. Progr|
|000012c0| 61 6d 6d 69 6e 67 20 52 | 65 73 65 61 72 63 68 20 |amming R|esearch |
|000012d0| 47 72 6f 75 70 09 5c 5c | 09 0a 20 31 31 20 4b 65 |Group.\\|.. 11 Ke|
|000012e0| 62 6c 65 20 52 6f 61 64 | 2c 09 4f 78 66 6f 72 64 |ble Road|,.Oxford|
|000012f0| 20 20 4f 58 31 20 33 51 | 44 2c 20 55 4b 09 5c 5c |  OX1 3Q|D, UK.\\|
|00001300| 0a 20 74 65 6c 3a 20 2b | 34 34 20 38 36 35 20 32 |. tel: +|44 865 2|
|00001310| 37 32 35 37 36 09 5c 5c | 0a 20 66 61 78 3a 20 2b |72576.\\|. fax: +|
|00001320| 34 34 20 38 36 35 20 32 | 37 33 38 33 39 09 5c 5c |44 865 2|73839.\\|
|00001330| 0a 20 65 6d 61 69 6c 3a | 20 6a 69 6d 77 40 70 72 |. email:| jimw@pr|
|00001340| 67 2e 6f 78 2e 61 63 2e | 75 6b 0a 7d 0a 5c 68 66 |g.ox.ac.|uk.}.\hf|
|00001350| 69 6c 6c 0a 5c 70 61 72 | 62 6f 78 7b 38 2e 36 63 |ill.\par|box{8.6c|
|00001360| 6d 7d 25 0a 7b 25 20 5c | 62 65 67 69 6e 7b 63 65 |m}%.{% \|begin{ce|
|00001370| 6e 74 65 72 7d 0a 20 20 | 7b 5c 62 66 20 4f 72 67 |nter}.  |{\bf Org|
|00001380| 61 6e 69 73 69 6e 67 20 | 43 68 61 69 72 6d 61 6e |anising |Chairman|
|00001390| 7d 5c 5c 0a 20 25 20 5c | 65 6e 64 7b 63 65 6e 74 |}\\. % \|end{cent|
|000013a0| 65 72 7d 0a 20 50 65 74 | 65 72 20 47 6f 72 6d 20 |er}. Pet|er Gorm |
|000013b0| 4c 61 72 73 65 6e 5c 5c | 0a 20 54 68 65 20 49 6e |Larsen\\|. The In|
|000013c0| 73 74 69 74 75 74 65 20 | 6f 66 20 41 70 70 6c 69 |stitute |of Appli|
|000013d0| 65 64 20 43 6f 6d 70 75 | 74 65 72 20 53 63 69 65 |ed Compu|ter Scie|
|000013e0| 6e 63 65 20 28 49 46 41 | 44 29 5c 5c 0a 20 46 6f |nce (IFA|D)\\. Fo|
|000013f0| 72 73 6b 65 72 70 61 72 | 6b 65 6e 20 31 30 2c 20 |rskerpar|ken 10, |
|00001400| 44 4b 2d 35 32 33 30 20 | 4f 64 65 6e 73 65 20 4d |DK-5230 |Odense M|
|00001410| 5c 5c 0a 20 44 65 6e 6d | 61 72 6b 5c 5c 0a 20 74 |\\. Denm|ark\\. t|
|00001420| 65 6c 3a 20 2b 34 35 20 | 36 35 20 39 33 20 32 33 |el: +45 |65 93 23|
|00001430| 20 30 30 5c 5c 0a 20 66 | 61 78 3a 20 2b 34 35 20 | 00\\. f|ax: +45 |
|00001440| 36 35 20 39 33 20 32 39 | 20 39 39 5c 5c 0a 20 65 |65 93 29| 99\\. e|
|00001450| 6d 61 69 6c 3a 20 70 65 | 74 65 72 40 69 66 61 64 |mail: pe|ter@ifad|
|00001460| 2e 64 6b 0a 20 7d 0a 20 | 0a 5c 62 65 67 69 6e 7b |.dk. }. |.\begin{|
|00001470| 63 65 6e 74 65 72 7d 0a | 7b 5c 62 66 20 45 78 65 |center}.|{\bf Exe|
|00001480| 63 75 74 69 76 65 20 50 | 72 6f 67 72 61 6d 6d 65 |cutive P|rogramme|
|00001490| 20 43 6f 6d 6d 69 74 74 | 65 65 7d 20 20 20 20 20 | Committ|ee}     |
|000014a0| 20 20 20 0a 5c 65 6e 64 | 7b 63 65 6e 74 65 72 7d |   .\end|{center}|
|000014b0| 0a 5c 76 73 70 61 63 65 | 2a 7b 2d 33 6d 6d 7d 0a |.\vspace|*{-3mm}.|
|000014c0| 4a 2e 2d 52 2e 20 41 62 | 72 69 61 6c 20 28 7b 5c |J.-R. Ab|rial ({\|
|000014d0| 73 63 20 66 7d 29 2c 0a | 09 54 69 6d 20 44 65 6e |sc f}),.|.Tim Den|
|000014e0| 76 69 72 20 28 7b 5c 73 | 63 20 67 62 7d 29 2c 0a |vir ({\s|c gb}),.|
|000014f0| 09 45 75 67 65 6e 65 20 | 44 5c 22 7b 75 7d 72 72 |.Eugene |D\"{u}rr|
|00001500| 20 28 7b 5c 73 63 20 6e | 6c 7d 29 2c 0a 09 49 61 | ({\sc n|l}),..Ia|
|00001510| 6e 20 48 61 79 65 73 20 | 28 7b 5c 73 63 20 61 75 |n Hayes |({\sc au|
|00001520| 73 7d 29 2c 0a 09 53 74 | 65 76 65 20 4b 69 6e 67 |s}),..St|eve King|
|00001530| 20 28 7b 5c 73 63 20 67 | 62 7d 29 2c 0a 09 48 61 | ({\sc g|b}),..Ha|
|00001540| 6e 73 20 4c 61 6e 67 6d | 61 61 63 6b 20 28 7b 5c |ns Langm|aack ({\|
|00001550| 73 63 20 64 7d 29 2c 0a | 09 4d 5c 27 7b 5c 69 7d |sc d}),.|.M\'{\i}|
|00001560| 63 68 65 5c 27 7b 61 7d | 6c 20 4d 61 63 20 61 6e |che\'{a}|l Mac an|
|00001570| 20 41 69 72 63 68 69 6e | 6e 69 67 68 20 28 7b 5c | Airchin|nigh ({\|
|00001580| 73 63 20 69 72 6c 7d 29 | 2c 0a 09 4b 65 65 73 20 |sc irl})|,..Kees |
|00001590| 4d 69 64 64 65 6c 62 75 | 72 67 20 28 7b 5c 73 63 |Middelbu|rg ({\sc|
|000015a0| 20 6e 6c 7d 29 2c 0a 09 | 53 7b 5c 6f 7d 72 65 6e | nl}),..|S{\o}ren|
|000015b0| 20 50 72 65 68 6e 20 28 | 7b 5c 73 63 20 64 6b 7d | Prehn (|{\sc dk}|
|000015c0| 29 2c 0a 09 48 61 6e 73 | 20 54 6f 65 74 65 6e 65 |),..Hans| Toetene|
|000015d0| 6c 20 28 7b 5c 73 63 20 | 6e 6c 7d 29 0a 0a 25 20 |l ({\sc |nl})..% |
|000015e0| 20 20 20 20 20 20 20 20 | 5c 62 65 67 69 6e 7b 74 |        |\begin{t|
|000015f0| 61 62 75 6c 61 72 7d 7b | 6c 6c 6c 7d 0a 25 20 09 |abular}{|lll}.% .|
|00001600| 09 09 4a 2e 2d 52 2e 20 | 41 62 72 69 61 6c 20 28 |..J.-R. |Abrial (|
|00001610| 7b 5c 73 63 20 66 7d 29 | 0a 25 20 09 09 26 09 54 |{\sc f})|.% ..&.T|
|00001620| 69 6d 20 44 65 6e 76 69 | 72 20 28 7b 5c 73 63 20 |im Denvi|r ({\sc |
|00001630| 67 62 7d 29 0a 25 20 09 | 09 26 09 45 75 67 65 6e |gb}).% .|.&.Eugen|
|00001640| 65 20 44 5c 22 7b 75 7d | 72 72 20 28 7b 5c 73 63 |e D\"{u}|rr ({\sc|
|00001650| 20 6e 6c 7d 29 0a 25 20 | 09 09 5c 5c 09 49 61 6e | nl}).% |..\\.Ian|
|00001660| 20 48 61 79 65 73 20 28 | 7b 5c 73 63 20 61 75 73 | Hayes (|{\sc aus|
|00001670| 7d 29 0a 25 20 09 09 26 | 09 53 74 65 76 65 20 4b |}).% ..&|.Steve K|
|00001680| 69 6e 67 20 28 7b 5c 73 | 63 20 67 62 7d 29 0a 25 |ing ({\s|c gb}).%|
|00001690| 20 09 09 26 09 48 61 6e | 73 20 4c 61 6e 67 6d 61 | ..&.Han|s Langma|
|000016a0| 61 63 6b 20 28 7b 5c 73 | 63 20 64 7d 29 0a 25 20 |ack ({\s|c d}).% |
|000016b0| 09 09 5c 5c 09 4d 5c 27 | 7b 5c 69 7d 63 68 65 5c |..\\.M\'|{\i}che\|
|000016c0| 27 7b 61 7d 6c 20 4d 61 | 63 20 61 6e 20 41 69 72 |'{a}l Ma|c an Air|
|000016d0| 63 68 69 6e 6e 69 67 68 | 20 28 7b 5c 73 63 20 69 |chinnigh| ({\sc i|
|000016e0| 72 6c 7d 29 0a 25 20 09 | 09 26 09 4b 65 65 73 20 |rl}).% .|.&.Kees |
|000016f0| 4d 69 64 64 65 6c 62 75 | 72 67 20 28 7b 5c 73 63 |Middelbu|rg ({\sc|
|00001700| 20 6e 6c 7d 29 0a 25 20 | 09 09 26 09 53 7b 5c 6f | nl}).% |..&.S{\o|
|00001710| 7d 72 65 6e 20 50 72 65 | 68 6e 20 28 7b 5c 73 63 |}ren Pre|hn ({\sc|
|00001720| 20 64 6b 7d 29 0a 25 20 | 09 09 5c 5c 09 48 61 6e | dk}).% |..\\.Han|
|00001730| 73 20 54 6f 65 74 65 6e | 65 6c 20 28 7b 5c 73 63 |s Toeten|el ({\sc|
|00001740| 20 6e 6c 7d 29 0a 25 20 | 09 5c 65 6e 64 7b 74 61 | nl}).% |.\end{ta|
|00001750| 62 75 6c 61 72 7d 0a 25 | 20 09 7b 5c 62 66 20 4f |bular}.%| .{\bf O|
|00001760| 72 67 61 6e 69 73 69 6e | 67 20 43 6f 6d 6d 69 74 |rganisin|g Commit|
|00001770| 74 65 65 7d 09 5c 5c 0a | 25 20 09 5c 6c 64 6f 74 |tee}.\\.|% .\ldot|
|00001780| 73 09 09 09 09 5c 5c 0a | 25 20 5c 62 65 67 69 6e |s....\\.|% \begin|
|00001790| 7b 63 65 6e 74 65 72 7d | 0a 25 20 09 7b 5c 62 66 |{center}|.% .{\bf|
|000017a0| 20 43 6f 6e 66 65 72 65 | 6e 63 65 20 4c 6f 63 61 | Confere|nce Loca|
|000017b0| 74 69 6f 6e 7d 09 0a 25 | 20 5c 65 6e 64 7b 63 65 |tion}..%| \end{ce|
|000017c0| 6e 74 65 72 7d 0a 25 20 | 20 20 20 20 20 20 20 20 |nter}.% |        |
|000017d0| 54 68 65 20 63 6f 6e 66 | 65 72 65 6e 63 65 20 77 |The conf|erence w|
|000017e0| 69 6c 6c 20 62 65 20 68 | 65 6c 64 20 61 74 20 4f |ill be h|eld at O|
|000017f0| 64 65 6e 73 65 20 54 65 | 63 68 6e 69 63 61 6c 20 |dense Te|chnical |
|00001800| 43 6f 6c 6c 65 67 65 20 | 69 6e 0a 25 20 20 20 20 |College |in.%    |
|00001810| 20 20 20 20 20 44 65 6e | 6d 61 72 6b 2e 20 42 75 |     Den|mark. Bu|
|00001820| 73 65 73 20 74 6f 2f 66 | 72 6f 6d 20 68 6f 74 65 |ses to/f|rom hote|
|00001830| 6c 73 20 77 69 6c 6c 20 | 62 65 20 70 72 6f 76 69 |ls will |be provi|
|00001840| 64 65 64 2e 20 0a 0a 5c | 65 6e 64 7b 64 6f 63 75 |ded. ..\|end{docu|
|00001850| 6d 65 6e 74 7d 0a 0a 0a | 2d 2d 0a 4a 6f 6e 61 74 |ment}...|--.Jonat|
|00001860| 68 61 6e 20 42 6f 77 65 | 6e 2c 20 3c 4a 6f 6e 61 |han Bowe|n, <Jona|
|00001870| 74 68 61 6e 2e 42 6f 77 | 65 6e 40 63 6f 6d 6c 61 |than.Bow|en@comla|
|00001880| 62 2e 6f 78 2e 61 63 2e | 75 6b 3e 0a 4f 78 66 6f |b.ox.ac.|uk>.Oxfo|
|00001890| 72 64 20 55 6e 69 76 65 | 72 73 69 74 79 20 43 6f |rd Unive|rsity Co|
|000018a0| 6d 70 75 74 69 6e 67 20 | 4c 61 62 6f 72 61 74 6f |mputing |Laborato|
|000018b0| 72 79 2e 0a             |                         |ry..    |        |
+--------+-------------------------+-------------------------+--------+--------+