ИСТИНА

• Охват: Международная
• Даты проведения: 2-4 мая 2017
• Место проведения: Bochum, Germany
• Организатор:
  Ruhr-University
• Число участников из МГУ: 1
• Число докладчиков: 26
• Веб-сайт: http://www.ruhr-uni-bochum.de/phdsinlogicix/index.php
• Все конференции этой группы
• Описание конференции:

  The 9th edition of PhDs in Logic will take place at the Ruhr-University in Bochum, Germany, on 2nd-4th May 2017. PhDs in Logic is a graduate conference organised by local doctoral students. Its aim is to bring together PhD students and researchers as well as to foster contact between PhD students. The conference has an interdisciplinary character, welcoming contributions to various topics in Mathematical Logic, Philosophical Logic, and Logic in Computer Science. Earlier editions of the event took place in Ghent (2009, 2012), Tilburg (2010), Brussels (2011), Munich (2013), Utrecht (2014), Vienna (2015) and Darmstadt (2016). The conference will take place from 2nd May to 4th May 2017 at the Ruhr-University Bochum and will consist of two main parts: one part consists of six tutorials by established researchers on relevant topics in logic. For the other part made up of contributed talks, there is an open call for abstracts, inviting PhD students, early career postdoctoral researchers and advanced master students from any branch of formal logic who want to present their work at the conference.

• Добавил в систему: Петрухин Ярослав Игоревич

Доклады:

• 2017 Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negation (Устный)
• Автор: Petrukhin Yaroslav