Community News

Here we present submitted information.

We encourage everybody working in the field of formal logic to submit new information for this section.

Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020

The Beth Dissertation Prize is to go ahead in 2020 with a deadline extension to 30th of April 2020. Nominations are welcome for the best dissertations in the areas of logic, language and information, resulting in a Ph.D. degree awarded in 2019.

The 32nd ESSLLI summer school is postponed to 2021, due to the spread of CV-19. The Beth Prize will be awarded either through a virtual ceremony in 2020 or a presentation in ESSLLI 2021. The winner will be announced in early July 2020.

For details about the qualifications and the prize, see http://www.folli.info/?page_id=74.

LOGICA 2007 (Call For Papers)

The Institute of Philosophy, Academy of Sciences of the Czech Republic, announces LOGICA 2007, the 21st in the series of annual international symposia devoted to logic, to be held 18 - 22 June 2007 at Hejnice Monastery.

For up-to-date information as well as information about previous events in the series visit LOGICA 2007 web-site.

MASSES OF FORMAL PHILOSOPHY (Call for participation)

A sequel to Formal Philosophy (www.formalphilosophy.com) is being prepared entitled Masses of Formal Philosophy a follow-up where everybody may answer the 5 questions posed to interviewees of the first Formal Philosophy. The answers will be collected, compiled and published as a book by Automatic Press / VIP; edited by Vincent F. Hendricks and John Symons. If you would like to participate and give your view on formal philosophy, please follow the instruction set - link below. Deadline for your contribution is September 15, 2006. Follow this link for more.

Subject: Master in Pure and Applied Logic (Barcelona)

From: Professor Josep M. Font

This Master aims to provide a thorough grounding in all aspects of advanced logic, both pure and applied. On completion, students will have the necessary skills to be able to continue with their postgraduate studies, put their knowledge into practice in the job market, or start undertaking research in many of the central areas in the field of logic.

This Master is organized jointly by the University of Barcelona (UB) and the Technical University of Catalonia (UPC), with the collaboration of the Artificial Intelligence Research Institute (IIIA). The following departments and institutes participate in the teaching of this Master:

All of the above form part of either the Faculty of Philosophy and the Faculty of Mathematics at the University of Barcelona, the Faculty of Mathematics and Statistics and the Faculty of Computer Studies at the Technical University of Catalonia, or the Faculty of Sciences at the Universitat Autonoma de Barcelona.

The Master courses are taught by Spain's largest cluster of specialists in the field of Logic and our staff are recognised active researchers in the following areas: Algebraic Logic, Computational Complexity, Computational Linguistics, History of Logic, Logical Foundations of Artificial Intelligence, Model Theory, Non-Classical Logics, Philosophy of Logic and of Mathematics, Proof Theory and Set Theory.

The universities in the Barcelona area offer a wealth of opportunities in related subjects, including Artificial Intelligence, Computer Science, History of Science, Linguistics, Mathematics and Philosophy, for students wishing to further their training on successful completion of this Master.

You will find all the detailed information in the Master's web site.

last modfied 23.04.2020; designer and webmaster: Krzysztof Pszczola

Studia Logica

An International Journal publishing papers in Logic and all applications of Formal Mathematical Methods
Published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer