Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 3 Feb 1995 17:15:24 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA08714; Fri, 3 Feb 1995 09:51:57 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA08695; Fri, 3 Feb 1995 09:51:02 -0700 Received: from infko.uni-koblenz.de ([141.26.4.1]) by dworshak.cs.uidaho.edu (8.6.9/1.0) with ESMTP id IAA15857 for ; Fri, 3 Feb 1995 08:47:36 -0800 Received: from verdi.uni-koblenz.de (tab95@verdi.uni-koblenz.de [141.26.4.25]) by infko.uni-koblenz.de (8.6.9/8.6.9) with SMTP id RAA11509; Fri, 3 Feb 1995 17:09:01 +0100 From: Tableaux Workshop 95 Message-Id: <199502031609.RAA11509@infko.uni-koblenz.de> Received: by verdi.uni-koblenz.de (4.1/KO-2.0) id AA25410; Fri, 3 Feb 95 17:09:31 +0100 Date: Fri, 3 Feb 95 17:09:31 +0100 To: fg121@inferenzsysteme.informatik.th-darmstadt.de, rewriting-list@lorraine.loria.fr, theorem-provers@mc.lcs.mit.edu, deduktion@intellektik.informatik.th-darmstadt.de, kgs@csdec1.tuwien.ac.at, aal@anu.edu.au, isabelle-users@cl.cam.ac.uk, info-hol@cs.uidaho.edu, nqthm-users@cli.com, howe@research.att.com, marek@ms.uky.edu, clp@cis.ohio-state.edu Subject: Call For Participation: Tableaux Workshop 95 Organization: University of Koblenz, Germany [A LaTeX version of this announcement is included below. Postscript and HTML versions are available through the WWW page at http://www.uni-koblenz.de/~tab95/CallForParticipation.html This page also contains an interactive WWW registration form.] preliminary Call for Participation and Registration form Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods May 7-10 1995 Schloss-Hotel, castle Rheinfels, St. Goar am Rhein, Germany This workshop is a continuation of workshops on the same topic held in Lautenbach near Karlsruhe (1992), Marseille (1993), and Abingdon near Oxford (1994). Each had a wide international participation. Scope of the Workshop --------------------- The workshop intends to bring together researchers interested in the mechanisation of reasoning with tableaux and related systems (analytic tableaux, model elimination, connection method, sequent calculi). Covered are theoretical aspects of classical and non-classical logics, as well as topics related to practical implementations. Conference Site --------------- The conference will be held in Germany at the Schloss-Hotel Rheinfels in St. Goar, a small town founded in 1264 in the scenic Rhine valley nearby the Loreley. The hotel is attached to the castle Rheinfels, which was built in the mid-16th century for defending the town of St. Goar. Transport --------- St. Goar can be easily reached by train. The trip from Frankfurt International Airport takes about 90 minutes and trains run on the hour. A timetable will be sent together with the registration confirmation. Invited speakers ---------------- - Wolfgang Bibel, Technische Universitat Darmstadt, Germany - Ricardo Caferra, LIFIA-IMAG, Grenoble, France Registration ------------ o The registration fee is DM 260 (approx. US$ 156) for early registration, to be paid in advance before March, 15, 1995. The late registration fee is DM 350 (approx. US$ 210). The registration fee includes: admission to the entire conference program including technical sessions and poster sessions, the conference dinner, and a copy of the proceedings (Springer LNAI) of the conference. o Accomodation will be about DM 160,-- (approx. US$ 100) per person and day, including all meals and coffee breaks. The exact amount depends on the number of participants. Accomodation is to be paid on site. o The rooms are assigned on a first-come-first-served basis. In case the conference site accomodation capabilities are exhausted we will reserve rooms in a hotel within walking distance. o We will be able to give a reduction on the registration fee and accomodation to a limited number of students and colleagues from Eastern Europe. Applicants should contact the registration address (see below). o For registration please either use the registration form at the WWW page accessible through http://www.uni-koblenz.de/~tab95/CallForParticipation.html or the registration form included below. Program Committee ----------------- Peter Baumgartner, Univ. of Koblenz, Germany Krysia Broda, Imperial College London, U.K. Marcello D'Agostino,Imperial College London, U.K. Melvin Fitting, CUNY, New York City, U.S.A. Ulrich Furbach, Univ. of Koblenz, Germany Dov Gabbay, Imperial College London, U.K. Rajeev Gore', Australian National University, Australia Jean Goubault, Bull Research Paris, France Reiner H"ahnle, Univ. of Karlsruhe, Germany Ryuzo Hasegawa, ICOT, Tokyo, Japan Rob Johnson, Manchester Metrop. Univ., U.K. Thomas K"aufl, Univ. of Karlsruhe, Germany Reinhold Letz, Technical Univ. of Munich, Germany Neil Murray, SUNY at Albany, U.S.A. Ugo Moscato, Univ. of Milano, Italy Joachim Posegga, Univ. of Karlsruhe, Germany Peter Schmitt, Univ. of Karlsruhe, Germany Camilla Schwind, LIM-CNRS, Univ. of Marseille, France Graham Wrightson, Univ. of Newcastle, Australia Organising Committee -------------------- Peter Baumgartner, Univ. of Koblenz, Germany Ulrich Furbach, Univ. of Koblenz, Germany Reiner H"ahnle, Univ. of Karlsruhe, Germany Joachim Posegga, Univ. of Karlsruhe, Germany Local arrangements and registration address ------------------------------------------- Ulrich Furbach Computer Science Institute University of Koblenz Rheinau 1 56075 Koblenz, Germany Fax: ++ 49 261 9119 499 Phone: ++ 49 261 9119 433 E-mail: tab95@informatik.uni-koblenz.de Programme (preliminary -- no time table yet) ------------------------------------------- Beginning of Conference: Monday, May, 8, 9 am End of Conference: Wednesday, May, 10, noon That is, arrival is recommended at Sunday, May, 7. Social events: - Conference dinner, medieval style, at Monday evening. - Guided tour through the medieval castle. Invited talks will be given by Wolfgang Bibel (Technische Universitat Darmstadt) and Ricardo Caferra (LIFIA-IMAG, Grenoble, France); a banquet speech will be held. We will have 21 talks presenting full papers and 4 talks presenting short papers. Additionally, we will organize a poster session. Full papers to be presented: -------------------------------------------- Matthias Baaz and Christian G. Fermueller: Nonelementary Speedups between Different Versions of Tableaux Peter Baumgartner and Frieder Stolzenburg: Constraint Model Elimination and a PTTP-Implementation Stephane Demri: Using Connection Method in Modal Logics: Some dvantages Guido Governatori: Labelled Tableaux for Multi-Modal Logics Philippe de Groote: Linear Logic with Isabelle: Pruning the Proof Search Tree Alain Heuerding, Gerhard Jaeger, Stefan Schwendimann and Michael Seyfried: Propositional Logics on the Computer Joerg Hudelmaier and Peter Schroeder-Heister: Classical Lambek Logic Stefan Klingenbeck: Generating Finite Counter Examples with Semantic Tableaux Eric de Kogel: Rigid E-Unification Simplified Michael Kohlhase: Higher-Order Tableaux Jan Komara and Paul J. Voda: Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. Klaus Mayr: Link Deletion in Model Elimination Robert K. Meyer, Michael A. McRobbie and Nuel D. Belnap, Jr: Linear analytic tableaux Ugo Moscato: Refutation systems for propositional modal logics. Gerd Neugebauer and Uwe Petermann: Specification of Inference Rules and their Automatic Translation Ingrid Neumann: Semantic Tableaux for Inheritance Nets Jens Otten and Christoph Kreitz: A Connection Based Proof Method for Intuitionistic Logic Jeremy Pitt: MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool Stephan Schmitt and Christoph Kreitz: On Transforming Intuitionistic Matrix Proofs into Standard Sequent Proofs Johann Schumann: Using the Theorem Prover SETHEO for verifying the development of a Communication Protocol in FOCUS --- a case study --- Judith Underwood: Tableau for Intuitionistic Predicate Logic as Metatheory Short papers to be presented: ----------------------------- Peter B. Andrews: An Example of Proof Search in TPS: A Theorem Proving System for Classical Type Theory. Didier Galmiche and Jean-Yves Marion: Semantic Proof Search Methods for ALL --- A First Approach --- Rajeev Gore: Intuitionistic Logic Redisplayed. N. Murray, A. Ramesh and E. Rosenthal: Semi-Resolution: An Inference Rule and its Application to Prime Implicate Problems. Posters to be presented: ------------------------ Robert Johnson: Communicating Agents for Concurrent Temporal Tableaux. Paula Gouveia and Cristina Sernadas: Abduction in Object Specification using Tableaux. Krysia Broda and Marcelo Finger: The KE-tableau Method applied to Linear Logic Theorem Proving. J. M. Coldwell and Graham Wrightson: Link Inheritance in Tableaux. Kevin Wallace and Graham Wrightson: Truncation Techniques in First-Order Clausal Tableaux. Anatoli Degtyarev and Andrei Voronkov: Equality elimination for semantic tableaux. Daniel S. Korn and Christoph Kreitz: On Testing Irreflexivity of Reduction Orderings for Combined Substitutions in Intuitionistic Matrix Proofs. Roderick A. Girle: Tableau for Ternary Semantics. A. Gavilanes, J. Leach and S. Nieva: Reasoning with Preorders using Free Variable Semantic Tableaux. ------- end of list ---------------------------------------------------- Workshop sponsors: ----------------- Deutsche Forschungsgemeinschaft (DFG), University of Karlsruhe, University of Koblenz, Gesellschaft fuer Informatik (GI), Ministry of Trade and Commerce Rheinland-Pfalz. Registration Form ----------------- -------------------------------- cut here ------------------------------ Conference and Accomodation Registration form for T A B L E A U X - 9 5 To be returned to the REGISTRATION ADDRESS: Ulrich Furbach, Computer Science Institute, University of Koblenz, Rheinau 1, 56075 Koblenz, Germany, E-mail: tab95@informatik.uni-koblenz.de Personal Information: Family name: ................................ First name: .............. Affiliation: ........................................................... ........................................................... Address: ........................................................... ........................................................... ........................................................... E-mail: ........................................................... Tel.: .......................... Fax.: .......................... Accompanying person(s): ................................................ Accomodation: My arrival date will be: ............................................. My departure date will be: ............................................. Please reserve for me: First choice accomodation type: ..... single room(s) ..... double room(s) to be shared with ........................................................... Second choice accomodation type: ..... single room(s) ..... double room(s) to be shared with ........................................................... Special dietary requirements: None [ ] Vegetarian [ ] Kosher [ ] Registration fee payment ------------------------ DM 260 -- early (i.e. before March 15), DM 350 --late. Please tick one: [ ] Payment by credit card: Credit Card Company: Eurocard/Mastercard [ ] (tick one) VISA [ ] American Express [ ] Cardholders Name: ................................................... Credit card number: ................................................... Expiration date: ................................................... [ ] Payment by cheque in German currency (DM) drawn on a German bank; please make cheques payable to "Ulrich Furbach, Tableau-Workshop", indicate your name and return it to the registration address. IMPORTANT NOTE: all extra fees emerging from cheque payment must be covered by the applicant! [ ] Payment by money order in German currency (DM) to this bank account: Bank: Sparkasse Koblenz Bank Code 57050120 (Bankleitzahl) Account Holder: Ulrich Furbach, Tableau-Workshop Account: 41003518 IMPORTANT NOTE: all extra fees emerging from money order payment must be covered by the applicant! Signature --------- .................. .............................. Date Signature For any administrative queries regarding registration or bookings please contact Ulrich Furbach, E-mail: tab95@informatik.uni-koblenz.de Tel: +49-(0)261-9119-426 Fax: +49-(0)261-9119-499 ------------- cut here --------------------------- %%%% LaTeX version follows: \documentstyle[11pt]{article} \pagestyle{empty} \nonstopmode\parindent=0pt\parskip=0pt\topsep=0pt\itemsep=0pt \textheight=660pt\textwidth=470pt\topmargin=0pt \oddsidemargin=0pt\evensidemargin=0pt\abovedisplayskip=0pt \belowdisplayskip=0pt\leftmargin=.4cm \begin{document} \vspace*{-1cm} \begin{quote} \small Postscript and HTML versions of this call for participation are available through the WWW page at \verb|http://www.uni-koblenz.de/~tab95/CallForParticipation.html| This page also contains an interactive WWW registration form. \end{quote} \begin{center} {preliminary}\\[5mm] {\large\bf Call for Participation and \\ Registration form}\\[5mm] {\Large\bf Fourth Workshop on\\[2mm] \Large\bf Theorem Proving with Analytic Tableaux \\[2mm] \Large\bf and Related Methods\\[5mm]{\bf May 7--10 1995}}\\[5mm] Schlo{\ss}-Hotel, castle ``Rheinfels'', St.~Goar am Rhein, Germany \end{center} This workshop is a continuation of workshops on the same topic held in Lautenbach near Karlsruhe (1992), Marseille (1993), and Abingdon near Oxford (1994). Each had a wide international participation. \subsection*{Scope of the Workshop} The workshop intends to bring together researchers interested in the mechanisation of reasoning with tableaux and related systems (analytic tableaux, model elimination, connection method, sequent calculi). Covered are theoretical aspects of classical and non-classical logics, as well as topics related to practical implementations. \subsection*{Conference Site} The conference will be held in Germany at the Schlo{\ss}-Hotel Rheinfels in St.~Goar, a small town founded in 1264 in the scenic Rhine valley nearby the Loreley. The hotel is attached to the castle Rheinfels, which was built in the mid-$16^{\mbox{th}}$ century for defending the town of St.~Goar. \subsection*{Transport} St.~Goar can be easily reached by train. The trip from Frankfurt International Airport takes about 90 minutes and trains run on the hour. A timetable will be sent together with the registration confirmation. \subsection*{Registration} \begin{itemize} \item The registration fee is DM 260 (approx. US\$ 156) for early registration, to be paid in advance before March, 15, 1995. The late registration fee is DM 350 (approx. US\$ 210). The registration fee includes: admission to the entire conference program, including technical sessions and poster sessions, the conference dinner, and a copy of the proceedings (Springer LNAI) of the conference. \item Accomodation will be about DM 160,-- (approx. US\$ 100) per person and day, including all meals and coffee breaks. The exact amount depends on the number of participants. Accomodation is to be paid on site. \item The rooms are assigned on a first-come-first-served basis. In case the conference site accomodation capabilities are exhausted we will reserve rooms in a hotel within walking distance. \item We will be able to give a reduction on the registration fee and accomodation to a limited number of students and colleagues from Eastern Europe. Applicants should contact the registration address (see below). \item For registration please either use the registration form at the WWW page accessible through \\ \verb|http://www.uni-koblenz.de/~tab95/CallForParticipation.html| or the registration form included below. \end{itemize} \subsection*{Invited speakers} Wolfgang Bibel, Technische Universit\"{a}t Darmstadt, Germany \\ Ricardo Caferra, LIFIA-IMAG, Grenoble, France \subsection*{Program Committee} \begin{tabular}{@{}p{8cm}p{8cm}@{}} Peter Baumgartner, Univ.~of Koblenz, Germany & Krysia Broda, Imperial College London, U.K.\\ Marcello D'Agostino, \flushright Imperial College London, U.K. & Melvin Fitting, CUNY, New York City, U.S.A.\\ Ulrich Furbach, Univ.~of Koblenz, Germany & Dov Gabbay, Imperial College London, U.K.\\ Rajeev Gor\'e, \flushright Australian National University, Australia & Jean Goubault, Bull Research Paris, France\\ Reiner H\"ahnle, Univ.~of Karlsruhe, Germany & Ryuzo Hasegawa, ICOT, Tokyo, Japan\\ Rob Johnson, Manchester Metrop.~Univ., U.K. & Thomas K\"aufl, Univ.~of Karlsruhe, Germany\\ Reinhold Letz,\flushright Technical Univ.~of Munich, Germany & Neil Murray, SUNY at Albany, U.S.A. \\ Ugo Moscato, Univ.~of Milano, Italy & Joachim Posegga, Univ.~of Karlsruhe, Germany\\ Peter Schmitt, Univ.~of Karlsruhe, Germany & Camilla Schwind,{\flushright \mbox{}\hfill LIM-CNRS, Univ.~of Marseille, France}\\ Graham Wrightson,\flushright Univ.~of Newcastle, Australia &\\ \end{tabular} \subsection*{Organising Committee} \begin{tabular}{@{}p{8cm}p{8cm}@{}} Peter Baumgartner, Univ.~of Koblenz, Germany & Ulrich Furbach, Univ.~of Koblenz, Germany\\ Reiner H\"ahnle, Univ.~of Karlsruhe, Germany & Joachim Posegga, Univ.~of Karlsruhe, Germany \end{tabular} \subsection*{Local arrangements and registration address} \parbox[t]{8cm}{% {\bf Ulrich Furbach} \\ Computer Science Institute\\ University of Koblenz\\ Rheinau 1\\ 56075 Koblenz, Germany} \parbox[t]{7cm}{% Fax: ${\scriptstyle ++}49-261-9119-499$\\ Phone:\,${\scriptstyle ++}49-261-9119-433$\\ E-mail: {\tt tab95}@{\tt informatik.uni-koblenz.de}} \newpage \section*{Programme} Preliminary --- no time table yet. \begin{description} \item[\em Beginning of Conference:] Monday,~May,~8,~9~am \item[\em End of Conference:] Wednesday,~May,~10,~noon\\ That is, arrival is recommended at Sunday, May, 7. \item[\em Social events:] Conference dinner, medieval style, at Monday evening.\\ Guided tour through the medieval castle. \item[\em Invited talks] will be given by Wolfgang Bibel (Technische Universitat Darmstadt, Germany) and Ricardo Caferra (LIFIA-IMAG, Grenoble, France); a banquet speech will be held. \end{description} We will have 21 talks presenting full papers and 4 talks presenting short papers. Additionally, we will organize a poster session. \subsection*{Full papers to be presented:} \begin{description} \item[\rm Matthias Baaz and Christian G.~Ferm\"{u}ller:] Nonelementary Speedups between Different Versions of Tableaux. \item[\rm Peter Baumgartner and Frieder Stolzenburg:] Constraint Model Elimination and a {PTTP}-Implementation. \item[\rm St\'{e}phane Demri:] Using Connection Method in Modal Logics: Some dvantages. \item[\rm Guido Governatori:] Labelled Tableaux for Multi-Modal Logics. \item[\rm Philippe de Groote:] Linear Logic with {I}sabelle: Pruning the Proof Search Tree. \item[\rm Alain Heuerding, Gerhard J\"{a}ger, Stefan Schwendimann and Michael Seyfried:] Pro\-po\-si\-tio\-nal Logics on the Computer. \item[\rm J\"{o}rg Hudelmaier and Peter Schroeder-Heister:] Classical {L}ambek Logic. \item[\rm Stefan Klingenbeck:] Generating Finite Counter Examples with Semantic Tableaux. \item[\rm Eric de Kogel:] Rigid $E$-Unification Simplified. \item[\rm Michael Kohlhase:] Higher-Order Tableaux. \item[\rm J\'{a}n Komara and Paul J.~Voda: ] Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. \item[\rm Klaus Mayr: ] Link Deletion in Model Elimination. \item[\rm Robert K. Meyer, Michael A. McRobbie and Nuel D. Belnap, Jr: ] Linear analytic tab\-le\-aux. \item[\rm Ugo Moscato:] Refutation systems for propositional modal logics. \item[\rm Gerd Neugebauer and Uwe Petermann: ] Specification of Inference Rules and their Automatic Translation. \item[\rm Ingrid Neumann: ] Semantic Tableaux for Inheritance Nets. \item[\rm Jens Otten and Christoph Kreitz: ] A Connection Based Proof Method for Intuitionistic Logic. \item[\rm Jeremy Pitt: ] Mac{KE}: Yet Another Proof Assistant \& Automated Pedagogic Tool. \item[\rm Stephan Schmitt and Christoph Kreitz: ] On Transforming Intuitionistic Matrix Proofs into Standard Sequent Proofs. \item[\rm Johann Schumann: ] Using the Theorem Prover {SETHEO} for verifying the development of a Communication Protocol in {FOCUS} --- a case study --- \item[\rm Judith Underwood: ] Tableau for Intuitionistic Predicate Logic as Metatheory. \end{description} \subsection*{Short papers to be presented:} {\parsep=0pt \begin{description} \item[\rm Peter B.~Andrews: ] An Example of Proof Search in {TPS}: A Theorem Proving System for Classical Type Theory. \item[\rm Didier Galmiche and Jean-Yves Marion: ] Semantic Proof Search Methods for {ALL} --- A First Approach --- \item[\rm Rajeev Gor\'{e}: ] Intuitionistic Logic Redisplayed. \item[\rm N.\ Murray, A.\ Ramesh and E.\ Rosenthal: ] Semi-Resolution: An Inference Rule and its Application to Prime Implicate Problems. \end{description} } \subsection*{Posters to be presented:} {\em Robert Johnson:} Communicating Agents for Concurrent Temporal Tableaux. {\em Paula Gouveia and Cristina Sernadas:} Abduction in Object Specification using Tableaux. {\em Krysia Broda and Marcelo Finger:} The {KE}-tableau Method applied to Linear Logic Theorem Proving. {\em J.~M.~Coldwell and Graham Wrightson:} Link Inheritance in Tableaux. {\em Kevin Wallace and Graham Wrightson:} Truncation Techniques in First-Order Clausal Tableaux. {\em Anatoli Degtyarev and Andrei Voronkov:} Equality elimination for semantic tableaux. {\em Daniel S.~Korn and Christoph Kreitz:} On Testing Irreflexivity of Reduction Orderings for Combined Substitutions in Intuitionistic Matrix Proofs. {\em Roderick A.~Girle:} Tableau for Ternary Semantics. {\em A.~Gavilanes, J.~Leach and S.~Nieva:} Reasoning with Preorders using Free Variable Semantic Tableaux. \vfill \begin{center} {\bf Workshop sponsors:} \\Deutsche Forschungsgemeinschaft (DFG), University of Karlsruhe, University of Koblenz, Gesellschaft f\"ur Informatik (GI), Ministry of Trade and Commerce Rheinland-Pfalz. \end{center} \newpage \begin{center} \Large\bf Conference and Accomodation Registration form for T~A~B~L~E~A~U~X~-~9~5 \end{center} \medskip To be returned to the {\bf registration address}: Ulrich Furbach, Computer Science Institute, University of Koblenz, Rheinau 1, 56075 Koblenz, Germany. \subsection*{Personal Information:} \begin{verbatim} Family name: ................................ First name: .............. Affiliation: ........................................................... ........................................................... Address: ........................................................... ........................................................... ........................................................... E-mail: ........................................................... Tel.: .......................... Fax.: .......................... Accompanying person(s): ................................................ \end{verbatim} \subsection*{Accommodation} \begin{verbatim} My arrival date will be: ............................................. My departure date will be: ............................................. Please reserve for me: First choice accomodation type: ..... single room(s) ..... double room(s) to be shared with ........................................................... Second choice accomodation type: ..... single room(s) ..... double room(s) to be shared with ........................................................... Special dietary requirements: None [ ] Vegetarian [ ] Kosher [ ] \end{verbatim} \subsection*{Registration fee payment} DM 260 -- early (i.e. before March 15), DM 350 -- late. Please tick one:\\ \begin{verbatim} [ ] Payment by credit card: Credit Card Company: Eurocard/Mastercard [ ] (tick one) VISA [ ] American Express [ ] Cardholders Name: ................................................... Credit card number: ................................................... Expiration date: ................................................... [ ] Payment by cheque in German currency (DM) drawn on a German bank; please make cheques payable to "Ulrich Furbach, Tableau-Workshop", indicate your name and return it to the registration address. IMPORTANT NOTE: all extra fees emerging from cheque payment must be covered by the applicant! [ ] Money order in German currency (DM) to this bank account: Bank: Sparkasse Koblenz Bank Code 57050120 (Bankleitzahl) Account Holder: Ulrich Furbach, Tableau-Workshop Account: 41003518 IMPORTANT NOTE: all extra fees emerging from money order payment must be covered by the applicant! \end{verbatim} \subsection*{Signature} \begin{verbatim} .................. .............................. Date Signature \end{verbatim} \vfill For any administrative queries regarding registration or bookings please contact U. Furbach, E-mail: \verb|tab95@informatik.uni-koblenz.de|, Tel: \verb|+49-(0)261-9119-426|, Fax: \verb|+49-(0)261-9119-499| \end{document}