/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10996

< 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 73 63 69 2e |Newsgrou|ps: sci.|
|00000010| 6d 61 74 68 0a 50 61 74 | 68 3a 20 73 70 61 72 6b |math.Pat|h: spark|
|00000020| 79 21 75 75 6e 65 74 21 | 6d 63 73 75 6e 21 73 75 |y!uunet!|mcsun!su|
|00000030| 6e 34 6e 6c 21 75 74 72 | 63 75 31 21 69 6e 66 6e |n4nl!utr|cu1!infn|
|00000040| 65 77 73 21 69 6e 66 6e | 65 77 73 21 73 63 6f 6c |ews!infn|ews!scol|
|00000050| 6c 6f 0a 46 72 6f 6d 3a | 20 73 63 6f 6c 6c 6f 40 |lo.From:| scollo@|
|00000060| 63 73 2e 75 74 77 65 6e | 74 65 2e 6e 6c 20 28 50 |cs.utwen|te.nl (P|
|00000070| 69 70 70 6f 20 53 63 6f | 6c 6c 6f 29 0a 53 75 62 |ippo Sco|llo).Sub|
|00000080| 6a 65 63 74 3a 20 41 4d | 41 53 54 27 39 33 20 43 |ject: AM|AST'93 C|
|00000090| 61 6c 6c 20 66 6f 72 20 | 50 61 70 65 72 73 20 28 |all for |Papers (|
|000000a0| 6c 61 74 65 78 29 0a 4d | 65 73 73 61 67 65 2d 49 |latex).M|essage-I|
|000000b0| 44 3a 20 3c 31 39 39 32 | 53 65 70 34 2e 31 37 32 |D: <1992|Sep4.172|
|000000c0| 34 33 31 40 63 73 2e 75 | 74 77 65 6e 74 65 2e 6e |431@cs.u|twente.n|
|000000d0| 6c 3e 0a 4b 65 79 77 6f | 72 64 73 3a 20 61 6c 67 |l>.Keywo|rds: alg|
|000000e0| 65 62 72 61 69 63 20 73 | 70 65 63 69 66 69 63 61 |ebraic s|pecifica|
|000000f0| 74 69 6f 6e 2c 20 73 6f | 66 74 77 61 72 65 20 64 |tion, so|ftware d|
|00000100| 65 76 65 6c 6f 70 6d 65 | 6e 74 0a 53 65 6e 64 65 |evelopme|nt.Sende|
|00000110| 72 3a 20 75 73 65 6e 65 | 74 40 63 73 2e 75 74 77 |r: usene|t@cs.utw|
|00000120| 65 6e 74 65 2e 6e 6c 0a | 4e 6e 74 70 2d 50 6f 73 |ente.nl.|Nntp-Pos|
|00000130| 74 69 6e 67 2d 48 6f 73 | 74 3a 20 75 74 69 73 30 |ting-Hos|t: utis0|
|00000140| 32 0a 4f 72 67 61 6e 69 | 7a 61 74 69 6f 6e 3a 20 |2.Organi|zation: |
|00000150| 55 6e 69 76 65 72 73 69 | 74 79 20 6f 66 20 54 77 |Universi|ty of Tw|
|00000160| 65 6e 74 65 2c 20 44 65 | 70 74 2e 20 6f 66 20 43 |ente, De|pt. of C|
|00000170| 6f 6d 70 75 74 65 72 20 | 53 63 69 65 6e 63 65 0a |omputer |Science.|
|00000180| 44 61 74 65 3a 20 46 72 | 69 2c 20 34 20 53 65 70 |Date: Fr|i, 4 Sep|
|00000190| 20 31 39 39 32 20 31 35 | 3a 32 34 3a 33 31 20 47 | 1992 15|:24:31 G|
|000001a0| 4d 54 0a 4c 69 6e 65 73 | 3a 20 32 32 34 0a 0a 5c |MT.Lines|: 224..\|
|000001b0| 64 6f 63 75 6d 65 6e 74 | 73 74 79 6c 65 20 5b 74 |document|style [t|
|000001c0| 69 74 6c 65 70 61 67 65 | 2c 31 31 70 74 5d 7b 61 |itlepage|,11pt]{a|
|000001d0| 72 74 69 63 6c 65 7d 0a | 5c 70 61 67 65 73 74 79 |rticle}.|\pagesty|
|000001e0| 6c 65 7b 70 6c 61 69 6e | 7d 0a 5c 70 61 67 65 6e |le{plain|}.\pagen|
|000001f0| 75 6d 62 65 72 69 6e 67 | 7b 61 6c 70 68 7d 0a 5c |umbering|{alph}.\|
|00000200| 74 65 78 74 77 69 64 74 | 68 20 3d 20 36 2e 37 35 |textwidt|h = 6.75|
|00000210| 69 6e 0a 5c 74 65 78 74 | 68 65 69 67 68 74 20 3d |in.\text|height =|
|00000220| 20 38 2e 35 69 6e 0a 5c | 74 6f 70 6d 61 72 67 69 | 8.5in.\|topmargi|
|00000230| 6e 20 3d 20 2d 30 2e 33 | 69 6e 0a 5c 74 6f 70 73 |n = -0.3|in.\tops|
|00000240| 6b 69 70 20 3d 20 30 69 | 6e 0a 5c 6f 64 64 73 69 |kip = 0i|n.\oddsi|
|00000250| 64 65 6d 61 72 67 69 6e | 20 3d 20 2d 30 2e 31 69 |demargin| = -0.1i|
|00000260| 6e 0a 5c 65 76 65 6e 73 | 69 64 65 6d 61 72 67 69 |n.\evens|idemargi|
|00000270| 6e 20 3d 20 2d 30 2e 31 | 69 6e 0a 5c 61 64 64 74 |n = -0.1|in.\addt|
|00000280| 6f 6c 65 6e 67 74 68 7b | 5c 70 61 72 73 6b 69 70 |olength{|\parskip|
|00000290| 7d 7b 30 2e 35 65 78 7d | 0a 5c 62 65 67 69 6e 7b |}{0.5ex}|.\begin{|
|000002a0| 64 6f 63 75 6d 65 6e 74 | 7d 0a 5c 73 65 74 63 6f |document|}.\setco|
|000002b0| 75 6e 74 65 72 7b 70 61 | 67 65 7d 7b 30 7d 0a 5c |unter{pa|ge}{0}.\|
|000002c0| 62 65 67 69 6e 7b 63 65 | 6e 74 65 72 7d 0a 7b 5c |begin{ce|nter}.{\|
|000002d0| 4c 61 72 67 65 20 7b 5c | 62 66 20 43 61 6c 6c 20 |Large {\|bf Call |
|000002e0| 66 6f 72 20 50 61 70 65 | 72 73 7d 7d 5c 5c 0a 7b |for Pape|rs}}\\.{|
|000002f0| 5c 6c 61 72 67 65 20 7b | 5c 62 66 20 54 68 69 72 |\large {|\bf Thir|
|00000300| 64 20 49 6e 74 65 72 6e | 61 74 69 6f 6e 61 6c 20 |d Intern|ational |
|00000310| 43 6f 6e 66 65 72 65 6e | 63 65 20 6f 6e 20 41 6c |Conferen|ce on Al|
|00000320| 67 65 62 72 61 69 63 7d | 7d 5c 5c 0a 7b 5c 6c 61 |gebraic}|}\\.{\la|
|00000330| 72 67 65 20 7b 5c 62 66 | 20 4d 65 74 68 6f 64 6f |rge {\bf| Methodo|
|00000340| 6c 6f 67 79 20 61 6e 64 | 20 53 6f 66 74 77 61 72 |logy and| Softwar|
|00000350| 65 20 54 65 63 68 6e 6f | 6c 6f 67 79 2c 20 41 4d |e Techno|logy, AM|
|00000360| 41 53 54 7d 7d 5c 5c 0a | 5c 65 6e 64 7b 63 65 6e |AST}}\\.|\end{cen|
|00000370| 74 65 72 7d 0a 5c 73 65 | 63 74 69 6f 6e 2a 7b 47 |ter}.\se|ction*{G|
|00000380| 6f 61 6c 73 20 61 6e 64 | 20 4f 72 67 61 6e 69 7a |oals and| Organiz|
|00000390| 61 74 69 6f 6e 7d 0a 0a | 54 68 65 20 67 6f 61 6c |ation}..|The goal|
|000003a0| 20 6f 66 20 74 68 65 20 | 74 68 69 72 64 20 41 4d | of the |third AM|
|000003b0| 41 53 54 20 63 6f 6e 66 | 65 72 65 6e 63 65 20 74 |AST conf|erence t|
|000003c0| 6f 20 62 65 20 68 65 6c | 64 20 6f 6e 20 4a 75 6e |o be hel|d on Jun|
|000003d0| 65 20 32 32 2d 2d 32 35 | 2c 20 31 39 39 33 2c 0a |e 22--25|, 1993,.|
|000003e0| 61 74 20 74 68 65 20 55 | 6e 69 76 65 72 73 69 74 |at the U|niversit|
|000003f0| 79 20 6f 66 20 54 77 65 | 6e 74 65 2c 20 45 6e 73 |y of Twe|nte, Ens|
|00000400| 63 68 65 64 65 2c 20 54 | 68 65 20 4e 65 74 68 65 |chede, T|he Nethe|
|00000410| 72 6c 61 6e 64 73 2c 0a | 69 73 20 74 6f 20 63 6f |rlands,.|is to co|
|00000420| 6e 73 6f 6c 69 64 61 74 | 65 20 74 68 65 20 74 72 |nsolidat|e the tr|
|00000430| 65 6e 64 20 74 6f 77 61 | 72 64 73 20 75 73 69 6e |end towa|rds usin|
|00000440| 67 20 61 6c 67 65 62 72 | 61 69 63 20 6d 65 74 68 |g algebr|aic meth|
|00000450| 6f 64 6f 6c 6f 67 79 0a | 61 73 20 61 20 66 6f 75 |odology.|as a fou|
|00000460| 6e 64 61 74 69 6f 6e 20 | 66 6f 72 20 73 6f 66 74 |ndation |for soft|
|00000470| 77 61 72 65 20 74 65 63 | 68 6e 6f 6c 6f 67 79 2c |ware tec|hnology,|
|00000480| 0a 61 6e 64 20 74 6f 20 | 73 68 6f 77 20 74 68 61 |.and to |show tha|
|00000490| 74 20 75 6e 69 76 65 72 | 73 61 6c 20 61 6c 67 65 |t univer|sal alge|
|000004a0| 62 72 61 20 70 72 6f 76 | 69 64 65 73 20 61 20 70 |bra prov|ides a p|
|000004b0| 72 61 63 74 69 63 61 6c | 20 6d 61 74 68 65 6d 61 |ractical| mathema|
|000004c0| 74 69 63 61 6c 0a 61 6c | 74 65 72 6e 61 74 69 76 |tical.al|ternativ|
|000004d0| 65 20 74 6f 20 74 68 65 | 20 63 6f 6d 6d 6f 6e 2c |e to the| common,|
|000004e0| 20 61 64 2d 68 6f 63 20 | 61 70 70 72 6f 61 63 68 | ad-hoc |approach|
|000004f0| 65 73 20 74 6f 20 73 6f | 66 74 77 61 72 65 20 65 |es to so|ftware e|
|00000500| 6e 67 69 6e 65 65 72 69 | 6e 67 20 61 6e 64 0a 64 |ngineeri|ng and.d|
|00000510| 65 76 65 6c 6f 70 6d 65 | 6e 74 2e 0a 41 63 61 64 |evelopme|nt..Acad|
|00000520| 65 6d 69 61 20 61 6e 64 | 20 69 6e 64 75 73 74 72 |emia and| industr|
|00000530| 79 20 61 72 65 20 62 6f | 74 68 20 62 65 6e 65 66 |y are bo|th benef|
|00000540| 69 63 69 61 72 69 65 73 | 20 6f 66 20 73 75 63 68 |iciaries| of such|
|00000550| 20 61 20 66 6f 72 6d 61 | 6c 20 66 6f 75 6e 64 61 | a forma|l founda|
|00000560| 74 69 6f 6e 2e 0a 0a 5c | 62 69 67 73 6b 69 70 5c |tion...\|bigskip\|
|00000570| 6e 6f 69 6e 64 65 6e 74 | 7b 5c 62 66 20 4f 72 67 |noindent|{\bf Org|
|00000580| 61 6e 69 7a 69 6e 67 20 | 43 6f 6d 6d 69 74 74 65 |anizing |Committe|
|00000590| 65 3a 7d 0a 0a 5c 6e 6f | 69 6e 64 65 6e 74 0a 5c |e:}..\no|indent.\|
|000005a0| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|000005b0| 6c 6c 7d 0a 47 65 6e 65 | 72 61 6c 20 63 68 61 69 |ll}.Gene|ral chai|
|000005c0| 72 6d 61 6e 3a 20 26 20 | 4d 61 75 72 69 63 65 20 |rman: & |Maurice |
|000005d0| 4e 69 76 61 74 20 26 20 | 28 55 6e 69 76 65 72 73 |Nivat & |(Univers|
|000005e0| 69 74 79 20 6f 66 20 50 | 61 72 69 73 20 56 49 49 |ity of P|aris VII|
|000005f0| 2c 20 50 61 72 69 73 2c | 20 46 29 0a 5c 5c 0a 50 |, Paris,| F).\\.P|
|00000600| 72 6f 67 72 61 6d 6d 65 | 20 63 68 61 69 72 6d 61 |rogramme| chairma|
|00000610| 6e 3a 20 26 20 47 69 75 | 73 65 70 70 65 20 53 63 |n: & Giu|seppe Sc|
|00000620| 6f 6c 6c 6f 20 26 20 28 | 55 6e 69 76 65 72 73 69 |ollo & (|Universi|
|00000630| 74 79 20 6f 66 20 54 77 | 65 6e 74 65 2c 20 45 6e |ty of Tw|ente, En|
|00000640| 73 63 68 65 64 65 2c 20 | 4e 4c 29 0a 5c 5c 0a 50 |schede, |NL).\\.P|
|00000650| 75 62 6c 69 63 69 74 79 | 20 63 68 61 69 72 6d 61 |ublicity| chairma|
|00000660| 6e 3a 0a 26 20 20 43 68 | 61 72 6c 65 73 20 52 61 |n:.&  Ch|arles Ra|
|00000670| 74 74 72 61 79 20 26 20 | 28 55 6e 69 76 65 72 73 |ttray & |(Univers|
|00000680| 69 74 79 20 6f 66 20 53 | 74 69 72 6c 69 6e 67 2c |ity of S|tirling,|
|00000690| 20 47 42 29 0a 5c 5c 0a | 26 20 20 54 65 6f 64 6f | GB).\\.|&  Teodo|
|000006a0| 72 20 52 75 73 20 26 20 | 28 55 6e 69 76 65 72 73 |r Rus & |(Univers|
|000006b0| 69 74 79 20 6f 66 20 49 | 6f 77 61 2c 20 49 6f 77 |ity of I|owa, Iow|
|000006c0| 61 20 43 69 74 79 2c 20 | 49 41 2c 20 55 53 41 29 |a City, |IA, USA)|
|000006d0| 0a 5c 5c 0a 26 20 20 56 | 2e 53 2e 20 41 6c 61 67 |.\\.&  V|.S. Alag|
|000006e0| 61 72 20 26 20 28 43 6f | 6e 63 6f 72 64 69 61 20 |ar & (Co|ncordia |
|000006f0| 55 6e 69 76 65 72 73 69 | 74 79 2c 20 4d 6f 6e 74 |Universi|ty, Mont|
|00000700| 72 65 61 6c 2c 20 43 61 | 6e 61 64 61 29 0a 5c 5c |real, Ca|nada).\\|
|00000710| 0a 4c 6f 63 61 6c 20 63 | 68 61 69 72 6d 61 6e 3a |.Local c|hairman:|
|00000720| 20 26 20 45 64 20 42 72 | 69 6e 6b 73 6d 61 20 26 | & Ed Br|inksma &|
|00000730| 20 28 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 | (Univer|sity of |
|00000740| 54 77 65 6e 74 65 2c 20 | 45 6e 73 63 68 65 64 65 |Twente, |Enschede|
|00000750| 2c 20 4e 4c 29 0a 5c 5c | 0a 46 69 6e 61 6e 63 65 |, NL).\\|.Finance|
|00000760| 20 63 68 61 69 72 6d 61 | 6e 3a 20 26 20 46 72 61 | chairma|n: & Fra|
|00000770| 6e 73 20 76 61 6e 20 64 | 65 72 20 41 76 65 72 74 |ns van d|er Avert|
|00000780| 20 26 20 28 55 6e 69 76 | 65 72 73 69 74 79 20 6f | & (Univ|ersity o|
|00000790| 66 20 54 77 65 6e 74 65 | 2c 20 45 6e 73 63 68 65 |f Twente|, Ensche|
|000007a0| 64 65 2c 20 4e 4c 29 0a | 5c 5c 0a 4d 65 6d 62 65 |de, NL).|\\.Membe|
|000007b0| 72 73 3a 0a 26 20 20 4d | 6f 68 61 6d 6d 65 64 20 |rs:.&  M|ohammed |
|000007c0| 42 65 74 74 61 7a 20 26 | 20 28 55 6e 69 76 65 72 |Bettaz &| (Univer|
|000007d0| 73 69 74 79 20 6f 66 20 | 43 6f 6e 73 74 61 6e 74 |sity of |Constant|
|000007e0| 69 6e 65 2c 20 41 6c 67 | 65 72 69 61 29 0a 5c 5c |ine, Alg|eria).\\|
|000007f0| 0a 26 20 20 43 68 72 69 | 73 74 69 6e 65 20 43 68 |.&  Chri|stine Ch|
|00000800| 6f 70 70 79 20 26 20 28 | 55 6e 69 76 65 72 73 69 |oppy & (|Universi|
|00000810| 74 79 20 6f 66 20 50 61 | 72 69 73 2d 53 75 64 2c |ty of Pa|ris-Sud,|
|00000820| 20 4c 52 49 2c 20 4f 72 | 73 61 79 2c 20 46 29 0a | LRI, Or|say, F).|
|00000830| 5c 5c 0a 26 20 20 50 69 | 65 72 72 65 20 44 65 72 |\\.&  Pi|erre Der|
|00000840| 61 6e 73 61 72 74 20 26 | 20 28 49 4e 52 49 41 2c |ansart &| (INRIA,|
|00000850| 20 52 6f 63 71 75 65 6e | 63 6f 75 72 74 2c 20 46 | Rocquen|court, F|
|00000860| 29 0a 5c 5c 0a 26 20 20 | 41 72 74 68 75 72 20 46 |).\\.&  |Arthur F|
|00000870| 6c 65 63 6b 20 26 20 28 | 55 6e 69 76 65 72 73 69 |leck & (|Universi|
|00000880| 74 79 20 6f 66 20 49 6f | 77 61 2c 20 49 6f 77 61 |ty of Io|wa, Iowa|
|00000890| 20 43 69 74 79 2c 20 49 | 41 2c 20 55 53 41 29 0a | City, I|A, USA).|
|000008a0| 5c 5c 0a 26 20 20 4c 75 | 69 67 69 20 4c 6f 67 72 |\\.&  Lu|igi Logr|
|000008b0| 69 70 70 6f 20 26 20 28 | 55 6e 69 76 65 72 73 69 |ippo & (|Universi|
|000008c0| 74 79 20 6f 66 20 4f 74 | 74 61 77 61 2c 20 4f 6e |ty of Ot|tawa, On|
|000008d0| 74 61 72 69 6f 2c 20 43 | 61 6e 61 64 61 29 0a 5c |tario, C|anada).\|
|000008e0| 5c 0a 26 20 20 4d 69 63 | 68 61 65 6c 20 4f 27 44 |\.&  Mic|hael O'D|
|000008f0| 6f 6e 6e 65 6c 6c 20 26 | 20 28 55 6e 69 76 65 72 |onnell &| (Univer|
|00000900| 73 69 74 79 20 6f 66 20 | 43 68 69 63 61 67 6f 2c |sity of |Chicago,|
|00000910| 20 49 4c 2c 20 55 53 41 | 29 0a 5c 5c 0a 26 20 20 | IL, USA|).\\.&  |
|00000920| 4a 75 61 6e 20 51 75 65 | 6d 61 64 61 20 26 20 28 |Juan Que|mada & (|
|00000930| 55 6e 69 76 65 72 73 69 | 74 79 20 6f 66 20 4d 61 |Universi|ty of Ma|
|00000940| 64 72 69 64 2c 20 45 29 | 0a 5c 5c 0a 26 20 20 52 |drid, E)|.\\.&  R|
|00000950| 61 6c 70 68 20 57 61 63 | 68 74 65 72 20 26 20 28 |alph Wac|hter & (|
|00000960| 4f 66 66 69 63 65 20 6f | 66 20 4e 61 76 61 6c 20 |Office o|f Naval |
|00000970| 52 65 73 65 61 72 63 68 | 2c 20 41 72 6c 69 6e 67 |Research|, Arling|
|00000980| 74 6f 6e 2c 20 56 41 2c | 20 55 53 41 29 0a 5c 5c |ton, VA,| USA).\\|
|00000990| 0a 5c 65 6e 64 7b 74 61 | 62 75 6c 61 72 7d 0a 0a |.\end{ta|bular}..|
|000009a0| 5c 6e 6f 69 6e 64 65 6e | 74 0a 5c 62 65 67 69 6e |\noinden|t.\begin|
|000009b0| 7b 74 61 62 75 6c 61 72 | 7d 7b 6c 6c 7d 0a 4c 6f |{tabular|}{ll}.Lo|
|000009c0| 63 61 6c 20 43 6f 6d 6d | 69 74 74 65 65 3a 20 26 |cal Comm|ittee: &|
|000009d0| 20 0a 20 20 20 48 65 72 | 6d 61 6e 20 42 61 6c 73 | .   Her|man Bals|
|000009e0| 74 65 72 73 2c 20 48 61 | 6e 20 42 5c 22 7b 61 7d |ters, Ha|n B\"{a}|
|000009f0| 75 6d 65 72 2c 20 50 69 | 6d 20 76 61 6e 20 64 65 |umer, Pi|m van de|
|00000a00| 6e 20 42 72 6f 65 6b 2c | 20 52 6f 6c 66 20 64 65 |n Broek,| Rolf de|
|00000a10| 20 42 79 2c 0a 5c 5c 0a | 26 20 20 4d 61 61 72 74 | By,.\\.|&  Maart|
|00000a20| 65 6e 20 46 6f 6b 6b 69 | 6e 67 61 2c 20 50 69 6d |en Fokki|nga, Pim|
|00000a30| 20 4b 61 72 73 2c 20 4d | 61 72 6b 20 76 61 6e 20 | Kars, M|ark van |
|00000a40| 64 65 20 56 6f 6f 72 74 | 2c 20 4a 6f 62 20 5a 77 |de Voort|, Job Zw|
|00000a50| 69 65 72 73 0a 5c 5c 0a | 53 65 63 72 65 74 61 72 |iers.\\.|Secretar|
|00000a60| 69 61 74 3a 20 26 20 59 | 76 6f 6e 6e 65 20 52 6f |iat: & Y|vonne Ro|
|00000a70| 6b 6b 65 72 0a 5c 65 6e | 64 7b 74 61 62 75 6c 61 |kker.\en|d{tabula|
|00000a80| 72 7d 0a 20 0a 5c 73 6d | 61 6c 6c 73 6b 69 70 5c |r}. .\sm|allskip\|
|00000a90| 6e 6f 69 6e 64 65 6e 74 | 7b 5c 62 66 20 50 72 6f |noindent|{\bf Pro|
|00000aa0| 67 72 61 6d 6d 65 20 43 | 6f 6d 6d 69 74 74 65 65 |gramme C|ommittee|
|00000ab0| 3a 7d 0a 0a 5c 6e 6f 69 | 6e 64 65 6e 74 0a 4d 61 |:}..\noi|ndent.Ma|
|00000ac0| 72 74 69 6e 7e 41 62 61 | 64 69 2c 0a 45 67 69 64 |rtin~Aba|di,.Egid|
|00000ad0| 69 6f 7e 41 73 74 65 73 | 69 61 6e 6f 2c 0a 43 68 |io~Astes|iano,.Ch|
|00000ae0| 6f 75 6b 72 69 2d 42 65 | 79 7e 42 65 6e 2d 59 65 |oukri-Be|y~Ben-Ye|
|00000af0| 6c 6c 65 73 2c 0a 4d 69 | 63 68 65 6c 7e 42 69 64 |lles,.Mi|chel~Bid|
|00000b00| 6f 69 74 2c 0a 57 69 6d | 7e 42 6c 6f 6b 2c 0a 43 |oit,.Wim|~Blok,.C|
|00000b10| 68 72 69 73 7e 42 72 69 | 6e 6b 2c 0a 5c 5c 0a 50 |hris~Bri|nk,.\\.P|
|00000b20| 69 65 72 72 65 2d 4c 75 | 69 73 7e 43 75 72 69 65 |ierre-Lu|is~Curie|
|00000b30| 6e 2c 0a 4b 6f 6b 69 63 | 68 69 7e 46 75 74 61 74 |n,.Kokic|hi~Futat|
|00000b40| 73 75 67 69 2c 0a 53 74 | 65 76 65 6e 7e 47 69 76 |sugi,.St|even~Giv|
|00000b50| 61 6e 74 2c 0a 57 69 6c | 6c 69 61 6d 7e 53 2e 7e |ant,.Wil|liam~S.~|
|00000b60| 48 61 74 63 68 65 72 2c | 0a 44 6f 75 67 6c 61 73 |Hatcher,|.Douglas|
|00000b70| 7e 4a 2e 7e 48 6f 77 65 | 2c 0a 5c 5c 0a 42 6a 61 |~J.~Howe|,.\\.Bja|
|00000b80| 72 6e 69 7e 4a 5c 27 7b | 6f 7d 6e 73 73 6f 6e 2c |rni~J\'{|o}nsson,|
|00000b90| 0a 48 61 6e 73 2d 4a 5c | 22 7b 6f 7d 72 67 20 4b |.Hans-J\|"{o}rg K|
|00000ba0| 72 65 6f 77 73 6b 69 2c | 0a 47 69 61 6e 63 61 72 |reowski,|.Giancar|
|00000bb0| 6c 6f 7e 4d 61 75 72 69 | 2c 0a 41 6c 69 7e 4d 69 |lo~Mauri|,.Ali~Mi|
|00000bc0| 6c 69 2c 20 0a 4d 69 63 | 68 61 65 6c 7e 4d 69 73 |li, .Mic|hael~Mis|
|00000bd0| 6c 6f 76 65 2c 0a 55 67 | 6f 7e 4d 6f 6e 74 61 6e |love,.Ug|o~Montan|
|00000be0| 61 72 69 2c 0a 5c 5c 0a | 50 65 74 65 72 20 44 2e |ari,.\\.|Peter D.|
|00000bf0| 20 4d 6f 73 73 65 73 2c | 0a 49 73 74 76 61 6e 7e | Mosses,|.Istvan~|
|00000c00| 4e 5c 27 7b 65 7d 6d 65 | 74 69 2c 0a 44 6f 6e 7e |N\'{e}me|ti,.Don~|
|00000c10| 50 69 67 6f 7a 7a 69 2c | 0a 44 6f 6e 7e 53 61 6e |Pigozzi,|.Don~San|
|00000c20| 6e 65 6c 6c 61 2c 0a 52 | 2e 4b 2e 7e 53 68 79 61 |nella,.R|.K.~Shya|
|00000c30| 6d 61 73 75 6e 64 61 72 | 2c 0a 4a 6f 68 6e 7e 53 |masundar|,.John~S|
|00000c40| 74 61 70 6c 65 73 2c 0a | 5c 5c 0a 41 6e 64 72 7a |taples,.|\\.Andrz|
|00000c50| 65 6a 7e 54 61 72 6c 65 | 63 6b 69 2c 0a 46 72 69 |ej~Tarle|cki,.Fri|
|00000c60| 74 73 7e 56 61 61 6e 64 | 72 61 67 65 72 2c 0a 50 |ts~Vaand|rager,.P|
|00000c70| 61 75 6c 6f 7e 41 2e 53 | 2e 7e 56 65 6c 6f 73 6f |aulo~A.S|.~Veloso|
|00000c80| 2c 0a 45 72 69 63 7e 57 | 61 67 6e 65 72 2c 0a 42 |,.Eric~W|agner,.B|
|00000c90| 6f 62 20 57 61 6c 74 65 | 72 73 2c 0a 4d 61 72 74 |ob Walte|rs,.Mart|
|00000ca0| 69 6e 7e 57 69 72 73 69 | 6e 67 2e 0a 0a 5c 62 69 |in~Wirsi|ng...\bi|
|00000cb0| 67 73 6b 69 70 5c 6e 6f | 69 6e 64 65 6e 74 7b 5c |gskip\no|indent{\|
|00000cc0| 62 66 20 49 6e 76 69 74 | 65 64 20 53 70 65 61 6b |bf Invit|ed Speak|
|00000cd0| 65 72 73 7d 0a 0a 5c 73 | 6d 61 6c 6c 73 6b 69 70 |ers}..\s|mallskip|
|00000ce0| 5c 6e 6f 69 6e 64 65 6e | 74 0a 54 6f 20 61 63 68 |\noinden|t.To ach|
|00000cf0| 69 65 76 65 20 74 68 65 | 20 67 6f 61 6c 20 6f 66 |ieve the| goal of|
|00000d00| 20 74 68 65 20 63 6f 6e | 66 65 72 65 6e 63 65 20 | the con|ference |
|00000d10| 77 65 20 61 69 6d 20 74 | 6f 20 70 72 6f 76 69 64 |we aim t|o provid|
|00000d20| 65 20 61 20 66 6f 72 75 | 6d 20 69 6e 20 77 68 69 |e a foru|m in whi|
|00000d30| 63 68 0a 6c 65 61 64 69 | 6e 67 20 72 65 73 65 61 |ch.leadi|ng resea|
|00000d40| 72 63 68 65 72 73 20 69 | 6e 20 6d 61 74 68 65 6d |rchers i|n mathem|
|00000d50| 61 74 69 63 73 2c 20 63 | 6f 6d 70 75 74 65 72 20 |atics, c|omputer |
|00000d60| 73 63 69 65 6e 63 65 2c | 20 61 6e 64 20 73 6f 66 |science,| and sof|
|00000d70| 74 77 61 72 65 20 64 65 | 76 65 6c 6f 70 6d 65 6e |tware de|velopmen|
|00000d80| 74 2c 0a 77 69 6c 6c 20 | 63 6f 6d 65 20 74 6f 67 |t,.will |come tog|
|00000d90| 65 74 68 65 72 20 74 6f | 20 69 64 65 6e 74 69 66 |ether to| identif|
|00000da0| 79 20 61 6c 67 65 62 72 | 61 69 63 20 6d 65 74 68 |y algebr|aic meth|
|00000db0| 6f 64 6f 6c 6f 67 69 65 | 73 20 74 68 61 74 20 61 |odologie|s that a|
|00000dc0| 72 65 20 61 70 70 6c 69 | 63 61 62 6c 65 20 61 73 |re appli|cable as|
|00000dd0| 0a 76 69 61 62 6c 65 20 | 61 6c 74 65 72 6e 61 74 |.viable |alternat|
|00000de0| 69 76 65 73 20 74 6f 20 | 74 68 65 20 70 72 65 73 |ives to |the pres|
|00000df0| 65 6e 74 20 73 6f 66 74 | 77 61 72 65 20 64 65 76 |ent soft|ware dev|
|00000e00| 65 6c 6f 70 6d 65 6e 74 | 20 61 70 70 72 6f 61 63 |elopment| approac|
|00000e10| 68 65 73 20 61 6e 64 20 | 74 6f 0a 64 69 73 63 75 |hes and |to.discu|
|00000e20| 73 73 20 74 68 65 20 61 | 70 70 72 6f 70 72 69 61 |ss the a|ppropria|
|00000e30| 74 65 6e 65 73 73 20 6f | 66 20 73 75 63 68 20 61 |teness o|f such a|
|00000e40| 6c 74 65 72 6e 61 74 69 | 76 65 73 20 77 69 74 68 |lternati|ves with|
|00000e50| 20 61 20 76 69 65 77 20 | 74 6f 20 69 6d 70 6c 65 | a view |to imple|
|00000e60| 6d 65 6e 74 61 74 69 6f | 6e 2e 0a 49 6e 76 69 74 |mentatio|n..Invit|
|00000e70| 65 64 20 73 70 65 61 6b | 65 72 73 2c 20 77 69 74 |ed speak|ers, wit|
|00000e80| 68 20 61 20 74 65 6e 74 | 61 74 69 76 65 20 69 6e |h a tent|ative in|
|00000e90| 64 69 63 61 74 69 6f 6e | 20 6f 66 20 72 65 73 70 |dication| of resp|
|00000ea0| 65 63 74 69 76 65 20 74 | 6f 70 69 63 73 2c 20 69 |ective t|opics, i|
|00000eb0| 6e 63 6c 75 64 65 3a 0a | 0a 5c 63 6c 65 61 72 70 |nclude:.|.\clearp|
|00000ec0| 61 67 65 0a 5c 73 65 74 | 63 6f 75 6e 74 65 72 7b |age.\set|counter{|
|00000ed0| 70 61 67 65 7d 7b 30 7d | 0a 0a 5c 62 65 67 69 6e |page}{0}|..\begin|
|00000ee0| 7b 71 75 6f 74 65 7d 0a | 5c 62 65 67 69 6e 7b 74 |{quote}.|\begin{t|
|00000ef0| 61 62 75 6c 61 72 7d 7b | 6c 6c 6c 7d 0a 48 75 62 |abular}{|lll}.Hub|
|00000f00| 65 72 74 20 43 6f 6d 6f | 6e 20 20 26 20 28 4c 52 |ert Como|n  & (LR|
|00000f10| 49 2c 20 4f 72 73 61 79 | 29 20 26 20 3a 20 43 6f |I, Orsay|) & : Co|
|00000f20| 6e 73 74 72 61 69 6e 74 | 20 53 6f 6c 76 69 6e 67 |nstraint| Solving|
|00000f30| 20 69 6e 20 54 65 72 6d | 20 41 6c 67 65 62 72 61 | in Term| Algebra|
|00000f40| 73 0a 5c 5c 0a 52 6f 62 | 20 76 61 6e 20 47 6c 61 |s.\\.Rob| van Gla|
|00000f50| 62 62 65 65 6b 20 20 26 | 20 28 53 74 61 6e 66 6f |bbeek  &| (Stanfo|
|00000f60| 72 64 20 55 6e 69 76 65 | 72 73 69 74 79 29 20 20 |rd Unive|rsity)  |
|00000f70| 20 20 20 20 20 20 20 20 | 20 20 20 26 20 3a 20 50 |        |   & : P|
|00000f80| 72 6f 63 65 73 73 20 41 | 6c 67 65 62 72 61 0a 5c |rocess A|lgebra.\|
|00000f90| 5c 0a 4e 69 63 6f 6c 61 | 73 20 48 61 6c 62 77 61 |\.Nicola|s Halbwa|
|00000fa0| 63 68 73 20 26 20 28 49 | 4e 50 47 2c 20 47 72 65 |chs & (I|NPG, Gre|
|00000fb0| 6e 6f 62 6c 65 29 20 20 | 26 20 3a 20 52 65 61 63 |noble)  |& : Reac|
|00000fc0| 74 69 76 65 20 50 72 6f | 67 72 61 6d 20 53 79 6e |tive Pro|gram Syn|
|00000fd0| 74 68 65 73 69 73 0a 5c | 5c 0a 4d 69 6b 65 20 4a |thesis.\|\.Mike J|
|00000fe0| 6f 68 6e 73 6f 6e 20 26 | 20 28 4d 61 63 71 75 61 |ohnson &| (Macqua|
|00000ff0| 72 69 65 20 55 6e 69 76 | 2e 2c 20 53 79 64 6e 65 |rie Univ|., Sydne|
|00001000| 79 29 20 26 20 3a 0a 20 | 20 20 20 20 20 20 20 20 |y) & :. |        |
|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 43 61 |        |      Ca|
|00001030| 74 65 67 6f 72 79 20 54 | 68 65 6f 72 79 20 66 6f |tegory T|heory fo|
|00001040| 72 20 53 6f 66 74 77 61 | 72 65 20 45 6e 67 69 6e |r Softwa|re Engin|
|00001050| 65 65 72 69 6e 67 0a 5c | 5c 0a 47 69 6f 72 67 69 |eering.\|\.Giorgi|
|00001060| 6f 20 4c 65 76 69 20 20 | 20 20 20 20 26 20 28 55 |o Levi  |    & (U|
|00001070| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 50 69 73 |niversit|y of Pis|
|00001080| 61 29 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |a)      |        |
|00001090| 26 20 3a 20 4c 6f 67 69 | 63 20 50 72 6f 67 72 61 |& : Logi|c Progra|
|000010a0| 6d 6d 69 6e 67 0a 5c 5c | 0a 52 6f 67 65 72 20 44 |mming.\\|.Roger D|
|000010b0| 2e 20 4d 61 64 64 75 78 | 20 20 20 26 20 28 49 6f |. Maddux|   & (Io|
|000010c0| 77 61 20 53 74 61 74 65 | 20 55 6e 69 76 65 72 73 |wa State| Univers|
|000010d0| 69 74 79 29 20 20 20 20 | 20 20 20 20 20 20 20 26 |ity)    |       &|
|000010e0| 20 3a 20 52 65 6c 61 74 | 69 6f 6e 20 41 6c 67 65 | : Relat|ion Alge|
|000010f0| 62 72 61 0a 5c 65 6e 64 | 7b 74 61 62 75 6c 61 72 |bra.\end|{tabular|
|00001100| 7d 0a 5c 65 6e 64 7b 71 | 75 6f 74 65 7d 0a 0a 5c |}.\end{q|uote}..\|
|00001110| 73 65 63 74 69 6f 6e 2a | 7b 53 75 62 6d 69 73 73 |section*|{Submiss|
|00001120| 69 6f 6e 73 7d 0a 0a 5c | 76 73 70 61 63 65 2a 7b |ions}..\|vspace*{|
|00001130| 2d 32 6d 6d 7d 0a 54 61 | 6c 6b 73 20 72 65 70 6f |-2mm}.Ta|lks repo|
|00001140| 72 74 69 6e 67 20 72 65 | 73 65 61 72 63 68 20 69 |rting re|search i|
|00001150| 6e 20 61 6c 67 65 62 72 | 61 20 61 6e 64 20 6c 6f |n algebr|a and lo|
|00001160| 67 69 63 2c 20 73 75 69 | 74 61 62 6c 65 20 61 73 |gic, sui|table as|
|00001170| 20 61 20 66 6f 75 6e 64 | 61 74 69 6f 6e 20 66 6f | a found|ation fo|
|00001180| 72 0a 73 6f 66 74 77 61 | 72 65 20 74 65 63 68 6e |r.softwa|re techn|
|00001190| 6f 6c 6f 67 79 2c 20 61 | 73 20 77 65 6c 6c 20 61 |ology, a|s well a|
|000011a0| 73 20 73 6f 66 74 77 61 | 72 65 20 74 65 63 68 6e |s softwa|re techn|
|000011b0| 6f 6c 6f 67 69 65 73 0a | 64 65 76 65 6c 6f 70 65 |ologies.|develope|
|000011c0| 64 20 62 79 20 6d 65 61 | 6e 73 20 6f 66 20 61 6c |d by mea|ns of al|
|000011d0| 67 65 62 72 61 69 63 20 | 6d 65 74 68 6f 64 6f 6c |gebraic |methodol|
|000011e0| 6f 67 69 65 73 2c 20 61 | 72 65 20 77 65 6c 63 6f |ogies, a|re welco|
|000011f0| 6d 65 2e 0a 44 65 6d 6f | 6e 73 74 72 61 74 69 6f |me..Demo|nstratio|
|00001200| 6e 73 20 6f 66 20 73 79 | 73 74 65 6d 73 20 73 68 |ns of sy|stems sh|
|00001210| 6f 77 69 6e 67 20 74 68 | 65 20 69 6d 70 72 6f 76 |owing th|e improv|
|00001220| 65 64 20 65 66 66 65 63 | 74 69 76 65 6e 65 73 73 |ed effec|tiveness|
|00001230| 20 6f 66 20 73 6f 66 74 | 77 61 72 65 0a 64 65 76 | of soft|ware.dev|
|00001240| 65 6c 6f 70 65 64 20 6f | 6e 20 61 20 6d 61 74 68 |eloped o|n a math|
|00001250| 65 6d 61 74 69 63 61 6c | 20 62 61 73 69 73 20 28 |ematical| basis (|
|00001260| 77 69 74 68 20 6f 72 20 | 77 69 74 68 6f 75 74 20 |with or |without |
|00001270| 61 20 74 61 6c 6b 29 0a | 77 69 6c 6c 20 61 6c 73 |a talk).|will als|
|00001280| 6f 20 62 65 20 63 6f 6e | 73 69 64 65 72 65 64 2e |o be con|sidered.|
|00001290| 0a 54 6f 20 62 65 20 6d | 6f 72 65 20 70 72 65 63 |.To be m|ore prec|
|000012a0| 69 73 65 20 74 68 65 20 | 6f 72 67 61 6e 69 7a 65 |ise the |organize|
|000012b0| 72 73 20 77 69 73 68 20 | 63 6f 6e 74 72 69 62 75 |rs wish |contribu|
|000012c0| 74 69 6f 6e 73 20 6f 6e | 2c 20 62 75 74 20 6e 6f |tions on|, but no|
|000012d0| 74 20 6c 69 6d 69 74 65 | 64 20 74 6f 2c 0a 61 6c |t limite|d to,.al|
|000012e0| 67 65 62 72 61 69 63 20 | 6d 65 74 68 6f 64 73 20 |gebraic |methods |
|000012f0| 66 6f 72 20 6c 61 6e 67 | 75 61 67 65 20 64 65 73 |for lang|uage des|
|00001300| 69 67 6e 20 61 6e 64 20 | 20 63 6f 6d 70 69 6c 65 |ign and | compile|
|00001310| 72 20 63 6f 6e 73 74 72 | 75 63 74 69 6f 6e 0a 28 |r constr|uction.(|
|00001320| 65 2e 67 2e 20 66 6f 72 | 20 41 6c 67 6f 6c 2d 6c |e.g. for| Algol-l|
|00001330| 69 6b 65 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 20 |ike prog|ramming |
|00001340| 6c 61 6e 67 75 61 67 65 | 73 29 2c 0a 61 6c 67 65 |language|s),.alge|
|00001350| 62 72 61 69 63 20 6d 65 | 74 68 6f 64 6f 6c 6f 67 |braic me|thodolog|
|00001360| 79 20 66 6f 72 20 73 6f | 66 74 77 61 72 65 20 65 |y for so|ftware e|
|00001370| 6e 67 69 6e 65 65 72 69 | 6e 67 2c 0a 61 6c 67 65 |ngineeri|ng,.alge|
|00001380| 62 72 61 69 63 20 73 70 | 65 63 69 66 69 63 61 74 |braic sp|ecificat|
|00001390| 69 6f 6e 73 20 61 6e 64 | 20 61 6c 67 6f 72 69 74 |ions and| algorit|
|000013a0| 68 6d 73 20 74 6f 20 61 | 75 74 6f 6d 61 74 69 63 |hms to a|utomatic|
|000013b0| 61 6c 6c 79 20 62 75 69 | 6c 64 0a 70 72 6f 67 72 |ally bui|ld.progr|
|000013c0| 61 6d 73 20 66 72 6f 6d | 20 73 75 63 68 20 73 70 |ams from| such sp|
|000013d0| 65 63 69 66 69 63 61 74 | 69 6f 6e 73 2c 0a 65 78 |ecificat|ions,.ex|
|000013e0| 74 72 61 63 74 69 6f 6e | 20 6f 66 20 70 72 6f 67 |traction| of prog|
|000013f0| 72 61 6d 73 20 66 72 6f | 6d 20 63 6f 6e 73 74 72 |rams fro|m constr|
|00001400| 75 63 74 69 76 65 20 70 | 72 6f 6f 66 73 2c 0a 63 |uctive p|roofs,.c|
|00001410| 61 74 65 67 6f 72 69 63 | 61 6c 2c 20 61 6c 67 65 |ategoric|al, alge|
|00001420| 62 72 61 69 63 20 61 6e | 64 20 6c 6f 67 69 63 20 |braic an|d logic |
|00001430| 70 72 6f 67 72 61 6d 6d | 69 6e 67 2c 0a 64 65 64 |programm|ing,.ded|
|00001440| 75 63 74 69 76 65 20 64 | 61 74 61 62 61 73 65 73 |uctive d|atabases|
|00001450| 2c 20 71 75 65 72 79 20 | 6c 61 6e 67 75 61 67 65 |, query |language|
|00001460| 20 64 65 73 69 67 6e 2c | 0a 61 6c 67 65 62 72 61 | design,|.algebra|
|00001470| 69 63 20 73 70 65 63 69 | 66 69 63 61 74 69 6f 6e |ic speci|fication|
|00001480| 20 6f 66 20 63 6f 6e 63 | 75 72 72 65 6e 74 20 73 | of conc|urrent s|
|00001490| 79 73 74 65 6d 73 2c 0a | 64 69 73 74 72 69 62 75 |ystems,.|distribu|
|000014a0| 74 65 64 20 6f 70 65 72 | 61 74 69 6e 67 20 73 79 |ted oper|ating sy|
|000014b0| 73 74 65 6d 73 2c 20 72 | 65 61 63 74 69 76 65 20 |stems, r|eactive |
|000014c0| 73 79 73 74 65 6d 73 2c | 0a 70 72 61 63 74 69 63 |systems,|.practic|
|000014d0| 61 6c 20 74 65 63 68 6e | 69 71 75 65 73 20 61 6e |al techn|iques an|
|000014e0| 64 20 65 78 61 6d 70 6c | 65 73 20 66 6f 72 20 76 |d exampl|es for v|
|000014f0| 65 72 69 66 69 63 61 74 | 69 6f 6e 20 6f 66 20 70 |erificat|ion of p|
|00001500| 72 6f 67 72 61 6d 0a 61 | 6e 64 2f 6f 72 20 73 70 |rogram.a|nd/or sp|
|00001510| 65 63 69 66 69 63 61 74 | 69 6f 6e 20 70 72 6f 70 |ecificat|ion prop|
|00001520| 65 72 74 69 65 73 2e 0a | 57 65 20 69 6e 76 69 74 |erties..|We invit|
|00001530| 65 20 79 6f 75 20 74 6f | 20 73 75 62 6d 69 74 20 |e you to| submit |
|00001540| 61 20 74 77 6f 2d 70 61 | 67 65 20 61 62 73 74 72 |a two-pa|ge abstr|
|00001550| 61 63 74 20 28 69 6e 63 | 6c 75 64 69 6e 67 20 61 |act (inc|luding a|
|00001560| 20 66 65 77 0a 63 69 74 | 61 74 69 6f 6e 73 20 6f | few.cit|ations o|
|00001570| 66 20 72 65 6c 65 76 61 | 6e 74 20 77 6f 72 6b 29 |f releva|nt work)|
|00001580| 20 6f 66 20 79 6f 75 72 | 20 74 61 6c 6b 20 74 6f | of your| talk to|
|00001590| 0a 5c 62 65 67 69 6e 7b | 71 75 6f 74 65 7d 0a 41 |.\begin{|quote}.A|
|000015a0| 4d 41 53 54 20 43 6f 6e | 66 65 72 65 6e 63 65 2c |MAST Con|ference,|
|000015b0| 0a 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 54 |.Univers|ity of T|
|000015c0| 77 65 6e 74 65 2c 0a 46 | 61 63 2e 5c 20 49 6e 66 |wente,.F|ac.\ Inf|
|000015d0| 6f 72 6d 61 74 69 63 61 | 2c 0a 41 74 74 2e 20 4d |ormatica|,.Att. M|
|000015e0| 72 73 2e 5c 20 59 2e 20 | 52 6f 6b 6b 65 72 2c 0a |rs.\ Y. |Rokker,.|
|000015f0| 5c 5c 0a 50 2e 4f 2e 20 | 42 6f 78 20 32 31 37 2c |\\.P.O. |Box 217,|
|00001600| 0a 4e 4c 2d 37 35 30 30 | 41 45 20 45 6e 73 63 68 |.NL-7500|AE Ensch|
|00001610| 65 64 65 2c 0a 54 68 65 | 20 4e 65 74 68 65 72 6c |ede,.The| Netherl|
|00001620| 61 6e 64 73 0a 5c 20 5c | 20 5c 20 28 70 68 6f 6e |ands.\ \| \ (phon|
|00001630| 65 3a 20 2b 20 33 31 20 | 35 33 20 38 39 33 37 30 |e: + 31 |53 89370|
|00001640| 31 29 0a 5c 65 6e 64 7b | 71 75 6f 74 65 7d 0a 46 |1).\end{|quote}.F|
|00001650| 6f 75 72 2d 70 61 67 65 | 20 61 62 62 72 65 76 69 |our-page| abbrevi|
|00001660| 61 74 65 64 20 70 61 70 | 65 72 73 20 6f 66 20 74 |ated pap|ers of t|
|00001670| 68 65 20 74 61 6c 6b 73 | 20 70 72 65 73 65 6e 74 |he talks| present|
|00001680| 65 64 20 61 74 20 74 68 | 65 20 63 6f 6e 66 65 72 |ed at th|e confer|
|00001690| 65 6e 63 65 2c 20 74 6f | 67 65 74 68 65 72 0a 77 |ence, to|gether.w|
|000016a0| 69 74 68 20 74 68 65 20 | 69 6e 76 69 74 65 64 20 |ith the |invited |
|000016b0| 74 61 6c 6b 73 2c 20 77 | 69 6c 6c 20 62 65 20 63 |talks, w|ill be c|
|000016c0| 6f 6c 6c 65 63 74 65 64 | 20 69 6e 20 74 68 65 20 |ollected| in the |
|000016d0| 70 61 72 74 69 63 69 70 | 61 6e 74 73 27 20 65 64 |particip|ants' ed|
|000016e0| 69 74 69 6f 6e 20 6f 66 | 20 74 68 65 0a 70 72 6f |ition of| the.pro|
|000016f0| 63 65 65 64 69 6e 67 73 | 2c 20 77 68 69 63 68 20 |ceedings|, which |
|00001700| 77 69 6c 6c 20 62 65 20 | 61 76 61 69 6c 61 62 6c |will be |availabl|
|00001710| 65 20 74 6f 20 74 68 65 | 20 61 74 74 65 6e 64 65 |e to the| attende|
|00001720| 65 73 20 75 70 6f 6e 20 | 74 68 65 69 72 20 61 72 |es upon |their ar|
|00001730| 72 69 76 61 6c 20 69 6e | 0a 54 77 65 6e 74 65 2e |rival in|.Twente.|
|00001740| 0a 54 68 65 20 61 75 74 | 68 6f 72 73 20 61 72 65 |.The aut|hors are|
|00001750| 20 65 78 70 65 63 74 65 | 64 20 74 6f 20 62 72 69 | expecte|d to bri|
|00001760| 6e 67 20 66 75 6c 6c 20 | 76 65 72 73 69 6f 6e 73 |ng full |versions|
|00001770| 20 6f 66 20 74 68 65 69 | 72 20 70 61 70 65 72 73 | of thei|r papers|
|00001780| 20 61 74 20 74 68 65 0a | 63 6f 6e 66 65 72 65 6e | at the.|conferen|
|00001790| 63 65 2c 20 66 6f 72 20 | 66 75 72 74 68 65 72 20 |ce, for |further |
|000017a0| 72 65 76 69 65 77 20 61 | 6e 64 20 69 6e 63 6c 75 |review a|nd inclu|
|000017b0| 73 69 6f 6e 20 69 6e 20 | 74 68 65 20 41 4d 41 53 |sion in |the AMAS|
|000017c0| 54 27 39 33 20 50 72 6f | 63 65 65 64 69 6e 67 73 |T'93 Pro|ceedings|
|000017d0| 2c 0a 74 6f 20 62 65 20 | 70 75 62 6c 69 73 68 65 |,.to be |publishe|
|000017e0| 64 20 62 79 20 53 70 72 | 69 6e 67 65 72 2d 56 65 |d by Spr|inger-Ve|
|000017f0| 72 6c 61 67 2c 20 4c 6f | 6e 64 6f 6e 2e 20 0a 41 |rlag, Lo|ndon. .A|
|00001800| 20 73 70 65 63 69 61 6c | 20 69 73 73 75 65 20 6f | special| issue o|
|00001810| 66 20 7b 5c 65 6d 20 54 | 68 65 6f 72 65 74 69 63 |f {\em T|heoretic|
|00001820| 61 6c 20 43 6f 6d 70 75 | 74 65 72 20 53 63 69 65 |al Compu|ter Scie|
|00001830| 6e 63 65 7d 20 77 69 6c | 6c 20 62 65 20 64 65 64 |nce} wil|l be ded|
|00001840| 69 63 61 74 65 64 20 74 | 6f 0a 74 68 69 73 20 63 |icated t|o.this c|
|00001850| 6f 6e 66 65 72 65 6e 63 | 65 3b 20 70 61 72 74 69 |onferenc|e; parti|
|00001860| 63 69 70 61 6e 74 73 20 | 77 69 6c 6c 20 62 65 20 |cipants |will be |
|00001870| 69 6e 76 69 74 65 64 20 | 74 6f 20 73 75 62 6d 69 |invited |to submi|
|00001880| 74 20 74 68 65 69 72 20 | 66 75 6c 6c 20 70 61 70 |t their |full pap|
|00001890| 65 72 0a 66 6f 72 20 70 | 6f 73 73 69 62 6c 65 20 |er.for p|ossible |
|000018a0| 70 75 62 6c 69 63 61 74 | 69 6f 6e 20 69 6e 20 74 |publicat|ion in t|
|000018b0| 68 69 73 20 6a 6f 75 72 | 6e 61 6c 2e 0a 0a 5c 73 |his jour|nal...\s|
|000018c0| 6d 61 6c 6c 73 6b 69 70 | 5c 6e 6f 69 6e 64 65 6e |mallskip|\noinden|
|000018d0| 74 5c 75 6e 64 65 72 6c | 69 6e 65 7b 7b 5c 62 66 |t\underl|ine{{\bf|
|000018e0| 20 49 6d 70 6f 72 74 61 | 6e 74 20 44 75 65 20 44 | Importa|nt Due D|
|000018f0| 61 74 65 73 7d 7d 0a 5c | 5c 0a 24 5c 62 75 6c 6c |ates}}.\|\.$\bull|
|00001900| 65 74 24 0a 54 77 6f 20 | 70 61 67 65 20 61 62 73 |et$.Two |page abs|
|00001910| 74 72 61 63 74 20 73 75 | 62 6d 69 73 73 69 6f 6e |tract su|bmission|
|00001920| 20 62 79 20 44 65 63 65 | 6d 62 65 72 20 31 35 2c | by Dece|mber 15,|
|00001930| 20 31 39 39 32 2e 0a 5c | 5c 0a 24 5c 62 75 6c 6c | 1992..\|\.$\bull|
|00001940| 65 74 24 0a 4e 6f 74 69 | 66 69 63 61 74 69 6f 6e |et$.Noti|fication|
|00001950| 20 6f 66 20 61 63 63 65 | 70 74 61 6e 63 65 20 62 | of acce|ptance b|
|00001960| 79 20 4d 61 72 63 68 20 | 33 31 2c 20 31 39 39 33 |y March |31, 1993|
|00001970| 2e 0a 5c 5c 0a 24 5c 62 | 75 6c 6c 65 74 24 0a 43 |..\\.$\b|ullet$.C|
|00001980| 61 6d 65 72 61 2d 72 65 | 61 64 79 20 66 6f 75 72 |amera-re|ady four|
|00001990| 2d 70 61 67 65 20 70 61 | 70 65 72 0a 74 6f 20 61 |-page pa|per.to a|
|000019a0| 70 70 65 61 72 20 69 6e | 20 70 61 72 74 69 63 69 |ppear in| partici|
|000019b0| 70 61 6e 74 73 27 20 70 | 72 6f 63 65 65 64 69 6e |pants' p|roceedin|
|000019c0| 67 73 20 62 79 20 4d 61 | 79 20 31 2c 20 31 39 39 |gs by Ma|y 1, 199|
|000019d0| 33 2e 0a 5c 5c 0a 24 5c | 62 75 6c 6c 65 74 24 0a |3..\\.$\|bullet$.|
|000019e0| 46 75 6c 6c 20 70 61 70 | 65 72 20 66 6f 72 20 41 |Full pap|er for A|
|000019f0| 4d 41 53 54 27 39 33 20 | 50 72 6f 63 65 65 64 69 |MAST'93 |Proceedi|
|00001a00| 6e 67 73 2c 20 61 74 20 | 74 68 65 20 63 6f 6e 66 |ngs, at |the conf|
|00001a10| 65 72 65 6e 63 65 2e 0a | 0a 5c 73 6d 61 6c 6c 73 |erence..|.\smalls|
|00001a20| 6b 69 70 5c 6e 6f 69 6e | 64 65 6e 74 0a 46 75 72 |kip\noin|dent.Fur|
|00001a30| 74 68 65 72 20 69 6e 66 | 6f 72 6d 61 74 69 6f 6e |ther inf|ormation|
|00001a40| 20 63 61 6e 20 62 65 20 | 6f 62 74 61 69 6e 65 64 | can be |obtained|
|00001a50| 20 66 72 6f 6d 3a 0a 5c | 62 65 67 69 6e 7b 63 65 | from:.\|begin{ce|
|00001a60| 6e 74 65 72 7d 0a 5c 73 | 6d 61 6c 6c 0a 5c 62 65 |nter}.\s|mall.\be|
|00001a70| 67 69 6e 7b 74 61 62 75 | 6c 61 72 7d 7b 6c 20 6c |gin{tabu|lar}{l l|
|00001a80| 20 6c 7d 0a 7b 5c 69 74 | 20 49 6e 20 43 61 6e 61 | l}.{\it| In Cana|
|00001a90| 64 61 5c 2f 7d 3a 20 26 | 20 7b 5c 69 74 20 49 6e |da\/}: &| {\it In|
|00001aa0| 20 45 75 72 6f 70 65 5c | 2f 7d 3a 20 26 20 7b 5c | Europe\|/}: & {\|
|00001ab0| 69 74 20 49 6e 20 55 2e | 53 2e 41 5c 2f 7d 3a 20 |it In U.|S.A\/}: |
|00001ac0| 5c 5c 0a 56 2e 53 2e 20 | 41 6c 61 67 61 72 20 20 |\\.V.S. |Alagar  |
|00001ad0| 20 20 20 20 20 20 20 20 | 26 20 43 68 61 72 6c 65 |        |& Charle|
|00001ae0| 73 20 52 61 74 74 72 61 | 79 20 20 20 20 20 20 20 |s Rattra|y       |
|00001af0| 20 20 20 20 20 20 26 20 | 54 65 6f 64 6f 72 20 52 |      & |Teodor R|
|00001b00| 75 73 20 5c 5c 0a 43 6f | 6e 63 6f 72 64 69 61 20 |us \\.Co|ncordia |
|00001b10| 55 6e 69 76 65 72 73 69 | 74 79 20 26 20 55 6e 69 |Universi|ty & Uni|
|00001b20| 76 65 72 73 69 74 79 20 | 6f 66 20 53 74 69 72 6c |versity |of Stirl|
|00001b30| 69 6e 67 20 20 20 20 20 | 20 26 20 55 6e 69 76 65 |ing     | & Unive|
|00001b40| 72 73 69 74 79 20 6f 66 | 20 49 6f 77 61 20 20 20 |rsity of| Iowa   |
|00001b50| 20 20 5c 5c 0a 44 65 70 | 74 2e 5c 20 6f 66 20 43 |  \\.Dep|t.\ of C|
|00001b60| 6f 6d 70 75 74 65 72 20 | 53 63 69 65 6e 63 65 20 |omputer |Science |
|00001b70| 26 20 44 65 70 74 2e 5c | 20 6f 66 20 4d 61 74 68 |& Dept.\| of Math|
|00001b80| 65 6d 61 74 69 63 73 20 | 26 0a 20 20 20 20 20 20 |ematics |&.      |
|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 44 65 70 |        |     Dep|
|00001bc0| 74 2e 5c 20 6f 66 20 43 | 6f 6d 70 75 74 65 72 20 |t.\ of C|omputer |
|00001bd0| 53 63 69 65 6e 63 65 20 | 5c 5c 0a 31 34 35 35 20 |Science |\\.1455 |
|00001be0| 44 65 20 4d 61 69 73 6f | 6e 6e 65 75 76 65 20 42 |De Maiso|nneuve B|
|00001bf0| 6c 76 64 2e 5c 20 57 65 | 73 74 20 26 20 61 6e 64 |lvd.\ We|st & and|
|00001c00| 20 43 6f 6d 70 75 74 69 | 6e 67 20 53 63 69 65 6e | Computi|ng Scien|
|00001c10| 63 65 20 26 20 49 6f 77 | 61 20 43 69 74 79 20 5c |ce & Iow|a City \|
|00001c20| 5c 20 0a 4d 6f 6e 74 72 | 65 61 6c 2c 20 51 75 65 |\ .Montr|eal, Que|
|00001c30| 62 65 63 20 48 33 47 20 | 31 4d 38 20 26 20 53 74 |bec H3G |1M8 & St|
|00001c40| 69 72 6c 69 6e 67 2c 20 | 53 63 6f 74 6c 61 6e 64 |irling, |Scotland|
|00001c50| 2c 20 46 4b 39 20 34 4c | 41 20 26 20 20 49 41 20 |, FK9 4L|A &  IA |
|00001c60| 35 32 32 34 32 20 5c 5c | 0a 43 61 6e 61 64 61 20 |52242 \\|.Canada |
|00001c70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001c80| 20 20 26 20 47 72 65 61 | 74 20 42 72 69 74 61 69 |  & Grea|t Britai|
|00001c90| 6e 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |n       |        |
|00001ca0| 26 20 55 53 41 20 20 5c | 5c 0a 70 68 6f 6e 65 3a |& USA  \|\.phone:|
|00001cb0| 20 2b 20 31 20 35 31 34 | 20 38 34 38 33 30 32 32 | + 1 514| 8483022|
|00001cc0| 20 20 26 20 70 68 6f 6e | 65 3a 20 2b 20 34 34 20 |  & phon|e: + 44 |
|00001cd0| 37 38 36 20 37 33 31 37 | 31 20 20 20 20 20 26 20 |786 7317|1     & |
|00001ce0| 70 68 6f 6e 65 3a 20 2b | 20 31 20 33 31 39 20 33 |phone: +| 1 319 3|
|00001cf0| 33 35 30 37 34 32 20 5c | 5c 0a 66 61 78 20 3a 20 |350742 \|\.fax : |
|00001d00| 20 2b 20 31 20 35 31 34 | 20 38 34 38 32 38 33 30 | + 1 514| 8482830|
|00001d10| 20 20 26 20 66 61 78 20 | 3a 20 20 2b 20 34 34 20 |  & fax |:  + 44 |
|00001d20| 37 38 36 20 36 34 35 35 | 31 20 20 20 20 20 26 20 |786 6455|1     & |
|00001d30| 66 61 78 20 3a 20 20 2b | 20 31 20 33 31 39 20 33 |fax :  +| 1 319 3|
|00001d40| 33 35 30 36 32 37 20 5c | 5c 0a 65 2d 6d 61 69 6c |350627 \|\.e-mail|
|00001d50| 3a 20 61 6c 61 67 61 72 | 40 63 6f 6e 63 6f 75 72 |: alagar|@concour|
|00001d60| 2e 63 73 2e 63 6f 6e 63 | 6f 72 64 69 61 2e 63 61 |.cs.conc|ordia.ca|
|00001d70| 0a 26 20 65 2d 6d 61 69 | 6c 3a 20 63 72 40 63 73 |.& e-mai|l: cr@cs|
|00001d80| 2e 73 74 69 72 2e 61 63 | 2e 75 6b 20 26 20 65 2d |.stir.ac|.uk & e-|
|00001d90| 6d 61 69 6c 3a 20 72 75 | 73 40 63 73 2e 75 69 6f |mail: ru|s@cs.uio|
|00001da0| 77 61 2e 65 64 75 20 5c | 5c 0a 5c 65 6e 64 7b 74 |wa.edu \|\.\end{t|
|00001db0| 61 62 75 6c 61 72 7d 0a | 5c 65 6e 64 7b 63 65 6e |abular}.|\end{cen|
|00001dc0| 74 65 72 7d 0a 5c 65 6e | 64 7b 64 6f 63 75 6d 65 |ter}.\en|d{docume|
|00001dd0| 6e 74 7d 0a             |                         |nt}.    |        |
+--------+-------------------------+-------------------------+--------+--------+