**March 2017**

Christopher Badura gave a talk on "Can we imagine *tout court*-absences of kinds or particulars?" at the *Workshop on the role of imagination in epistemology*, Antwerp, March 16.

Prof. João Marcos (UFRN, Brazil), received his Friedrich Wilhelm Bessel-Award at the 45th Symposium for Research Award Winners of the Alexander von Humboldt-Foundation, Bamberg, March 23-26, 2017.

Dr. Paolo Maffezioli received a Humboldt Research Fellowship for Postdoctoral Researchers from the Alexander von Humboldt-Foundation to co-operate with Prof. H. Wansing and colleagues in Bochum for two years. Congratulations, Paolo!

**January 2017**

Prof. H. Wansing joined the program committee of

*Trends in Logic XVII*, 2017, see http://trends.philosophy.kul.pl.*The 4th International Workshop on**Defeasible and Ampliative Reasoning*(DAR*e2017),*see http://lpnmr2017.aalto.fi/workshops.html

**December 2016**

On December the 2nd, Prof. H. Wansing gave an invited talk at a workshop on* Proof Theory and Modal Logic* at the University of Turin, see http://www.llc.unito.it/eventi/workshop-proof-theory-and-modal-logic. Moreover, he joinde the program committee of *Advances in Modal Logic 2018* (Bern), see http://www.aiml.net

**Novemer 2016**

In the Colloquim "Logic and Epistemology" the following guest researchers presented talks:

November the 10th:

- Prof. João Marcos (UFRN, Brazil), “The mystery of duality unraveled: dualizing rules, operators, and logics", see http://www.ruhr-uni-bochum.de/philosophy/ii/gaeste.html.de
- Carolina Blasio (Universidade Estadual de Campinas, Brazil) and Prof. João Marcos (UFRN, Brazil), “Do not be afraid of the Unknown - Logical consequence explicated in terms of cognitive attitudes”, joint work with Carlos Caleiro, see http://www.ruhr-uni-bochum.de/philosophy/ii/gaeste.html.de

November the 24th:

- Dr Levan Uridia (Tbilisi State University), “Belief and Group Belief in Structured Set of Agents“, joint work with Philippe Balbiani and David Pearce, see http://www.ruhr-uni-bochum.de/philosophy/ii/gaeste.html.de

**October 2016**

Christopher Badura presented a paper at *Philosophy of Language (I): Semantics of Fictional Discourse*, Bratislava, Institute of Philosophy of the Slovak Academy of Sciences, October 20-21, 2016.

On October the 7th, Prof. Patrick Blackburn (Roskilde) gave a talk at RUB on "Social Reasoning, Syntactic Recursion and Second-Order False Beliefs".

**September 2016**

The IfCoLog Journal of Logics and their Applications special issue on Connexive Logics, edited by Heinrich Wansing, Hitoshi Omori and Thomas M. Ferguson, appreared, see http://www.collegepublications.co.uk/journals/ifcolog/?00007

The contributions to this special issue can also be downloaded at the connexive logic website: https://sites.google.com/site/connexivelogic/

Christopher Badura presented talks on "Truth in Fiction via Non-Standard Beleif Revsision" at the *Colloquium Logicum 2016*, September 10-12, 2016, Hamburg, and at *SOPhiA 2016*, September 7-9, 2016, Salzburg.

**August 2016**

Daniel Skurt, Grigory Olkhovikov, and Heinrich Wansing took part in* Advances in Modal Logic 2016*, Budapest, from 30 August to 2 September. Daniel Skurt gave a short presentation "A survey on Kearns' modal semantics without possible worlds", which is joinjt workwith Hitoshi Omori (Kyoto).

**July 201**

AnneMarie Borg, Jesse Hyninck, and Daniel Skurt received the information that the confernece * PhDs in Logic IX* can take place in Bochum in May 2017.

On July the 18th, Andrea Kruse successfully defended her PhD thesis, *An Externalist Approach to Epistemic Responsibility -- Epistemic Duties and their Place in Social Epistemology. *The thesis was evaluated with the best possible grade *summa cum laude*; the reviewers were Prof. Sandford Goldberg (Northwestern University, Evanston) and Prof. Heinrich Wansing.* Congratulations Andrea!*

Prof. Tomasz Skura (Zielona Gora) took up his three-month **Humboldt Research Fellowship** and on July 13 presented a talk on "Refutation systems for constructive logic with strong negation and related systems."* Welcome to Bochum, Tom. *

Dr Sergey A. Drobyshevich (Sobolev Institute of Mathematics, Novosibirsk) has received a** Humboldt Research Fellowship** for a research project on 2-intuitionistic logic. The project will be hosted in 2017 by Prof. Heinrich Wansing (RUB). *Congratulations, Sergey!
*

Christopher Badura took up his position as a new PhD student in Bochum. *Welcome to Bochum, Christopher*.

**June 2016**

**May 2016**

On May 25, Evelyn Erickson and João Daniel Dantas from the Universidade Federal do Rio Grande do Norte (UFRN), Brazil, presented talks at one of the bi-weekly meetings of the logicians at the Department of Philosophy II.They are visiting students at RUB in May, repectively May & June in the framework of the project GeTFun ("Generalizing Truth-Functionality"), International research staff exchange scheme (IRSES), EU.

Dr Zach Weber (University of Otago, New Zealand) prested a talk "On closure and truth in substructural theories of truth” in the colloquium of the Department of Philosophy II.

Dr Allard Tamminga (Rijksuniversiteit Groningen and Universiteit Utrecht) in an unanimous decision received the *Facultas Docendi* in Philosophy and thereby successfully completed his** Habilitation** procedure at RUB. The Habilitation thesis has the title *Studies in Philosophical Logic. Congratulations Allard!*

Prof. Heinrich Wansing and Daniel Skurt attended the *XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics*, May 9-13, 2016, Szklarska Poreba Poland, see http://www.klmn.uni.wroc.pl/conference.html Daniel Skurt gave a talk on *Non-Monotonic Operators*, and Heinrich Wansing presented two invited lectures on *Bi-Connexive Variants of Heyting-Brouwer Logic*.

**April 2016**

Prof. Heinrich Wansing gave an invited talk on "C*ompleteness of connexive Heyting-Brouwer logic" (joint work with Norihiro Kamide) at the* *Symposium: Logic, Mathematics, and Perception*, University of Stocklhom, April 29, see http://www.philosophy.su.se/forskning/projekt-och-centra/cllam/symposium-logic-mathematics-and-perception-1.279329

Prof. João Marcos, Universidade Federal do Rio Grande do Norte (UFRN), Brazil, has received a **Friedrich Wilhelm Bessel Research Award** for his work on non-classical logics. The Alexander von Humboldt Foundation grants about 20 Friedrich Wilhelm Bessel Research Awards annually, funded by the Federal Ministry of Education and Research, to internationally renowned academics from abroad in recognition of their outstanding accomplishments in research to date and their exceptional promise for the future. The award is valued at € 45,000, and award winners are invited to conduct a research project of their own choosing in Germany in close collaboration with a specialist colleague. The project duration is six to twelve months, and the project of Prof. Marcos will be hosted in 2017 by the nominator, Prof. Heinrich Wansing. * Congratulations, João!*

Prof. Heinrich Wansing gave an invited talk on "Three sources of knowledge" at the conference "Representing Knowledge: logical and philosophical approaches", History and Philosophy of Sciences and Technology (IHPST), Paris, April the 1st, see http://www.ihpst.cnrs.fr/en/activites/conferences/representing-knowledge-logical-and-philosophical-approaches

**March 2016**

Dr. Mathieu Beirlaen (RUB, previously National Autonomous University of Mexico and University of Ghent) has received a** Humboldt Research Fellowship** for a research project entitled “A Qualitative Model for Ampliative Inference“. The project will be hosted in 2017 by Prof. Heinrich Wansing (RUB) and Prof. Gerhard Schurz (Heinrich-Heine University Düsseldorf). *Congratulations, Mathieu!*

Prof. Heinrich Wansing joined the programme committee of the *Third International Workshop on Defeasible and Ampliative Reasoning, DARe-16,** *at the European Conference on Artificial Intelligence, The Hague, Netherlands, August 2016.

**February 2016**

Prof. Sergei P. Odintsov (Sobolev Institue of Mathematics and Novosibirsk State University) visited the RUB and gave a talk on "The minimality of minimal logic".

Prof. Heinrich Wansing joined the programme committee of the *8th conference on Nonclassical Log*ic at the University of Lodz, September 5-7, 2016.

**January 2016**

Dr. Tomasz Jarmuzek (Nicolaus Cpernicus University of Torun) visited the RUB for one week and gave a series of three talks on a unified formal theory of tableau systems.

Prof. Heinrich Wansing gave an invited talk on "Negation, denial, and inference" at theworkshop **How to Say 'Yes' or 'No': Logical Approaches to Modes of Assertion and Denial**, University of Salento, Lecce (Italy), 21-22 January, 2016, see https://sites.google.com/site/howtosayyesorno/home/workshop

**December 2015**

Prof. Heinrich Wansing joined the scientific committee of "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning – 40 years of CLE", Campinas, Brazil, September 12-15, 2016.

**November 2015 **

Prof. Heinrich Wansing gave an invited talk at the conference** General Proof Theory Celebrating 50 Years of Dag Prawitz's "Natural Deduction"**, 27–29 November 2015 in Tübingen, Germany, see http://ls.informatik.uni-tuebingen.de/GPT/organisation.html

Moreover, on November 3, he gave a lunchtime talk on "Compositionality in proof-theoretic semantics"at the Center for Philosophy of Science, University of Pittsburgh.

**September 2015 **

Andrea Kruse presented a joint paper with Amy Flowerree on "How to Be an Epistemic Consequentialist (Or, how We Learned not to Be a Mad Mad Dog Reliabilist)" at the** GAP.9 Congress **in Osnabrück, see http://gap9.de/en/

Prof. Heinrich Wansing gave invited lectures on "Compositionality in proof-theoretic semantics" at

- the
*3*as part of Nat@logic 2015 in Natal, and^{rd}Workshop on Generalizations of Truth‑Functionality - the
*7*, Toruń.^{th}Conference Non-Classical Logic. Theory and Applications

Moreover, he gave a talk "On Split Negation, Falsification, and Verification" at the **GAP.9 Congress** in Osnabrück, see http://gap9.de/en/. At that conference he was elected as a memeber of the jury of the Wolfgang Stegmüller Award 2018.

**August2015**

Prof. Heinrich Wansing joined the program committee of the** Amsterdam Colloquium 2015**, see http://www.illc.uva.nl/AC/AC2015/

He presented invited talks

- during
*CLMPS***Proof theory of modal and non-classical logics**, see https://clmps2015.sched.org/event/b939a7ad3a031299d77f9028c8d181b9#.Vg6owlLO9hE, and

- "On symmetry between verification and falsification" at the
*IV Workshop Científico LogIA - PenCogLin*in Fortaleza.

**July 2015**

Prof. Heinrich Wansing entered into the project **Generalizing Truth-Functionality (GETFUN - FP7-PEOPLE-2012-IRSES)**.

**June 2015**

Daniel Skurt and Prof. Heinrich Wansing presented papers at** ***UNILOG 2015*** **in Istanbul, and Dr. Hitoshi Omori and Prof. Heinrich Wansing organized a workshop on connexive logic at UNILOG 2015, see http://www.uni-log.org/start5.html

Prof. Heinrich Wansing joined the program committee of** C6**, see http://www.aiml.net/

The workshop* **"Logic in Bochum 1"*** **took place on June 22 and 23:

Andrea Kruse presented a talk in Cologne at the workshop *Defeaters, Higher-order Evidence and the Limits of Defeat*.

Dr. Dunja Seselja gave a talk* *at the 8th Munich-Sydney-Tilburg (MuST) Conference on "Objectivity in Science" at Tilburg University. Topic: *Is interaction conducive of scientific objectivity?
*

**May 2015**

Andrea Kruse gave a talk on "Die Epistemische Bedeutung von Peer Dissens" at the workshop *Epistemischer Relativismus und Dissens*, TU Dresden, May 15-17.

**April 2015**

Dr. Grigory Olkhovikov (Yekaterinburg) took ap up his** Humboldt Research Fellowship**.

**March 2015**

Dr. Dunja Seselja gave a talk at the University of Zurich, Lecture series *Disagreement*. Topic: *Scientic Disagreements: Epistemological and Methodological Considerations*

Daniel Skurt finished his research visit at the Graduate Center of the City University of New York (February 15 - March 31).

**February 2015**

The volume* Proof Theory of N4-Paraconsistent Logics*, Studies in Logic, Vol. 54, by N. Kamide and H. Wansing has appeared.

On February 5, Daniel Skurt gave a talk on *Paraconsistent circumscription* in the séminaire interuniversitaire de recherche at the University of Namur (Belgium).

**January 2015**

The** entry on negation **in the Stanford Encyclopedia of Philosophy has been released, see http://plato.stanford.edu/entries/negation/.

On January 13, Prof. Joke Meheus (Ghent University) gave a talk in Bochum on "Uncertainty in Scientific Discovery: Where Ampliative Reasoning and Inconsistency-Handling Meet.

Prof. Heinrich Wansing joined the program committee of DARe 2015, International Workshop on Defeasible and Ampliative Reasoning, held in conjunction with IJCAI 2015, Buenos Aires, July 2015.

**December 2014**

The DFG approved the research project "Doxastic Agency and Epistemic Responsibility", a project that applies the modal logic of agency to problems of epistemology. The project will start in the secod half of 2015.

The volume* Dag Prawitz on Proofs and Meaning*, Outstanding Contributions to Logic, Vol. 7, Heinrich Wansing (ed.), appeared.

Filippo Casati organized the workshop* Alexius Meinong. Towards Being and Not-Being*, on December 13 and 14. The speakers were: Francesco Berto, Filippo Casati, Naoya Fujikawa, Dominic Hyde, and Graham Priest.

**November 2014**

In the colloquium on Logic and Epistemology, Prof. Grigory Olkhovikov, University of Ekaterinburg and University of Tübingen, gave a talk "On definability by inference rules in intuitionistic propositional logic" (November 25) and Prof. Miriam McCormick (University of Richmond) presented a talk on "What do beliefs feel like?" (November 4).

Prof. Heinrich Wansing joined the programme committee of **Trends in Logic XV, Logics for Social Behaviour**, Delft, 29 June to 3 July 2015, http://www.appliedlogictudelft.nl/trends-in-logics-2015-logics-for-social-behaviour/

**October 2014**

Filippo Casati (Graduate Center, CUNY) arrived to teach a class on "Quine, Meinong and Heidegger: On what there is (not)" in the context of the rectorate's program for research-oriented teaching "Forschendes Lernen".

Prof. Heinrich Wansing joined the programme committee of **GAP.9 Philosophie zwischen Lehnstuhl und Labor / Philosophy Between Armchair and Lab**, Osnabrück, September 2015, as chair of the Section on Logic.

**September 2014**

Dr. Dunja Seselja gave a talk (together with Dr Christian Straßer) at the Workshop on *Norms of Reasoning*. Topic: *The Normative Role of Evaluative Stances in Scientific Disagreements.*

Prof. Heinrich Wansing gave a talk on the methodology of paraconsistent logic at the New York Logic Colloquium, September 8, took part in the celebration event for Johan van Benthem on the occasion of his official retirement from the University of Amsterdam, http://www.illc.uva.nl/J65/, September 26 and 27, and gave a talk on the Curry paradox at the XXIII. Kongress der Deutschen Gesellschaft für Philosophie in Münster, September 29.

**August 2014**

A revised and updated version of the **entry on connexive logic** in the Stanford Encyclopedia of Philosophy has been released, see http://plato.stanford.edu/entries/logic-connexive/.

## Sofja Kovalevskaja Awards granted

This year the Alexander von Humboldt Foundation has singled out 11 international junior researchers between 29 and 40 years of age for one of the best-endowed science awards in Germany: The winners will each receive up to EUR 1.65 million. Through this programme, the research talents receive risk capital for innovative projects during an early phase in their careers.

They conduct research at a German university or research institute for a period of up to five years and develop their own research group for this at their host institute. The junior researchers selected in 2014 will be presented the award by Federal Research Minister Johanna Wanka and the president of the Alexander von Humboldt Foundation, Helmut Schwarz, in Berlin on 11 November.

Among the recipients of the 2014 Kovalevskaja Awards is the philosopher and logician **Dr Christian Straßer.**

**New logic for increasingly complex science**

In a world filled with incomplete and uncertain information, we often draw conclusions that, when new information emerges, are defeasible and therefore revisable. Such conclusions are not only of pivotal importance in everyday life, they are also crucial in scientific evaluations and argumentation. In logic, these methods for reaching logical conclusions are formalised with the aim of developing a precise, mathematical model for defeasible reasoning. The German philosopher and logician Christian Straßer most recently worked in Belgium. He has focussed his attention on developing a comprehensive theory of logical reasoning that links models from formal logic with models from formal argumentation theory. Such a theory would offer a new instrument for understanding defeasible reasoning, such as for fields of application like normative and scientific reasoning.

**Dr Christian Straßer**

was born in Germany in 1978. As a student at the University of Passau he first studied computer science and then added philosophy. He graduated with distinction in 2006 with a degree in both disciplines. He switched to the Centre for Logic and Philosophy of Science at the University of Ghent as a doctoral candidate in 2007 and was awarded a doctorate in 2011. Since then he has worked as a postdoc on developing models for defeasible reasoning. Starting September he will conduct research in this area with his own team at the University of Bochum.

http://aktuell.ruhr-uni-bochum.de/pm2014/pm00123.html.de, http://www.humboldt-foundation.de/web/skp-2014-2-en.html#strasser

**Host institute**: University of Bochum, Institute for Philosophy II

**Host**: Professor Dr Heinrich Wansing

*Welcome to Bochum, Christian!
*

**July 2014**

Sanderson Molick (U Natal, Brazil) gave a talk on "Exploring Suszko's thesis and generalized truth values" (joint work with Carolina Blasio, UNICAMP) on July 10.

Prof. Heinrich Wansing was an invited speaker at The 13th **Trends in Logic international conference**, University of Łódź, July 2-5, 2014.

**June 2014
**

**Logic Day in Bochum
**

Thursday, June 26

Ruhr University Bochum

Room GA 6/153

10:00-11:00 Umberto Rivieccio, (University of Delft),

"Four-valued modal logic"

11:15-12:15 Sergei Odintsov, (Sobolev Institute, Novosibirsk),

"How to define a consequence relation over a class of bilattices?"

Break

15:00-16:00 Giuseppe Greco, (University of Delft),

"From Display to Display-type Sequent Calculi”

16:15-17:15 Heinrich Wansing, (Ruhr University Bochum),

"On the methodology of paraconsistent logic"

17:30-18:30 Alessandra Palmigiano, (University of Delft), "Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic"

*****

Prof. Heinrich Wansing was an invited speaker at the conference **Paraconsistent Reasoning in Science and Mathematic**s, LMU, Munich, June 11 - 13, 2014.

Prof. Sergei Odintsov (Sobolev Institute of Mathematics, Novosibirsk) took up his **Humboldt Research Fellowship** (June 1 - June 30). His research in Bochum concerned 'How to define a logic over a class of bilattices'.

Amy Flowerree (Northwestern University, Evanston) visited Andrea Kruse for one month at the Chair of Logic and Epistemology.

The Workshop** "Doxastic Agency & Epistemic Responsibility"**, took place in Bochum on June 2-3.

**May 2014**

Prof. Heinrich Wansing was an invited speaker at The 6th International Conference **Teaching Logic and Prospects of its Development**at the Taras Shevchenko National University of Kyiv, May 15-17, 2014.

**April 2014**

Andrea Kruse gave a talk on *An Externalist Approach to Epistemic Blameworthiness** *on the workshop **Responsibility - The Epistemic Dimension** in Amsterdam.

On the invitation of Dr Allard Tamminga, Prof. Heinrich Wansing gave a talk** **"Remarks on an external consequence Curry paradox" at the University of Groningen (GroLog Colloquium), April 3, 2014.

**March 2014**

Andrea Kruse's application at the RUB Research School for funding of the **Workshop on Doxastic Agency and Epistemic Responsibilty*** *was successful, see

http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html.

Prof. Graham Priest and Prof. Heinrich Wansing took part in the **42nd Symposium for Research Award Winners** in Bamberg, where Graham Priest received his **Humboldt Research Award**.

The **IfCoLog Journal of Logics and their Applications*** *has now a website at http://www.collegepublications.co.uk/journals/ifcolog/. Prof. Heinrich Wansing joined the editorial board in 2013.

**February 2014**

Daniel Skurt gave a talk on *Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic* at the **5th World Congress on Paraconsistency** in Kolkata, India.

Prof. Heinrich Wansing joined the program committee of the workshop on Defeasible and Ampliative Reasoning (DARE) at **The Twenty-first European Conference on Artificial Intelligence**, ECAI, see http://www.ecai2014.org/workshops.

**January 2014**

Dr Hitoshi Omori (City University of New York) gave a lecture on *Contradiction, Negation and Paraconsistency* in the departmental colloquium of the Institute of Philosophy II.

**December 2013**

**November 2013**

Prof. Heinrich Wansing has joined the international editorial board of the Journal** Logical Investigations **edited by the Institute of Philosophy of hte Russian Academy of Sciences http://eng.iph.ras.ru/log_inv.htm

An interview with Andrea Kruse and Dr Caroline Semmling (in German, "Was machen eigentlich Logiker und Erkenntnistheoretiker?") appeared in the RUB newsletter Rubens, see http://www.ruhr-uni-bochum.de/rubens/rubens173/Index.htm

An interview with Prof. Graham Priest ("A passion for thinking") appeared in the RUB newsletter “RUBens International”: http://www.ruhr-uni-bochum.de/rubens/pdfs/beilage_international07.pdf

Two guest lectures: Prof. Bjørn Jespersen (Ostrava) “Double privation and multiply modified artefact properties”; Prof. Troben Braüner (Roskilde) “Hybrid-Logical Proofs: With an Application to False-Belief Tasks”

Prof. Heinrich Wansing was an invited speaker at the annual Mal'tsev Meeting in Novosibirsk, see http://math.nsc.ru/conference/malmeet/13/Main_e.htm

**October 2013**

Thomas M. Ferguson (Chicago/New York) visited Prof. Graham Priest and Prof. Heinrich Wansing and gave three lectures on non-classical logic.

Dr Peter Verdée (Ghent) gave a gueat lecture on “Paraconsistent adaptive logics: introduction and new perspectives”

**September 2013**

Dr Caroline Willkommen's PhD thesis “Eine Logik von Handlungen und Überzeugungen“ has been published with Logos Verlag, Berlin, see http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=3484&lng=deu&id=

Andrea Kruse was a speaker at he following conferences: **CLPS13: Congress on Logic and Philosophy of Science**, Gent, 19th-21th September 2013, (*The Diachronic Dimension of Peer Disagreemen*t), **Doxastic Freedom and Normativity**, Regensburg, 19th-21th September 2013, (*Combining Epistemic Blameworthiness with Compatibilist Doxastic Control*) and **Cologne Summer School 2013 "Radical Secepticism"**, Cologne, 23rd-27th September 2013 (*Epistemic Internalism without ACCESS?*)**.**

Prof. Heinrich Wansing was an invited speaker at the **6th Conference on Non-Classical Logics: Theory and Applications**, Lodz, Septemer 4-6, 2013.

**July 2013**

Prof. Graham Priest (City University of New York) arrived in Bochum for a six-month research stay as a** Humboldt Prize** winner. He gave a lecture on *Cotradiction and the Struture of Unity* in the departmental colloqium of the Institute of Philosophy II. Moreover, Dr Hitoshi Omori (City University of New York) and Filippo Casati (City University of New York) arrived for research stays in connection with Prof. Priest's visit to Bochum. Every year, the Alexander von Humboldt Foundation grants up to 100 Humboldt Research Awards to internationally renowned academics from abroad in recognition of their entire academic record to date. Academics whose fundamental discoveries, new theories, or insights have had a significant impact on their own discipline and beyond and who are expected to continue producing cutting-edge academic achievements in future. The award is valued at € 60,000.

Guest lectures were given by Prof. Hans Rott (University of Regensburg) on* Negative Doxastic Voluntarism*, and Dr Dolf Rami (University of Göttingen) on *Existence as a Property of Individual*s.

Prof. Heinrich Wansing joined the program committee of the conference** PhDs in Logic VI**, which will take place in Utrecht, The Netherlands on 24-25 April 2014.

**June 2013**

Guest lectures by Dr Giuseppe Greco (University of Amsterdam) on *Dynamic Sequent Calculus for the Logic of Epistemic Actions and Knowledge, *Dr Rik Peels (University of Utrecht) on *Given the Falsehood of Doxastic Compatibilism, How Should we Construe Responsible Belief *and Dr Matthias Unterhuber (University of Düsseldorf) on *A Ramsey Test Perspective on Belief **Revision and Chellas Segerberg Semantics.*

Prof. Heinrich Wansing joined the program committee of the conference **Advances in Modal Logic 2014 (AiML 2014)**.

**May 2013**

On the invitation of Prof. Hans Rott, Prof. Heinrich Wansing presented a guest lecture on negation in philosophicallogic at the University of Regensburg.

**April 2013**

Daniel Skurt took up his position as a new PhD student in Bochum and presented a paper on *Suszko-Reduced Logics and Truth-Functionality* at the **4th World Congress and School on Universal Logic**** (UNILOG)**, Rio de Janeiro, April 4-7, 2013, see http://www.uni-log.org/start4.html.* Welcome to Bochum, Daniel. *

Prof. Heinrich Wansing was a key-note speaker at the **4th World Congress and School on Universal Logic**** (UNILOG)**, Rio de Janeiro, April 4-7, 2013, see http://www.uni-log.org/start4.html. Moreover, he gave a tutorial on *Truth Values* at the same conference together with Prof. Yaroslav Shramko (Kryvyi Rih).

On the invitation of Dr Peter Steinacker and Prof. Sebastian Rödl, Prof. Heinrich Wansing presented a guest lecture on negation as a modal operator at the University of Leipzig.

**March 2013**

The 2013** Hermann Lotze Prize** was awarded to Prof. Heinrich Wansing at the **14th Szklarska Poreba Workshop**, see http://www.hlotze.com/#The_Medallist.

Prof. Heinrich Wansing was an invited speaker at the **2nd Conference on Proof-Theoretic Semantics**, Tübingen, March 8-10, 2013, see http://ls.informatik.uni-tuebingen.de/PTS/.

**February 2013**

Prof. Heinrich Wansing presented a guest lecture on negation as a modal operator at the Courant Research Centre "Text Structures", University of Göttingen.

During his stay as a visiting professor at the Deptartment of Philosophy and Education Science of the University of Cagliari, Prof. Heinrich Wansing presented two lectures in the research group of Prof. Roberto Giuntini.

Prof. Heinrich Wansing joined the program committee of the **8th Methods of Modalities Workshop**, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/ .

**January 2013**

Prof. Heinrich Wansing took up the function of as the new editor-in-chief of the book series** Trends in Logi**c, Springer Verlag, see http://www.springer.com/series/6645.

**December 2012**

On the invitation of Prof. Marcus Kracht, Prof. Heinrich Wansing gave a talk at the University of Bielefeld.

**November 2012**

Prof. Heinrich Wansing presented an invited talk at the "Avron Fest" in Tel Aviv, **Logic: Between Semantics and Proof Theory**, see http://www.cs.tau.ac.il/events/AvronFest/

**October 2012**

Caroline Willkommen successfully defended her PhD thesis "Eine Logik für Handlungen und Überzeugungen" at the Ruhr-University of Bochum, Department of Philosophy II. The referees H.W. and Uwe Scheffler congratulate on her defense.

H.W., Caroline Willkommen, Uwe Scheffler

**September 2012**

The Workshop**" Dag Prawitz on Proofs and Meaning"**, took place on September the 10th and the 11th. This workshop brought together several contributors to a volume dedicated to Prof. Dag Prawitz. The volume will be editied by Heinrich Wansing and will appear in the new book series "Outstanding Contributions to Logic" published by Springer Verlag.

Prof. Heinrich Wansing gave an invited talk at the **GAP.8,Workshop "Belief Revision, Conditionals and Possible Worlds Semantics"** at the University of Konstanz, see https://www.phil-fak.uni-duesseldorf.de/belief-revision.

**July 2012**

Dr habil. Tomasz Skura (Zielona Gora) took up his two-month **Humboldt Research Fellowship **and on July 12 presents a talk on "What is a refutation system", see Skura_lecture.pdf.

Andrea Kruse gave a comment titled "Notes on rational 'ought' implies 'can'" at the **Summer School in Philosophy** with Prof. Ralph Wedgwood at the University of Cologne .

From June 3 until June 5 our team hosted the Studia Logica international conference **Trends in Logic XI. Advances in Philosophical Logic**, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi/.

June 12, Andrea Kruse gave a guest lecture on "Der Begriff der epistemischen Verantwortung und die Möglichkeit rationalen Dissenses" at Dresden University of Technology.

June 26, 2012, guest lecture by Dr Andreas Kapsner (University of Munich - LMU) on "Popper's Logical Discoveries".

**May 2012**

Prof. Roberto Giuntini (Cagliari) finished his there-month Humboldt research fellowship.

Andrea Kruse attended the 3rd Annual King's College London / University of North Carolina at Chapel Hill Conference 2012 on **Social Epistemology and Epistemic Responsibility**, http://www.kcl.ac.uk/artshums/depts/philosophy/events/kclunc2012.aspx

A**pril 2012**

April 16, Caroline Semmling gave a talk on "Interactions of actions, intentions and beliefs" at the University of Luxembourg.

On April 19 and 20 our team hosted the **First Bochum-Cagliari Workshop on Non-classical Logic**. The workshop was organized in close co-operation with Prof. Roberto Giuntini and was generously supported by the Alexander von Humboldt Foundation, see Bochum-Cagliari Workshop.

Prof. Heinrich Wansing presented two invited lectures on Generalized Truth Values at the conference "PhDs in Logic", University of Ghent, April 12 and 13, 2012, see http://www.phdsinlogic2012.ugent.be/node/4

**March 2012**

March 6, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Algebraic Proof Procedures in Non-Classical Logics".

**February 2012**

February 8, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "A new algebraic proof method for finitely-many-valued logics".

February 27, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Relationships among the PRC and the algebraic semantics for modal logics".

**January 2012**

Dr Roberto Ciuni was presented in an article of the RUB newspaper RUBENS, see http://ruhr-uni-bochum.de/rubens/rubens157/10.htm

January 19, Andrea Kruse gave a talk on "Is rational peer disagreement possible?" at Research Colloquium: Philosophy meets Cognitive Science. Recent Debates (Ruhr-University), http://www.ruhr-uni-bochum.de/phil-lang/colloquiumwise11

January 24, Caroline Semmling gave a guest lecture on "Interaktionen von Überzeugungen, Intentionen und Handlungen" at the Goethe-University of Frankfurt.

January 25, Prof. Jean-Yves Béziau (Federal University of Rio de Janeiro - UFRJ, Visiting Professor University of Munich - LMU) gave a lecture on "Truth-values: past, present and future".

January 26, guest lecture by Dr. François Schwarzentruber (University of Rennes, France) "Tableau Method and NEXPTIME-Completeness of DEL-Sequents".

H. Wansing and F. Schwarzentruber

R. Ciuni, C. Semmling and A. Kruse

**December 2011**

Prof. Piotr Lukowski (University of Lodz, Poland) ended his one-month visit (under EU grant UDA-POKL.04.01.01-00-189/0900). During his visit, Prof. Lukowski presented two lectures on paradoxes, one of them focusing on a new solution to the Liar Paradox.

**November 2011**

Prof. Heinrich Wansing has joined the **Scandinavian Logic Society**, http://scandinavianlogic.org/

Prof. Heinrich Wansing has been invited as an expert referee for the logic panel of the new journal **Thought**, to be launched by The Northern Institute of Philosophy (Aberdeen) and Wiley-Blackwell. The journal will be dedicated to the publication of short (of less than 4000 words), original, philosophical papers in the following areas: Logic, Philosophical Logic, Philosophy of Mathematics, Philosophy of Language, Metaphysics, Epistemology and Philosophy of Mind. See: http://www.abdn.ac.uk/philosophy/nip/page?id=44

**October 2011**

Dr Roberto Ciuni (Leiden) has taken up his **Humboldt Research Fellowship** and has given several lectures on stit theory in a research seminar on branching-time structures and modalities.

**September 2011**

The conference **Semantics and Philosophy in Europe (SPE4)** was held at the Department of Philosophy II of Ruhr University Bochum, see http://www.ruhr-uni-bochum.de/phil-lang/spe4/

The first call for papers for "Trends in Logic XI, Advances in Philosophical Logic" was distributed: see http://www.ruhr-uni-bochum.de/philosophy/trendsxi/index.html.en

Andrea Kruse attended the **Summer School in Philosopy **with Prof. Sanford Goldberg at the University of Cologne.** **

**August 2011**

Prof. Heinrich Wansing has been invited to the Program Committee of **LOFT10**, 2012, http://personal.us.es/hvd/loft/

Andrea Kruse presented a paper on "Puzzles about Peer Disagreement - A Deontological Solution" at the **34th International Wittgenstein Symposium** in Kirchberg am Wechsel (Austria), http://www.alws.at/de/index.php/symposium/34_internationales_wittgenstein_symposium_2011/

**July 2011**

Andreas Pietz successuflly defended his PhD thesis "Logics and Falsifications" at the University of Barcelona, Department of Logic, History and Philosophy of Science, co-supervised by Prof. Heinrich Wansing.

**June 2011**

Prof. Heinrich Wansing has been invited to the Program Committee of **Advances in Modal Logic 2012**, AiML 2012, http://hylocore.ruc.dk/aiml2012/

Prof. Heinrich Wansing gave a guest lecture on "A non-inferentialist, anti-realistic conception of logical truth and falsity" at the Heinrich Heine University of Düsseldorf, June 28, 2011, and another guest lecture on "Some remarks on many-valued modal logic" at the Ludwig Maximilians University of Munich, June 30, 2011.

**May 2011**

May the 18th,** Inaugural Lecture** of Prof. Heinrich Wansing, see Antrittsvorlesung.pdf.

**April 2011**

Andrea Kruse M.A. has become a member of the Ruhr University Research School (RURS).

**March 2011**

Prof. Heinrich Wansing gave guest lectures on "A non-inferentialist, anti-realistic conception of logical truth and falsity" at the University of California Irvine, Department of Logic and Philosophy of Science, March 4, 2011, and the University of St Andrews, Department of Philosophy, March 7, 2011.

**February 2011**

Guest lecture by Prof. Yaroslav Shramko (Krivoi Rog) on "Das Wahrheitsprädikat in kontrafaktischen Kontexten: Eine Verteidigung des Deflationismus", February 23, 2011, 16-18 Uhr, room GA 04/187.

**December 2010**

Interview with Prof. Heinrich Wansing in *The Reasoner *Volume 4, Number 12 (2010).

**November 2010**

Dr Robertoi Ciuni (Leiden) has been awarded an Alexander von Humboldt research grant to visit Prof. Heinrich Wansing as a Humboldt reserach fellow. Dr Ciuni's research project will deal with representing responsibility in stit theory.