[loginf] 75 Years of Predicate Logic

Heinrich.Wansing at mailbox.tu-dresden.de Heinrich.Wansing at mailbox.tu-dresden.de
Wed Apr 9 17:43:24 CEST 2003


%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
%               Apologies for multiple copies                     %       
%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

Please note that the deadline for submissions to FOL75  

75 years of Predicate Logic, Berlin, September 18 -21, 2003 

has been extended to April 30. The new notification date is June 15. 
For information please visit:  
http://www.fol75.philog.ruc.dk/fol75welcome.html 

The invited speakers of FOL75 are: 

Hajnal Andreka (Hungary) 
George Englebretsen (Canada) 
William Ewald (USA) 
Jeroen Groenendijk (The Netherlands) 
Petr Hajek (Czech Republic) 
Jaakko Hintikka (USA) 
Wilfrid Hodges (UK) 
Istvan Nemeti (Hungary) 
Alan Robinson (USA) 
Dana Scott (USA) 
Martin Stokhof (The Netherlands) 
Valentin Shehtman (Russia) 

CALL FOR PAPERS 

Contributions to FOL75 are invited in the form of papers according  
to the following areas related to First-order logic, FOL: FOL and the  
History of Logic; Extensions of and Alternatives to FOL; Cognition  
and Knowledge Representation; The Unity of Logic and FOL as the  
lingua franca of the Formal Sciences; FOL and Ontology, FOL and  
Natural Language Semantics 

Anonymous submissions in terms of extended abstracts of up to 10  
pages (sent preferably in postscript format by e-mail to Prof. Uwe  
Scheffler, fol75 at philosophie.hu-berlin.de, with the subject line  
"Submission FOL75" accompanied by a covering letter with name  
and address of author(s)) must be received by April 30, 2003. The  
abstracts must be written in English and give enough detail to allow  
the program committee to assess the merits of the work. The  
abstracts should start with a brief statement of the issues, a  
summary of the main results, and a statement of their significance  
and relevance to the conference. References and comparisons with  
related work is also expected. Results must be unpublished and not  
submitted for publication elsewhere, including the proceedings of  
other symposia, workshops or conferences. One author of each  
accepted paper will be expected to attend the conference in order to 
 present it.  

Authors will be notified of acceptance by June 15, 2003, and final  
versions (in LaTeX2e format) will be due by November 30, 2003.  
Authors of accepted papers will be asked to send a short abstract of 
 two pages for the conference booklet. The full invited and accepted  
contributed papers will appear in a proceedings published by Logos  
Verlag in Berlin. 




More information about the loginf mailing list