/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / theory / 1869

< 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 74 68 65 6f 72 79 0a | 50 61 74 68 3a 20 73 70 |.theory.|Path: sp|
|00000020| 61 72 6b 79 21 75 75 6e | 65 74 21 6d 63 73 75 6e |arky!uun|et!mcsun|
|00000030| 21 73 75 6e 34 6e 6c 21 | 75 74 72 63 75 31 21 69 |!sun4nl!|utrcu1!i|
|00000040| 6e 66 6e 65 77 73 21 69 | 6e 66 6e 65 77 73 21 73 |nfnews!i|nfnews!s|
|00000050| 63 6f 6c 6c 6f 0a 46 72 | 6f 6d 3a 20 73 63 6f 6c |collo.Fr|om: scol|
|00000060| 6c 6f 40 63 73 2e 75 74 | 77 65 6e 74 65 2e 6e 6c |lo@cs.ut|wente.nl|
|00000070| 20 28 50 69 70 70 6f 20 | 53 63 6f 6c 6c 6f 29 0a | (Pippo |Scollo).|
|00000080| 53 75 62 6a 65 63 74 3a | 20 41 4d 41 53 54 27 39 |Subject:| AMAST'9|
|00000090| 33 20 43 61 6c 6c 20 66 | 6f 72 20 50 61 70 65 72 |3 Call f|or Paper|
|000000a0| 73 20 28 6c 61 74 65 78 | 29 0a 4d 65 73 73 61 67 |s (latex|).Messag|
|000000b0| 65 2d 49 44 3a 20 3c 31 | 39 39 32 53 65 70 34 2e |e-ID: <1|992Sep4.|
|000000c0| 31 37 30 31 31 36 40 63 | 73 2e 75 74 77 65 6e 74 |170116@c|s.utwent|
|000000d0| 65 2e 6e 6c 3e 0a 4b 65 | 79 77 6f 72 64 73 3a 20 |e.nl>.Ke|ywords: |
|000000e0| 61 6c 67 65 62 72 61 69 | 63 20 73 70 65 63 69 66 |algebrai|c specif|
|000000f0| 69 63 61 74 69 6f 6e 2c | 20 73 6f 66 74 77 61 72 |ication,| softwar|
|00000100| 65 20 64 65 76 65 6c 6f | 70 6d 65 6e 74 0a 53 65 |e develo|pment.Se|
|00000110| 6e 64 65 72 3a 20 75 73 | 65 6e 65 74 40 63 73 2e |nder: us|enet@cs.|
|00000120| 75 74 77 65 6e 74 65 2e | 6e 6c 0a 4e 6e 74 70 2d |utwente.|nl.Nntp-|
|00000130| 50 6f 73 74 69 6e 67 2d | 48 6f 73 74 3a 20 75 74 |Posting-|Host: ut|
|00000140| 69 73 30 32 0a 4f 72 67 | 61 6e 69 7a 61 74 69 6f |is02.Org|anizatio|
|00000150| 6e 3a 20 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |n: Unive|rsity of|
|00000160| 20 54 77 65 6e 74 65 2c | 20 44 65 70 74 2e 20 6f | Twente,| Dept. o|
|00000170| 66 20 43 6f 6d 70 75 74 | 65 72 20 53 63 69 65 6e |f Comput|er Scien|
|00000180| 63 65 0a 44 61 74 65 3a | 20 46 72 69 2c 20 34 20 |ce.Date:| Fri, 4 |
|00000190| 53 65 70 20 31 39 39 32 | 20 31 35 3a 30 31 3a 31 |Sep 1992| 15:01:1|
|000001a0| 36 20 47 4d 54 0a 4c 69 | 6e 65 73 3a 20 32 32 34 |6 GMT.Li|nes: 224|
|000001b0| 0a 0a 5c 64 6f 63 75 6d | 65 6e 74 73 74 79 6c 65 |..\docum|entstyle|
|000001c0| 20 5b 74 69 74 6c 65 70 | 61 67 65 2c 31 31 70 74 | [titlep|age,11pt|
|000001d0| 5d 7b 61 72 74 69 63 6c | 65 7d 0a 5c 70 61 67 65 |]{articl|e}.\page|
|000001e0| 73 74 79 6c 65 7b 70 6c | 61 69 6e 7d 0a 5c 70 61 |style{pl|ain}.\pa|
|000001f0| 67 65 6e 75 6d 62 65 72 | 69 6e 67 7b 61 6c 70 68 |genumber|ing{alph|
|00000200| 7d 0a 5c 74 65 78 74 77 | 69 64 74 68 20 3d 20 36 |}.\textw|idth = 6|
|00000210| 2e 37 35 69 6e 0a 5c 74 | 65 78 74 68 65 69 67 68 |.75in.\t|extheigh|
|00000220| 74 20 3d 20 38 2e 35 69 | 6e 0a 5c 74 6f 70 6d 61 |t = 8.5i|n.\topma|
|00000230| 72 67 69 6e 20 3d 20 2d | 30 2e 33 69 6e 0a 5c 74 |rgin = -|0.3in.\t|
|00000240| 6f 70 73 6b 69 70 20 3d | 20 30 69 6e 0a 5c 6f 64 |opskip =| 0in.\od|
|00000250| 64 73 69 64 65 6d 61 72 | 67 69 6e 20 3d 20 2d 30 |dsidemar|gin = -0|
|00000260| 2e 31 69 6e 0a 5c 65 76 | 65 6e 73 69 64 65 6d 61 |.1in.\ev|ensidema|
|00000270| 72 67 69 6e 20 3d 20 2d | 30 2e 31 69 6e 0a 5c 61 |rgin = -|0.1in.\a|
|00000280| 64 64 74 6f 6c 65 6e 67 | 74 68 7b 5c 70 61 72 73 |ddtoleng|th{\pars|
|00000290| 6b 69 70 7d 7b 30 2e 35 | 65 78 7d 0a 5c 62 65 67 |kip}{0.5|ex}.\beg|
|000002a0| 69 6e 7b 64 6f 63 75 6d | 65 6e 74 7d 0a 5c 73 65 |in{docum|ent}.\se|
|000002b0| 74 63 6f 75 6e 74 65 72 | 7b 70 61 67 65 7d 7b 30 |tcounter|{page}{0|
|000002c0| 7d 0a 5c 62 65 67 69 6e | 7b 63 65 6e 74 65 72 7d |}.\begin|{center}|
|000002d0| 0a 7b 5c 4c 61 72 67 65 | 20 7b 5c 62 66 20 43 61 |.{\Large| {\bf Ca|
|000002e0| 6c 6c 20 66 6f 72 20 50 | 61 70 65 72 73 7d 7d 5c |ll for P|apers}}\|
|000002f0| 5c 0a 7b 5c 6c 61 72 67 | 65 20 7b 5c 62 66 20 54 |\.{\larg|e {\bf T|
|00000300| 68 69 72 64 20 49 6e 74 | 65 72 6e 61 74 69 6f 6e |hird Int|ernation|
|00000310| 61 6c 20 43 6f 6e 66 65 | 72 65 6e 63 65 20 6f 6e |al Confe|rence on|
|00000320| 20 41 6c 67 65 62 72 61 | 69 63 7d 7d 5c 5c 0a 7b | Algebra|ic}}\\.{|
|00000330| 5c 6c 61 72 67 65 20 7b | 5c 62 66 20 4d 65 74 68 |\large {|\bf Meth|
|00000340| 6f 64 6f 6c 6f 67 79 20 | 61 6e 64 20 53 6f 66 74 |odology |and Soft|
|00000350| 77 61 72 65 20 54 65 63 | 68 6e 6f 6c 6f 67 79 2c |ware Tec|hnology,|
|00000360| 20 41 4d 41 53 54 7d 7d | 5c 5c 0a 5c 65 6e 64 7b | AMAST}}|\\.\end{|
|00000370| 63 65 6e 74 65 72 7d 0a | 5c 73 65 63 74 69 6f 6e |center}.|\section|
|00000380| 2a 7b 47 6f 61 6c 73 20 | 61 6e 64 20 4f 72 67 61 |*{Goals |and Orga|
|00000390| 6e 69 7a 61 74 69 6f 6e | 7d 0a 0a 54 68 65 20 67 |nization|}..The g|
|000003a0| 6f 61 6c 20 6f 66 20 74 | 68 65 20 74 68 69 72 64 |oal of t|he third|
|000003b0| 20 41 4d 41 53 54 20 63 | 6f 6e 66 65 72 65 6e 63 | AMAST c|onferenc|
|000003c0| 65 20 74 6f 20 62 65 20 | 68 65 6c 64 20 6f 6e 20 |e to be |held on |
|000003d0| 4a 75 6e 65 20 32 32 2d | 2d 32 35 2c 20 31 39 39 |June 22-|-25, 199|
|000003e0| 33 2c 0a 61 74 20 74 68 | 65 20 55 6e 69 76 65 72 |3,.at th|e Univer|
|000003f0| 73 69 74 79 20 6f 66 20 | 54 77 65 6e 74 65 2c 20 |sity of |Twente, |
|00000400| 45 6e 73 63 68 65 64 65 | 2c 20 54 68 65 20 4e 65 |Enschede|, The Ne|
|00000410| 74 68 65 72 6c 61 6e 64 | 73 2c 0a 69 73 20 74 6f |therland|s,.is to|
|00000420| 20 63 6f 6e 73 6f 6c 69 | 64 61 74 65 20 74 68 65 | consoli|date the|
|00000430| 20 74 72 65 6e 64 20 74 | 6f 77 61 72 64 73 20 75 | trend t|owards u|
|00000440| 73 69 6e 67 20 61 6c 67 | 65 62 72 61 69 63 20 6d |sing alg|ebraic m|
|00000450| 65 74 68 6f 64 6f 6c 6f | 67 79 0a 61 73 20 61 20 |ethodolo|gy.as a |
|00000460| 66 6f 75 6e 64 61 74 69 | 6f 6e 20 66 6f 72 20 73 |foundati|on for s|
|00000470| 6f 66 74 77 61 72 65 20 | 74 65 63 68 6e 6f 6c 6f |oftware |technolo|
|00000480| 67 79 2c 0a 61 6e 64 20 | 74 6f 20 73 68 6f 77 20 |gy,.and |to show |
|00000490| 74 68 61 74 20 75 6e 69 | 76 65 72 73 61 6c 20 61 |that uni|versal a|
|000004a0| 6c 67 65 62 72 61 20 70 | 72 6f 76 69 64 65 73 20 |lgebra p|rovides |
|000004b0| 61 20 70 72 61 63 74 69 | 63 61 6c 20 6d 61 74 68 |a practi|cal math|
|000004c0| 65 6d 61 74 69 63 61 6c | 0a 61 6c 74 65 72 6e 61 |ematical|.alterna|
|000004d0| 74 69 76 65 20 74 6f 20 | 74 68 65 20 63 6f 6d 6d |tive to |the comm|
|000004e0| 6f 6e 2c 20 61 64 2d 68 | 6f 63 20 61 70 70 72 6f |on, ad-h|oc appro|
|000004f0| 61 63 68 65 73 20 74 6f | 20 73 6f 66 74 77 61 72 |aches to| softwar|
|00000500| 65 20 65 6e 67 69 6e 65 | 65 72 69 6e 67 20 61 6e |e engine|ering an|
|00000510| 64 0a 64 65 76 65 6c 6f | 70 6d 65 6e 74 2e 0a 41 |d.develo|pment..A|
|00000520| 63 61 64 65 6d 69 61 20 | 61 6e 64 20 69 6e 64 75 |cademia |and indu|
|00000530| 73 74 72 79 20 61 72 65 | 20 62 6f 74 68 20 62 65 |stry are| both be|
|00000540| 6e 65 66 69 63 69 61 72 | 69 65 73 20 6f 66 20 73 |neficiar|ies of s|
|00000550| 75 63 68 20 61 20 66 6f | 72 6d 61 6c 20 66 6f 75 |uch a fo|rmal fou|
|00000560| 6e 64 61 74 69 6f 6e 2e | 0a 0a 5c 62 69 67 73 6b |ndation.|..\bigsk|
|00000570| 69 70 5c 6e 6f 69 6e 64 | 65 6e 74 7b 5c 62 66 20 |ip\noind|ent{\bf |
|00000580| 4f 72 67 61 6e 69 7a 69 | 6e 67 20 43 6f 6d 6d 69 |Organizi|ng Commi|
|00000590| 74 74 65 65 3a 7d 0a 0a | 5c 6e 6f 69 6e 64 65 6e |ttee:}..|\noinden|
|000005a0| 74 0a 5c 62 65 67 69 6e | 7b 74 61 62 75 6c 61 72 |t.\begin|{tabular|
|000005b0| 7d 7b 6c 6c 6c 7d 0a 47 | 65 6e 65 72 61 6c 20 63 |}{lll}.G|eneral c|
|000005c0| 68 61 69 72 6d 61 6e 3a | 20 26 20 4d 61 75 72 69 |hairman:| & Mauri|
|000005d0| 63 65 20 4e 69 76 61 74 | 20 26 20 28 55 6e 69 76 |ce Nivat| & (Univ|
|000005e0| 65 72 73 69 74 79 20 6f | 66 20 50 61 72 69 73 20 |ersity o|f Paris |
|000005f0| 56 49 49 2c 20 50 61 72 | 69 73 2c 20 46 29 0a 5c |VII, Par|is, F).\|
|00000600| 5c 0a 50 72 6f 67 72 61 | 6d 6d 65 20 63 68 61 69 |\.Progra|mme chai|
|00000610| 72 6d 61 6e 3a 20 26 20 | 47 69 75 73 65 70 70 65 |rman: & |Giuseppe|
|00000620| 20 53 63 6f 6c 6c 6f 20 | 26 20 28 55 6e 69 76 65 | Scollo |& (Unive|
|00000630| 72 73 69 74 79 20 6f 66 | 20 54 77 65 6e 74 65 2c |rsity of| Twente,|
|00000640| 20 45 6e 73 63 68 65 64 | 65 2c 20 4e 4c 29 0a 5c | Ensched|e, NL).\|
|00000650| 5c 0a 50 75 62 6c 69 63 | 69 74 79 20 63 68 61 69 |\.Public|ity chai|
|00000660| 72 6d 61 6e 3a 0a 26 20 | 20 43 68 61 72 6c 65 73 |rman:.& | Charles|
|00000670| 20 52 61 74 74 72 61 79 | 20 26 20 28 55 6e 69 76 | Rattray| & (Univ|
|00000680| 65 72 73 69 74 79 20 6f | 66 20 53 74 69 72 6c 69 |ersity o|f Stirli|
|00000690| 6e 67 2c 20 47 42 29 0a | 5c 5c 0a 26 20 20 54 65 |ng, GB).|\\.&  Te|
|000006a0| 6f 64 6f 72 20 52 75 73 | 20 26 20 28 55 6e 69 76 |odor Rus| & (Univ|
|000006b0| 65 72 73 69 74 79 20 6f | 66 20 49 6f 77 61 2c 20 |ersity o|f Iowa, |
|000006c0| 49 6f 77 61 20 43 69 74 | 79 2c 20 49 41 2c 20 55 |Iowa Cit|y, IA, U|
|000006d0| 53 41 29 0a 5c 5c 0a 26 | 20 20 56 2e 53 2e 20 41 |SA).\\.&|  V.S. A|
|000006e0| 6c 61 67 61 72 20 26 20 | 28 43 6f 6e 63 6f 72 64 |lagar & |(Concord|
|000006f0| 69 61 20 55 6e 69 76 65 | 72 73 69 74 79 2c 20 4d |ia Unive|rsity, M|
|00000700| 6f 6e 74 72 65 61 6c 2c | 20 43 61 6e 61 64 61 29 |ontreal,| Canada)|
|00000710| 0a 5c 5c 0a 4c 6f 63 61 | 6c 20 63 68 61 69 72 6d |.\\.Loca|l chairm|
|00000720| 61 6e 3a 20 26 20 45 64 | 20 42 72 69 6e 6b 73 6d |an: & Ed| Brinksm|
|00000730| 61 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |a & (Uni|versity |
|00000740| 6f 66 20 54 77 65 6e 74 | 65 2c 20 45 6e 73 63 68 |of Twent|e, Ensch|
|00000750| 65 64 65 2c 20 4e 4c 29 | 0a 5c 5c 0a 46 69 6e 61 |ede, NL)|.\\.Fina|
|00000760| 6e 63 65 20 63 68 61 69 | 72 6d 61 6e 3a 20 26 20 |nce chai|rman: & |
|00000770| 46 72 61 6e 73 20 76 61 | 6e 20 64 65 72 20 41 76 |Frans va|n der Av|
|00000780| 65 72 74 20 26 20 28 55 | 6e 69 76 65 72 73 69 74 |ert & (U|niversit|
|00000790| 79 20 6f 66 20 54 77 65 | 6e 74 65 2c 20 45 6e 73 |y of Twe|nte, Ens|
|000007a0| 63 68 65 64 65 2c 20 4e | 4c 29 0a 5c 5c 0a 4d 65 |chede, N|L).\\.Me|
|000007b0| 6d 62 65 72 73 3a 0a 26 | 20 20 4d 6f 68 61 6d 6d |mbers:.&|  Mohamm|
|000007c0| 65 64 20 42 65 74 74 61 | 7a 20 26 20 28 55 6e 69 |ed Betta|z & (Uni|
|000007d0| 76 65 72 73 69 74 79 20 | 6f 66 20 43 6f 6e 73 74 |versity |of Const|
|000007e0| 61 6e 74 69 6e 65 2c 20 | 41 6c 67 65 72 69 61 29 |antine, |Algeria)|
|000007f0| 0a 5c 5c 0a 26 20 20 43 | 68 72 69 73 74 69 6e 65 |.\\.&  C|hristine|
|00000800| 20 43 68 6f 70 70 79 20 | 26 20 28 55 6e 69 76 65 | Choppy |& (Unive|
|00000810| 72 73 69 74 79 20 6f 66 | 20 50 61 72 69 73 2d 53 |rsity of| Paris-S|
|00000820| 75 64 2c 20 4c 52 49 2c | 20 4f 72 73 61 79 2c 20 |ud, LRI,| Orsay, |
|00000830| 46 29 0a 5c 5c 0a 26 20 | 20 50 69 65 72 72 65 20 |F).\\.& | Pierre |
|00000840| 44 65 72 61 6e 73 61 72 | 74 20 26 20 28 49 4e 52 |Deransar|t & (INR|
|00000850| 49 41 2c 20 52 6f 63 71 | 75 65 6e 63 6f 75 72 74 |IA, Rocq|uencourt|
|00000860| 2c 20 46 29 0a 5c 5c 0a | 26 20 20 41 72 74 68 75 |, F).\\.|&  Arthu|
|00000870| 72 20 46 6c 65 63 6b 20 | 26 20 28 55 6e 69 76 65 |r Fleck |& (Unive|
|00000880| 72 73 69 74 79 20 6f 66 | 20 49 6f 77 61 2c 20 49 |rsity of| Iowa, I|
|00000890| 6f 77 61 20 43 69 74 79 | 2c 20 49 41 2c 20 55 53 |owa City|, IA, US|
|000008a0| 41 29 0a 5c 5c 0a 26 20 | 20 4c 75 69 67 69 20 4c |A).\\.& | Luigi L|
|000008b0| 6f 67 72 69 70 70 6f 20 | 26 20 28 55 6e 69 76 65 |ogrippo |& (Unive|
|000008c0| 72 73 69 74 79 20 6f 66 | 20 4f 74 74 61 77 61 2c |rsity of| Ottawa,|
|000008d0| 20 4f 6e 74 61 72 69 6f | 2c 20 43 61 6e 61 64 61 | Ontario|, Canada|
|000008e0| 29 0a 5c 5c 0a 26 20 20 | 4d 69 63 68 61 65 6c 20 |).\\.&  |Michael |
|000008f0| 4f 27 44 6f 6e 6e 65 6c | 6c 20 26 20 28 55 6e 69 |O'Donnel|l & (Uni|
|00000900| 76 65 72 73 69 74 79 20 | 6f 66 20 43 68 69 63 61 |versity |of Chica|
|00000910| 67 6f 2c 20 49 4c 2c 20 | 55 53 41 29 0a 5c 5c 0a |go, IL, |USA).\\.|
|00000920| 26 20 20 4a 75 61 6e 20 | 51 75 65 6d 61 64 61 20 |&  Juan |Quemada |
|00000930| 26 20 28 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |& (Unive|rsity of|
|00000940| 20 4d 61 64 72 69 64 2c | 20 45 29 0a 5c 5c 0a 26 | Madrid,| E).\\.&|
|00000950| 20 20 52 61 6c 70 68 20 | 57 61 63 68 74 65 72 20 |  Ralph |Wachter |
|00000960| 26 20 28 4f 66 66 69 63 | 65 20 6f 66 20 4e 61 76 |& (Offic|e of Nav|
|00000970| 61 6c 20 52 65 73 65 61 | 72 63 68 2c 20 41 72 6c |al Resea|rch, Arl|
|00000980| 69 6e 67 74 6f 6e 2c 20 | 56 41 2c 20 55 53 41 29 |ington, |VA, USA)|
|00000990| 0a 5c 5c 0a 5c 65 6e 64 | 7b 74 61 62 75 6c 61 72 |.\\.\end|{tabular|
|000009a0| 7d 0a 0a 5c 6e 6f 69 6e | 64 65 6e 74 0a 5c 62 65 |}..\noin|dent.\be|
|000009b0| 67 69 6e 7b 74 61 62 75 | 6c 61 72 7d 7b 6c 6c 7d |gin{tabu|lar}{ll}|
|000009c0| 0a 4c 6f 63 61 6c 20 43 | 6f 6d 6d 69 74 74 65 65 |.Local C|ommittee|
|000009d0| 3a 20 26 20 0a 20 20 20 | 48 65 72 6d 61 6e 20 42 |: & .   |Herman B|
|000009e0| 61 6c 73 74 65 72 73 2c | 20 48 61 6e 20 42 5c 22 |alsters,| Han B\"|
|000009f0| 7b 61 7d 75 6d 65 72 2c | 20 50 69 6d 20 76 61 6e |{a}umer,| Pim van|
|00000a00| 20 64 65 6e 20 42 72 6f | 65 6b 2c 20 52 6f 6c 66 | den Bro|ek, Rolf|
|00000a10| 20 64 65 20 42 79 2c 0a | 5c 5c 0a 26 20 20 4d 61 | de By,.|\\.&  Ma|
|00000a20| 61 72 74 65 6e 20 46 6f | 6b 6b 69 6e 67 61 2c 20 |arten Fo|kkinga, |
|00000a30| 50 69 6d 20 4b 61 72 73 | 2c 20 4d 61 72 6b 20 76 |Pim Kars|, Mark v|
|00000a40| 61 6e 20 64 65 20 56 6f | 6f 72 74 2c 20 4a 6f 62 |an de Vo|ort, Job|
|00000a50| 20 5a 77 69 65 72 73 0a | 5c 5c 0a 53 65 63 72 65 | Zwiers.|\\.Secre|
|00000a60| 74 61 72 69 61 74 3a 20 | 26 20 59 76 6f 6e 6e 65 |tariat: |& Yvonne|
|00000a70| 20 52 6f 6b 6b 65 72 0a | 5c 65 6e 64 7b 74 61 62 | Rokker.|\end{tab|
|00000a80| 75 6c 61 72 7d 0a 20 0a | 5c 73 6d 61 6c 6c 73 6b |ular}. .|\smallsk|
|00000a90| 69 70 5c 6e 6f 69 6e 64 | 65 6e 74 7b 5c 62 66 20 |ip\noind|ent{\bf |
|00000aa0| 50 72 6f 67 72 61 6d 6d | 65 20 43 6f 6d 6d 69 74 |Programm|e Commit|
|00000ab0| 74 65 65 3a 7d 0a 0a 5c | 6e 6f 69 6e 64 65 6e 74 |tee:}..\|noindent|
|00000ac0| 0a 4d 61 72 74 69 6e 7e | 41 62 61 64 69 2c 0a 45 |.Martin~|Abadi,.E|
|00000ad0| 67 69 64 69 6f 7e 41 73 | 74 65 73 69 61 6e 6f 2c |gidio~As|tesiano,|
|00000ae0| 0a 43 68 6f 75 6b 72 69 | 2d 42 65 79 7e 42 65 6e |.Choukri|-Bey~Ben|
|00000af0| 2d 59 65 6c 6c 65 73 2c | 0a 4d 69 63 68 65 6c 7e |-Yelles,|.Michel~|
|00000b00| 42 69 64 6f 69 74 2c 0a | 57 69 6d 7e 42 6c 6f 6b |Bidoit,.|Wim~Blok|
|00000b10| 2c 0a 43 68 72 69 73 7e | 42 72 69 6e 6b 2c 0a 5c |,.Chris~|Brink,.\|
|00000b20| 5c 0a 50 69 65 72 72 65 | 2d 4c 75 69 73 7e 43 75 |\.Pierre|-Luis~Cu|
|00000b30| 72 69 65 6e 2c 0a 4b 6f | 6b 69 63 68 69 7e 46 75 |rien,.Ko|kichi~Fu|
|00000b40| 74 61 74 73 75 67 69 2c | 0a 53 74 65 76 65 6e 7e |tatsugi,|.Steven~|
|00000b50| 47 69 76 61 6e 74 2c 0a | 57 69 6c 6c 69 61 6d 7e |Givant,.|William~|
|00000b60| 53 2e 7e 48 61 74 63 68 | 65 72 2c 0a 44 6f 75 67 |S.~Hatch|er,.Doug|
|00000b70| 6c 61 73 7e 4a 2e 7e 48 | 6f 77 65 2c 0a 5c 5c 0a |las~J.~H|owe,.\\.|
|00000b80| 42 6a 61 72 6e 69 7e 4a | 5c 27 7b 6f 7d 6e 73 73 |Bjarni~J|\'{o}nss|
|00000b90| 6f 6e 2c 0a 48 61 6e 73 | 2d 4a 5c 22 7b 6f 7d 72 |on,.Hans|-J\"{o}r|
|00000ba0| 67 20 4b 72 65 6f 77 73 | 6b 69 2c 0a 47 69 61 6e |g Kreows|ki,.Gian|
|00000bb0| 63 61 72 6c 6f 7e 4d 61 | 75 72 69 2c 0a 41 6c 69 |carlo~Ma|uri,.Ali|
|00000bc0| 7e 4d 69 6c 69 2c 20 0a | 4d 69 63 68 61 65 6c 7e |~Mili, .|Michael~|
|00000bd0| 4d 69 73 6c 6f 76 65 2c | 0a 55 67 6f 7e 4d 6f 6e |Mislove,|.Ugo~Mon|
|00000be0| 74 61 6e 61 72 69 2c 0a | 5c 5c 0a 50 65 74 65 72 |tanari,.|\\.Peter|
|00000bf0| 20 44 2e 20 4d 6f 73 73 | 65 73 2c 0a 49 73 74 76 | D. Moss|es,.Istv|
|00000c00| 61 6e 7e 4e 5c 27 7b 65 | 7d 6d 65 74 69 2c 0a 44 |an~N\'{e|}meti,.D|
|00000c10| 6f 6e 7e 50 69 67 6f 7a | 7a 69 2c 0a 44 6f 6e 7e |on~Pigoz|zi,.Don~|
|00000c20| 53 61 6e 6e 65 6c 6c 61 | 2c 0a 52 2e 4b 2e 7e 53 |Sannella|,.R.K.~S|
|00000c30| 68 79 61 6d 61 73 75 6e | 64 61 72 2c 0a 4a 6f 68 |hyamasun|dar,.Joh|
|00000c40| 6e 7e 53 74 61 70 6c 65 | 73 2c 0a 5c 5c 0a 41 6e |n~Staple|s,.\\.An|
|00000c50| 64 72 7a 65 6a 7e 54 61 | 72 6c 65 63 6b 69 2c 0a |drzej~Ta|rlecki,.|
|00000c60| 46 72 69 74 73 7e 56 61 | 61 6e 64 72 61 67 65 72 |Frits~Va|andrager|
|00000c70| 2c 0a 50 61 75 6c 6f 7e | 41 2e 53 2e 7e 56 65 6c |,.Paulo~|A.S.~Vel|
|00000c80| 6f 73 6f 2c 0a 45 72 69 | 63 7e 57 61 67 6e 65 72 |oso,.Eri|c~Wagner|
|00000c90| 2c 0a 42 6f 62 20 57 61 | 6c 74 65 72 73 2c 0a 4d |,.Bob Wa|lters,.M|
|00000ca0| 61 72 74 69 6e 7e 57 69 | 72 73 69 6e 67 2e 0a 0a |artin~Wi|rsing...|
|00000cb0| 5c 62 69 67 73 6b 69 70 | 5c 6e 6f 69 6e 64 65 6e |\bigskip|\noinden|
|00000cc0| 74 7b 5c 62 66 20 49 6e | 76 69 74 65 64 20 53 70 |t{\bf In|vited Sp|
|00000cd0| 65 61 6b 65 72 73 7d 0a | 0a 5c 73 6d 61 6c 6c 73 |eakers}.|.\smalls|
|00000ce0| 6b 69 70 5c 6e 6f 69 6e | 64 65 6e 74 0a 54 6f 20 |kip\noin|dent.To |
|00000cf0| 61 63 68 69 65 76 65 20 | 74 68 65 20 67 6f 61 6c |achieve |the goal|
|00000d00| 20 6f 66 20 74 68 65 20 | 63 6f 6e 66 65 72 65 6e | of the |conferen|
|00000d10| 63 65 20 77 65 20 61 69 | 6d 20 74 6f 20 70 72 6f |ce we ai|m to pro|
|00000d20| 76 69 64 65 20 61 20 66 | 6f 72 75 6d 20 69 6e 20 |vide a f|orum in |
|00000d30| 77 68 69 63 68 0a 6c 65 | 61 64 69 6e 67 20 72 65 |which.le|ading re|
|00000d40| 73 65 61 72 63 68 65 72 | 73 20 69 6e 20 6d 61 74 |searcher|s in mat|
|00000d50| 68 65 6d 61 74 69 63 73 | 2c 20 63 6f 6d 70 75 74 |hematics|, comput|
|00000d60| 65 72 20 73 63 69 65 6e | 63 65 2c 20 61 6e 64 20 |er scien|ce, and |
|00000d70| 73 6f 66 74 77 61 72 65 | 20 64 65 76 65 6c 6f 70 |software| develop|
|00000d80| 6d 65 6e 74 2c 0a 77 69 | 6c 6c 20 63 6f 6d 65 20 |ment,.wi|ll come |
|00000d90| 74 6f 67 65 74 68 65 72 | 20 74 6f 20 69 64 65 6e |together| to iden|
|00000da0| 74 69 66 79 20 61 6c 67 | 65 62 72 61 69 63 20 6d |tify alg|ebraic m|
|00000db0| 65 74 68 6f 64 6f 6c 6f | 67 69 65 73 20 74 68 61 |ethodolo|gies tha|
|00000dc0| 74 20 61 72 65 20 61 70 | 70 6c 69 63 61 62 6c 65 |t are ap|plicable|
|00000dd0| 20 61 73 0a 76 69 61 62 | 6c 65 20 61 6c 74 65 72 | as.viab|le alter|
|00000de0| 6e 61 74 69 76 65 73 20 | 74 6f 20 74 68 65 20 70 |natives |to the p|
|00000df0| 72 65 73 65 6e 74 20 73 | 6f 66 74 77 61 72 65 20 |resent s|oftware |
|00000e00| 64 65 76 65 6c 6f 70 6d | 65 6e 74 20 61 70 70 72 |developm|ent appr|
|00000e10| 6f 61 63 68 65 73 20 61 | 6e 64 20 74 6f 0a 64 69 |oaches a|nd to.di|
|00000e20| 73 63 75 73 73 20 74 68 | 65 20 61 70 70 72 6f 70 |scuss th|e approp|
|00000e30| 72 69 61 74 65 6e 65 73 | 73 20 6f 66 20 73 75 63 |riatenes|s of suc|
|00000e40| 68 20 61 6c 74 65 72 6e | 61 74 69 76 65 73 20 77 |h altern|atives w|
|00000e50| 69 74 68 20 61 20 76 69 | 65 77 20 74 6f 20 69 6d |ith a vi|ew to im|
|00000e60| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 2e 0a 49 6e |plementa|tion..In|
|00000e70| 76 69 74 65 64 20 73 70 | 65 61 6b 65 72 73 2c 20 |vited sp|eakers, |
|00000e80| 77 69 74 68 20 61 20 74 | 65 6e 74 61 74 69 76 65 |with a t|entative|
|00000e90| 20 69 6e 64 69 63 61 74 | 69 6f 6e 20 6f 66 20 72 | indicat|ion of r|
|00000ea0| 65 73 70 65 63 74 69 76 | 65 20 74 6f 70 69 63 73 |espectiv|e topics|
|00000eb0| 2c 20 69 6e 63 6c 75 64 | 65 3a 0a 0a 5c 63 6c 65 |, includ|e:..\cle|
|00000ec0| 61 72 70 61 67 65 0a 5c | 73 65 74 63 6f 75 6e 74 |arpage.\|setcount|
|00000ed0| 65 72 7b 70 61 67 65 7d | 7b 30 7d 0a 0a 5c 62 65 |er{page}|{0}..\be|
|00000ee0| 67 69 6e 7b 71 75 6f 74 | 65 7d 0a 5c 62 65 67 69 |gin{quot|e}.\begi|
|00000ef0| 6e 7b 74 61 62 75 6c 61 | 72 7d 7b 6c 6c 6c 7d 0a |n{tabula|r}{lll}.|
|00000f00| 48 75 62 65 72 74 20 43 | 6f 6d 6f 6e 20 20 26 20 |Hubert C|omon  & |
|00000f10| 28 4c 52 49 2c 20 4f 72 | 73 61 79 29 20 26 20 3a |(LRI, Or|say) & :|
|00000f20| 20 43 6f 6e 73 74 72 61 | 69 6e 74 20 53 6f 6c 76 | Constra|int Solv|
|00000f30| 69 6e 67 20 69 6e 20 54 | 65 72 6d 20 41 6c 67 65 |ing in T|erm Alge|
|00000f40| 62 72 61 73 0a 5c 5c 0a | 52 6f 62 20 76 61 6e 20 |bras.\\.|Rob van |
|00000f50| 47 6c 61 62 62 65 65 6b | 20 20 26 20 28 53 74 61 |Glabbeek|  & (Sta|
|00000f60| 6e 66 6f 72 64 20 55 6e | 69 76 65 72 73 69 74 79 |nford Un|iversity|
|00000f70| 29 20 20 20 20 20 20 20 | 20 20 20 20 20 20 26 20 |)       |      & |
|00000f80| 3a 20 50 72 6f 63 65 73 | 73 20 41 6c 67 65 62 72 |: Proces|s Algebr|
|00000f90| 61 0a 5c 5c 0a 4e 69 63 | 6f 6c 61 73 20 48 61 6c |a.\\.Nic|olas Hal|
|00000fa0| 62 77 61 63 68 73 20 26 | 20 28 49 4e 50 47 2c 20 |bwachs &| (INPG, |
|00000fb0| 47 72 65 6e 6f 62 6c 65 | 29 20 20 26 20 3a 20 52 |Grenoble|)  & : R|
|00000fc0| 65 61 63 74 69 76 65 20 | 50 72 6f 67 72 61 6d 20 |eactive |Program |
|00000fd0| 53 79 6e 74 68 65 73 69 | 73 0a 5c 5c 0a 4d 69 6b |Synthesi|s.\\.Mik|
|00000fe0| 65 20 4a 6f 68 6e 73 6f | 6e 20 26 20 28 4d 61 63 |e Johnso|n & (Mac|
|00000ff0| 71 75 61 72 69 65 20 55 | 6e 69 76 2e 2c 20 53 79 |quarie U|niv., Sy|
|00001000| 64 6e 65 79 29 20 26 20 | 3a 0a 20 20 20 20 20 20 |dney) & |:.      |
|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 43 61 74 65 67 6f 72 | 79 20 54 68 65 6f 72 79 | Categor|y Theory|
|00001040| 20 66 6f 72 20 53 6f 66 | 74 77 61 72 65 20 45 6e | for Sof|tware En|
|00001050| 67 69 6e 65 65 72 69 6e | 67 0a 5c 5c 0a 47 69 6f |gineerin|g.\\.Gio|
|00001060| 72 67 69 6f 20 4c 65 76 | 69 20 20 20 20 20 20 26 |rgio Lev|i      &|
|00001070| 20 28 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 | (Univer|sity of |
|00001080| 50 69 73 61 29 20 20 20 | 20 20 20 20 20 20 20 20 |Pisa)   |        |
|00001090| 20 20 20 26 20 3a 20 4c | 6f 67 69 63 20 50 72 6f |   & : L|ogic Pro|
|000010a0| 67 72 61 6d 6d 69 6e 67 | 0a 5c 5c 0a 52 6f 67 65 |gramming|.\\.Roge|
|000010b0| 72 20 44 2e 20 4d 61 64 | 64 75 78 20 20 20 26 20 |r D. Mad|dux   & |
|000010c0| 28 49 6f 77 61 20 53 74 | 61 74 65 20 55 6e 69 76 |(Iowa St|ate Univ|
|000010d0| 65 72 73 69 74 79 29 20 | 20 20 20 20 20 20 20 20 |ersity) |        |
|000010e0| 20 20 26 20 3a 20 52 65 | 6c 61 74 69 6f 6e 20 41 |  & : Re|lation A|
|000010f0| 6c 67 65 62 72 61 0a 5c | 65 6e 64 7b 74 61 62 75 |lgebra.\|end{tabu|
|00001100| 6c 61 72 7d 0a 5c 65 6e | 64 7b 71 75 6f 74 65 7d |lar}.\en|d{quote}|
|00001110| 0a 0a 5c 73 65 63 74 69 | 6f 6e 2a 7b 53 75 62 6d |..\secti|on*{Subm|
|00001120| 69 73 73 69 6f 6e 73 7d | 0a 0a 5c 76 73 70 61 63 |issions}|..\vspac|
|00001130| 65 2a 7b 2d 32 6d 6d 7d | 0a 54 61 6c 6b 73 20 72 |e*{-2mm}|.Talks r|
|00001140| 65 70 6f 72 74 69 6e 67 | 20 72 65 73 65 61 72 63 |eporting| researc|
|00001150| 68 20 69 6e 20 61 6c 67 | 65 62 72 61 20 61 6e 64 |h in alg|ebra and|
|00001160| 20 6c 6f 67 69 63 2c 20 | 73 75 69 74 61 62 6c 65 | logic, |suitable|
|00001170| 20 61 73 20 61 20 66 6f | 75 6e 64 61 74 69 6f 6e | as a fo|undation|
|00001180| 20 66 6f 72 0a 73 6f 66 | 74 77 61 72 65 20 74 65 | for.sof|tware te|
|00001190| 63 68 6e 6f 6c 6f 67 79 | 2c 20 61 73 20 77 65 6c |chnology|, as wel|
|000011a0| 6c 20 61 73 20 73 6f 66 | 74 77 61 72 65 20 74 65 |l as sof|tware te|
|000011b0| 63 68 6e 6f 6c 6f 67 69 | 65 73 0a 64 65 76 65 6c |chnologi|es.devel|
|000011c0| 6f 70 65 64 20 62 79 20 | 6d 65 61 6e 73 20 6f 66 |oped by |means of|
|000011d0| 20 61 6c 67 65 62 72 61 | 69 63 20 6d 65 74 68 6f | algebra|ic metho|
|000011e0| 64 6f 6c 6f 67 69 65 73 | 2c 20 61 72 65 20 77 65 |dologies|, are we|
|000011f0| 6c 63 6f 6d 65 2e 0a 44 | 65 6d 6f 6e 73 74 72 61 |lcome..D|emonstra|
|00001200| 74 69 6f 6e 73 20 6f 66 | 20 73 79 73 74 65 6d 73 |tions of| systems|
|00001210| 20 73 68 6f 77 69 6e 67 | 20 74 68 65 20 69 6d 70 | showing| the imp|
|00001220| 72 6f 76 65 64 20 65 66 | 66 65 63 74 69 76 65 6e |roved ef|fectiven|
|00001230| 65 73 73 20 6f 66 20 73 | 6f 66 74 77 61 72 65 0a |ess of s|oftware.|
|00001240| 64 65 76 65 6c 6f 70 65 | 64 20 6f 6e 20 61 20 6d |develope|d on a m|
|00001250| 61 74 68 65 6d 61 74 69 | 63 61 6c 20 62 61 73 69 |athemati|cal basi|
|00001260| 73 20 28 77 69 74 68 20 | 6f 72 20 77 69 74 68 6f |s (with |or witho|
|00001270| 75 74 20 61 20 74 61 6c | 6b 29 0a 77 69 6c 6c 20 |ut a tal|k).will |
|00001280| 61 6c 73 6f 20 62 65 20 | 63 6f 6e 73 69 64 65 72 |also be |consider|
|00001290| 65 64 2e 0a 54 6f 20 62 | 65 20 6d 6f 72 65 20 70 |ed..To b|e more p|
|000012a0| 72 65 63 69 73 65 20 74 | 68 65 20 6f 72 67 61 6e |recise t|he organ|
|000012b0| 69 7a 65 72 73 20 77 69 | 73 68 20 63 6f 6e 74 72 |izers wi|sh contr|
|000012c0| 69 62 75 74 69 6f 6e 73 | 20 6f 6e 2c 20 62 75 74 |ibutions| on, but|
|000012d0| 20 6e 6f 74 20 6c 69 6d | 69 74 65 64 20 74 6f 2c | not lim|ited to,|
|000012e0| 0a 61 6c 67 65 62 72 61 | 69 63 20 6d 65 74 68 6f |.algebra|ic metho|
|000012f0| 64 73 20 66 6f 72 20 6c | 61 6e 67 75 61 67 65 20 |ds for l|anguage |
|00001300| 64 65 73 69 67 6e 20 61 | 6e 64 20 20 63 6f 6d 70 |design a|nd  comp|
|00001310| 69 6c 65 72 20 63 6f 6e | 73 74 72 75 63 74 69 6f |iler con|structio|
|00001320| 6e 0a 28 65 2e 67 2e 20 | 66 6f 72 20 41 6c 67 6f |n.(e.g. |for Algo|
|00001330| 6c 2d 6c 69 6b 65 20 70 | 72 6f 67 72 61 6d 6d 69 |l-like p|rogrammi|
|00001340| 6e 67 20 6c 61 6e 67 75 | 61 67 65 73 29 2c 0a 61 |ng langu|ages),.a|
|00001350| 6c 67 65 62 72 61 69 63 | 20 6d 65 74 68 6f 64 6f |lgebraic| methodo|
|00001360| 6c 6f 67 79 20 66 6f 72 | 20 73 6f 66 74 77 61 72 |logy for| softwar|
|00001370| 65 20 65 6e 67 69 6e 65 | 65 72 69 6e 67 2c 0a 61 |e engine|ering,.a|
|00001380| 6c 67 65 62 72 61 69 63 | 20 73 70 65 63 69 66 69 |lgebraic| specifi|
|00001390| 63 61 74 69 6f 6e 73 20 | 61 6e 64 20 61 6c 67 6f |cations |and algo|
|000013a0| 72 69 74 68 6d 73 20 74 | 6f 20 61 75 74 6f 6d 61 |rithms t|o automa|
|000013b0| 74 69 63 61 6c 6c 79 20 | 62 75 69 6c 64 0a 70 72 |tically |build.pr|
|000013c0| 6f 67 72 61 6d 73 20 66 | 72 6f 6d 20 73 75 63 68 |ograms f|rom such|
|000013d0| 20 73 70 65 63 69 66 69 | 63 61 74 69 6f 6e 73 2c | specifi|cations,|
|000013e0| 0a 65 78 74 72 61 63 74 | 69 6f 6e 20 6f 66 20 70 |.extract|ion of p|
|000013f0| 72 6f 67 72 61 6d 73 20 | 66 72 6f 6d 20 63 6f 6e |rograms |from con|
|00001400| 73 74 72 75 63 74 69 76 | 65 20 70 72 6f 6f 66 73 |structiv|e proofs|
|00001410| 2c 0a 63 61 74 65 67 6f | 72 69 63 61 6c 2c 20 61 |,.catego|rical, a|
|00001420| 6c 67 65 62 72 61 69 63 | 20 61 6e 64 20 6c 6f 67 |lgebraic| and log|
|00001430| 69 63 20 70 72 6f 67 72 | 61 6d 6d 69 6e 67 2c 0a |ic progr|amming,.|
|00001440| 64 65 64 75 63 74 69 76 | 65 20 64 61 74 61 62 61 |deductiv|e databa|
|00001450| 73 65 73 2c 20 71 75 65 | 72 79 20 6c 61 6e 67 75 |ses, que|ry langu|
|00001460| 61 67 65 20 64 65 73 69 | 67 6e 2c 0a 61 6c 67 65 |age desi|gn,.alge|
|00001470| 62 72 61 69 63 20 73 70 | 65 63 69 66 69 63 61 74 |braic sp|ecificat|
|00001480| 69 6f 6e 20 6f 66 20 63 | 6f 6e 63 75 72 72 65 6e |ion of c|oncurren|
|00001490| 74 20 73 79 73 74 65 6d | 73 2c 0a 64 69 73 74 72 |t system|s,.distr|
|000014a0| 69 62 75 74 65 64 20 6f | 70 65 72 61 74 69 6e 67 |ibuted o|perating|
|000014b0| 20 73 79 73 74 65 6d 73 | 2c 20 72 65 61 63 74 69 | systems|, reacti|
|000014c0| 76 65 20 73 79 73 74 65 | 6d 73 2c 0a 70 72 61 63 |ve syste|ms,.prac|
|000014d0| 74 69 63 61 6c 20 74 65 | 63 68 6e 69 71 75 65 73 |tical te|chniques|
|000014e0| 20 61 6e 64 20 65 78 61 | 6d 70 6c 65 73 20 66 6f | and exa|mples fo|
|000014f0| 72 20 76 65 72 69 66 69 | 63 61 74 69 6f 6e 20 6f |r verifi|cation o|
|00001500| 66 20 70 72 6f 67 72 61 | 6d 0a 61 6e 64 2f 6f 72 |f progra|m.and/or|
|00001510| 20 73 70 65 63 69 66 69 | 63 61 74 69 6f 6e 20 70 | specifi|cation p|
|00001520| 72 6f 70 65 72 74 69 65 | 73 2e 0a 57 65 20 69 6e |ropertie|s..We in|
|00001530| 76 69 74 65 20 79 6f 75 | 20 74 6f 20 73 75 62 6d |vite you| to subm|
|00001540| 69 74 20 61 20 74 77 6f | 2d 70 61 67 65 20 61 62 |it a two|-page ab|
|00001550| 73 74 72 61 63 74 20 28 | 69 6e 63 6c 75 64 69 6e |stract (|includin|
|00001560| 67 20 61 20 66 65 77 0a | 63 69 74 61 74 69 6f 6e |g a few.|citation|
|00001570| 73 20 6f 66 20 72 65 6c | 65 76 61 6e 74 20 77 6f |s of rel|evant wo|
|00001580| 72 6b 29 20 6f 66 20 79 | 6f 75 72 20 74 61 6c 6b |rk) of y|our talk|
|00001590| 20 74 6f 0a 5c 62 65 67 | 69 6e 7b 71 75 6f 74 65 | to.\beg|in{quote|
|000015a0| 7d 0a 41 4d 41 53 54 20 | 43 6f 6e 66 65 72 65 6e |}.AMAST |Conferen|
|000015b0| 63 65 2c 0a 55 6e 69 76 | 65 72 73 69 74 79 20 6f |ce,.Univ|ersity o|
|000015c0| 66 20 54 77 65 6e 74 65 | 2c 0a 46 61 63 2e 5c 20 |f Twente|,.Fac.\ |
|000015d0| 49 6e 66 6f 72 6d 61 74 | 69 63 61 2c 0a 41 74 74 |Informat|ica,.Att|
|000015e0| 2e 20 4d 72 73 2e 5c 20 | 59 2e 20 52 6f 6b 6b 65 |. Mrs.\ |Y. Rokke|
|000015f0| 72 2c 0a 5c 5c 0a 50 2e | 4f 2e 20 42 6f 78 20 32 |r,.\\.P.|O. Box 2|
|00001600| 31 37 2c 0a 4e 4c 2d 37 | 35 30 30 41 45 20 45 6e |17,.NL-7|500AE En|
|00001610| 73 63 68 65 64 65 2c 0a | 54 68 65 20 4e 65 74 68 |schede,.|The Neth|
|00001620| 65 72 6c 61 6e 64 73 0a | 5c 20 5c 20 5c 20 28 70 |erlands.|\ \ \ (p|
|00001630| 68 6f 6e 65 3a 20 2b 20 | 33 31 20 35 33 20 38 39 |hone: + |31 53 89|
|00001640| 33 37 30 31 29 0a 5c 65 | 6e 64 7b 71 75 6f 74 65 |3701).\e|nd{quote|
|00001650| 7d 0a 46 6f 75 72 2d 70 | 61 67 65 20 61 62 62 72 |}.Four-p|age abbr|
|00001660| 65 76 69 61 74 65 64 20 | 70 61 70 65 72 73 20 6f |eviated |papers o|
|00001670| 66 20 74 68 65 20 74 61 | 6c 6b 73 20 70 72 65 73 |f the ta|lks pres|
|00001680| 65 6e 74 65 64 20 61 74 | 20 74 68 65 20 63 6f 6e |ented at| the con|
|00001690| 66 65 72 65 6e 63 65 2c | 20 74 6f 67 65 74 68 65 |ference,| togethe|
|000016a0| 72 0a 77 69 74 68 20 74 | 68 65 20 69 6e 76 69 74 |r.with t|he invit|
|000016b0| 65 64 20 74 61 6c 6b 73 | 2c 20 77 69 6c 6c 20 62 |ed talks|, will b|
|000016c0| 65 20 63 6f 6c 6c 65 63 | 74 65 64 20 69 6e 20 74 |e collec|ted in t|
|000016d0| 68 65 20 70 61 72 74 69 | 63 69 70 61 6e 74 73 27 |he parti|cipants'|
|000016e0| 20 65 64 69 74 69 6f 6e | 20 6f 66 20 74 68 65 0a | edition| of the.|
|000016f0| 70 72 6f 63 65 65 64 69 | 6e 67 73 2c 20 77 68 69 |proceedi|ngs, whi|
|00001700| 63 68 20 77 69 6c 6c 20 | 62 65 20 61 76 61 69 6c |ch will |be avail|
|00001710| 61 62 6c 65 20 74 6f 20 | 74 68 65 20 61 74 74 65 |able to |the atte|
|00001720| 6e 64 65 65 73 20 75 70 | 6f 6e 20 74 68 65 69 72 |ndees up|on their|
|00001730| 20 61 72 72 69 76 61 6c | 20 69 6e 0a 54 77 65 6e | arrival| in.Twen|
|00001740| 74 65 2e 0a 54 68 65 20 | 61 75 74 68 6f 72 73 20 |te..The |authors |
|00001750| 61 72 65 20 65 78 70 65 | 63 74 65 64 20 74 6f 20 |are expe|cted to |
|00001760| 62 72 69 6e 67 20 66 75 | 6c 6c 20 76 65 72 73 69 |bring fu|ll versi|
|00001770| 6f 6e 73 20 6f 66 20 74 | 68 65 69 72 20 70 61 70 |ons of t|heir pap|
|00001780| 65 72 73 20 61 74 20 74 | 68 65 0a 63 6f 6e 66 65 |ers at t|he.confe|
|00001790| 72 65 6e 63 65 2c 20 66 | 6f 72 20 66 75 72 74 68 |rence, f|or furth|
|000017a0| 65 72 20 72 65 76 69 65 | 77 20 61 6e 64 20 69 6e |er revie|w and in|
|000017b0| 63 6c 75 73 69 6f 6e 20 | 69 6e 20 74 68 65 20 41 |clusion |in the A|
|000017c0| 4d 41 53 54 27 39 33 20 | 50 72 6f 63 65 65 64 69 |MAST'93 |Proceedi|
|000017d0| 6e 67 73 2c 0a 74 6f 20 | 62 65 20 70 75 62 6c 69 |ngs,.to |be publi|
|000017e0| 73 68 65 64 20 62 79 20 | 53 70 72 69 6e 67 65 72 |shed by |Springer|
|000017f0| 2d 56 65 72 6c 61 67 2c | 20 4c 6f 6e 64 6f 6e 2e |-Verlag,| London.|
|00001800| 20 0a 41 20 73 70 65 63 | 69 61 6c 20 69 73 73 75 | .A spec|ial issu|
|00001810| 65 20 6f 66 20 7b 5c 65 | 6d 20 54 68 65 6f 72 65 |e of {\e|m Theore|
|00001820| 74 69 63 61 6c 20 43 6f | 6d 70 75 74 65 72 20 53 |tical Co|mputer S|
|00001830| 63 69 65 6e 63 65 7d 20 | 77 69 6c 6c 20 62 65 20 |cience} |will be |
|00001840| 64 65 64 69 63 61 74 65 | 64 20 74 6f 0a 74 68 69 |dedicate|d to.thi|
|00001850| 73 20 63 6f 6e 66 65 72 | 65 6e 63 65 3b 20 70 61 |s confer|ence; pa|
|00001860| 72 74 69 63 69 70 61 6e | 74 73 20 77 69 6c 6c 20 |rticipan|ts will |
|00001870| 62 65 20 69 6e 76 69 74 | 65 64 20 74 6f 20 73 75 |be invit|ed to su|
|00001880| 62 6d 69 74 20 74 68 65 | 69 72 20 66 75 6c 6c 20 |bmit the|ir full |
|00001890| 70 61 70 65 72 0a 66 6f | 72 20 70 6f 73 73 69 62 |paper.fo|r possib|
|000018a0| 6c 65 20 70 75 62 6c 69 | 63 61 74 69 6f 6e 20 69 |le publi|cation i|
|000018b0| 6e 20 74 68 69 73 20 6a | 6f 75 72 6e 61 6c 2e 0a |n this j|ournal..|
|000018c0| 0a 5c 73 6d 61 6c 6c 73 | 6b 69 70 5c 6e 6f 69 6e |.\smalls|kip\noin|
|000018d0| 64 65 6e 74 5c 75 6e 64 | 65 72 6c 69 6e 65 7b 7b |dent\und|erline{{|
|000018e0| 5c 62 66 20 49 6d 70 6f | 72 74 61 6e 74 20 44 75 |\bf Impo|rtant Du|
|000018f0| 65 20 44 61 74 65 73 7d | 7d 0a 5c 5c 0a 24 5c 62 |e Dates}|}.\\.$\b|
|00001900| 75 6c 6c 65 74 24 0a 54 | 77 6f 20 70 61 67 65 20 |ullet$.T|wo page |
|00001910| 61 62 73 74 72 61 63 74 | 20 73 75 62 6d 69 73 73 |abstract| submiss|
|00001920| 69 6f 6e 20 62 79 20 44 | 65 63 65 6d 62 65 72 20 |ion by D|ecember |
|00001930| 31 35 2c 20 31 39 39 32 | 2e 0a 5c 5c 0a 24 5c 62 |15, 1992|..\\.$\b|
|00001940| 75 6c 6c 65 74 24 0a 4e | 6f 74 69 66 69 63 61 74 |ullet$.N|otificat|
|00001950| 69 6f 6e 20 6f 66 20 61 | 63 63 65 70 74 61 6e 63 |ion of a|cceptanc|
|00001960| 65 20 62 79 20 4d 61 72 | 63 68 20 33 31 2c 20 31 |e by Mar|ch 31, 1|
|00001970| 39 39 33 2e 0a 5c 5c 0a | 24 5c 62 75 6c 6c 65 74 |993..\\.|$\bullet|
|00001980| 24 0a 43 61 6d 65 72 61 | 2d 72 65 61 64 79 20 66 |$.Camera|-ready f|
|00001990| 6f 75 72 2d 70 61 67 65 | 20 70 61 70 65 72 0a 74 |our-page| paper.t|
|000019a0| 6f 20 61 70 70 65 61 72 | 20 69 6e 20 70 61 72 74 |o appear| in part|
|000019b0| 69 63 69 70 61 6e 74 73 | 27 20 70 72 6f 63 65 65 |icipants|' procee|
|000019c0| 64 69 6e 67 73 20 62 79 | 20 4d 61 79 20 31 2c 20 |dings by| May 1, |
|000019d0| 31 39 39 33 2e 0a 5c 5c | 0a 24 5c 62 75 6c 6c 65 |1993..\\|.$\bulle|
|000019e0| 74 24 0a 46 75 6c 6c 20 | 70 61 70 65 72 20 66 6f |t$.Full |paper fo|
|000019f0| 72 20 41 4d 41 53 54 27 | 39 33 20 50 72 6f 63 65 |r AMAST'|93 Proce|
|00001a00| 65 64 69 6e 67 73 2c 20 | 61 74 20 74 68 65 20 63 |edings, |at the c|
|00001a10| 6f 6e 66 65 72 65 6e 63 | 65 2e 0a 0a 5c 73 6d 61 |onferenc|e...\sma|
|00001a20| 6c 6c 73 6b 69 70 5c 6e | 6f 69 6e 64 65 6e 74 0a |llskip\n|oindent.|
|00001a30| 46 75 72 74 68 65 72 20 | 69 6e 66 6f 72 6d 61 74 |Further |informat|
|00001a40| 69 6f 6e 20 63 61 6e 20 | 62 65 20 6f 62 74 61 69 |ion can |be obtai|
|00001a50| 6e 65 64 20 66 72 6f 6d | 3a 0a 5c 62 65 67 69 6e |ned from|:.\begin|
|00001a60| 7b 63 65 6e 74 65 72 7d | 0a 5c 73 6d 61 6c 6c 0a |{center}|.\small.|
|00001a70| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|00001a80| 6c 20 6c 20 6c 7d 0a 7b | 5c 69 74 20 49 6e 20 43 |l l l}.{|\it In C|
|00001a90| 61 6e 61 64 61 5c 2f 7d | 3a 20 26 20 7b 5c 69 74 |anada\/}|: & {\it|
|00001aa0| 20 49 6e 20 45 75 72 6f | 70 65 5c 2f 7d 3a 20 26 | In Euro|pe\/}: &|
|00001ab0| 20 7b 5c 69 74 20 49 6e | 20 55 2e 53 2e 41 5c 2f | {\it In| U.S.A\/|
|00001ac0| 7d 3a 20 5c 5c 0a 56 2e | 53 2e 20 41 6c 61 67 61 |}: \\.V.|S. Alaga|
|00001ad0| 72 20 20 20 20 20 20 20 | 20 20 20 26 20 43 68 61 |r       |   & Cha|
|00001ae0| 72 6c 65 73 20 52 61 74 | 74 72 61 79 20 20 20 20 |rles Rat|tray    |
|00001af0| 20 20 20 20 20 20 20 20 | 20 26 20 54 65 6f 64 6f |        | & Teodo|
|00001b00| 72 20 52 75 73 20 5c 5c | 0a 43 6f 6e 63 6f 72 64 |r Rus \\|.Concord|
|00001b10| 69 61 20 55 6e 69 76 65 | 72 73 69 74 79 20 26 20 |ia Unive|rsity & |
|00001b20| 55 6e 69 76 65 72 73 69 | 74 79 20 6f 66 20 53 74 |Universi|ty of St|
|00001b30| 69 72 6c 69 6e 67 20 20 | 20 20 20 20 26 20 55 6e |irling  |    & Un|
|00001b40| 69 76 65 72 73 69 74 79 | 20 6f 66 20 49 6f 77 61 |iversity| of Iowa|
|00001b50| 20 20 20 20 20 5c 5c 0a | 44 65 70 74 2e 5c 20 6f |     \\.|Dept.\ o|
|00001b60| 66 20 43 6f 6d 70 75 74 | 65 72 20 53 63 69 65 6e |f Comput|er Scien|
|00001b70| 63 65 20 26 20 44 65 70 | 74 2e 5c 20 6f 66 20 4d |ce & Dep|t.\ of M|
|00001b80| 61 74 68 65 6d 61 74 69 | 63 73 20 26 0a 20 20 20 |athemati|cs &.   |
|00001b90| 20 20 20 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| 44 65 70 74 2e 5c 20 6f | 66 20 43 6f 6d 70 75 74 |Dept.\ o|f Comput|
|00001bd0| 65 72 20 53 63 69 65 6e | 63 65 20 5c 5c 0a 31 34 |er Scien|ce \\.14|
|00001be0| 35 35 20 44 65 20 4d 61 | 69 73 6f 6e 6e 65 75 76 |55 De Ma|isonneuv|
|00001bf0| 65 20 42 6c 76 64 2e 5c | 20 57 65 73 74 20 26 20 |e Blvd.\| West & |
|00001c00| 61 6e 64 20 43 6f 6d 70 | 75 74 69 6e 67 20 53 63 |and Comp|uting Sc|
|00001c10| 69 65 6e 63 65 20 26 20 | 49 6f 77 61 20 43 69 74 |ience & |Iowa Cit|
|00001c20| 79 20 5c 5c 20 0a 4d 6f | 6e 74 72 65 61 6c 2c 20 |y \\ .Mo|ntreal, |
|00001c30| 51 75 65 62 65 63 20 48 | 33 47 20 31 4d 38 20 26 |Quebec H|3G 1M8 &|
|00001c40| 20 53 74 69 72 6c 69 6e | 67 2c 20 53 63 6f 74 6c | Stirlin|g, Scotl|
|00001c50| 61 6e 64 2c 20 46 4b 39 | 20 34 4c 41 20 26 20 20 |and, FK9| 4LA &  |
|00001c60| 49 41 20 35 32 32 34 32 | 20 5c 5c 0a 43 61 6e 61 |IA 52242| \\.Cana|
|00001c70| 64 61 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |da      |        |
|00001c80| 20 20 20 20 20 26 20 47 | 72 65 61 74 20 42 72 69 |     & G|reat Bri|
|00001c90| 74 61 69 6e 20 20 20 20 | 20 20 20 20 20 20 20 20 |tain    |        |
|00001ca0| 20 20 20 26 20 55 53 41 | 20 20 5c 5c 0a 70 68 6f |   & USA|  \\.pho|
|00001cb0| 6e 65 3a 20 2b 20 31 20 | 35 31 34 20 38 34 38 33 |ne: + 1 |514 8483|
|00001cc0| 30 32 32 20 20 26 20 70 | 68 6f 6e 65 3a 20 2b 20 |022  & p|hone: + |
|00001cd0| 34 34 20 37 38 36 20 37 | 33 31 37 31 20 20 20 20 |44 786 7|3171    |
|00001ce0| 20 26 20 70 68 6f 6e 65 | 3a 20 2b 20 31 20 33 31 | & phone|: + 1 31|
|00001cf0| 39 20 33 33 35 30 37 34 | 32 20 5c 5c 0a 66 61 78 |9 335074|2 \\.fax|
|00001d00| 20 3a 20 20 2b 20 31 20 | 35 31 34 20 38 34 38 32 | :  + 1 |514 8482|
|00001d10| 38 33 30 20 20 26 20 66 | 61 78 20 3a 20 20 2b 20 |830  & f|ax :  + |
|00001d20| 34 34 20 37 38 36 20 36 | 34 35 35 31 20 20 20 20 |44 786 6|4551    |
|00001d30| 20 26 20 66 61 78 20 3a | 20 20 2b 20 31 20 33 31 | & fax :|  + 1 31|
|00001d40| 39 20 33 33 35 30 36 32 | 37 20 5c 5c 0a 65 2d 6d |9 335062|7 \\.e-m|
|00001d50| 61 69 6c 3a 20 61 6c 61 | 67 61 72 40 63 6f 6e 63 |ail: ala|gar@conc|
|00001d60| 6f 75 72 2e 63 73 2e 63 | 6f 6e 63 6f 72 64 69 61 |our.cs.c|oncordia|
|00001d70| 2e 63 61 0a 26 20 65 2d | 6d 61 69 6c 3a 20 63 72 |.ca.& e-|mail: cr|
|00001d80| 40 63 73 2e 73 74 69 72 | 2e 61 63 2e 75 6b 20 26 |@cs.stir|.ac.uk &|
|00001d90| 20 65 2d 6d 61 69 6c 3a | 20 72 75 73 40 63 73 2e | e-mail:| rus@cs.|
|00001da0| 75 69 6f 77 61 2e 65 64 | 75 20 5c 5c 0a 5c 65 6e |uiowa.ed|u \\.\en|
|00001db0| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 5c 65 6e 64 7b |d{tabula|r}.\end{|
|00001dc0| 63 65 6e 74 65 72 7d 0a | 5c 65 6e 64 7b 64 6f 63 |center}.|\end{doc|
|00001dd0| 75 6d 65 6e 74 7d 0a    |                         |ument}. |        |
+--------+-------------------------+-------------------------+--------+--------+