To: distribution:@logic.tuwien.ac.at; (see end of body) Subject: kgs archive Date: Wed, 31 May 95 19:22:46 +0200 From: kgs@logic.tuwien.ac.at X-Mts: smtp Dear Member! The Kurt Goedel Society is pleased to offer an archive of papers for the following fields: Mathematics Logic Philosophy Physics History of Logic and Mathematics and thus asks for abstracts of papers in the above fields. This archive will be part of the WWW-server of the Kurt Goedel Society; the server can be accessed via the following address: http://logic.tuwien.ac.at/kgs/home.html and gives a lot of information concerning the society (e.g. the annoucement of the current lecture is given on this homepage). Because of the bounded recource on this server, the Kurt Goedel Society can not grant archives of full papers, but the possibility to submit an abstract with detailed address of the full paper. About the archive: This archive consists only of abstracts, but the address for the full papers is given within each abstract. This is of course only possible when the full paper can be obtained via FTP or equal means. Thus please don't forget to state the electronic address of your full paper. How to submit an abstract: To submit please mail the abstract in LaTex format and give at least your name, the title of the full paper and it's electronic address. The header of your mail should look like the following: TITLE: title of your paper AUTHOR: your name (surname at first, please) and/or email address and/or other things of intrest about you YEAR: date of publication ADDRESS: anonymous ftp address to get your full paper The archive is divided into the above categories therefore we kindly would ask you to use one of those categories preceded by the string "abstract:" as subject in your email. This would allow us to search effectively all the mail incoming to kgs. These files are transformed automatically into a list, which can either be used to view your submitted abstract or to get the full paper. %%% overflow headers %%% To: 047TGORD@witsvma.wits.ac.za, 100345.61@CompuServe.COM (Robert Goulding), A8121DAB@helios.edvz.univie.ac.at, ADRAGO@napoli.infn.it (Antonino Drago), AZZONI@IPV85.UNIPV.IT, Adrian_Lessenger@bcsmac.bcs.org, Andreas.R.Blass@um.cc.umich.edu, BOLDRIN@ladseb.pd.cnr.it (Luca Boldrin), CALVES@tscvm.bitnet, COWEN@qcvaxa.bitnet, CSWANEP@scinet.up.ac.za, Colin.Bailey@vuw.ac.nz, DIsles@Jade.Tufts.edu, DMorgan@frbkc.org, DUENTSCH@dosuni1.bitnet, Damjan.Bojadziev@ijs.si, David.Wolfram@prg.ox.ac.uk, David_Auerbach@ncsu.edu, Eivind.Kolflaath@fil.uib.no, G.Joly@cs.ucl.ac.uk, I.A.Stewart@swansea.ac.uk (Ian Stewart), I.Duentsch@ulst.ac.uk (Ivo Duentsch), Ilkka.Niemela@hut.fi, JHENLE@smith.smith.edu, James.e.baumgartner@dartmouth.edu, Jean.Goubault@frcl.bull.fr, John.Bacon@philosophy.su.edu.au, John.Harrison@cl.cam.ac.uk, KESTING@hermes1.econ.uni-hamburg.de (Peter Kesting), Kiselink@aol.com, LEER@fac.fbk.eur.nl (Ronald Lee), Lincoln.Wallen@prg.ox.ac.uk, MI026%mi.Uni-Koeln.De@ibm2.mi.uni-koeln.de, MLFLC@cunyvm.bitnet (Melvin Fitting), Mark.Grundy@cisr.anu.edu.au, Mark.vanAtten@phil.ruu.nl, Michal.Walicki@ii.uib.no (Michal Walicki), N.P.Bamber@bristol.ac.uk, Owre@csl.sri.com, Oyvind.Fredriksen@ii.uib.no (Oyvind Bolme Fredriksen), R.W.Kaye@bham.ac.uk (Richard Kaye), RISCH@GIA.UNIV-MRS.FR, RMUR@plpuam11.bitnet, RPG@computer-science.manchester.ac.uk (Rajeev Gore'), RUBIN@humnet.ucla.edu (Mark Rubin), Raoul.Vorch@irisa.fr, Reinhard.Kahle@mathematik.uni-muenchen.dbp.de, SBOFFA@bmsuem11.bitnet, SCHWIND@gia.univ-mrs.fr, SOCHOR@csearn.bitnet (Antonin Sochor), SOCHORJ@barbora.ms.mff.cuni.cz (Jan Sochor), STALLWOO_J@fisonspharm.co.uk (Jamie Stallwood), Sanjiva.Prasad@ecrc.de, Sara.Kalvala@cl.cam.ac.uk (Sara Kalvala), Tomi.Janhunen@hut.fi, U16447@uicvm.bitnet, VOJTAS@csearn.bitnet, Valeria.Paiva@cl.cam.ac.uk, WALDINGE@ai.sri.com, Wilfried.Buchholz@mathematik.uni-muenchen.dbp.de, WmB9728458@aol.com (P. Bailey), Y000086@aearn.bitnet, a6102dab@helios.edvz.univie.ac.at (Herbert Hrachovec), a6102gab@helios.edvz.univie.ac.at (Johannes Hafner), a6301gcj@helios.edvz.univie.ac.at (Eva Edle von Jettmar), a6301gck@helios.edvz.univie.ac.at (Johannes Lang), a8121daa@awiuni11.bitnet (Peter Telec), aa@math.tau.ac.il (Arnon Avron), adamek@math1.cvut.cs (Jiri Adamek), aki@cs.bu.edu, akman@trbilun.bitnet, akol@leon.nrcps.ariadne-t.gr (Angelos T Kolokouris), albert@logic.tuwien.ac.at, ale@logique.jussieu.fr (Alessandra Carbone), alk@think.com, allegra@cisr.anu.edu.au (Allegra B. Bencivenni), als@dcs.ed.ac.uk, alvaro@cee.hw.ac.uk, ambos@math.uni-heidelberg.de, amnell@klaava.helsinki.fi, amrhein@informatik.uni-tuebingen.de, andre@saul.cis.upenn.edu, anne@fwi.uva.nl (Anne Troelstra), araragi@cslab.kecl.ntt.jp, ardm@sun1.mfo.uni-freiburg.de (A.R.D. Mathias), arrondo@mat.ucm.es, art@log.mian.su, ashoka@garnet.concordia.ca, avigad@math.berkeley.edu, azriel@math.huji.ac.il, baaz@logic.tuwien.ac.at (Matthias Baaz), barba@di.unito.it, beckert@ira.uka.de, beeson@cats.ucsc.edu, berardu@dm.unipi.it (Alessandro Berarducci), berline@logique.jussieu.fr, bflanagn@blue.weeg.uiowa.edu, bhodgson@vm1.ulaval.ca, bibel@intellektik.informatik.th-darmstadt.de (Wolfgang Bibel), biundo@dfki.uni-sb.de, blair@top.cis.syr.edu (Howard A Blair), blccvn01@iuav.unive.it (Blecic Ivan), boerger@di.unipi.it (Egon Boerger), bon@ccsom.nl, bonacina@cs.uiowa.edu (Maria Paola Bonacina), boolos@athena.mit.edu (George Boolos), boris.culina@x400.srce.hr (Boris Culina), bouhoula@loria.loria.fr, breusch@students.wisc.edu (Beatrice Reusch), brewka@vexpert.dbai.tuwien.ac.at, brzoska@ira.uka.de (Christoph Brzoska) %%% end overflow headers %%%