/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / software / 3373

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 4e 65 77 73 67 72 6f 75 | 70 73 3a 20 63 6f 6d 70 |Newsgrou|ps: comp|
|00000010| 2e 73 6f 66 74 77 61 72 | 65 2d 65 6e 67 0a 50 61 |.softwar|e-eng.Pa|
|00000020| 74 68 3a 20 73 70 61 72 | 6b 79 21 75 75 6e 65 74 |th: spar|ky!uunet|
|00000030| 21 6d 63 73 75 6e 21 73 | 75 6e 34 6e 6c 21 75 74 |!mcsun!s|un4nl!ut|
|00000040| 72 63 75 31 21 69 6e 66 | 6e 65 77 73 21 69 6e 66 |rcu1!inf|news!inf|
|00000050| 6e 65 77 73 21 73 63 6f | 6c 6c 6f 0a 46 72 6f 6d |news!sco|llo.From|
|00000060| 3a 20 73 63 6f 6c 6c 6f | 40 63 73 2e 75 74 77 65 |: scollo|@cs.utwe|
|00000070| 6e 74 65 2e 6e 6c 20 28 | 50 69 70 70 6f 20 53 63 |nte.nl (|Pippo Sc|
|00000080| 6f 6c 6c 6f 29 0a 53 75 | 62 6a 65 63 74 3a 20 41 |ollo).Su|bject: A|
|00000090| 4d 41 53 54 27 39 33 20 | 43 61 6c 6c 20 66 6f 72 |MAST'93 |Call for|
|000000a0| 20 50 61 70 65 72 73 20 | 28 6c 61 74 65 78 29 0a | Papers |(latex).|
|000000b0| 4d 65 73 73 61 67 65 2d | 49 44 3a 20 3c 31 39 39 |Message-|ID: <199|
|000000c0| 32 53 65 70 34 2e 31 37 | 31 31 34 35 40 63 73 2e |2Sep4.17|1145@cs.|
|000000d0| 75 74 77 65 6e 74 65 2e | 6e 6c 3e 0a 4b 65 79 77 |utwente.|nl>.Keyw|
|000000e0| 6f 72 64 73 3a 20 61 6c | 67 65 62 72 61 69 63 20 |ords: al|gebraic |
|000000f0| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 2c 20 73 |specific|ation, s|
|00000100| 6f 66 74 77 61 72 65 20 | 64 65 76 65 6c 6f 70 6d |oftware |developm|
|00000110| 65 6e 74 0a 53 65 6e 64 | 65 72 3a 20 75 73 65 6e |ent.Send|er: usen|
|00000120| 65 74 40 63 73 2e 75 74 | 77 65 6e 74 65 2e 6e 6c |et@cs.ut|wente.nl|
|00000130| 0a 4e 6e 74 70 2d 50 6f | 73 74 69 6e 67 2d 48 6f |.Nntp-Po|sting-Ho|
|00000140| 73 74 3a 20 75 74 69 73 | 30 32 0a 4f 72 67 61 6e |st: utis|02.Organ|
|00000150| 69 7a 61 74 69 6f 6e 3a | 20 55 6e 69 76 65 72 73 |ization:| Univers|
|00000160| 69 74 79 20 6f 66 20 54 | 77 65 6e 74 65 2c 20 44 |ity of T|wente, D|
|00000170| 65 70 74 2e 20 6f 66 20 | 43 6f 6d 70 75 74 65 72 |ept. of |Computer|
|00000180| 20 53 63 69 65 6e 63 65 | 0a 44 61 74 65 3a 20 46 | Science|.Date: F|
|00000190| 72 69 2c 20 34 20 53 65 | 70 20 31 39 39 32 20 31 |ri, 4 Se|p 1992 1|
|000001a0| 35 3a 31 31 3a 34 35 20 | 47 4d 54 0a 4c 69 6e 65 |5:11:45 |GMT.Line|
|000001b0| 73 3a 20 32 32 34 0a 0a | 5c 64 6f 63 75 6d 65 6e |s: 224..|\documen|
|000001c0| 74 73 74 79 6c 65 20 5b | 74 69 74 6c 65 70 61 67 |tstyle [|titlepag|
|000001d0| 65 2c 31 31 70 74 5d 7b | 61 72 74 69 63 6c 65 7d |e,11pt]{|article}|
|000001e0| 0a 5c 70 61 67 65 73 74 | 79 6c 65 7b 70 6c 61 69 |.\pagest|yle{plai|
|000001f0| 6e 7d 0a 5c 70 61 67 65 | 6e 75 6d 62 65 72 69 6e |n}.\page|numberin|
|00000200| 67 7b 61 6c 70 68 7d 0a | 5c 74 65 78 74 77 69 64 |g{alph}.|\textwid|
|00000210| 74 68 20 3d 20 36 2e 37 | 35 69 6e 0a 5c 74 65 78 |th = 6.7|5in.\tex|
|00000220| 74 68 65 69 67 68 74 20 | 3d 20 38 2e 35 69 6e 0a |theight |= 8.5in.|
|00000230| 5c 74 6f 70 6d 61 72 67 | 69 6e 20 3d 20 2d 30 2e |\topmarg|in = -0.|
|00000240| 33 69 6e 0a 5c 74 6f 70 | 73 6b 69 70 20 3d 20 30 |3in.\top|skip = 0|
|00000250| 69 6e 0a 5c 6f 64 64 73 | 69 64 65 6d 61 72 67 69 |in.\odds|idemargi|
|00000260| 6e 20 3d 20 2d 30 2e 31 | 69 6e 0a 5c 65 76 65 6e |n = -0.1|in.\even|
|00000270| 73 69 64 65 6d 61 72 67 | 69 6e 20 3d 20 2d 30 2e |sidemarg|in = -0.|
|00000280| 31 69 6e 0a 5c 61 64 64 | 74 6f 6c 65 6e 67 74 68 |1in.\add|tolength|
|00000290| 7b 5c 70 61 72 73 6b 69 | 70 7d 7b 30 2e 35 65 78 |{\parski|p}{0.5ex|
|000002a0| 7d 0a 5c 62 65 67 69 6e | 7b 64 6f 63 75 6d 65 6e |}.\begin|{documen|
|000002b0| 74 7d 0a 5c 73 65 74 63 | 6f 75 6e 74 65 72 7b 70 |t}.\setc|ounter{p|
|000002c0| 61 67 65 7d 7b 30 7d 0a | 5c 62 65 67 69 6e 7b 63 |age}{0}.|\begin{c|
|000002d0| 65 6e 74 65 72 7d 0a 7b | 5c 4c 61 72 67 65 20 7b |enter}.{|\Large {|
|000002e0| 5c 62 66 20 43 61 6c 6c | 20 66 6f 72 20 50 61 70 |\bf Call| for Pap|
|000002f0| 65 72 73 7d 7d 5c 5c 0a | 7b 5c 6c 61 72 67 65 20 |ers}}\\.|{\large |
|00000300| 7b 5c 62 66 20 54 68 69 | 72 64 20 49 6e 74 65 72 |{\bf Thi|rd Inter|
|00000310| 6e 61 74 69 6f 6e 61 6c | 20 43 6f 6e 66 65 72 65 |national| Confere|
|00000320| 6e 63 65 20 6f 6e 20 41 | 6c 67 65 62 72 61 69 63 |nce on A|lgebraic|
|00000330| 7d 7d 5c 5c 0a 7b 5c 6c | 61 72 67 65 20 7b 5c 62 |}}\\.{\l|arge {\b|
|00000340| 66 20 4d 65 74 68 6f 64 | 6f 6c 6f 67 79 20 61 6e |f Method|ology an|
|00000350| 64 20 53 6f 66 74 77 61 | 72 65 20 54 65 63 68 6e |d Softwa|re Techn|
|00000360| 6f 6c 6f 67 79 2c 20 41 | 4d 41 53 54 7d 7d 5c 5c |ology, A|MAST}}\\|
|00000370| 0a 5c 65 6e 64 7b 63 65 | 6e 74 65 72 7d 0a 5c 73 |.\end{ce|nter}.\s|
|00000380| 65 63 74 69 6f 6e 2a 7b | 47 6f 61 6c 73 20 61 6e |ection*{|Goals an|
|00000390| 64 20 4f 72 67 61 6e 69 | 7a 61 74 69 6f 6e 7d 0a |d Organi|zation}.|
|000003a0| 0a 54 68 65 20 67 6f 61 | 6c 20 6f 66 20 74 68 65 |.The goa|l of the|
|000003b0| 20 74 68 69 72 64 20 41 | 4d 41 53 54 20 63 6f 6e | third A|MAST con|
|000003c0| 66 65 72 65 6e 63 65 20 | 74 6f 20 62 65 20 68 65 |ference |to be he|
|000003d0| 6c 64 20 6f 6e 20 4a 75 | 6e 65 20 32 32 2d 2d 32 |ld on Ju|ne 22--2|
|000003e0| 35 2c 20 31 39 39 33 2c | 0a 61 74 20 74 68 65 20 |5, 1993,|.at the |
|000003f0| 55 6e 69 76 65 72 73 69 | 74 79 20 6f 66 20 54 77 |Universi|ty of Tw|
|00000400| 65 6e 74 65 2c 20 45 6e | 73 63 68 65 64 65 2c 20 |ente, En|schede, |
|00000410| 54 68 65 20 4e 65 74 68 | 65 72 6c 61 6e 64 73 2c |The Neth|erlands,|
|00000420| 0a 69 73 20 74 6f 20 63 | 6f 6e 73 6f 6c 69 64 61 |.is to c|onsolida|
|00000430| 74 65 20 74 68 65 20 74 | 72 65 6e 64 20 74 6f 77 |te the t|rend tow|
|00000440| 61 72 64 73 20 75 73 69 | 6e 67 20 61 6c 67 65 62 |ards usi|ng algeb|
|00000450| 72 61 69 63 20 6d 65 74 | 68 6f 64 6f 6c 6f 67 79 |raic met|hodology|
|00000460| 0a 61 73 20 61 20 66 6f | 75 6e 64 61 74 69 6f 6e |.as a fo|undation|
|00000470| 20 66 6f 72 20 73 6f 66 | 74 77 61 72 65 20 74 65 | for sof|tware te|
|00000480| 63 68 6e 6f 6c 6f 67 79 | 2c 0a 61 6e 64 20 74 6f |chnology|,.and to|
|00000490| 20 73 68 6f 77 20 74 68 | 61 74 20 75 6e 69 76 65 | show th|at unive|
|000004a0| 72 73 61 6c 20 61 6c 67 | 65 62 72 61 20 70 72 6f |rsal alg|ebra pro|
|000004b0| 76 69 64 65 73 20 61 20 | 70 72 61 63 74 69 63 61 |vides a |practica|
|000004c0| 6c 20 6d 61 74 68 65 6d | 61 74 69 63 61 6c 0a 61 |l mathem|atical.a|
|000004d0| 6c 74 65 72 6e 61 74 69 | 76 65 20 74 6f 20 74 68 |lternati|ve to th|
|000004e0| 65 20 63 6f 6d 6d 6f 6e | 2c 20 61 64 2d 68 6f 63 |e common|, ad-hoc|
|000004f0| 20 61 70 70 72 6f 61 63 | 68 65 73 20 74 6f 20 73 | approac|hes to s|
|00000500| 6f 66 74 77 61 72 65 20 | 65 6e 67 69 6e 65 65 72 |oftware |engineer|
|00000510| 69 6e 67 20 61 6e 64 0a | 64 65 76 65 6c 6f 70 6d |ing and.|developm|
|00000520| 65 6e 74 2e 0a 41 63 61 | 64 65 6d 69 61 20 61 6e |ent..Aca|demia an|
|00000530| 64 20 69 6e 64 75 73 74 | 72 79 20 61 72 65 20 62 |d indust|ry are b|
|00000540| 6f 74 68 20 62 65 6e 65 | 66 69 63 69 61 72 69 65 |oth bene|ficiarie|
|00000550| 73 20 6f 66 20 73 75 63 | 68 20 61 20 66 6f 72 6d |s of suc|h a form|
|00000560| 61 6c 20 66 6f 75 6e 64 | 61 74 69 6f 6e 2e 0a 0a |al found|ation...|
|00000570| 5c 62 69 67 73 6b 69 70 | 5c 6e 6f 69 6e 64 65 6e |\bigskip|\noinden|
|00000580| 74 7b 5c 62 66 20 4f 72 | 67 61 6e 69 7a 69 6e 67 |t{\bf Or|ganizing|
|00000590| 20 43 6f 6d 6d 69 74 74 | 65 65 3a 7d 0a 0a 5c 6e | Committ|ee:}..\n|
|000005a0| 6f 69 6e 64 65 6e 74 0a | 5c 62 65 67 69 6e 7b 74 |oindent.|\begin{t|
|000005b0| 61 62 75 6c 61 72 7d 7b | 6c 6c 6c 7d 0a 47 65 6e |abular}{|lll}.Gen|
|000005c0| 65 72 61 6c 20 63 68 61 | 69 72 6d 61 6e 3a 20 26 |eral cha|irman: &|
|000005d0| 20 4d 61 75 72 69 63 65 | 20 4e 69 76 61 74 20 26 | Maurice| Nivat &|
|000005e0| 20 28 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 | (Univer|sity of |
|000005f0| 50 61 72 69 73 20 56 49 | 49 2c 20 50 61 72 69 73 |Paris VI|I, Paris|
|00000600| 2c 20 46 29 0a 5c 5c 0a | 50 72 6f 67 72 61 6d 6d |, F).\\.|Programm|
|00000610| 65 20 63 68 61 69 72 6d | 61 6e 3a 20 26 20 47 69 |e chairm|an: & Gi|
|00000620| 75 73 65 70 70 65 20 53 | 63 6f 6c 6c 6f 20 26 20 |useppe S|collo & |
|00000630| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 54 |(Univers|ity of T|
|00000640| 77 65 6e 74 65 2c 20 45 | 6e 73 63 68 65 64 65 2c |wente, E|nschede,|
|00000650| 20 4e 4c 29 0a 5c 5c 0a | 50 75 62 6c 69 63 69 74 | NL).\\.|Publicit|
|00000660| 79 20 63 68 61 69 72 6d | 61 6e 3a 0a 26 20 20 43 |y chairm|an:.&  C|
|00000670| 68 61 72 6c 65 73 20 52 | 61 74 74 72 61 79 20 26 |harles R|attray &|
|00000680| 20 28 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 | (Univer|sity of |
|00000690| 53 74 69 72 6c 69 6e 67 | 2c 20 47 42 29 0a 5c 5c |Stirling|, GB).\\|
|000006a0| 0a 26 20 20 54 65 6f 64 | 6f 72 20 52 75 73 20 26 |.&  Teod|or Rus &|
|000006b0| 20 28 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 | (Univer|sity of |
|000006c0| 49 6f 77 61 2c 20 49 6f | 77 61 20 43 69 74 79 2c |Iowa, Io|wa City,|
|000006d0| 20 49 41 2c 20 55 53 41 | 29 0a 5c 5c 0a 26 20 20 | IA, USA|).\\.&  |
|000006e0| 56 2e 53 2e 20 41 6c 61 | 67 61 72 20 26 20 28 43 |V.S. Ala|gar & (C|
|000006f0| 6f 6e 63 6f 72 64 69 61 | 20 55 6e 69 76 65 72 73 |oncordia| Univers|
|00000700| 69 74 79 2c 20 4d 6f 6e | 74 72 65 61 6c 2c 20 43 |ity, Mon|treal, C|
|00000710| 61 6e 61 64 61 29 0a 5c | 5c 0a 4c 6f 63 61 6c 20 |anada).\|\.Local |
|00000720| 63 68 61 69 72 6d 61 6e | 3a 20 26 20 45 64 20 42 |chairman|: & Ed B|
|00000730| 72 69 6e 6b 73 6d 61 20 | 26 20 28 55 6e 69 76 65 |rinksma |& (Unive|
|00000740| 72 73 69 74 79 20 6f 66 | 20 54 77 65 6e 74 65 2c |rsity of| Twente,|
|00000750| 20 45 6e 73 63 68 65 64 | 65 2c 20 4e 4c 29 0a 5c | Ensched|e, NL).\|
|00000760| 5c 0a 46 69 6e 61 6e 63 | 65 20 63 68 61 69 72 6d |\.Financ|e chairm|
|00000770| 61 6e 3a 20 26 20 46 72 | 61 6e 73 20 76 61 6e 20 |an: & Fr|ans van |
|00000780| 64 65 72 20 41 76 65 72 | 74 20 26 20 28 55 6e 69 |der Aver|t & (Uni|
|00000790| 76 65 72 73 69 74 79 20 | 6f 66 20 54 77 65 6e 74 |versity |of Twent|
|000007a0| 65 2c 20 45 6e 73 63 68 | 65 64 65 2c 20 4e 4c 29 |e, Ensch|ede, NL)|
|000007b0| 0a 5c 5c 0a 4d 65 6d 62 | 65 72 73 3a 0a 26 20 20 |.\\.Memb|ers:.&  |
|000007c0| 4d 6f 68 61 6d 6d 65 64 | 20 42 65 74 74 61 7a 20 |Mohammed| Bettaz |
|000007d0| 26 20 28 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |& (Unive|rsity of|
|000007e0| 20 43 6f 6e 73 74 61 6e | 74 69 6e 65 2c 20 41 6c | Constan|tine, Al|
|000007f0| 67 65 72 69 61 29 0a 5c | 5c 0a 26 20 20 43 68 72 |geria).\|\.&  Chr|
|00000800| 69 73 74 69 6e 65 20 43 | 68 6f 70 70 79 20 26 20 |istine C|hoppy & |
|00000810| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 50 |(Univers|ity of P|
|00000820| 61 72 69 73 2d 53 75 64 | 2c 20 4c 52 49 2c 20 4f |aris-Sud|, LRI, O|
|00000830| 72 73 61 79 2c 20 46 29 | 0a 5c 5c 0a 26 20 20 50 |rsay, F)|.\\.&  P|
|00000840| 69 65 72 72 65 20 44 65 | 72 61 6e 73 61 72 74 20 |ierre De|ransart |
|00000850| 26 20 28 49 4e 52 49 41 | 2c 20 52 6f 63 71 75 65 |& (INRIA|, Rocque|
|00000860| 6e 63 6f 75 72 74 2c 20 | 46 29 0a 5c 5c 0a 26 20 |ncourt, |F).\\.& |
|00000870| 20 41 72 74 68 75 72 20 | 46 6c 65 63 6b 20 26 20 | Arthur |Fleck & |
|00000880| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 49 |(Univers|ity of I|
|00000890| 6f 77 61 2c 20 49 6f 77 | 61 20 43 69 74 79 2c 20 |owa, Iow|a City, |
|000008a0| 49 41 2c 20 55 53 41 29 | 0a 5c 5c 0a 26 20 20 4c |IA, USA)|.\\.&  L|
|000008b0| 75 69 67 69 20 4c 6f 67 | 72 69 70 70 6f 20 26 20 |uigi Log|rippo & |
|000008c0| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 4f |(Univers|ity of O|
|000008d0| 74 74 61 77 61 2c 20 4f | 6e 74 61 72 69 6f 2c 20 |ttawa, O|ntario, |
|000008e0| 43 61 6e 61 64 61 29 0a | 5c 5c 0a 26 20 20 4d 69 |Canada).|\\.&  Mi|
|000008f0| 63 68 61 65 6c 20 4f 27 | 44 6f 6e 6e 65 6c 6c 20 |chael O'|Donnell |
|00000900| 26 20 28 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |& (Unive|rsity of|
|00000910| 20 43 68 69 63 61 67 6f | 2c 20 49 4c 2c 20 55 53 | Chicago|, IL, US|
|00000920| 41 29 0a 5c 5c 0a 26 20 | 20 4a 75 61 6e 20 51 75 |A).\\.& | Juan Qu|
|00000930| 65 6d 61 64 61 20 26 20 | 28 55 6e 69 76 65 72 73 |emada & |(Univers|
|00000940| 69 74 79 20 6f 66 20 4d | 61 64 72 69 64 2c 20 45 |ity of M|adrid, E|
|00000950| 29 0a 5c 5c 0a 26 20 20 | 52 61 6c 70 68 20 57 61 |).\\.&  |Ralph Wa|
|00000960| 63 68 74 65 72 20 26 20 | 28 4f 66 66 69 63 65 20 |chter & |(Office |
|00000970| 6f 66 20 4e 61 76 61 6c | 20 52 65 73 65 61 72 63 |of Naval| Researc|
|00000980| 68 2c 20 41 72 6c 69 6e | 67 74 6f 6e 2c 20 56 41 |h, Arlin|gton, VA|
|00000990| 2c 20 55 53 41 29 0a 5c | 5c 0a 5c 65 6e 64 7b 74 |, USA).\|\.\end{t|
|000009a0| 61 62 75 6c 61 72 7d 0a | 0a 5c 6e 6f 69 6e 64 65 |abular}.|.\noinde|
|000009b0| 6e 74 0a 5c 62 65 67 69 | 6e 7b 74 61 62 75 6c 61 |nt.\begi|n{tabula|
|000009c0| 72 7d 7b 6c 6c 7d 0a 4c | 6f 63 61 6c 20 43 6f 6d |r}{ll}.L|ocal Com|
|000009d0| 6d 69 74 74 65 65 3a 20 | 26 20 0a 20 20 20 48 65 |mittee: |& .   He|
|000009e0| 72 6d 61 6e 20 42 61 6c | 73 74 65 72 73 2c 20 48 |rman Bal|sters, H|
|000009f0| 61 6e 20 42 5c 22 7b 61 | 7d 75 6d 65 72 2c 20 50 |an B\"{a|}umer, P|
|00000a00| 69 6d 20 76 61 6e 20 64 | 65 6e 20 42 72 6f 65 6b |im van d|en Broek|
|00000a10| 2c 20 52 6f 6c 66 20 64 | 65 20 42 79 2c 0a 5c 5c |, Rolf d|e By,.\\|
|00000a20| 0a 26 20 20 4d 61 61 72 | 74 65 6e 20 46 6f 6b 6b |.&  Maar|ten Fokk|
|00000a30| 69 6e 67 61 2c 20 50 69 | 6d 20 4b 61 72 73 2c 20 |inga, Pi|m Kars, |
|00000a40| 4d 61 72 6b 20 76 61 6e | 20 64 65 20 56 6f 6f 72 |Mark van| de Voor|
|00000a50| 74 2c 20 4a 6f 62 20 5a | 77 69 65 72 73 0a 5c 5c |t, Job Z|wiers.\\|
|00000a60| 0a 53 65 63 72 65 74 61 | 72 69 61 74 3a 20 26 20 |.Secreta|riat: & |
|00000a70| 59 76 6f 6e 6e 65 20 52 | 6f 6b 6b 65 72 0a 5c 65 |Yvonne R|okker.\e|
|00000a80| 6e 64 7b 74 61 62 75 6c | 61 72 7d 0a 20 0a 5c 73 |nd{tabul|ar}. .\s|
|00000a90| 6d 61 6c 6c 73 6b 69 70 | 5c 6e 6f 69 6e 64 65 6e |mallskip|\noinden|
|00000aa0| 74 7b 5c 62 66 20 50 72 | 6f 67 72 61 6d 6d 65 20 |t{\bf Pr|ogramme |
|00000ab0| 43 6f 6d 6d 69 74 74 65 | 65 3a 7d 0a 0a 5c 6e 6f |Committe|e:}..\no|
|00000ac0| 69 6e 64 65 6e 74 0a 4d | 61 72 74 69 6e 7e 41 62 |indent.M|artin~Ab|
|00000ad0| 61 64 69 2c 0a 45 67 69 | 64 69 6f 7e 41 73 74 65 |adi,.Egi|dio~Aste|
|00000ae0| 73 69 61 6e 6f 2c 0a 43 | 68 6f 75 6b 72 69 2d 42 |siano,.C|houkri-B|
|00000af0| 65 79 7e 42 65 6e 2d 59 | 65 6c 6c 65 73 2c 0a 4d |ey~Ben-Y|elles,.M|
|00000b00| 69 63 68 65 6c 7e 42 69 | 64 6f 69 74 2c 0a 57 69 |ichel~Bi|doit,.Wi|
|00000b10| 6d 7e 42 6c 6f 6b 2c 0a | 43 68 72 69 73 7e 42 72 |m~Blok,.|Chris~Br|
|00000b20| 69 6e 6b 2c 0a 5c 5c 0a | 50 69 65 72 72 65 2d 4c |ink,.\\.|Pierre-L|
|00000b30| 75 69 73 7e 43 75 72 69 | 65 6e 2c 0a 4b 6f 6b 69 |uis~Curi|en,.Koki|
|00000b40| 63 68 69 7e 46 75 74 61 | 74 73 75 67 69 2c 0a 53 |chi~Futa|tsugi,.S|
|00000b50| 74 65 76 65 6e 7e 47 69 | 76 61 6e 74 2c 0a 57 69 |teven~Gi|vant,.Wi|
|00000b60| 6c 6c 69 61 6d 7e 53 2e | 7e 48 61 74 63 68 65 72 |lliam~S.|~Hatcher|
|00000b70| 2c 0a 44 6f 75 67 6c 61 | 73 7e 4a 2e 7e 48 6f 77 |,.Dougla|s~J.~How|
|00000b80| 65 2c 0a 5c 5c 0a 42 6a | 61 72 6e 69 7e 4a 5c 27 |e,.\\.Bj|arni~J\'|
|00000b90| 7b 6f 7d 6e 73 73 6f 6e | 2c 0a 48 61 6e 73 2d 4a |{o}nsson|,.Hans-J|
|00000ba0| 5c 22 7b 6f 7d 72 67 20 | 4b 72 65 6f 77 73 6b 69 |\"{o}rg |Kreowski|
|00000bb0| 2c 0a 47 69 61 6e 63 61 | 72 6c 6f 7e 4d 61 75 72 |,.Gianca|rlo~Maur|
|00000bc0| 69 2c 0a 41 6c 69 7e 4d | 69 6c 69 2c 20 0a 4d 69 |i,.Ali~M|ili, .Mi|
|00000bd0| 63 68 61 65 6c 7e 4d 69 | 73 6c 6f 76 65 2c 0a 55 |chael~Mi|slove,.U|
|00000be0| 67 6f 7e 4d 6f 6e 74 61 | 6e 61 72 69 2c 0a 5c 5c |go~Monta|nari,.\\|
|00000bf0| 0a 50 65 74 65 72 20 44 | 2e 20 4d 6f 73 73 65 73 |.Peter D|. Mosses|
|00000c00| 2c 0a 49 73 74 76 61 6e | 7e 4e 5c 27 7b 65 7d 6d |,.Istvan|~N\'{e}m|
|00000c10| 65 74 69 2c 0a 44 6f 6e | 7e 50 69 67 6f 7a 7a 69 |eti,.Don|~Pigozzi|
|00000c20| 2c 0a 44 6f 6e 7e 53 61 | 6e 6e 65 6c 6c 61 2c 0a |,.Don~Sa|nnella,.|
|00000c30| 52 2e 4b 2e 7e 53 68 79 | 61 6d 61 73 75 6e 64 61 |R.K.~Shy|amasunda|
|00000c40| 72 2c 0a 4a 6f 68 6e 7e | 53 74 61 70 6c 65 73 2c |r,.John~|Staples,|
|00000c50| 0a 5c 5c 0a 41 6e 64 72 | 7a 65 6a 7e 54 61 72 6c |.\\.Andr|zej~Tarl|
|00000c60| 65 63 6b 69 2c 0a 46 72 | 69 74 73 7e 56 61 61 6e |ecki,.Fr|its~Vaan|
|00000c70| 64 72 61 67 65 72 2c 0a | 50 61 75 6c 6f 7e 41 2e |drager,.|Paulo~A.|
|00000c80| 53 2e 7e 56 65 6c 6f 73 | 6f 2c 0a 45 72 69 63 7e |S.~Velos|o,.Eric~|
|00000c90| 57 61 67 6e 65 72 2c 0a | 42 6f 62 20 57 61 6c 74 |Wagner,.|Bob Walt|
|00000ca0| 65 72 73 2c 0a 4d 61 72 | 74 69 6e 7e 57 69 72 73 |ers,.Mar|tin~Wirs|
|00000cb0| 69 6e 67 2e 0a 0a 5c 62 | 69 67 73 6b 69 70 5c 6e |ing...\b|igskip\n|
|00000cc0| 6f 69 6e 64 65 6e 74 7b | 5c 62 66 20 49 6e 76 69 |oindent{|\bf Invi|
|00000cd0| 74 65 64 20 53 70 65 61 | 6b 65 72 73 7d 0a 0a 5c |ted Spea|kers}..\|
|00000ce0| 73 6d 61 6c 6c 73 6b 69 | 70 5c 6e 6f 69 6e 64 65 |smallski|p\noinde|
|00000cf0| 6e 74 0a 54 6f 20 61 63 | 68 69 65 76 65 20 74 68 |nt.To ac|hieve th|
|00000d00| 65 20 67 6f 61 6c 20 6f | 66 20 74 68 65 20 63 6f |e goal o|f the co|
|00000d10| 6e 66 65 72 65 6e 63 65 | 20 77 65 20 61 69 6d 20 |nference| we aim |
|00000d20| 74 6f 20 70 72 6f 76 69 | 64 65 20 61 20 66 6f 72 |to provi|de a for|
|00000d30| 75 6d 20 69 6e 20 77 68 | 69 63 68 0a 6c 65 61 64 |um in wh|ich.lead|
|00000d40| 69 6e 67 20 72 65 73 65 | 61 72 63 68 65 72 73 20 |ing rese|archers |
|00000d50| 69 6e 20 6d 61 74 68 65 | 6d 61 74 69 63 73 2c 20 |in mathe|matics, |
|00000d60| 63 6f 6d 70 75 74 65 72 | 20 73 63 69 65 6e 63 65 |computer| science|
|00000d70| 2c 20 61 6e 64 20 73 6f | 66 74 77 61 72 65 20 64 |, and so|ftware d|
|00000d80| 65 76 65 6c 6f 70 6d 65 | 6e 74 2c 0a 77 69 6c 6c |evelopme|nt,.will|
|00000d90| 20 63 6f 6d 65 20 74 6f | 67 65 74 68 65 72 20 74 | come to|gether t|
|00000da0| 6f 20 69 64 65 6e 74 69 | 66 79 20 61 6c 67 65 62 |o identi|fy algeb|
|00000db0| 72 61 69 63 20 6d 65 74 | 68 6f 64 6f 6c 6f 67 69 |raic met|hodologi|
|00000dc0| 65 73 20 74 68 61 74 20 | 61 72 65 20 61 70 70 6c |es that |are appl|
|00000dd0| 69 63 61 62 6c 65 20 61 | 73 0a 76 69 61 62 6c 65 |icable a|s.viable|
|00000de0| 20 61 6c 74 65 72 6e 61 | 74 69 76 65 73 20 74 6f | alterna|tives to|
|00000df0| 20 74 68 65 20 70 72 65 | 73 65 6e 74 20 73 6f 66 | the pre|sent sof|
|00000e00| 74 77 61 72 65 20 64 65 | 76 65 6c 6f 70 6d 65 6e |tware de|velopmen|
|00000e10| 74 20 61 70 70 72 6f 61 | 63 68 65 73 20 61 6e 64 |t approa|ches and|
|00000e20| 20 74 6f 0a 64 69 73 63 | 75 73 73 20 74 68 65 20 | to.disc|uss the |
|00000e30| 61 70 70 72 6f 70 72 69 | 61 74 65 6e 65 73 73 20 |appropri|ateness |
|00000e40| 6f 66 20 73 75 63 68 20 | 61 6c 74 65 72 6e 61 74 |of such |alternat|
|00000e50| 69 76 65 73 20 77 69 74 | 68 20 61 20 76 69 65 77 |ives wit|h a view|
|00000e60| 20 74 6f 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 | to impl|ementati|
|00000e70| 6f 6e 2e 0a 49 6e 76 69 | 74 65 64 20 73 70 65 61 |on..Invi|ted spea|
|00000e80| 6b 65 72 73 2c 20 77 69 | 74 68 20 61 20 74 65 6e |kers, wi|th a ten|
|00000e90| 74 61 74 69 76 65 20 69 | 6e 64 69 63 61 74 69 6f |tative i|ndicatio|
|00000ea0| 6e 20 6f 66 20 72 65 73 | 70 65 63 74 69 76 65 20 |n of res|pective |
|00000eb0| 74 6f 70 69 63 73 2c 20 | 69 6e 63 6c 75 64 65 3a |topics, |include:|
|00000ec0| 0a 0a 5c 63 6c 65 61 72 | 70 61 67 65 0a 5c 73 65 |..\clear|page.\se|
|00000ed0| 74 63 6f 75 6e 74 65 72 | 7b 70 61 67 65 7d 7b 30 |tcounter|{page}{0|
|00000ee0| 7d 0a 0a 5c 62 65 67 69 | 6e 7b 71 75 6f 74 65 7d |}..\begi|n{quote}|
|00000ef0| 0a 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d |.\begin{|tabular}|
|00000f00| 7b 6c 6c 6c 7d 0a 48 75 | 62 65 72 74 20 43 6f 6d |{lll}.Hu|bert Com|
|00000f10| 6f 6e 20 20 26 20 28 4c | 52 49 2c 20 4f 72 73 61 |on  & (L|RI, Orsa|
|00000f20| 79 29 20 26 20 3a 20 43 | 6f 6e 73 74 72 61 69 6e |y) & : C|onstrain|
|00000f30| 74 20 53 6f 6c 76 69 6e | 67 20 69 6e 20 54 65 72 |t Solvin|g in Ter|
|00000f40| 6d 20 41 6c 67 65 62 72 | 61 73 0a 5c 5c 0a 52 6f |m Algebr|as.\\.Ro|
|00000f50| 62 20 76 61 6e 20 47 6c | 61 62 62 65 65 6b 20 20 |b van Gl|abbeek  |
|00000f60| 26 20 28 53 74 61 6e 66 | 6f 72 64 20 55 6e 69 76 |& (Stanf|ord Univ|
|00000f70| 65 72 73 69 74 79 29 20 | 20 20 20 20 20 20 20 20 |ersity) |        |
|00000f80| 20 20 20 20 26 20 3a 20 | 50 72 6f 63 65 73 73 20 |    & : |Process |
|00000f90| 41 6c 67 65 62 72 61 0a | 5c 5c 0a 4e 69 63 6f 6c |Algebra.|\\.Nicol|
|00000fa0| 61 73 20 48 61 6c 62 77 | 61 63 68 73 20 26 20 28 |as Halbw|achs & (|
|00000fb0| 49 4e 50 47 2c 20 47 72 | 65 6e 6f 62 6c 65 29 20 |INPG, Gr|enoble) |
|00000fc0| 20 26 20 3a 20 52 65 61 | 63 74 69 76 65 20 50 72 | & : Rea|ctive Pr|
|00000fd0| 6f 67 72 61 6d 20 53 79 | 6e 74 68 65 73 69 73 0a |ogram Sy|nthesis.|
|00000fe0| 5c 5c 0a 4d 69 6b 65 20 | 4a 6f 68 6e 73 6f 6e 20 |\\.Mike |Johnson |
|00000ff0| 26 20 28 4d 61 63 71 75 | 61 72 69 65 20 55 6e 69 |& (Macqu|arie Uni|
|00001000| 76 2e 2c 20 53 79 64 6e | 65 79 29 20 26 20 3a 0a |v., Sydn|ey) & :.|
|00001010| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001020| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001030| 20 20 20 20 20 20 20 43 | 61 74 65 67 6f 72 79 20 |       C|ategory |
|00001040| 54 68 65 6f 72 79 20 66 | 6f 72 20 53 6f 66 74 77 |Theory f|or Softw|
|00001050| 61 72 65 20 45 6e 67 69 | 6e 65 65 72 69 6e 67 0a |are Engi|neering.|
|00001060| 5c 5c 0a 47 69 6f 72 67 | 69 6f 20 4c 65 76 69 20 |\\.Giorg|io Levi |
|00001070| 20 20 20 20 20 26 20 28 | 55 6e 69 76 65 72 73 69 |     & (|Universi|
|00001080| 74 79 20 6f 66 20 50 69 | 73 61 29 20 20 20 20 20 |ty of Pi|sa)     |
|00001090| 20 20 20 20 20 20 20 20 | 20 26 20 3a 20 4c 6f 67 |        | & : Log|
|000010a0| 69 63 20 50 72 6f 67 72 | 61 6d 6d 69 6e 67 0a 5c |ic Progr|amming.\|
|000010b0| 5c 0a 52 6f 67 65 72 20 | 44 2e 20 4d 61 64 64 75 |\.Roger |D. Maddu|
|000010c0| 78 20 20 20 26 20 28 49 | 6f 77 61 20 53 74 61 74 |x   & (I|owa Stat|
|000010d0| 65 20 55 6e 69 76 65 72 | 73 69 74 79 29 20 20 20 |e Univer|sity)   |
|000010e0| 20 20 20 20 20 20 20 20 | 26 20 3a 20 52 65 6c 61 |        |& : Rela|
|000010f0| 74 69 6f 6e 20 41 6c 67 | 65 62 72 61 0a 5c 65 6e |tion Alg|ebra.\en|
|00001100| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 5c 65 6e 64 7b |d{tabula|r}.\end{|
|00001110| 71 75 6f 74 65 7d 0a 0a | 5c 73 65 63 74 69 6f 6e |quote}..|\section|
|00001120| 2a 7b 53 75 62 6d 69 73 | 73 69 6f 6e 73 7d 0a 0a |*{Submis|sions}..|
|00001130| 5c 76 73 70 61 63 65 2a | 7b 2d 32 6d 6d 7d 0a 54 |\vspace*|{-2mm}.T|
|00001140| 61 6c 6b 73 20 72 65 70 | 6f 72 74 69 6e 67 20 72 |alks rep|orting r|
|00001150| 65 73 65 61 72 63 68 20 | 69 6e 20 61 6c 67 65 62 |esearch |in algeb|
|00001160| 72 61 20 61 6e 64 20 6c | 6f 67 69 63 2c 20 73 75 |ra and l|ogic, su|
|00001170| 69 74 61 62 6c 65 20 61 | 73 20 61 20 66 6f 75 6e |itable a|s a foun|
|00001180| 64 61 74 69 6f 6e 20 66 | 6f 72 0a 73 6f 66 74 77 |dation f|or.softw|
|00001190| 61 72 65 20 74 65 63 68 | 6e 6f 6c 6f 67 79 2c 20 |are tech|nology, |
|000011a0| 61 73 20 77 65 6c 6c 20 | 61 73 20 73 6f 66 74 77 |as well |as softw|
|000011b0| 61 72 65 20 74 65 63 68 | 6e 6f 6c 6f 67 69 65 73 |are tech|nologies|
|000011c0| 0a 64 65 76 65 6c 6f 70 | 65 64 20 62 79 20 6d 65 |.develop|ed by me|
|000011d0| 61 6e 73 20 6f 66 20 61 | 6c 67 65 62 72 61 69 63 |ans of a|lgebraic|
|000011e0| 20 6d 65 74 68 6f 64 6f | 6c 6f 67 69 65 73 2c 20 | methodo|logies, |
|000011f0| 61 72 65 20 77 65 6c 63 | 6f 6d 65 2e 0a 44 65 6d |are welc|ome..Dem|
|00001200| 6f 6e 73 74 72 61 74 69 | 6f 6e 73 20 6f 66 20 73 |onstrati|ons of s|
|00001210| 79 73 74 65 6d 73 20 73 | 68 6f 77 69 6e 67 20 74 |ystems s|howing t|
|00001220| 68 65 20 69 6d 70 72 6f | 76 65 64 20 65 66 66 65 |he impro|ved effe|
|00001230| 63 74 69 76 65 6e 65 73 | 73 20 6f 66 20 73 6f 66 |ctivenes|s of sof|
|00001240| 74 77 61 72 65 0a 64 65 | 76 65 6c 6f 70 65 64 20 |tware.de|veloped |
|00001250| 6f 6e 20 61 20 6d 61 74 | 68 65 6d 61 74 69 63 61 |on a mat|hematica|
|00001260| 6c 20 62 61 73 69 73 20 | 28 77 69 74 68 20 6f 72 |l basis |(with or|
|00001270| 20 77 69 74 68 6f 75 74 | 20 61 20 74 61 6c 6b 29 | without| a talk)|
|00001280| 0a 77 69 6c 6c 20 61 6c | 73 6f 20 62 65 20 63 6f |.will al|so be co|
|00001290| 6e 73 69 64 65 72 65 64 | 2e 0a 54 6f 20 62 65 20 |nsidered|..To be |
|000012a0| 6d 6f 72 65 20 70 72 65 | 63 69 73 65 20 74 68 65 |more pre|cise the|
|000012b0| 20 6f 72 67 61 6e 69 7a | 65 72 73 20 77 69 73 68 | organiz|ers wish|
|000012c0| 20 63 6f 6e 74 72 69 62 | 75 74 69 6f 6e 73 20 6f | contrib|utions o|
|000012d0| 6e 2c 20 62 75 74 20 6e | 6f 74 20 6c 69 6d 69 74 |n, but n|ot limit|
|000012e0| 65 64 20 74 6f 2c 0a 61 | 6c 67 65 62 72 61 69 63 |ed to,.a|lgebraic|
|000012f0| 20 6d 65 74 68 6f 64 73 | 20 66 6f 72 20 6c 61 6e | methods| for lan|
|00001300| 67 75 61 67 65 20 64 65 | 73 69 67 6e 20 61 6e 64 |guage de|sign and|
|00001310| 20 20 63 6f 6d 70 69 6c | 65 72 20 63 6f 6e 73 74 |  compil|er const|
|00001320| 72 75 63 74 69 6f 6e 0a | 28 65 2e 67 2e 20 66 6f |ruction.|(e.g. fo|
|00001330| 72 20 41 6c 67 6f 6c 2d | 6c 69 6b 65 20 70 72 6f |r Algol-|like pro|
|00001340| 67 72 61 6d 6d 69 6e 67 | 20 6c 61 6e 67 75 61 67 |gramming| languag|
|00001350| 65 73 29 2c 0a 61 6c 67 | 65 62 72 61 69 63 20 6d |es),.alg|ebraic m|
|00001360| 65 74 68 6f 64 6f 6c 6f | 67 79 20 66 6f 72 20 73 |ethodolo|gy for s|
|00001370| 6f 66 74 77 61 72 65 20 | 65 6e 67 69 6e 65 65 72 |oftware |engineer|
|00001380| 69 6e 67 2c 0a 61 6c 67 | 65 62 72 61 69 63 20 73 |ing,.alg|ebraic s|
|00001390| 70 65 63 69 66 69 63 61 | 74 69 6f 6e 73 20 61 6e |pecifica|tions an|
|000013a0| 64 20 61 6c 67 6f 72 69 | 74 68 6d 73 20 74 6f 20 |d algori|thms to |
|000013b0| 61 75 74 6f 6d 61 74 69 | 63 61 6c 6c 79 20 62 75 |automati|cally bu|
|000013c0| 69 6c 64 0a 70 72 6f 67 | 72 61 6d 73 20 66 72 6f |ild.prog|rams fro|
|000013d0| 6d 20 73 75 63 68 20 73 | 70 65 63 69 66 69 63 61 |m such s|pecifica|
|000013e0| 74 69 6f 6e 73 2c 0a 65 | 78 74 72 61 63 74 69 6f |tions,.e|xtractio|
|000013f0| 6e 20 6f 66 20 70 72 6f | 67 72 61 6d 73 20 66 72 |n of pro|grams fr|
|00001400| 6f 6d 20 63 6f 6e 73 74 | 72 75 63 74 69 76 65 20 |om const|ructive |
|00001410| 70 72 6f 6f 66 73 2c 0a | 63 61 74 65 67 6f 72 69 |proofs,.|categori|
|00001420| 63 61 6c 2c 20 61 6c 67 | 65 62 72 61 69 63 20 61 |cal, alg|ebraic a|
|00001430| 6e 64 20 6c 6f 67 69 63 | 20 70 72 6f 67 72 61 6d |nd logic| program|
|00001440| 6d 69 6e 67 2c 0a 64 65 | 64 75 63 74 69 76 65 20 |ming,.de|ductive |
|00001450| 64 61 74 61 62 61 73 65 | 73 2c 20 71 75 65 72 79 |database|s, query|
|00001460| 20 6c 61 6e 67 75 61 67 | 65 20 64 65 73 69 67 6e | languag|e design|
|00001470| 2c 0a 61 6c 67 65 62 72 | 61 69 63 20 73 70 65 63 |,.algebr|aic spec|
|00001480| 69 66 69 63 61 74 69 6f | 6e 20 6f 66 20 63 6f 6e |ificatio|n of con|
|00001490| 63 75 72 72 65 6e 74 20 | 73 79 73 74 65 6d 73 2c |current |systems,|
|000014a0| 0a 64 69 73 74 72 69 62 | 75 74 65 64 20 6f 70 65 |.distrib|uted ope|
|000014b0| 72 61 74 69 6e 67 20 73 | 79 73 74 65 6d 73 2c 20 |rating s|ystems, |
|000014c0| 72 65 61 63 74 69 76 65 | 20 73 79 73 74 65 6d 73 |reactive| systems|
|000014d0| 2c 0a 70 72 61 63 74 69 | 63 61 6c 20 74 65 63 68 |,.practi|cal tech|
|000014e0| 6e 69 71 75 65 73 20 61 | 6e 64 20 65 78 61 6d 70 |niques a|nd examp|
|000014f0| 6c 65 73 20 66 6f 72 20 | 76 65 72 69 66 69 63 61 |les for |verifica|
|00001500| 74 69 6f 6e 20 6f 66 20 | 70 72 6f 67 72 61 6d 0a |tion of |program.|
|00001510| 61 6e 64 2f 6f 72 20 73 | 70 65 63 69 66 69 63 61 |and/or s|pecifica|
|00001520| 74 69 6f 6e 20 70 72 6f | 70 65 72 74 69 65 73 2e |tion pro|perties.|
|00001530| 0a 57 65 20 69 6e 76 69 | 74 65 20 79 6f 75 20 74 |.We invi|te you t|
|00001540| 6f 20 73 75 62 6d 69 74 | 20 61 20 74 77 6f 2d 70 |o submit| a two-p|
|00001550| 61 67 65 20 61 62 73 74 | 72 61 63 74 20 28 69 6e |age abst|ract (in|
|00001560| 63 6c 75 64 69 6e 67 20 | 61 20 66 65 77 0a 63 69 |cluding |a few.ci|
|00001570| 74 61 74 69 6f 6e 73 20 | 6f 66 20 72 65 6c 65 76 |tations |of relev|
|00001580| 61 6e 74 20 77 6f 72 6b | 29 20 6f 66 20 79 6f 75 |ant work|) of you|
|00001590| 72 20 74 61 6c 6b 20 74 | 6f 0a 5c 62 65 67 69 6e |r talk t|o.\begin|
|000015a0| 7b 71 75 6f 74 65 7d 0a | 41 4d 41 53 54 20 43 6f |{quote}.|AMAST Co|
|000015b0| 6e 66 65 72 65 6e 63 65 | 2c 0a 55 6e 69 76 65 72 |nference|,.Univer|
|000015c0| 73 69 74 79 20 6f 66 20 | 54 77 65 6e 74 65 2c 0a |sity of |Twente,.|
|000015d0| 46 61 63 2e 5c 20 49 6e | 66 6f 72 6d 61 74 69 63 |Fac.\ In|formatic|
|000015e0| 61 2c 0a 41 74 74 2e 20 | 4d 72 73 2e 5c 20 59 2e |a,.Att. |Mrs.\ Y.|
|000015f0| 20 52 6f 6b 6b 65 72 2c | 0a 5c 5c 0a 50 2e 4f 2e | Rokker,|.\\.P.O.|
|00001600| 20 42 6f 78 20 32 31 37 | 2c 0a 4e 4c 2d 37 35 30 | Box 217|,.NL-750|
|00001610| 30 41 45 20 45 6e 73 63 | 68 65 64 65 2c 0a 54 68 |0AE Ensc|hede,.Th|
|00001620| 65 20 4e 65 74 68 65 72 | 6c 61 6e 64 73 0a 5c 20 |e Nether|lands.\ |
|00001630| 5c 20 5c 20 28 70 68 6f | 6e 65 3a 20 2b 20 33 31 |\ \ (pho|ne: + 31|
|00001640| 20 35 33 20 38 39 33 37 | 30 31 29 0a 5c 65 6e 64 | 53 8937|01).\end|
|00001650| 7b 71 75 6f 74 65 7d 0a | 46 6f 75 72 2d 70 61 67 |{quote}.|Four-pag|
|00001660| 65 20 61 62 62 72 65 76 | 69 61 74 65 64 20 70 61 |e abbrev|iated pa|
|00001670| 70 65 72 73 20 6f 66 20 | 74 68 65 20 74 61 6c 6b |pers of |the talk|
|00001680| 73 20 70 72 65 73 65 6e | 74 65 64 20 61 74 20 74 |s presen|ted at t|
|00001690| 68 65 20 63 6f 6e 66 65 | 72 65 6e 63 65 2c 20 74 |he confe|rence, t|
|000016a0| 6f 67 65 74 68 65 72 0a | 77 69 74 68 20 74 68 65 |ogether.|with the|
|000016b0| 20 69 6e 76 69 74 65 64 | 20 74 61 6c 6b 73 2c 20 | invited| talks, |
|000016c0| 77 69 6c 6c 20 62 65 20 | 63 6f 6c 6c 65 63 74 65 |will be |collecte|
|000016d0| 64 20 69 6e 20 74 68 65 | 20 70 61 72 74 69 63 69 |d in the| partici|
|000016e0| 70 61 6e 74 73 27 20 65 | 64 69 74 69 6f 6e 20 6f |pants' e|dition o|
|000016f0| 66 20 74 68 65 0a 70 72 | 6f 63 65 65 64 69 6e 67 |f the.pr|oceeding|
|00001700| 73 2c 20 77 68 69 63 68 | 20 77 69 6c 6c 20 62 65 |s, which| will be|
|00001710| 20 61 76 61 69 6c 61 62 | 6c 65 20 74 6f 20 74 68 | availab|le to th|
|00001720| 65 20 61 74 74 65 6e 64 | 65 65 73 20 75 70 6f 6e |e attend|ees upon|
|00001730| 20 74 68 65 69 72 20 61 | 72 72 69 76 61 6c 20 69 | their a|rrival i|
|00001740| 6e 0a 54 77 65 6e 74 65 | 2e 0a 54 68 65 20 61 75 |n.Twente|..The au|
|00001750| 74 68 6f 72 73 20 61 72 | 65 20 65 78 70 65 63 74 |thors ar|e expect|
|00001760| 65 64 20 74 6f 20 62 72 | 69 6e 67 20 66 75 6c 6c |ed to br|ing full|
|00001770| 20 76 65 72 73 69 6f 6e | 73 20 6f 66 20 74 68 65 | version|s of the|
|00001780| 69 72 20 70 61 70 65 72 | 73 20 61 74 20 74 68 65 |ir paper|s at the|
|00001790| 0a 63 6f 6e 66 65 72 65 | 6e 63 65 2c 20 66 6f 72 |.confere|nce, for|
|000017a0| 20 66 75 72 74 68 65 72 | 20 72 65 76 69 65 77 20 | further| review |
|000017b0| 61 6e 64 20 69 6e 63 6c | 75 73 69 6f 6e 20 69 6e |and incl|usion in|
|000017c0| 20 74 68 65 20 41 4d 41 | 53 54 27 39 33 20 50 72 | the AMA|ST'93 Pr|
|000017d0| 6f 63 65 65 64 69 6e 67 | 73 2c 0a 74 6f 20 62 65 |oceeding|s,.to be|
|000017e0| 20 70 75 62 6c 69 73 68 | 65 64 20 62 79 20 53 70 | publish|ed by Sp|
|000017f0| 72 69 6e 67 65 72 2d 56 | 65 72 6c 61 67 2c 20 4c |ringer-V|erlag, L|
|00001800| 6f 6e 64 6f 6e 2e 20 0a | 41 20 73 70 65 63 69 61 |ondon. .|A specia|
|00001810| 6c 20 69 73 73 75 65 20 | 6f 66 20 7b 5c 65 6d 20 |l issue |of {\em |
|00001820| 54 68 65 6f 72 65 74 69 | 63 61 6c 20 43 6f 6d 70 |Theoreti|cal Comp|
|00001830| 75 74 65 72 20 53 63 69 | 65 6e 63 65 7d 20 77 69 |uter Sci|ence} wi|
|00001840| 6c 6c 20 62 65 20 64 65 | 64 69 63 61 74 65 64 20 |ll be de|dicated |
|00001850| 74 6f 0a 74 68 69 73 20 | 63 6f 6e 66 65 72 65 6e |to.this |conferen|
|00001860| 63 65 3b 20 70 61 72 74 | 69 63 69 70 61 6e 74 73 |ce; part|icipants|
|00001870| 20 77 69 6c 6c 20 62 65 | 20 69 6e 76 69 74 65 64 | will be| invited|
|00001880| 20 74 6f 20 73 75 62 6d | 69 74 20 74 68 65 69 72 | to subm|it their|
|00001890| 20 66 75 6c 6c 20 70 61 | 70 65 72 0a 66 6f 72 20 | full pa|per.for |
|000018a0| 70 6f 73 73 69 62 6c 65 | 20 70 75 62 6c 69 63 61 |possible| publica|
|000018b0| 74 69 6f 6e 20 69 6e 20 | 74 68 69 73 20 6a 6f 75 |tion in |this jou|
|000018c0| 72 6e 61 6c 2e 0a 0a 5c | 73 6d 61 6c 6c 73 6b 69 |rnal...\|smallski|
|000018d0| 70 5c 6e 6f 69 6e 64 65 | 6e 74 5c 75 6e 64 65 72 |p\noinde|nt\under|
|000018e0| 6c 69 6e 65 7b 7b 5c 62 | 66 20 49 6d 70 6f 72 74 |line{{\b|f Import|
|000018f0| 61 6e 74 20 44 75 65 20 | 44 61 74 65 73 7d 7d 0a |ant Due |Dates}}.|
|00001900| 5c 5c 0a 24 5c 62 75 6c | 6c 65 74 24 0a 54 77 6f |\\.$\bul|let$.Two|
|00001910| 20 70 61 67 65 20 61 62 | 73 74 72 61 63 74 20 73 | page ab|stract s|
|00001920| 75 62 6d 69 73 73 69 6f | 6e 20 62 79 20 44 65 63 |ubmissio|n by Dec|
|00001930| 65 6d 62 65 72 20 31 35 | 2c 20 31 39 39 32 2e 0a |ember 15|, 1992..|
|00001940| 5c 5c 0a 24 5c 62 75 6c | 6c 65 74 24 0a 4e 6f 74 |\\.$\bul|let$.Not|
|00001950| 69 66 69 63 61 74 69 6f | 6e 20 6f 66 20 61 63 63 |ificatio|n of acc|
|00001960| 65 70 74 61 6e 63 65 20 | 62 79 20 4d 61 72 63 68 |eptance |by March|
|00001970| 20 33 31 2c 20 31 39 39 | 33 2e 0a 5c 5c 0a 24 5c | 31, 199|3..\\.$\|
|00001980| 62 75 6c 6c 65 74 24 0a | 43 61 6d 65 72 61 2d 72 |bullet$.|Camera-r|
|00001990| 65 61 64 79 20 66 6f 75 | 72 2d 70 61 67 65 20 70 |eady fou|r-page p|
|000019a0| 61 70 65 72 0a 74 6f 20 | 61 70 70 65 61 72 20 69 |aper.to |appear i|
|000019b0| 6e 20 70 61 72 74 69 63 | 69 70 61 6e 74 73 27 20 |n partic|ipants' |
|000019c0| 70 72 6f 63 65 65 64 69 | 6e 67 73 20 62 79 20 4d |proceedi|ngs by M|
|000019d0| 61 79 20 31 2c 20 31 39 | 39 33 2e 0a 5c 5c 0a 24 |ay 1, 19|93..\\.$|
|000019e0| 5c 62 75 6c 6c 65 74 24 | 0a 46 75 6c 6c 20 70 61 |\bullet$|.Full pa|
|000019f0| 70 65 72 20 66 6f 72 20 | 41 4d 41 53 54 27 39 33 |per for |AMAST'93|
|00001a00| 20 50 72 6f 63 65 65 64 | 69 6e 67 73 2c 20 61 74 | Proceed|ings, at|
|00001a10| 20 74 68 65 20 63 6f 6e | 66 65 72 65 6e 63 65 2e | the con|ference.|
|00001a20| 0a 0a 5c 73 6d 61 6c 6c | 73 6b 69 70 5c 6e 6f 69 |..\small|skip\noi|
|00001a30| 6e 64 65 6e 74 0a 46 75 | 72 74 68 65 72 20 69 6e |ndent.Fu|rther in|
|00001a40| 66 6f 72 6d 61 74 69 6f | 6e 20 63 61 6e 20 62 65 |formatio|n can be|
|00001a50| 20 6f 62 74 61 69 6e 65 | 64 20 66 72 6f 6d 3a 0a | obtaine|d from:.|
|00001a60| 5c 62 65 67 69 6e 7b 63 | 65 6e 74 65 72 7d 0a 5c |\begin{c|enter}.\|
|00001a70| 73 6d 61 6c 6c 0a 5c 62 | 65 67 69 6e 7b 74 61 62 |small.\b|egin{tab|
|00001a80| 75 6c 61 72 7d 7b 6c 20 | 6c 20 6c 7d 0a 7b 5c 69 |ular}{l |l l}.{\i|
|00001a90| 74 20 49 6e 20 43 61 6e | 61 64 61 5c 2f 7d 3a 20 |t In Can|ada\/}: |
|00001aa0| 26 20 7b 5c 69 74 20 49 | 6e 20 45 75 72 6f 70 65 |& {\it I|n Europe|
|00001ab0| 5c 2f 7d 3a 20 26 20 7b | 5c 69 74 20 49 6e 20 55 |\/}: & {|\it In U|
|00001ac0| 2e 53 2e 41 5c 2f 7d 3a | 20 5c 5c 0a 56 2e 53 2e |.S.A\/}:| \\.V.S.|
|00001ad0| 20 41 6c 61 67 61 72 20 | 20 20 20 20 20 20 20 20 | Alagar |        |
|00001ae0| 20 26 20 43 68 61 72 6c | 65 73 20 52 61 74 74 72 | & Charl|es Rattr|
|00001af0| 61 79 20 20 20 20 20 20 | 20 20 20 20 20 20 20 26 |ay      |       &|
|00001b00| 20 54 65 6f 64 6f 72 20 | 52 75 73 20 5c 5c 0a 43 | Teodor |Rus \\.C|
|00001b10| 6f 6e 63 6f 72 64 69 61 | 20 55 6e 69 76 65 72 73 |oncordia| Univers|
|00001b20| 69 74 79 20 26 20 55 6e | 69 76 65 72 73 69 74 79 |ity & Un|iversity|
|00001b30| 20 6f 66 20 53 74 69 72 | 6c 69 6e 67 20 20 20 20 | of Stir|ling    |
|00001b40| 20 20 26 20 55 6e 69 76 | 65 72 73 69 74 79 20 6f |  & Univ|ersity o|
|00001b50| 66 20 49 6f 77 61 20 20 | 20 20 20 5c 5c 0a 44 65 |f Iowa  |   \\.De|
|00001b60| 70 74 2e 5c 20 6f 66 20 | 43 6f 6d 70 75 74 65 72 |pt.\ of |Computer|
|00001b70| 20 53 63 69 65 6e 63 65 | 20 26 20 44 65 70 74 2e | Science| & Dept.|
|00001b80| 5c 20 6f 66 20 4d 61 74 | 68 65 6d 61 74 69 63 73 |\ of Mat|hematics|
|00001b90| 20 26 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | &.     |        |
|00001ba0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001bb0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001bc0| 20 20 20 20 20 20 44 65 | 70 74 2e 5c 20 6f 66 20 |      De|pt.\ of |
|00001bd0| 43 6f 6d 70 75 74 65 72 | 20 53 63 69 65 6e 63 65 |Computer| Science|
|00001be0| 20 5c 5c 0a 31 34 35 35 | 20 44 65 20 4d 61 69 73 | \\.1455| De Mais|
|00001bf0| 6f 6e 6e 65 75 76 65 20 | 42 6c 76 64 2e 5c 20 57 |onneuve |Blvd.\ W|
|00001c00| 65 73 74 20 26 20 61 6e | 64 20 43 6f 6d 70 75 74 |est & an|d Comput|
|00001c10| 69 6e 67 20 53 63 69 65 | 6e 63 65 20 26 20 49 6f |ing Scie|nce & Io|
|00001c20| 77 61 20 43 69 74 79 20 | 5c 5c 20 0a 4d 6f 6e 74 |wa City |\\ .Mont|
|00001c30| 72 65 61 6c 2c 20 51 75 | 65 62 65 63 20 48 33 47 |real, Qu|ebec H3G|
|00001c40| 20 31 4d 38 20 26 20 53 | 74 69 72 6c 69 6e 67 2c | 1M8 & S|tirling,|
|00001c50| 20 53 63 6f 74 6c 61 6e | 64 2c 20 46 4b 39 20 34 | Scotlan|d, FK9 4|
|00001c60| 4c 41 20 26 20 20 49 41 | 20 35 32 32 34 32 20 5c |LA &  IA| 52242 \|
|00001c70| 5c 0a 43 61 6e 61 64 61 | 20 20 20 20 20 20 20 20 |\.Canada|        |
|00001c80| 20 20 20 20 20 20 20 20 | 20 20 20 26 20 47 72 65 |        |   & Gre|
|00001c90| 61 74 20 42 72 69 74 61 | 69 6e 20 20 20 20 20 20 |at Brita|in      |
|00001ca0| 20 20 20 20 20 20 20 20 | 20 26 20 55 53 41 20 20 |        | & USA  |
|00001cb0| 5c 5c 0a 70 68 6f 6e 65 | 3a 20 2b 20 31 20 35 31 |\\.phone|: + 1 51|
|00001cc0| 34 20 38 34 38 33 30 32 | 32 20 20 26 20 70 68 6f |4 848302|2  & pho|
|00001cd0| 6e 65 3a 20 2b 20 34 34 | 20 37 38 36 20 37 33 31 |ne: + 44| 786 731|
|00001ce0| 37 31 20 20 20 20 20 26 | 20 70 68 6f 6e 65 3a 20 |71     &| phone: |
|00001cf0| 2b 20 31 20 33 31 39 20 | 33 33 35 30 37 34 32 20 |+ 1 319 |3350742 |
|00001d00| 5c 5c 0a 66 61 78 20 3a | 20 20 2b 20 31 20 35 31 |\\.fax :|  + 1 51|
|00001d10| 34 20 38 34 38 32 38 33 | 30 20 20 26 20 66 61 78 |4 848283|0  & fax|
|00001d20| 20 3a 20 20 2b 20 34 34 | 20 37 38 36 20 36 34 35 | :  + 44| 786 645|
|00001d30| 35 31 20 20 20 20 20 26 | 20 66 61 78 20 3a 20 20 |51     &| fax :  |
|00001d40| 2b 20 31 20 33 31 39 20 | 33 33 35 30 36 32 37 20 |+ 1 319 |3350627 |
|00001d50| 5c 5c 0a 65 2d 6d 61 69 | 6c 3a 20 61 6c 61 67 61 |\\.e-mai|l: alaga|
|00001d60| 72 40 63 6f 6e 63 6f 75 | 72 2e 63 73 2e 63 6f 6e |r@concou|r.cs.con|
|00001d70| 63 6f 72 64 69 61 2e 63 | 61 0a 26 20 65 2d 6d 61 |cordia.c|a.& e-ma|
|00001d80| 69 6c 3a 20 63 72 40 63 | 73 2e 73 74 69 72 2e 61 |il: cr@c|s.stir.a|
|00001d90| 63 2e 75 6b 20 26 20 65 | 2d 6d 61 69 6c 3a 20 72 |c.uk & e|-mail: r|
|00001da0| 75 73 40 63 73 2e 75 69 | 6f 77 61 2e 65 64 75 20 |us@cs.ui|owa.edu |
|00001db0| 5c 5c 0a 5c 65 6e 64 7b | 74 61 62 75 6c 61 72 7d |\\.\end{|tabular}|
|00001dc0| 0a 5c 65 6e 64 7b 63 65 | 6e 74 65 72 7d 0a 5c 65 |.\end{ce|nter}.\e|
|00001dd0| 6e 64 7b 64 6f 63 75 6d | 65 6e 74 7d 0a          |nd{docum|ent}.   |
+--------+-------------------------+-------------------------+--------+--------+