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

< 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 64 61 74 61 62 61 73 | 65 73 2e 74 68 65 6f 72 |.databas|es.theor|
|00000020| 79 0a 50 61 74 68 3a 20 | 73 70 61 72 6b 79 21 75 |y.Path: |sparky!u|
|00000030| 75 6e 65 74 21 6d 63 73 | 75 6e 21 73 75 6e 34 6e |unet!mcs|un!sun4n|
|00000040| 6c 21 75 74 72 63 75 31 | 21 69 6e 66 6e 65 77 73 |l!utrcu1|!infnews|
|00000050| 21 69 6e 66 6e 65 77 73 | 21 73 63 6f 6c 6c 6f 0a |!infnews|!scollo.|
|00000060| 46 72 6f 6d 3a 20 73 63 | 6f 6c 6c 6f 40 63 73 2e |From: sc|ollo@cs.|
|00000070| 75 74 77 65 6e 74 65 2e | 6e 6c 20 28 50 69 70 70 |utwente.|nl (Pipp|
|00000080| 6f 20 53 63 6f 6c 6c 6f | 29 0a 53 75 62 6a 65 63 |o Scollo|).Subjec|
|00000090| 74 3a 20 41 4d 41 53 54 | 27 39 33 20 43 61 6c 6c |t: AMAST|'93 Call|
|000000a0| 20 66 6f 72 20 50 61 70 | 65 72 73 20 28 6c 61 74 | for Pap|ers (lat|
|000000b0| 65 78 29 0a 4d 65 73 73 | 61 67 65 2d 49 44 3a 20 |ex).Mess|age-ID: |
|000000c0| 3c 31 39 39 32 53 65 70 | 34 2e 31 37 32 39 35 31 |<1992Sep|4.172951|
|000000d0| 40 63 73 2e 75 74 77 65 | 6e 74 65 2e 6e 6c 3e 0a |@cs.utwe|nte.nl>.|
|000000e0| 4b 65 79 77 6f 72 64 73 | 3a 20 61 6c 67 65 62 72 |Keywords|: algebr|
|000000f0| 61 69 63 20 73 70 65 63 | 69 66 69 63 61 74 69 6f |aic spec|ificatio|
|00000100| 6e 2c 20 73 6f 66 74 77 | 61 72 65 20 64 65 76 65 |n, softw|are deve|
|00000110| 6c 6f 70 6d 65 6e 74 0a | 53 65 6e 64 65 72 3a 20 |lopment.|Sender: |
|00000120| 75 73 65 6e 65 74 40 63 | 73 2e 75 74 77 65 6e 74 |usenet@c|s.utwent|
|00000130| 65 2e 6e 6c 0a 4e 6e 74 | 70 2d 50 6f 73 74 69 6e |e.nl.Nnt|p-Postin|
|00000140| 67 2d 48 6f 73 74 3a 20 | 75 74 69 73 30 32 0a 4f |g-Host: |utis02.O|
|00000150| 72 67 61 6e 69 7a 61 74 | 69 6f 6e 3a 20 55 6e 69 |rganizat|ion: Uni|
|00000160| 76 65 72 73 69 74 79 20 | 6f 66 20 54 77 65 6e 74 |versity |of Twent|
|00000170| 65 2c 20 44 65 70 74 2e | 20 6f 66 20 43 6f 6d 70 |e, Dept.| of Comp|
|00000180| 75 74 65 72 20 53 63 69 | 65 6e 63 65 0a 44 61 74 |uter Sci|ence.Dat|
|00000190| 65 3a 20 46 72 69 2c 20 | 34 20 53 65 70 20 31 39 |e: Fri, |4 Sep 19|
|000001a0| 39 32 20 31 35 3a 32 39 | 3a 35 31 20 47 4d 54 0a |92 15:29|:51 GMT.|
|000001b0| 4c 69 6e 65 73 3a 20 32 | 32 34 0a 0a 5c 64 6f 63 |Lines: 2|24..\doc|
|000001c0| 75 6d 65 6e 74 73 74 79 | 6c 65 20 5b 74 69 74 6c |umentsty|le [titl|
|000001d0| 65 70 61 67 65 2c 31 31 | 70 74 5d 7b 61 72 74 69 |epage,11|pt]{arti|
|000001e0| 63 6c 65 7d 0a 5c 70 61 | 67 65 73 74 79 6c 65 7b |cle}.\pa|gestyle{|
|000001f0| 70 6c 61 69 6e 7d 0a 5c | 70 61 67 65 6e 75 6d 62 |plain}.\|pagenumb|
|00000200| 65 72 69 6e 67 7b 61 6c | 70 68 7d 0a 5c 74 65 78 |ering{al|ph}.\tex|
|00000210| 74 77 69 64 74 68 20 3d | 20 36 2e 37 35 69 6e 0a |twidth =| 6.75in.|
|00000220| 5c 74 65 78 74 68 65 69 | 67 68 74 20 3d 20 38 2e |\texthei|ght = 8.|
|00000230| 35 69 6e 0a 5c 74 6f 70 | 6d 61 72 67 69 6e 20 3d |5in.\top|margin =|
|00000240| 20 2d 30 2e 33 69 6e 0a | 5c 74 6f 70 73 6b 69 70 | -0.3in.|\topskip|
|00000250| 20 3d 20 30 69 6e 0a 5c | 6f 64 64 73 69 64 65 6d | = 0in.\|oddsidem|
|00000260| 61 72 67 69 6e 20 3d 20 | 2d 30 2e 31 69 6e 0a 5c |argin = |-0.1in.\|
|00000270| 65 76 65 6e 73 69 64 65 | 6d 61 72 67 69 6e 20 3d |evenside|margin =|
|00000280| 20 2d 30 2e 31 69 6e 0a | 5c 61 64 64 74 6f 6c 65 | -0.1in.|\addtole|
|00000290| 6e 67 74 68 7b 5c 70 61 | 72 73 6b 69 70 7d 7b 30 |ngth{\pa|rskip}{0|
|000002a0| 2e 35 65 78 7d 0a 5c 62 | 65 67 69 6e 7b 64 6f 63 |.5ex}.\b|egin{doc|
|000002b0| 75 6d 65 6e 74 7d 0a 5c | 73 65 74 63 6f 75 6e 74 |ument}.\|setcount|
|000002c0| 65 72 7b 70 61 67 65 7d | 7b 30 7d 0a 5c 62 65 67 |er{page}|{0}.\beg|
|000002d0| 69 6e 7b 63 65 6e 74 65 | 72 7d 0a 7b 5c 4c 61 72 |in{cente|r}.{\Lar|
|000002e0| 67 65 20 7b 5c 62 66 20 | 43 61 6c 6c 20 66 6f 72 |ge {\bf |Call for|
|000002f0| 20 50 61 70 65 72 73 7d | 7d 5c 5c 0a 7b 5c 6c 61 | Papers}|}\\.{\la|
|00000300| 72 67 65 20 7b 5c 62 66 | 20 54 68 69 72 64 20 49 |rge {\bf| Third I|
|00000310| 6e 74 65 72 6e 61 74 69 | 6f 6e 61 6c 20 43 6f 6e |nternati|onal Con|
|00000320| 66 65 72 65 6e 63 65 20 | 6f 6e 20 41 6c 67 65 62 |ference |on Algeb|
|00000330| 72 61 69 63 7d 7d 5c 5c | 0a 7b 5c 6c 61 72 67 65 |raic}}\\|.{\large|
|00000340| 20 7b 5c 62 66 20 4d 65 | 74 68 6f 64 6f 6c 6f 67 | {\bf Me|thodolog|
|00000350| 79 20 61 6e 64 20 53 6f | 66 74 77 61 72 65 20 54 |y and So|ftware T|
|00000360| 65 63 68 6e 6f 6c 6f 67 | 79 2c 20 41 4d 41 53 54 |echnolog|y, AMAST|
|00000370| 7d 7d 5c 5c 0a 5c 65 6e | 64 7b 63 65 6e 74 65 72 |}}\\.\en|d{center|
|00000380| 7d 0a 5c 73 65 63 74 69 | 6f 6e 2a 7b 47 6f 61 6c |}.\secti|on*{Goal|
|00000390| 73 20 61 6e 64 20 4f 72 | 67 61 6e 69 7a 61 74 69 |s and Or|ganizati|
|000003a0| 6f 6e 7d 0a 0a 54 68 65 | 20 67 6f 61 6c 20 6f 66 |on}..The| goal of|
|000003b0| 20 74 68 65 20 74 68 69 | 72 64 20 41 4d 41 53 54 | the thi|rd AMAST|
|000003c0| 20 63 6f 6e 66 65 72 65 | 6e 63 65 20 74 6f 20 62 | confere|nce to b|
|000003d0| 65 20 68 65 6c 64 20 6f | 6e 20 4a 75 6e 65 20 32 |e held o|n June 2|
|000003e0| 32 2d 2d 32 35 2c 20 31 | 39 39 33 2c 0a 61 74 20 |2--25, 1|993,.at |
|000003f0| 74 68 65 20 55 6e 69 76 | 65 72 73 69 74 79 20 6f |the Univ|ersity o|
|00000400| 66 20 54 77 65 6e 74 65 | 2c 20 45 6e 73 63 68 65 |f Twente|, Ensche|
|00000410| 64 65 2c 20 54 68 65 20 | 4e 65 74 68 65 72 6c 61 |de, The |Netherla|
|00000420| 6e 64 73 2c 0a 69 73 20 | 74 6f 20 63 6f 6e 73 6f |nds,.is |to conso|
|00000430| 6c 69 64 61 74 65 20 74 | 68 65 20 74 72 65 6e 64 |lidate t|he trend|
|00000440| 20 74 6f 77 61 72 64 73 | 20 75 73 69 6e 67 20 61 | towards| using a|
|00000450| 6c 67 65 62 72 61 69 63 | 20 6d 65 74 68 6f 64 6f |lgebraic| methodo|
|00000460| 6c 6f 67 79 0a 61 73 20 | 61 20 66 6f 75 6e 64 61 |logy.as |a founda|
|00000470| 74 69 6f 6e 20 66 6f 72 | 20 73 6f 66 74 77 61 72 |tion for| softwar|
|00000480| 65 20 74 65 63 68 6e 6f | 6c 6f 67 79 2c 0a 61 6e |e techno|logy,.an|
|00000490| 64 20 74 6f 20 73 68 6f | 77 20 74 68 61 74 20 75 |d to sho|w that u|
|000004a0| 6e 69 76 65 72 73 61 6c | 20 61 6c 67 65 62 72 61 |niversal| algebra|
|000004b0| 20 70 72 6f 76 69 64 65 | 73 20 61 20 70 72 61 63 | provide|s a prac|
|000004c0| 74 69 63 61 6c 20 6d 61 | 74 68 65 6d 61 74 69 63 |tical ma|thematic|
|000004d0| 61 6c 0a 61 6c 74 65 72 | 6e 61 74 69 76 65 20 74 |al.alter|native t|
|000004e0| 6f 20 74 68 65 20 63 6f | 6d 6d 6f 6e 2c 20 61 64 |o the co|mmon, ad|
|000004f0| 2d 68 6f 63 20 61 70 70 | 72 6f 61 63 68 65 73 20 |-hoc app|roaches |
|00000500| 74 6f 20 73 6f 66 74 77 | 61 72 65 20 65 6e 67 69 |to softw|are engi|
|00000510| 6e 65 65 72 69 6e 67 20 | 61 6e 64 0a 64 65 76 65 |neering |and.deve|
|00000520| 6c 6f 70 6d 65 6e 74 2e | 0a 41 63 61 64 65 6d 69 |lopment.|.Academi|
|00000530| 61 20 61 6e 64 20 69 6e | 64 75 73 74 72 79 20 61 |a and in|dustry a|
|00000540| 72 65 20 62 6f 74 68 20 | 62 65 6e 65 66 69 63 69 |re both |benefici|
|00000550| 61 72 69 65 73 20 6f 66 | 20 73 75 63 68 20 61 20 |aries of| such a |
|00000560| 66 6f 72 6d 61 6c 20 66 | 6f 75 6e 64 61 74 69 6f |formal f|oundatio|
|00000570| 6e 2e 0a 0a 5c 62 69 67 | 73 6b 69 70 5c 6e 6f 69 |n...\big|skip\noi|
|00000580| 6e 64 65 6e 74 7b 5c 62 | 66 20 4f 72 67 61 6e 69 |ndent{\b|f Organi|
|00000590| 7a 69 6e 67 20 43 6f 6d | 6d 69 74 74 65 65 3a 7d |zing Com|mittee:}|
|000005a0| 0a 0a 5c 6e 6f 69 6e 64 | 65 6e 74 0a 5c 62 65 67 |..\noind|ent.\beg|
|000005b0| 69 6e 7b 74 61 62 75 6c | 61 72 7d 7b 6c 6c 6c 7d |in{tabul|ar}{lll}|
|000005c0| 0a 47 65 6e 65 72 61 6c | 20 63 68 61 69 72 6d 61 |.General| chairma|
|000005d0| 6e 3a 20 26 20 4d 61 75 | 72 69 63 65 20 4e 69 76 |n: & Mau|rice Niv|
|000005e0| 61 74 20 26 20 28 55 6e | 69 76 65 72 73 69 74 79 |at & (Un|iversity|
|000005f0| 20 6f 66 20 50 61 72 69 | 73 20 56 49 49 2c 20 50 | of Pari|s VII, P|
|00000600| 61 72 69 73 2c 20 46 29 | 0a 5c 5c 0a 50 72 6f 67 |aris, F)|.\\.Prog|
|00000610| 72 61 6d 6d 65 20 63 68 | 61 69 72 6d 61 6e 3a 20 |ramme ch|airman: |
|00000620| 26 20 47 69 75 73 65 70 | 70 65 20 53 63 6f 6c 6c |& Giusep|pe Scoll|
|00000630| 6f 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |o & (Uni|versity |
|00000640| 6f 66 20 54 77 65 6e 74 | 65 2c 20 45 6e 73 63 68 |of Twent|e, Ensch|
|00000650| 65 64 65 2c 20 4e 4c 29 | 0a 5c 5c 0a 50 75 62 6c |ede, NL)|.\\.Publ|
|00000660| 69 63 69 74 79 20 63 68 | 61 69 72 6d 61 6e 3a 0a |icity ch|airman:.|
|00000670| 26 20 20 43 68 61 72 6c | 65 73 20 52 61 74 74 72 |&  Charl|es Rattr|
|00000680| 61 79 20 26 20 28 55 6e | 69 76 65 72 73 69 74 79 |ay & (Un|iversity|
|00000690| 20 6f 66 20 53 74 69 72 | 6c 69 6e 67 2c 20 47 42 | of Stir|ling, GB|
|000006a0| 29 0a 5c 5c 0a 26 20 20 | 54 65 6f 64 6f 72 20 52 |).\\.&  |Teodor R|
|000006b0| 75 73 20 26 20 28 55 6e | 69 76 65 72 73 69 74 79 |us & (Un|iversity|
|000006c0| 20 6f 66 20 49 6f 77 61 | 2c 20 49 6f 77 61 20 43 | of Iowa|, Iowa C|
|000006d0| 69 74 79 2c 20 49 41 2c | 20 55 53 41 29 0a 5c 5c |ity, IA,| USA).\\|
|000006e0| 0a 26 20 20 56 2e 53 2e | 20 41 6c 61 67 61 72 20 |.&  V.S.| Alagar |
|000006f0| 26 20 28 43 6f 6e 63 6f | 72 64 69 61 20 55 6e 69 |& (Conco|rdia Uni|
|00000700| 76 65 72 73 69 74 79 2c | 20 4d 6f 6e 74 72 65 61 |versity,| Montrea|
|00000710| 6c 2c 20 43 61 6e 61 64 | 61 29 0a 5c 5c 0a 4c 6f |l, Canad|a).\\.Lo|
|00000720| 63 61 6c 20 63 68 61 69 | 72 6d 61 6e 3a 20 26 20 |cal chai|rman: & |
|00000730| 45 64 20 42 72 69 6e 6b | 73 6d 61 20 26 20 28 55 |Ed Brink|sma & (U|
|00000740| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 54 77 65 |niversit|y of Twe|
|00000750| 6e 74 65 2c 20 45 6e 73 | 63 68 65 64 65 2c 20 4e |nte, Ens|chede, N|
|00000760| 4c 29 0a 5c 5c 0a 46 69 | 6e 61 6e 63 65 20 63 68 |L).\\.Fi|nance ch|
|00000770| 61 69 72 6d 61 6e 3a 20 | 26 20 46 72 61 6e 73 20 |airman: |& Frans |
|00000780| 76 61 6e 20 64 65 72 20 | 41 76 65 72 74 20 26 20 |van der |Avert & |
|00000790| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 54 |(Univers|ity of T|
|000007a0| 77 65 6e 74 65 2c 20 45 | 6e 73 63 68 65 64 65 2c |wente, E|nschede,|
|000007b0| 20 4e 4c 29 0a 5c 5c 0a | 4d 65 6d 62 65 72 73 3a | NL).\\.|Members:|
|000007c0| 0a 26 20 20 4d 6f 68 61 | 6d 6d 65 64 20 42 65 74 |.&  Moha|mmed Bet|
|000007d0| 74 61 7a 20 26 20 28 55 | 6e 69 76 65 72 73 69 74 |taz & (U|niversit|
|000007e0| 79 20 6f 66 20 43 6f 6e | 73 74 61 6e 74 69 6e 65 |y of Con|stantine|
|000007f0| 2c 20 41 6c 67 65 72 69 | 61 29 0a 5c 5c 0a 26 20 |, Algeri|a).\\.& |
|00000800| 20 43 68 72 69 73 74 69 | 6e 65 20 43 68 6f 70 70 | Christi|ne Chopp|
|00000810| 79 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |y & (Uni|versity |
|00000820| 6f 66 20 50 61 72 69 73 | 2d 53 75 64 2c 20 4c 52 |of Paris|-Sud, LR|
|00000830| 49 2c 20 4f 72 73 61 79 | 2c 20 46 29 0a 5c 5c 0a |I, Orsay|, F).\\.|
|00000840| 26 20 20 50 69 65 72 72 | 65 20 44 65 72 61 6e 73 |&  Pierr|e Derans|
|00000850| 61 72 74 20 26 20 28 49 | 4e 52 49 41 2c 20 52 6f |art & (I|NRIA, Ro|
|00000860| 63 71 75 65 6e 63 6f 75 | 72 74 2c 20 46 29 0a 5c |cquencou|rt, F).\|
|00000870| 5c 0a 26 20 20 41 72 74 | 68 75 72 20 46 6c 65 63 |\.&  Art|hur Flec|
|00000880| 6b 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |k & (Uni|versity |
|00000890| 6f 66 20 49 6f 77 61 2c | 20 49 6f 77 61 20 43 69 |of Iowa,| Iowa Ci|
|000008a0| 74 79 2c 20 49 41 2c 20 | 55 53 41 29 0a 5c 5c 0a |ty, IA, |USA).\\.|
|000008b0| 26 20 20 4c 75 69 67 69 | 20 4c 6f 67 72 69 70 70 |&  Luigi| Logripp|
|000008c0| 6f 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |o & (Uni|versity |
|000008d0| 6f 66 20 4f 74 74 61 77 | 61 2c 20 4f 6e 74 61 72 |of Ottaw|a, Ontar|
|000008e0| 69 6f 2c 20 43 61 6e 61 | 64 61 29 0a 5c 5c 0a 26 |io, Cana|da).\\.&|
|000008f0| 20 20 4d 69 63 68 61 65 | 6c 20 4f 27 44 6f 6e 6e |  Michae|l O'Donn|
|00000900| 65 6c 6c 20 26 20 28 55 | 6e 69 76 65 72 73 69 74 |ell & (U|niversit|
|00000910| 79 20 6f 66 20 43 68 69 | 63 61 67 6f 2c 20 49 4c |y of Chi|cago, IL|
|00000920| 2c 20 55 53 41 29 0a 5c | 5c 0a 26 20 20 4a 75 61 |, USA).\|\.&  Jua|
|00000930| 6e 20 51 75 65 6d 61 64 | 61 20 26 20 28 55 6e 69 |n Quemad|a & (Uni|
|00000940| 76 65 72 73 69 74 79 20 | 6f 66 20 4d 61 64 72 69 |versity |of Madri|
|00000950| 64 2c 20 45 29 0a 5c 5c | 0a 26 20 20 52 61 6c 70 |d, E).\\|.&  Ralp|
|00000960| 68 20 57 61 63 68 74 65 | 72 20 26 20 28 4f 66 66 |h Wachte|r & (Off|
|00000970| 69 63 65 20 6f 66 20 4e | 61 76 61 6c 20 52 65 73 |ice of N|aval Res|
|00000980| 65 61 72 63 68 2c 20 41 | 72 6c 69 6e 67 74 6f 6e |earch, A|rlington|
|00000990| 2c 20 56 41 2c 20 55 53 | 41 29 0a 5c 5c 0a 5c 65 |, VA, US|A).\\.\e|
|000009a0| 6e 64 7b 74 61 62 75 6c | 61 72 7d 0a 0a 5c 6e 6f |nd{tabul|ar}..\no|
|000009b0| 69 6e 64 65 6e 74 0a 5c | 62 65 67 69 6e 7b 74 61 |indent.\|begin{ta|
|000009c0| 62 75 6c 61 72 7d 7b 6c | 6c 7d 0a 4c 6f 63 61 6c |bular}{l|l}.Local|
|000009d0| 20 43 6f 6d 6d 69 74 74 | 65 65 3a 20 26 20 0a 20 | Committ|ee: & . |
|000009e0| 20 20 48 65 72 6d 61 6e | 20 42 61 6c 73 74 65 72 |  Herman| Balster|
|000009f0| 73 2c 20 48 61 6e 20 42 | 5c 22 7b 61 7d 75 6d 65 |s, Han B|\"{a}ume|
|00000a00| 72 2c 20 50 69 6d 20 76 | 61 6e 20 64 65 6e 20 42 |r, Pim v|an den B|
|00000a10| 72 6f 65 6b 2c 20 52 6f | 6c 66 20 64 65 20 42 79 |roek, Ro|lf de By|
|00000a20| 2c 0a 5c 5c 0a 26 20 20 | 4d 61 61 72 74 65 6e 20 |,.\\.&  |Maarten |
|00000a30| 46 6f 6b 6b 69 6e 67 61 | 2c 20 50 69 6d 20 4b 61 |Fokkinga|, Pim Ka|
|00000a40| 72 73 2c 20 4d 61 72 6b | 20 76 61 6e 20 64 65 20 |rs, Mark| van de |
|00000a50| 56 6f 6f 72 74 2c 20 4a | 6f 62 20 5a 77 69 65 72 |Voort, J|ob Zwier|
|00000a60| 73 0a 5c 5c 0a 53 65 63 | 72 65 74 61 72 69 61 74 |s.\\.Sec|retariat|
|00000a70| 3a 20 26 20 59 76 6f 6e | 6e 65 20 52 6f 6b 6b 65 |: & Yvon|ne Rokke|
|00000a80| 72 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |r.\end{t|abular}.|
|00000a90| 20 0a 5c 73 6d 61 6c 6c | 73 6b 69 70 5c 6e 6f 69 | .\small|skip\noi|
|00000aa0| 6e 64 65 6e 74 7b 5c 62 | 66 20 50 72 6f 67 72 61 |ndent{\b|f Progra|
|00000ab0| 6d 6d 65 20 43 6f 6d 6d | 69 74 74 65 65 3a 7d 0a |mme Comm|ittee:}.|
|00000ac0| 0a 5c 6e 6f 69 6e 64 65 | 6e 74 0a 4d 61 72 74 69 |.\noinde|nt.Marti|
|00000ad0| 6e 7e 41 62 61 64 69 2c | 0a 45 67 69 64 69 6f 7e |n~Abadi,|.Egidio~|
|00000ae0| 41 73 74 65 73 69 61 6e | 6f 2c 0a 43 68 6f 75 6b |Astesian|o,.Chouk|
|00000af0| 72 69 2d 42 65 79 7e 42 | 65 6e 2d 59 65 6c 6c 65 |ri-Bey~B|en-Yelle|
|00000b00| 73 2c 0a 4d 69 63 68 65 | 6c 7e 42 69 64 6f 69 74 |s,.Miche|l~Bidoit|
|00000b10| 2c 0a 57 69 6d 7e 42 6c | 6f 6b 2c 0a 43 68 72 69 |,.Wim~Bl|ok,.Chri|
|00000b20| 73 7e 42 72 69 6e 6b 2c | 0a 5c 5c 0a 50 69 65 72 |s~Brink,|.\\.Pier|
|00000b30| 72 65 2d 4c 75 69 73 7e | 43 75 72 69 65 6e 2c 0a |re-Luis~|Curien,.|
|00000b40| 4b 6f 6b 69 63 68 69 7e | 46 75 74 61 74 73 75 67 |Kokichi~|Futatsug|
|00000b50| 69 2c 0a 53 74 65 76 65 | 6e 7e 47 69 76 61 6e 74 |i,.Steve|n~Givant|
|00000b60| 2c 0a 57 69 6c 6c 69 61 | 6d 7e 53 2e 7e 48 61 74 |,.Willia|m~S.~Hat|
|00000b70| 63 68 65 72 2c 0a 44 6f | 75 67 6c 61 73 7e 4a 2e |cher,.Do|uglas~J.|
|00000b80| 7e 48 6f 77 65 2c 0a 5c | 5c 0a 42 6a 61 72 6e 69 |~Howe,.\|\.Bjarni|
|00000b90| 7e 4a 5c 27 7b 6f 7d 6e | 73 73 6f 6e 2c 0a 48 61 |~J\'{o}n|sson,.Ha|
|00000ba0| 6e 73 2d 4a 5c 22 7b 6f | 7d 72 67 20 4b 72 65 6f |ns-J\"{o|}rg Kreo|
|00000bb0| 77 73 6b 69 2c 0a 47 69 | 61 6e 63 61 72 6c 6f 7e |wski,.Gi|ancarlo~|
|00000bc0| 4d 61 75 72 69 2c 0a 41 | 6c 69 7e 4d 69 6c 69 2c |Mauri,.A|li~Mili,|
|00000bd0| 20 0a 4d 69 63 68 61 65 | 6c 7e 4d 69 73 6c 6f 76 | .Michae|l~Mislov|
|00000be0| 65 2c 0a 55 67 6f 7e 4d | 6f 6e 74 61 6e 61 72 69 |e,.Ugo~M|ontanari|
|00000bf0| 2c 0a 5c 5c 0a 50 65 74 | 65 72 20 44 2e 20 4d 6f |,.\\.Pet|er D. Mo|
|00000c00| 73 73 65 73 2c 0a 49 73 | 74 76 61 6e 7e 4e 5c 27 |sses,.Is|tvan~N\'|
|00000c10| 7b 65 7d 6d 65 74 69 2c | 0a 44 6f 6e 7e 50 69 67 |{e}meti,|.Don~Pig|
|00000c20| 6f 7a 7a 69 2c 0a 44 6f | 6e 7e 53 61 6e 6e 65 6c |ozzi,.Do|n~Sannel|
|00000c30| 6c 61 2c 0a 52 2e 4b 2e | 7e 53 68 79 61 6d 61 73 |la,.R.K.|~Shyamas|
|00000c40| 75 6e 64 61 72 2c 0a 4a | 6f 68 6e 7e 53 74 61 70 |undar,.J|ohn~Stap|
|00000c50| 6c 65 73 2c 0a 5c 5c 0a | 41 6e 64 72 7a 65 6a 7e |les,.\\.|Andrzej~|
|00000c60| 54 61 72 6c 65 63 6b 69 | 2c 0a 46 72 69 74 73 7e |Tarlecki|,.Frits~|
|00000c70| 56 61 61 6e 64 72 61 67 | 65 72 2c 0a 50 61 75 6c |Vaandrag|er,.Paul|
|00000c80| 6f 7e 41 2e 53 2e 7e 56 | 65 6c 6f 73 6f 2c 0a 45 |o~A.S.~V|eloso,.E|
|00000c90| 72 69 63 7e 57 61 67 6e | 65 72 2c 0a 42 6f 62 20 |ric~Wagn|er,.Bob |
|00000ca0| 57 61 6c 74 65 72 73 2c | 0a 4d 61 72 74 69 6e 7e |Walters,|.Martin~|
|00000cb0| 57 69 72 73 69 6e 67 2e | 0a 0a 5c 62 69 67 73 6b |Wirsing.|..\bigsk|
|00000cc0| 69 70 5c 6e 6f 69 6e 64 | 65 6e 74 7b 5c 62 66 20 |ip\noind|ent{\bf |
|00000cd0| 49 6e 76 69 74 65 64 20 | 53 70 65 61 6b 65 72 73 |Invited |Speakers|
|00000ce0| 7d 0a 0a 5c 73 6d 61 6c | 6c 73 6b 69 70 5c 6e 6f |}..\smal|lskip\no|
|00000cf0| 69 6e 64 65 6e 74 0a 54 | 6f 20 61 63 68 69 65 76 |indent.T|o achiev|
|00000d00| 65 20 74 68 65 20 67 6f | 61 6c 20 6f 66 20 74 68 |e the go|al of th|
|00000d10| 65 20 63 6f 6e 66 65 72 | 65 6e 63 65 20 77 65 20 |e confer|ence we |
|00000d20| 61 69 6d 20 74 6f 20 70 | 72 6f 76 69 64 65 20 61 |aim to p|rovide a|
|00000d30| 20 66 6f 72 75 6d 20 69 | 6e 20 77 68 69 63 68 0a | forum i|n which.|
|00000d40| 6c 65 61 64 69 6e 67 20 | 72 65 73 65 61 72 63 68 |leading |research|
|00000d50| 65 72 73 20 69 6e 20 6d | 61 74 68 65 6d 61 74 69 |ers in m|athemati|
|00000d60| 63 73 2c 20 63 6f 6d 70 | 75 74 65 72 20 73 63 69 |cs, comp|uter sci|
|00000d70| 65 6e 63 65 2c 20 61 6e | 64 20 73 6f 66 74 77 61 |ence, an|d softwa|
|00000d80| 72 65 20 64 65 76 65 6c | 6f 70 6d 65 6e 74 2c 0a |re devel|opment,.|
|00000d90| 77 69 6c 6c 20 63 6f 6d | 65 20 74 6f 67 65 74 68 |will com|e togeth|
|00000da0| 65 72 20 74 6f 20 69 64 | 65 6e 74 69 66 79 20 61 |er to id|entify a|
|00000db0| 6c 67 65 62 72 61 69 63 | 20 6d 65 74 68 6f 64 6f |lgebraic| methodo|
|00000dc0| 6c 6f 67 69 65 73 20 74 | 68 61 74 20 61 72 65 20 |logies t|hat are |
|00000dd0| 61 70 70 6c 69 63 61 62 | 6c 65 20 61 73 0a 76 69 |applicab|le as.vi|
|00000de0| 61 62 6c 65 20 61 6c 74 | 65 72 6e 61 74 69 76 65 |able alt|ernative|
|00000df0| 73 20 74 6f 20 74 68 65 | 20 70 72 65 73 65 6e 74 |s to the| present|
|00000e00| 20 73 6f 66 74 77 61 72 | 65 20 64 65 76 65 6c 6f | softwar|e develo|
|00000e10| 70 6d 65 6e 74 20 61 70 | 70 72 6f 61 63 68 65 73 |pment ap|proaches|
|00000e20| 20 61 6e 64 20 74 6f 0a | 64 69 73 63 75 73 73 20 | and to.|discuss |
|00000e30| 74 68 65 20 61 70 70 72 | 6f 70 72 69 61 74 65 6e |the appr|opriaten|
|00000e40| 65 73 73 20 6f 66 20 73 | 75 63 68 20 61 6c 74 65 |ess of s|uch alte|
|00000e50| 72 6e 61 74 69 76 65 73 | 20 77 69 74 68 20 61 20 |rnatives| with a |
|00000e60| 76 69 65 77 20 74 6f 20 | 69 6d 70 6c 65 6d 65 6e |view to |implemen|
|00000e70| 74 61 74 69 6f 6e 2e 0a | 49 6e 76 69 74 65 64 20 |tation..|Invited |
|00000e80| 73 70 65 61 6b 65 72 73 | 2c 20 77 69 74 68 20 61 |speakers|, with a|
|00000e90| 20 74 65 6e 74 61 74 69 | 76 65 20 69 6e 64 69 63 | tentati|ve indic|
|00000ea0| 61 74 69 6f 6e 20 6f 66 | 20 72 65 73 70 65 63 74 |ation of| respect|
|00000eb0| 69 76 65 20 74 6f 70 69 | 63 73 2c 20 69 6e 63 6c |ive topi|cs, incl|
|00000ec0| 75 64 65 3a 0a 0a 5c 63 | 6c 65 61 72 70 61 67 65 |ude:..\c|learpage|
|00000ed0| 0a 5c 73 65 74 63 6f 75 | 6e 74 65 72 7b 70 61 67 |.\setcou|nter{pag|
|00000ee0| 65 7d 7b 30 7d 0a 0a 5c | 62 65 67 69 6e 7b 71 75 |e}{0}..\|begin{qu|
|00000ef0| 6f 74 65 7d 0a 5c 62 65 | 67 69 6e 7b 74 61 62 75 |ote}.\be|gin{tabu|
|00000f00| 6c 61 72 7d 7b 6c 6c 6c | 7d 0a 48 75 62 65 72 74 |lar}{lll|}.Hubert|
|00000f10| 20 43 6f 6d 6f 6e 20 20 | 26 20 28 4c 52 49 2c 20 | Comon  |& (LRI, |
|00000f20| 4f 72 73 61 79 29 20 26 | 20 3a 20 43 6f 6e 73 74 |Orsay) &| : Const|
|00000f30| 72 61 69 6e 74 20 53 6f | 6c 76 69 6e 67 20 69 6e |raint So|lving in|
|00000f40| 20 54 65 72 6d 20 41 6c | 67 65 62 72 61 73 0a 5c | Term Al|gebras.\|
|00000f50| 5c 0a 52 6f 62 20 76 61 | 6e 20 47 6c 61 62 62 65 |\.Rob va|n Glabbe|
|00000f60| 65 6b 20 20 26 20 28 53 | 74 61 6e 66 6f 72 64 20 |ek  & (S|tanford |
|00000f70| 55 6e 69 76 65 72 73 69 | 74 79 29 20 20 20 20 20 |Universi|ty)     |
|00000f80| 20 20 20 20 20 20 20 20 | 26 20 3a 20 50 72 6f 63 |        |& : Proc|
|00000f90| 65 73 73 20 41 6c 67 65 | 62 72 61 0a 5c 5c 0a 4e |ess Alge|bra.\\.N|
|00000fa0| 69 63 6f 6c 61 73 20 48 | 61 6c 62 77 61 63 68 73 |icolas H|albwachs|
|00000fb0| 20 26 20 28 49 4e 50 47 | 2c 20 47 72 65 6e 6f 62 | & (INPG|, Grenob|
|00000fc0| 6c 65 29 20 20 26 20 3a | 20 52 65 61 63 74 69 76 |le)  & :| Reactiv|
|00000fd0| 65 20 50 72 6f 67 72 61 | 6d 20 53 79 6e 74 68 65 |e Progra|m Synthe|
|00000fe0| 73 69 73 0a 5c 5c 0a 4d | 69 6b 65 20 4a 6f 68 6e |sis.\\.M|ike John|
|00000ff0| 73 6f 6e 20 26 20 28 4d | 61 63 71 75 61 72 69 65 |son & (M|acquarie|
|00001000| 20 55 6e 69 76 2e 2c 20 | 53 79 64 6e 65 79 29 20 | Univ., |Sydney) |
|00001010| 26 20 3a 0a 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 20 | 20 20 20 43 61 74 65 67 |        |   Categ|
|00001040| 6f 72 79 20 54 68 65 6f | 72 79 20 66 6f 72 20 53 |ory Theo|ry for S|
|00001050| 6f 66 74 77 61 72 65 20 | 45 6e 67 69 6e 65 65 72 |oftware |Engineer|
|00001060| 69 6e 67 0a 5c 5c 0a 47 | 69 6f 72 67 69 6f 20 4c |ing.\\.G|iorgio L|
|00001070| 65 76 69 20 20 20 20 20 | 20 26 20 28 55 6e 69 76 |evi     | & (Univ|
|00001080| 65 72 73 69 74 79 20 6f | 66 20 50 69 73 61 29 20 |ersity o|f Pisa) |
|00001090| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 26 20 3a |        |     & :|
|000010a0| 20 4c 6f 67 69 63 20 50 | 72 6f 67 72 61 6d 6d 69 | Logic P|rogrammi|
|000010b0| 6e 67 0a 5c 5c 0a 52 6f | 67 65 72 20 44 2e 20 4d |ng.\\.Ro|ger D. M|
|000010c0| 61 64 64 75 78 20 20 20 | 26 20 28 49 6f 77 61 20 |addux   |& (Iowa |
|000010d0| 53 74 61 74 65 20 55 6e | 69 76 65 72 73 69 74 79 |State Un|iversity|
|000010e0| 29 20 20 20 20 20 20 20 | 20 20 20 20 26 20 3a 20 |)       |    & : |
|000010f0| 52 65 6c 61 74 69 6f 6e | 20 41 6c 67 65 62 72 61 |Relation| Algebra|
|00001100| 0a 5c 65 6e 64 7b 74 61 | 62 75 6c 61 72 7d 0a 5c |.\end{ta|bular}.\|
|00001110| 65 6e 64 7b 71 75 6f 74 | 65 7d 0a 0a 5c 73 65 63 |end{quot|e}..\sec|
|00001120| 74 69 6f 6e 2a 7b 53 75 | 62 6d 69 73 73 69 6f 6e |tion*{Su|bmission|
|00001130| 73 7d 0a 0a 5c 76 73 70 | 61 63 65 2a 7b 2d 32 6d |s}..\vsp|ace*{-2m|
|00001140| 6d 7d 0a 54 61 6c 6b 73 | 20 72 65 70 6f 72 74 69 |m}.Talks| reporti|
|00001150| 6e 67 20 72 65 73 65 61 | 72 63 68 20 69 6e 20 61 |ng resea|rch in a|
|00001160| 6c 67 65 62 72 61 20 61 | 6e 64 20 6c 6f 67 69 63 |lgebra a|nd logic|
|00001170| 2c 20 73 75 69 74 61 62 | 6c 65 20 61 73 20 61 20 |, suitab|le as a |
|00001180| 66 6f 75 6e 64 61 74 69 | 6f 6e 20 66 6f 72 0a 73 |foundati|on for.s|
|00001190| 6f 66 74 77 61 72 65 20 | 74 65 63 68 6e 6f 6c 6f |oftware |technolo|
|000011a0| 67 79 2c 20 61 73 20 77 | 65 6c 6c 20 61 73 20 73 |gy, as w|ell as s|
|000011b0| 6f 66 74 77 61 72 65 20 | 74 65 63 68 6e 6f 6c 6f |oftware |technolo|
|000011c0| 67 69 65 73 0a 64 65 76 | 65 6c 6f 70 65 64 20 62 |gies.dev|eloped b|
|000011d0| 79 20 6d 65 61 6e 73 20 | 6f 66 20 61 6c 67 65 62 |y means |of algeb|
|000011e0| 72 61 69 63 20 6d 65 74 | 68 6f 64 6f 6c 6f 67 69 |raic met|hodologi|
|000011f0| 65 73 2c 20 61 72 65 20 | 77 65 6c 63 6f 6d 65 2e |es, are |welcome.|
|00001200| 0a 44 65 6d 6f 6e 73 74 | 72 61 74 69 6f 6e 73 20 |.Demonst|rations |
|00001210| 6f 66 20 73 79 73 74 65 | 6d 73 20 73 68 6f 77 69 |of syste|ms showi|
|00001220| 6e 67 20 74 68 65 20 69 | 6d 70 72 6f 76 65 64 20 |ng the i|mproved |
|00001230| 65 66 66 65 63 74 69 76 | 65 6e 65 73 73 20 6f 66 |effectiv|eness of|
|00001240| 20 73 6f 66 74 77 61 72 | 65 0a 64 65 76 65 6c 6f | softwar|e.develo|
|00001250| 70 65 64 20 6f 6e 20 61 | 20 6d 61 74 68 65 6d 61 |ped on a| mathema|
|00001260| 74 69 63 61 6c 20 62 61 | 73 69 73 20 28 77 69 74 |tical ba|sis (wit|
|00001270| 68 20 6f 72 20 77 69 74 | 68 6f 75 74 20 61 20 74 |h or wit|hout a t|
|00001280| 61 6c 6b 29 0a 77 69 6c | 6c 20 61 6c 73 6f 20 62 |alk).wil|l also b|
|00001290| 65 20 63 6f 6e 73 69 64 | 65 72 65 64 2e 0a 54 6f |e consid|ered..To|
|000012a0| 20 62 65 20 6d 6f 72 65 | 20 70 72 65 63 69 73 65 | be more| precise|
|000012b0| 20 74 68 65 20 6f 72 67 | 61 6e 69 7a 65 72 73 20 | the org|anizers |
|000012c0| 77 69 73 68 20 63 6f 6e | 74 72 69 62 75 74 69 6f |wish con|tributio|
|000012d0| 6e 73 20 6f 6e 2c 20 62 | 75 74 20 6e 6f 74 20 6c |ns on, b|ut not l|
|000012e0| 69 6d 69 74 65 64 20 74 | 6f 2c 0a 61 6c 67 65 62 |imited t|o,.algeb|
|000012f0| 72 61 69 63 20 6d 65 74 | 68 6f 64 73 20 66 6f 72 |raic met|hods for|
|00001300| 20 6c 61 6e 67 75 61 67 | 65 20 64 65 73 69 67 6e | languag|e design|
|00001310| 20 61 6e 64 20 20 63 6f | 6d 70 69 6c 65 72 20 63 | and  co|mpiler c|
|00001320| 6f 6e 73 74 72 75 63 74 | 69 6f 6e 0a 28 65 2e 67 |onstruct|ion.(e.g|
|00001330| 2e 20 66 6f 72 20 41 6c | 67 6f 6c 2d 6c 69 6b 65 |. for Al|gol-like|
|00001340| 20 70 72 6f 67 72 61 6d | 6d 69 6e 67 20 6c 61 6e | program|ming lan|
|00001350| 67 75 61 67 65 73 29 2c | 0a 61 6c 67 65 62 72 61 |guages),|.algebra|
|00001360| 69 63 20 6d 65 74 68 6f | 64 6f 6c 6f 67 79 20 66 |ic metho|dology f|
|00001370| 6f 72 20 73 6f 66 74 77 | 61 72 65 20 65 6e 67 69 |or softw|are engi|
|00001380| 6e 65 65 72 69 6e 67 2c | 0a 61 6c 67 65 62 72 61 |neering,|.algebra|
|00001390| 69 63 20 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |ic speci|fication|
|000013a0| 73 20 61 6e 64 20 61 6c | 67 6f 72 69 74 68 6d 73 |s and al|gorithms|
|000013b0| 20 74 6f 20 61 75 74 6f | 6d 61 74 69 63 61 6c 6c | to auto|maticall|
|000013c0| 79 20 62 75 69 6c 64 0a | 70 72 6f 67 72 61 6d 73 |y build.|programs|
|000013d0| 20 66 72 6f 6d 20 73 75 | 63 68 20 73 70 65 63 69 | from su|ch speci|
|000013e0| 66 69 63 61 74 69 6f 6e | 73 2c 0a 65 78 74 72 61 |fication|s,.extra|
|000013f0| 63 74 69 6f 6e 20 6f 66 | 20 70 72 6f 67 72 61 6d |ction of| program|
|00001400| 73 20 66 72 6f 6d 20 63 | 6f 6e 73 74 72 75 63 74 |s from c|onstruct|
|00001410| 69 76 65 20 70 72 6f 6f | 66 73 2c 0a 63 61 74 65 |ive proo|fs,.cate|
|00001420| 67 6f 72 69 63 61 6c 2c | 20 61 6c 67 65 62 72 61 |gorical,| algebra|
|00001430| 69 63 20 61 6e 64 20 6c | 6f 67 69 63 20 70 72 6f |ic and l|ogic pro|
|00001440| 67 72 61 6d 6d 69 6e 67 | 2c 0a 64 65 64 75 63 74 |gramming|,.deduct|
|00001450| 69 76 65 20 64 61 74 61 | 62 61 73 65 73 2c 20 71 |ive data|bases, q|
|00001460| 75 65 72 79 20 6c 61 6e | 67 75 61 67 65 20 64 65 |uery lan|guage de|
|00001470| 73 69 67 6e 2c 0a 61 6c | 67 65 62 72 61 69 63 20 |sign,.al|gebraic |
|00001480| 73 70 65 63 69 66 69 63 | 61 74 69 6f 6e 20 6f 66 |specific|ation of|
|00001490| 20 63 6f 6e 63 75 72 72 | 65 6e 74 20 73 79 73 74 | concurr|ent syst|
|000014a0| 65 6d 73 2c 0a 64 69 73 | 74 72 69 62 75 74 65 64 |ems,.dis|tributed|
|000014b0| 20 6f 70 65 72 61 74 69 | 6e 67 20 73 79 73 74 65 | operati|ng syste|
|000014c0| 6d 73 2c 20 72 65 61 63 | 74 69 76 65 20 73 79 73 |ms, reac|tive sys|
|000014d0| 74 65 6d 73 2c 0a 70 72 | 61 63 74 69 63 61 6c 20 |tems,.pr|actical |
|000014e0| 74 65 63 68 6e 69 71 75 | 65 73 20 61 6e 64 20 65 |techniqu|es and e|
|000014f0| 78 61 6d 70 6c 65 73 20 | 66 6f 72 20 76 65 72 69 |xamples |for veri|
|00001500| 66 69 63 61 74 69 6f 6e | 20 6f 66 20 70 72 6f 67 |fication| of prog|
|00001510| 72 61 6d 0a 61 6e 64 2f | 6f 72 20 73 70 65 63 69 |ram.and/|or speci|
|00001520| 66 69 63 61 74 69 6f 6e | 20 70 72 6f 70 65 72 74 |fication| propert|
|00001530| 69 65 73 2e 0a 57 65 20 | 69 6e 76 69 74 65 20 79 |ies..We |invite y|
|00001540| 6f 75 20 74 6f 20 73 75 | 62 6d 69 74 20 61 20 74 |ou to su|bmit a t|
|00001550| 77 6f 2d 70 61 67 65 20 | 61 62 73 74 72 61 63 74 |wo-page |abstract|
|00001560| 20 28 69 6e 63 6c 75 64 | 69 6e 67 20 61 20 66 65 | (includ|ing a fe|
|00001570| 77 0a 63 69 74 61 74 69 | 6f 6e 73 20 6f 66 20 72 |w.citati|ons of r|
|00001580| 65 6c 65 76 61 6e 74 20 | 77 6f 72 6b 29 20 6f 66 |elevant |work) of|
|00001590| 20 79 6f 75 72 20 74 61 | 6c 6b 20 74 6f 0a 5c 62 | your ta|lk to.\b|
|000015a0| 65 67 69 6e 7b 71 75 6f | 74 65 7d 0a 41 4d 41 53 |egin{quo|te}.AMAS|
|000015b0| 54 20 43 6f 6e 66 65 72 | 65 6e 63 65 2c 0a 55 6e |T Confer|ence,.Un|
|000015c0| 69 76 65 72 73 69 74 79 | 20 6f 66 20 54 77 65 6e |iversity| of Twen|
|000015d0| 74 65 2c 0a 46 61 63 2e | 5c 20 49 6e 66 6f 72 6d |te,.Fac.|\ Inform|
|000015e0| 61 74 69 63 61 2c 0a 41 | 74 74 2e 20 4d 72 73 2e |atica,.A|tt. Mrs.|
|000015f0| 5c 20 59 2e 20 52 6f 6b | 6b 65 72 2c 0a 5c 5c 0a |\ Y. Rok|ker,.\\.|
|00001600| 50 2e 4f 2e 20 42 6f 78 | 20 32 31 37 2c 0a 4e 4c |P.O. Box| 217,.NL|
|00001610| 2d 37 35 30 30 41 45 20 | 45 6e 73 63 68 65 64 65 |-7500AE |Enschede|
|00001620| 2c 0a 54 68 65 20 4e 65 | 74 68 65 72 6c 61 6e 64 |,.The Ne|therland|
|00001630| 73 0a 5c 20 5c 20 5c 20 | 28 70 68 6f 6e 65 3a 20 |s.\ \ \ |(phone: |
|00001640| 2b 20 33 31 20 35 33 20 | 38 39 33 37 30 31 29 0a |+ 31 53 |893701).|
|00001650| 5c 65 6e 64 7b 71 75 6f | 74 65 7d 0a 46 6f 75 72 |\end{quo|te}.Four|
|00001660| 2d 70 61 67 65 20 61 62 | 62 72 65 76 69 61 74 65 |-page ab|breviate|
|00001670| 64 20 70 61 70 65 72 73 | 20 6f 66 20 74 68 65 20 |d papers| of the |
|00001680| 74 61 6c 6b 73 20 70 72 | 65 73 65 6e 74 65 64 20 |talks pr|esented |
|00001690| 61 74 20 74 68 65 20 63 | 6f 6e 66 65 72 65 6e 63 |at the c|onferenc|
|000016a0| 65 2c 20 74 6f 67 65 74 | 68 65 72 0a 77 69 74 68 |e, toget|her.with|
|000016b0| 20 74 68 65 20 69 6e 76 | 69 74 65 64 20 74 61 6c | the inv|ited tal|
|000016c0| 6b 73 2c 20 77 69 6c 6c | 20 62 65 20 63 6f 6c 6c |ks, will| be coll|
|000016d0| 65 63 74 65 64 20 69 6e | 20 74 68 65 20 70 61 72 |ected in| the par|
|000016e0| 74 69 63 69 70 61 6e 74 | 73 27 20 65 64 69 74 69 |ticipant|s' editi|
|000016f0| 6f 6e 20 6f 66 20 74 68 | 65 0a 70 72 6f 63 65 65 |on of th|e.procee|
|00001700| 64 69 6e 67 73 2c 20 77 | 68 69 63 68 20 77 69 6c |dings, w|hich wil|
|00001710| 6c 20 62 65 20 61 76 61 | 69 6c 61 62 6c 65 20 74 |l be ava|ilable t|
|00001720| 6f 20 74 68 65 20 61 74 | 74 65 6e 64 65 65 73 20 |o the at|tendees |
|00001730| 75 70 6f 6e 20 74 68 65 | 69 72 20 61 72 72 69 76 |upon the|ir arriv|
|00001740| 61 6c 20 69 6e 0a 54 77 | 65 6e 74 65 2e 0a 54 68 |al in.Tw|ente..Th|
|00001750| 65 20 61 75 74 68 6f 72 | 73 20 61 72 65 20 65 78 |e author|s are ex|
|00001760| 70 65 63 74 65 64 20 74 | 6f 20 62 72 69 6e 67 20 |pected t|o bring |
|00001770| 66 75 6c 6c 20 76 65 72 | 73 69 6f 6e 73 20 6f 66 |full ver|sions of|
|00001780| 20 74 68 65 69 72 20 70 | 61 70 65 72 73 20 61 74 | their p|apers at|
|00001790| 20 74 68 65 0a 63 6f 6e | 66 65 72 65 6e 63 65 2c | the.con|ference,|
|000017a0| 20 66 6f 72 20 66 75 72 | 74 68 65 72 20 72 65 76 | for fur|ther rev|
|000017b0| 69 65 77 20 61 6e 64 20 | 69 6e 63 6c 75 73 69 6f |iew and |inclusio|
|000017c0| 6e 20 69 6e 20 74 68 65 | 20 41 4d 41 53 54 27 39 |n in the| AMAST'9|
|000017d0| 33 20 50 72 6f 63 65 65 | 64 69 6e 67 73 2c 0a 74 |3 Procee|dings,.t|
|000017e0| 6f 20 62 65 20 70 75 62 | 6c 69 73 68 65 64 20 62 |o be pub|lished b|
|000017f0| 79 20 53 70 72 69 6e 67 | 65 72 2d 56 65 72 6c 61 |y Spring|er-Verla|
|00001800| 67 2c 20 4c 6f 6e 64 6f | 6e 2e 20 0a 41 20 73 70 |g, Londo|n. .A sp|
|00001810| 65 63 69 61 6c 20 69 73 | 73 75 65 20 6f 66 20 7b |ecial is|sue of {|
|00001820| 5c 65 6d 20 54 68 65 6f | 72 65 74 69 63 61 6c 20 |\em Theo|retical |
|00001830| 43 6f 6d 70 75 74 65 72 | 20 53 63 69 65 6e 63 65 |Computer| Science|
|00001840| 7d 20 77 69 6c 6c 20 62 | 65 20 64 65 64 69 63 61 |} will b|e dedica|
|00001850| 74 65 64 20 74 6f 0a 74 | 68 69 73 20 63 6f 6e 66 |ted to.t|his conf|
|00001860| 65 72 65 6e 63 65 3b 20 | 70 61 72 74 69 63 69 70 |erence; |particip|
|00001870| 61 6e 74 73 20 77 69 6c | 6c 20 62 65 20 69 6e 76 |ants wil|l be inv|
|00001880| 69 74 65 64 20 74 6f 20 | 73 75 62 6d 69 74 20 74 |ited to |submit t|
|00001890| 68 65 69 72 20 66 75 6c | 6c 20 70 61 70 65 72 0a |heir ful|l paper.|
|000018a0| 66 6f 72 20 70 6f 73 73 | 69 62 6c 65 20 70 75 62 |for poss|ible pub|
|000018b0| 6c 69 63 61 74 69 6f 6e | 20 69 6e 20 74 68 69 73 |lication| in this|
|000018c0| 20 6a 6f 75 72 6e 61 6c | 2e 0a 0a 5c 73 6d 61 6c | journal|...\smal|
|000018d0| 6c 73 6b 69 70 5c 6e 6f | 69 6e 64 65 6e 74 5c 75 |lskip\no|indent\u|
|000018e0| 6e 64 65 72 6c 69 6e 65 | 7b 7b 5c 62 66 20 49 6d |nderline|{{\bf Im|
|000018f0| 70 6f 72 74 61 6e 74 20 | 44 75 65 20 44 61 74 65 |portant |Due Date|
|00001900| 73 7d 7d 0a 5c 5c 0a 24 | 5c 62 75 6c 6c 65 74 24 |s}}.\\.$|\bullet$|
|00001910| 0a 54 77 6f 20 70 61 67 | 65 20 61 62 73 74 72 61 |.Two pag|e abstra|
|00001920| 63 74 20 73 75 62 6d 69 | 73 73 69 6f 6e 20 62 79 |ct submi|ssion by|
|00001930| 20 44 65 63 65 6d 62 65 | 72 20 31 35 2c 20 31 39 | Decembe|r 15, 19|
|00001940| 39 32 2e 0a 5c 5c 0a 24 | 5c 62 75 6c 6c 65 74 24 |92..\\.$|\bullet$|
|00001950| 0a 4e 6f 74 69 66 69 63 | 61 74 69 6f 6e 20 6f 66 |.Notific|ation of|
|00001960| 20 61 63 63 65 70 74 61 | 6e 63 65 20 62 79 20 4d | accepta|nce by M|
|00001970| 61 72 63 68 20 33 31 2c | 20 31 39 39 33 2e 0a 5c |arch 31,| 1993..\|
|00001980| 5c 0a 24 5c 62 75 6c 6c | 65 74 24 0a 43 61 6d 65 |\.$\bull|et$.Came|
|00001990| 72 61 2d 72 65 61 64 79 | 20 66 6f 75 72 2d 70 61 |ra-ready| four-pa|
|000019a0| 67 65 20 70 61 70 65 72 | 0a 74 6f 20 61 70 70 65 |ge paper|.to appe|
|000019b0| 61 72 20 69 6e 20 70 61 | 72 74 69 63 69 70 61 6e |ar in pa|rticipan|
|000019c0| 74 73 27 20 70 72 6f 63 | 65 65 64 69 6e 67 73 20 |ts' proc|eedings |
|000019d0| 62 79 20 4d 61 79 20 31 | 2c 20 31 39 39 33 2e 0a |by May 1|, 1993..|
|000019e0| 5c 5c 0a 24 5c 62 75 6c | 6c 65 74 24 0a 46 75 6c |\\.$\bul|let$.Ful|
|000019f0| 6c 20 70 61 70 65 72 20 | 66 6f 72 20 41 4d 41 53 |l paper |for AMAS|
|00001a00| 54 27 39 33 20 50 72 6f | 63 65 65 64 69 6e 67 73 |T'93 Pro|ceedings|
|00001a10| 2c 20 61 74 20 74 68 65 | 20 63 6f 6e 66 65 72 65 |, at the| confere|
|00001a20| 6e 63 65 2e 0a 0a 5c 73 | 6d 61 6c 6c 73 6b 69 70 |nce...\s|mallskip|
|00001a30| 5c 6e 6f 69 6e 64 65 6e | 74 0a 46 75 72 74 68 65 |\noinden|t.Furthe|
|00001a40| 72 20 69 6e 66 6f 72 6d | 61 74 69 6f 6e 20 63 61 |r inform|ation ca|
|00001a50| 6e 20 62 65 20 6f 62 74 | 61 69 6e 65 64 20 66 72 |n be obt|ained fr|
|00001a60| 6f 6d 3a 0a 5c 62 65 67 | 69 6e 7b 63 65 6e 74 65 |om:.\beg|in{cente|
|00001a70| 72 7d 0a 5c 73 6d 61 6c | 6c 0a 5c 62 65 67 69 6e |r}.\smal|l.\begin|
|00001a80| 7b 74 61 62 75 6c 61 72 | 7d 7b 6c 20 6c 20 6c 7d |{tabular|}{l l l}|
|00001a90| 0a 7b 5c 69 74 20 49 6e | 20 43 61 6e 61 64 61 5c |.{\it In| Canada\|
|00001aa0| 2f 7d 3a 20 26 20 7b 5c | 69 74 20 49 6e 20 45 75 |/}: & {\|it In Eu|
|00001ab0| 72 6f 70 65 5c 2f 7d 3a | 20 26 20 7b 5c 69 74 20 |rope\/}:| & {\it |
|00001ac0| 49 6e 20 55 2e 53 2e 41 | 5c 2f 7d 3a 20 5c 5c 0a |In U.S.A|\/}: \\.|
|00001ad0| 56 2e 53 2e 20 41 6c 61 | 67 61 72 20 20 20 20 20 |V.S. Ala|gar     |
|00001ae0| 20 20 20 20 20 26 20 43 | 68 61 72 6c 65 73 20 52 |     & C|harles R|
|00001af0| 61 74 74 72 61 79 20 20 | 20 20 20 20 20 20 20 20 |attray  |        |
|00001b00| 20 20 20 26 20 54 65 6f | 64 6f 72 20 52 75 73 20 |   & Teo|dor Rus |
|00001b10| 5c 5c 0a 43 6f 6e 63 6f | 72 64 69 61 20 55 6e 69 |\\.Conco|rdia Uni|
|00001b20| 76 65 72 73 69 74 79 20 | 26 20 55 6e 69 76 65 72 |versity |& Univer|
|00001b30| 73 69 74 79 20 6f 66 20 | 53 74 69 72 6c 69 6e 67 |sity of |Stirling|
|00001b40| 20 20 20 20 20 20 26 20 | 55 6e 69 76 65 72 73 69 |      & |Universi|
|00001b50| 74 79 20 6f 66 20 49 6f | 77 61 20 20 20 20 20 5c |ty of Io|wa     \|
|00001b60| 5c 0a 44 65 70 74 2e 5c | 20 6f 66 20 43 6f 6d 70 |\.Dept.\| of Comp|
|00001b70| 75 74 65 72 20 53 63 69 | 65 6e 63 65 20 26 20 44 |uter Sci|ence & D|
|00001b80| 65 70 74 2e 5c 20 6f 66 | 20 4d 61 74 68 65 6d 61 |ept.\ of| Mathema|
|00001b90| 74 69 63 73 20 26 0a 20 | 20 20 20 20 20 20 20 20 |tics &. |        |
|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 20 20 | 20 20 44 65 70 74 2e 5c |        |  Dept.\|
|00001bd0| 20 6f 66 20 43 6f 6d 70 | 75 74 65 72 20 53 63 69 | of Comp|uter Sci|
|00001be0| 65 6e 63 65 20 5c 5c 0a | 31 34 35 35 20 44 65 20 |ence \\.|1455 De |
|00001bf0| 4d 61 69 73 6f 6e 6e 65 | 75 76 65 20 42 6c 76 64 |Maisonne|uve Blvd|
|00001c00| 2e 5c 20 57 65 73 74 20 | 26 20 61 6e 64 20 43 6f |.\ West |& and Co|
|00001c10| 6d 70 75 74 69 6e 67 20 | 53 63 69 65 6e 63 65 20 |mputing |Science |
|00001c20| 26 20 49 6f 77 61 20 43 | 69 74 79 20 5c 5c 20 0a |& Iowa C|ity \\ .|
|00001c30| 4d 6f 6e 74 72 65 61 6c | 2c 20 51 75 65 62 65 63 |Montreal|, Quebec|
|00001c40| 20 48 33 47 20 31 4d 38 | 20 26 20 53 74 69 72 6c | H3G 1M8| & Stirl|
|00001c50| 69 6e 67 2c 20 53 63 6f | 74 6c 61 6e 64 2c 20 46 |ing, Sco|tland, F|
|00001c60| 4b 39 20 34 4c 41 20 26 | 20 20 49 41 20 35 32 32 |K9 4LA &|  IA 522|
|00001c70| 34 32 20 5c 5c 0a 43 61 | 6e 61 64 61 20 20 20 20 |42 \\.Ca|nada    |
|00001c80| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 26 |        |       &|
|00001c90| 20 47 72 65 61 74 20 42 | 72 69 74 61 69 6e 20 20 | Great B|ritain  |
|00001ca0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 26 20 55 |        |     & U|
|00001cb0| 53 41 20 20 5c 5c 0a 70 | 68 6f 6e 65 3a 20 2b 20 |SA  \\.p|hone: + |
|00001cc0| 31 20 35 31 34 20 38 34 | 38 33 30 32 32 20 20 26 |1 514 84|83022  &|
|00001cd0| 20 70 68 6f 6e 65 3a 20 | 2b 20 34 34 20 37 38 36 | phone: |+ 44 786|
|00001ce0| 20 37 33 31 37 31 20 20 | 20 20 20 26 20 70 68 6f | 73171  |   & pho|
|00001cf0| 6e 65 3a 20 2b 20 31 20 | 33 31 39 20 33 33 35 30 |ne: + 1 |319 3350|
|00001d00| 37 34 32 20 5c 5c 0a 66 | 61 78 20 3a 20 20 2b 20 |742 \\.f|ax :  + |
|00001d10| 31 20 35 31 34 20 38 34 | 38 32 38 33 30 20 20 26 |1 514 84|82830  &|
|00001d20| 20 66 61 78 20 3a 20 20 | 2b 20 34 34 20 37 38 36 | fax :  |+ 44 786|
|00001d30| 20 36 34 35 35 31 20 20 | 20 20 20 26 20 66 61 78 | 64551  |   & fax|
|00001d40| 20 3a 20 20 2b 20 31 20 | 33 31 39 20 33 33 35 30 | :  + 1 |319 3350|
|00001d50| 36 32 37 20 5c 5c 0a 65 | 2d 6d 61 69 6c 3a 20 61 |627 \\.e|-mail: a|
|00001d60| 6c 61 67 61 72 40 63 6f | 6e 63 6f 75 72 2e 63 73 |lagar@co|ncour.cs|
|00001d70| 2e 63 6f 6e 63 6f 72 64 | 69 61 2e 63 61 0a 26 20 |.concord|ia.ca.& |
|00001d80| 65 2d 6d 61 69 6c 3a 20 | 63 72 40 63 73 2e 73 74 |e-mail: |cr@cs.st|
|00001d90| 69 72 2e 61 63 2e 75 6b | 20 26 20 65 2d 6d 61 69 |ir.ac.uk| & e-mai|
|00001da0| 6c 3a 20 72 75 73 40 63 | 73 2e 75 69 6f 77 61 2e |l: rus@c|s.uiowa.|
|00001db0| 65 64 75 20 5c 5c 0a 5c | 65 6e 64 7b 74 61 62 75 |edu \\.\|end{tabu|
|00001dc0| 6c 61 72 7d 0a 5c 65 6e | 64 7b 63 65 6e 74 65 72 |lar}.\en|d{center|
|00001dd0| 7d 0a 5c 65 6e 64 7b 64 | 6f 63 75 6d 65 6e 74 7d |}.\end{d|ocument}|
|00001de0| 0a                      |                         |.       |        |
+--------+-------------------------+-------------------------+--------+--------+