Showing posts with label Logic. Show all posts
Showing posts with label Logic. Show all posts

Monday, July 16, 2012

Future Directions for Logic: Proceedings of PhDs in Logic III

I’m excited to report that the proceedings of PhDs in Logic III are now available for order. Here’s what the fuzz is all about:
On 17–18 February 2011 the third installment of PhDs in Logic took place at the Academy Palace in Brussels, Belgium. Some forty European logicians gathered to discuss a diverse range of topics in mathematical and philosophical logic. PhDs in Logic is an annual series of graduate conferences/winter schools, run for and by PhD students. The winter school consists of tutorials taught by well established researchers; the graduate conference provides young logicians with an excellent opportunity to share their results with a large audience of peers and established logicians. This volume bundles thirteen of the papers presented at the graduate conference of PhDs in Logic III. These papers deal with a wide variety of topics, coming from subfields such as algebraic logic, set theory, and philosophical logic. All papers share the common goal of advancing the boundaries of research in logic and its applications, thus turning this volume into a unique overview of what's hot and upcoming in the field of logic.
The thirteen papers are as follows:
  1. Decomposing Baire Class One Functions — Raphaël Carroy
  2. Relational Semantics for a Fragment of Linear Logic — Dion Coumans
  3. Bivalent Logics — Vincent Degauquier
  4. Reducibility by Continuous Functions and Wadge Degrees — Kevin Fournier
  5. Abduction of Multiple Explanatory Hypotheses — Tjerk Gauderis
  6. Constructing the Lindenbaum Algebra for a Logic Step-by-Step Using Duality — Sam van Gool
  7. A Logic-Based Approach to Pluralistic Ignorance — Jens Ulrik Hansen
  8. Groups with Unbounded Potential Automorphism Tower Heights — Philipp Lücke
  9. The Surprise Examination Paradox in Dynamic Epistemic Logic — Alexandru Marcoci
  10. Duality and the Equational Theory of Regular Languages — Yann Pequignot
  11. Ambiguities for NF — Damien Servais
  12. Axioms for Non-Archimedean Probability (NAP) — Sylvia Wenmackers, Vieri Benci, and Leon Horsten
  13. Modifying Kremer’s Modified Gupta-Belnap Desideratum — Stefan Wintein
You can buy the book from Amazon or from any other bookshop using the following bibliographic information:
Jonas De Vuyst and Lorenz Demey (eds.). 2012. Future Directions for Logic: Proceedings of PhDs in Logic III. IfColog Proceedings Volume 2. College Publications: London. ISBN 978-1848900790.

Monday, June 28, 2010

PhDs in Logic III


February 17-18th, 2011
BRUSSELS

www.vub.ac.be/phdsinlogic2011/

FIRST CALL FOR ABSTRACTS AND PARTICIPATION

PhDs in Logic is an annual two-day graduate conference and winter school in logic. Each year we invite four established professors to do a tutorial on their work in two one-hour sessions. We also give about ten PhD students the opportunity to do a thirty-minute presentation on (a) their own work or (b) an overview of some topic in their field. 

Come February 17-18th, 2011 the following tutorials will take place in Brussels. 

Eric Pacuit: Epistemic Logic
Sonja Smets: Quantum Logic
Mai Gehrke: Algebraic Logic
Peter Koepke: Set Theory 

PhD students in logic with a background in philosophy, computer science, or mathematics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions. Students interested in doing a talk should send a 500-1000 word abstract to phdsinlogic+abstracts@gmail.com by November 15th, 2010. If your abstract is accepted, you will be expected to give us a six to ten page paper by January 15th, 2011. We welcome students to participate in PhDs in Logic III regardless of whether they want to do a presentation. We also invite master students in logic, first year postdocs, and logicians from disciplines other than philosophy, computer science, and mathematics to apply. There is a 30 euros registration fee. 

For more information, visit our website at www.vub.ac.be/phdsinlogic2011/. 

Organizing Committee: Jonas De Vuyst, Lorenz Demey, Jean Paul Van Bendegem, Marc Denecker.  Scientific Committee: Benedikt Loewe, Leon Horsten, Marc Denecker, Jean Paul Van Bendegem.  Sponsors: Formal Epistemology Project (FEP), Centrum voor Logica en Wetenschapsfilosofie (CLWF), VUB Doctoral School of Human Sciences (DSh).

Thursday, June 25, 2009

FWO-project: Epistemische logica met justificatie en contexten

Ik vernam zopas dat mijn projectvoorstel door het Fonds voor Wetenschappelijk Onderzoek (FWO) werd aanvaard! Dit betekent dat ik vanaf oktober vier jaar lang als FWO-aspirant zal werken aan een proefschrift over logica en kennisleer. De details kan je hieronder lezen.