AMAST Mail 1998
[Prev][Next][Index]

Second Call for Participation TABLEAUX'98

Second Call for Participation for

 
                                 TABLEAUX'98 
 
    International Conference on Analytic Tableaux and Related Methods 
 
          Conference Centre Boschoord, Oisterwijk (near Tilburg), 
                               the Netherlands 
 
                               May 5 - 8, 1998 
 
 
Notice that the reduced registration fee applies when paid 
before April 1, 1998 !!! 

The final program schedule is available at the following URL:
http://cwis.kub.nl/~fsw_2/fww/home/swart/program.htm 

An electronic registration form is available at the URL:
http://cwis.kub.nl/~fsw_2/fww/home/swart/reg_form.htm
 
Information about participation and registration, the conference, the 
topics, the scientific program, the program committee, the conference 
site, the transport and the sponsors can be found below and/or at 
URL: http://cwis.kub.nl/~fsw_2/fww/tab98.htm


SCIENTIFIC PROGRAM 

INVITED TALKS: 
N.G. de Bruijn, Philosophical Aspects of Computerized Verification of 
                Mathematics.
A. Bundy, A Science of Reasoning.
E. Clarke, Model Checking: Historical Perspective and Example.

TUTORIALS: 
Geert Janssen, Implementation of Propositional Temporal Logics using 
               BDDs.            
Jan Komara and Paul Voda, Computer Programming as Mathematics in a 
               Programming Language and Proof System CL.  

ACCEPTED PAPERS FOR TABLEAUX 98 
 
COMPARISON of Theorem Provers for Modal Logics: 
Peter Balsiger and Alain Heuerding,   Introduction and Summary.
- Ian Horrocks and Peter F. Patel-Schneider, FaCT and DLP; 
- Michel Levy, Prover KT4;
- Bernhard Beckert and Rajeev Gore, LeanK 2.0;
- Peter Balsiger, Alain Heuerding and Stefan Schwendimann,      
  Logics Workbench 1.0;
- Ullrich Hustadt, Renate A. Schmidt and Christoph Weidenbach,      
  Optimised functional translation and resolution;
- Jeremy Pitt, Benchmark Evaluation of []KE.  

RESEARCH PAPERS (A) and SYSTEM DESCRIPTIONS (B): 
- Matteo Baldoni & Laura Giordano & Alberto Martelli, A Tableau 
     Calculus for Multimodal Logics and some (Un)decidability 
     Results. (A)            
- Peter Baumgartner, Hyper Tableaux - The Next Generation. (A)        
- Bernhard Beckert and Dov Gabbay, Fibring Semantic Tableaux. (A)  
- Bernhard Beckert & Ulrike Hartmer, A Tableau Calculus for 
     Quantifier-free Set Theoretic Formulae. (A) 
- Howard Bowman and Simon Thompson, A Tableau Method for 
     Interval Temporal Logic with Projection. (A) 
- Serenella Cerrito and Marta Cialdea Mayer, Bounded Model Search in 
     Linear Temporal Logic and its Application to Planning. (A) 
- Uwe Egly and Hans Tompits, On Proof Complexity of Circumscription. 
     (A)            
- Christian G. Fermueller & Herbert Langsteiner, Tableaux for   
     finite-valued logics with arbitrary distribution           
     modalities. (A)            
- Reiner Haehnle & Neil V. Murray & Erik Rosenthal, Some Remarks on   
     Completeness, Connection Graph Resolution and Link Deletion. (A) 
- Ian Horrocks, The FaCT System. (B)            
- Ullrich Hustadt and Renate A. Schmidt, Simplification and      
     backjumping in modal tableau. (A)            
- P.J. Martin & A. Gavilanes & J. Leach, Free Variable Tableaux for a 
     Logic with Term Declarations. (A)            
- Fabio Massacci, Simplification; A general constraints propagation   
     technique for propositional and modal tableaux. (A) 
- Christof Monz and Maarten de Rijke, A Tableaux Calculus for      
     Ambiguous Quantification. (A)       
- Sara Negri & Jan von Plato, From Kripke Models to Algebraic      
     Counter-valuations. (A)            
- Stephan Schmitt & Christoph Kreitz , Deleting Redundancy in Proof   
     Reconstruction. (A)            
- Stefan Schwendimann, A New (One-Pass) Tableau Calculus for PLTL.    
    (A)            
- Christian Urban, Implementation of Proof Search in the Imperative   
     Programming Language Pizza. (B)            
- Klaus Weich, Decision Procedures for Intuitionistic Logic by      
     Program Extraction. (A)            
- Andreas Wolf, P-SETHEO: Strategy Parallelism in Automated Theorem   
     Proving. (B)       

POSITION PAPERS: 
- Alessandro Avellone & Mauro Ferrari & Pierangelo Miglioli & Ugo 
     Moscato, A tableau calculus and a cut-free sequent calculus for 
     Dummett predicate logic.            
- Marcos A. Castilho & Luis Farinas del Cerro & Olivier Gasquet & 
     Andreas Herzig, Modal Tableaux with Propagation Rules and 
     Structural Rules.            
- Dov M. Gabbay & Guido Governatori, Fibred Modal Tableaux.           
- Reinhard Muskens, Sequent Calculi and Free Variable Tableaux for 
     Non-Bivalent Logics. 
- Sanjai Rayadurgam & Duminda Wijesekara & Mats Heimdahl, Using 
     Binary Decision Diagrams to Discover Functional Dependencies and 
     Independencies.            
- Benjamin Shults, Comprehension Schemata in Tableaux.            
- George Tagviashvili, The Tableaux Method with Propositional 
     Constant Substitutions.  


PRELIMINARY PROGRAM 
 
Arrival Monday, May 4, 1998, 2.00-10.00 pm; cold buffet 7.00 pm. 
Beginning of Conference: Tuesday, May 5, 1998, 9.00 am. 
End of Conference: Friday, May 8, 1998 at noon.
 
The program consists of:
      3 invited talks;
      2 tutorials;
      a comparison of theorem provers for modal propositional logics;
      17 talks presenting original research papers (category A);
      3 talks presenting original system descriptions (category B);
      7 talks presenting position papers. 
 
 
CALL FOR PARTICIPATION and REGISTRATION  

REGISTRATION AND ACCOMMODATION 
 
                  Before April 1, 1998    After April 1, 1998 

Registration fee        Dfl 375                Dfl 450                
Accommodation fee       Dfl 500                Dfl 500

The registration fee includes the admission to the entire conference 
program, the tutorials, a copy of the Proceedings of the conference 
in the LNAI series of Springer, tea or coffee in the breaks, the 
welcome cold buffet and the conference dinner. 
 
The accommodation fee includes 4 nights from Monday till Friday, 
breakfasts, lunches and dinners. Drinks are not included. 
 
REGISTRATION FORM

There is an electronic registration form at URL:

http://cwis.kub.nl/~fsw_2/fww/home/swart/reg_form.htm 
 
One can also use the form below and return it to the conference 
chair.

PERSONAL INFORMATION:
Family name:
First name:
Affiliation:
Address:
e-mail:
tel.no:
fax no:

ACCOMMODATION:
arrival time: 
departure time:
single room:
double room:             (to be shared with:                )
dietary requirements: 

PAYMENT:
Payment in Dutch guilders can be made as follows;
Please tick the appropriate box:
[ ] Giro 2377637 (Postbank, the Netherlands) of "Stichting KUB", P.O. 
    Box 90153, NL 5000 LE, Tilburg, mentioning FWW - Tableaux'98;
[ ] Eurocheque on behalf of Stichting KUB, FWW, Tableaux'98, to be 
    sent to the program chair.


OTHER INFORMATION 
 
Conference site 
 
The city of TILBURG: 
 
Tilburg is a medium-sized modern town with around 183,000 inhabitants 
in the south of the Netherlands close to the Belgian border. The city 
grew out of a few small villages that specialized in textile in the 
past. Nowadays a variety of industrial activities replaced the 
textile industry and the town also developed a strong educational 
sector.  Tilburg is located in between the harbours of Rotterdam and 
Antwerp and in between the capitals AMSTERDAM and BRUSSELS. The 
culture is both businesslike and relaxed. Tilburg has interesting 
museums such as the famous museum of modern art `De Pont', the
Netherlands Textile museum and the `Natuurmuseum'. The town offers a 
wide variety of restaurants, theaters and bars. It has beautiful 
surroundings with protected nature areas such as the little lakes in 
Oisterwijk, the Kampina heath and the inland dunes of Drunen. 
 
The village of OISTERWIJK: 
 
The conference centre Boschoord is located in Oisterwijk, a 
residential but lively village, only a few kilometers from Tilburg
and easily accessible by train, bus and car. The conference centre, 
open since 1993, is next to a special scenic area with lakes
and woods offering excellent opportunities for walking and cycling. 
 

TRANSPORT 
 
Because of reduced air-fares over the weekend, it may be interesting 
to combine your conference visit with a weekend in Amsterdam, for 
instance.  

TRAINS: Oisterwijk is a nice village near Tilburg, along the railway 
from Tilburg to Eindhoven. From Tilburg Central Station, not Tilburg 
West, it is the first stop, from Eindhoven it is the fourth stop. To 
reach Oisterwijk from Tilburg or Eindhoven you have to take a 
stoptrain (in Dutch: stoptrein).  For travelling to Tilburg or 
Eindhoven take an intercity or fast train (sneltrein); and do not 
take a stoptrain. Stoptrains to Oisterwijk leave Tilburg and 
Eindhoven at least once every hour; at rush hours twice every hour. 
 
FROM SCHIPHOL (Amsterdam Airport) (2 hours): 
Schiphol - Amsterdam CS - Utrecht - 's-Hertogenbosch - Tilburg - 
Oisterwijk; you have to change trains in Amsterdam CS (go to platform 
2), in 's-Hertogenbosch (wait a few minutes at the same platform) and 
in Tilburg.
OR
Schiphol - Den Haag (the Hague) - Rotterdam - Dordrecht - Breda - 
Tilburg - Oisterwijk; you will have to change trains several times 
depending of the time.  

FROM ZAVENTEM (Brussels Airport) (2 hours):
Zaventem - Brussels Nord - Antwerpen (Anvers) - Roosendaal - Breda - 
Tilburg - Oisterwijk; you have to change trains in Brussels Nord, 
Roosendaal and Tilburg, maybe also in Antwerpen.  

FROM KO"LN (2 hours):
Ko"ln - Venlo - Eindhoven - Oisterwijk; you have to take a stoptrain 
in Eindhoven. 
 
IN OISTERWIJK:
At the railway station you can take a "treintaxi"; if you leave the 
railway station, the treintaxi-stop is a bit to the left. If there is
no taxi there, you should push a button to contact the taxi company. 
Treintaxi tickets cost 7 guilders and should be bought TOGETHER with 
your train ticket! It is also possible to walk from the railway 
station to the conference centre; it takes about 20 minutes: Leaving 
the railway station enter the street just ahead of you: 
Stationstraat.  At the end turn left: de Lind. At the end of the 
Lind, before the church, turn right: Gemullehoekenweg. From now on, 
it is a 15 minutes walk to Conference Centre Boschoord at 
Gemullehoekenweg 143.  
 

SPONSORS and Scientific supports 
 
Department of Philosophy of Tilburg University, the Netherlands 
SUN Microsystems Nederland B.V.
PTT Telecom
Compulog
the Dutch Graduate School in Logic
the Dutch Academy of Sciences 
the research group "Logic and Informationsystems"
    of Eindhoven and Tilburg Universities 
 
MORE INFORMATION
 
E-mail: H.C.M.deSwart@kub.nl 
URL: http://cwis.kub.nl/~fsw_2/fww/tab98.htm 
 
 
For any further information please contact: 
 
Harrie de Swart
Section Logic and Analysis of Language
Department of Philosophy
Tilburg University
P.O. Box 90153
5000 LE TILBURG
The Netherlands 
 
e-mail: H.C.M.deSwart@kub.nl
phone: (+31) 13 466 24 15 / 29 85
fax: (+31) 13 466 28 92
URL: http://cwis.kub.nl/~fsw_2/fww/tab98.htm 
 
 
 


-- End --
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]