16–26 червня наступного, 2018 року у французькому Віши відбудеться Шостий Світовий конгрес та школа з універсальної логіки (UNILOG) Останній строк подачі тез — 15 вересня 2017 року.
Дуже дивно й незрозуміло, але пошта для надсилання тез міститься не на гуглівсьому gmail-і, як завжди, а чомусь — на майданчику Яндекса (yandex.com), до слова, заблокованого в Україні.
Повідомлення від організаторів:
will take place in Vichy, France, June 16-26, 2018
after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015:
http://www.uni-log.org/vichy2018
Along these years UNILOG has been a leading international logical event
with the participation of many famous logicians such as Wilfrid Hodges,
Daniele Mundici, Saul Kripke, Jaakko Hintikka, Dov Gabbay, Arnon Avron,
Benedikt Löwe, David Makinson, Yde Venema, Newton da Costa, Mike Dunn,
Val Goranko, Yuri Gurevich, Janusz Czelakowski, Stephen Read, Sara Negri,
Arnold Koslow, Peter Schröder-Heister, Gila Sher, Hiroakira Ono, John Corcoran,
Hartry Field, Gerhard Jaeger, Ernest Lepore, Marcus Kracht, Melvin Fitting,
Luciano Floridi, Patrick Blackburn, Jan Wolenski, Krister Segerberg,
Dale Jacquette, Sun-Joo Shin, Jouko Väänänen, John Woods
and many more.
UNILOG is a logic event in a broad sense. It gathers people from many horizons
(philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...)
and the idea is to promote interaction between all these people.
The previous edition in Istanbul gathered more than 400 logicians from
about 50 different countries.
For the 6th edition we will follow the same format:
- A school of logic of 5 days with 30 tutorials
- A congress of 6 days with about 30 sessions/workshops
- A contest (the topic will be announced soon)
- A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).
Vichy is a charming relaxing thermal city at the middle of France,
developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy, in the Duchy of Bourbon, a region full of castles, is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring,
the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy with lots of animations, including on June 21 a very lively musical day celebrating summertime.
Deadline to submit an abstract: September 15, 2017.
Looking forward to seeing you in Vichy in June 2018
Jean-Yves Beziau (Federal University of Rio de Janeiro and CNPq)
Christophe Rey (University Clermont Auvergne, CNRS, LIMOS)
Organizers of UNILOG'2018
9–12 липня наступного 2018 року в Оксфордському університеті (Велика Британія) в рамках Об'єднаної логічної конференції (FLOC 2018: Federated Logic Conference) відбудеться Симпозіум з логіки в інформатиці (LICS 2018: Logic in Computer Science), який є щорічним міжнародним форумом з теоретичних і практичних питань інформатики, що стосуються логіки у широкому розумінні.
9–12 July 2018 • Oxford
http://lics.siglog.org/lics18/
Для участі в симпозіумі слід надіслати повноцінну статтю. Але спершу надсилається її назва і скорочене резюме, далі розширене резюме (де зміст і значення статті мають бути пояснені зрозуміло для нефахівця), а вже за цим іде надсилання власне статті.
Всі надсилання здійснюються через систему EasyChair за адресою
https://www.easychair.org/account/signin.cgi?key=63316239.Wsyzji531vimOD0h
Всі роз'яснення, включно з переліком тем, див. тут.
Thierry Coquand
Javier Esparza
Shafi Goldwasser
Ursula Martin
Val Tannen
Надсилання назви статті та короткого резюме 24 січня 2018;
Повний текст статті 31 січня 2018;
Зв'язок з автором/Час опонування 14–18 березня 2018;
Повідомлення авторів 31 березня 2018;
Кінець попередньої реєстрації 6 липня 2018;
Остаточна версія тексту для Збірки праць буде повідомлено пізніше;
Конференція 9–12 липня 2018.
18–22 червня цього, 2018, року у чеському Гейніце відбудеться традиційний, вже 32-ий логічний симпозіум. Останній строк подачі тез — 15 лютого. Офіційна інформація про захід:
Hejnice monastery
18 – 22 June 2018
the 32nd in a series of annual international symposia devoted to logic
Submission of papers: 15 February 2018
Notification to the authors: by 31 March 2018
Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin.
will be given by Carles Noguera i Clofent.
Samson Abramsky, Francesco Berto, Marta Bílková, Georg Brun, Ivano Ciardelli, Petr Cintula, Christian Fermüller, Yuri Gurevich, Ole Hjortland, Gary Kemp, Ansten Klev, Vojtěch Kolman, Danielle Macbeth, David Makinson, Edwin Mares, Carles Noguera, Hitoshi Omori, Jaroslav Peregrin, Hans Rott, Sebastian Sequoiah‑Grayson, Nick Smith, Vladimír Svoboda, Heinrich Wansing, Zach Weber.
Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians.
A two-page abstract in pdf format prepared for a blind reviewing should be submitted via EasyChair here by February 15. Please use this source file as a template when writing it in LaTeX.
The fee for the symposium is 430 EUR for participants and 300 EUR for accompanying persons. The fee covers full board and lodging at Hejnice Monastery during the symposium, the conference coach from Prague to Hejnice and back, and (for participants) a copy of the volume containing contributions to the symposium. Scholars from countries with underfunded academic institutions are invited to apply for a reduction of the conference fee. Those who wish to apply for the reduction should check the category "submission with a request for a reduction of the conference fee" when submitting their abstract and the submitted abstract should be extended to four pages.
All correspondence concerning the symposium should be directed to
or to:
Vít Punčochář & Igor Sedlár
Co-chairs of the Organizing Committee of Logica 2018
Institute of Philosophy
Czech Academy of Sciences
Jilská 1, 110 00 Praha 1, Czech Republic
1–5 листопада ць. року (2018) на Криті (Греція) відбудеться черговий, 6-ий Світовий конгрес з логічного квадрата.
Для участі потрібно до 1 березня 2018 року подати тези на одну сторінку (формат, як завжди, не вказано), надіславши їх на адресу kreta2018@square-of-opposition.org.
Допущенними є будь-які теми, що стосуються логічного квадрата, в широкому колі наук, філософії та мистецтв. Орієнтовний cписок тем можна подивитися на відповідній сторінці сайту конгресу.
17-18 травня цього, 2018, року в Києві відбудеться Восьма міжнародна конференція «Викладання логіки та перспективи її розвитку». Для участі слід до 19 березня надіслати тези обсягом 200–300 слів українською або англійською. Повідомлення від організаторів:
Восьма міжнародна конференція
17-18 травня 2018 року
http://tlpd2018.knu.ua
Під час конференції Ви можете взяти участь у роботі таких круглих столів:
Philippe Balbiani (Institut de recherche en informatique de Toulouse, Toulouse University,
France),
Gabriel Sandu (University of Helsinki, Finland),
Yaroslav Shramko (Kryvyi Rih State Pedagogical University, Ukraine)
19 березня 2018 – завершення реєстрації та прийому тез;
2 квітня 2018 – повідомлення авторам про результати відбору тез;
16 квітня 2018 – завершення підтвердження участі в конференції;
16 травня 2018 – заїзд учасників;
17-18 травня 2018 – проведення конференції;
19 травня – від’їзд учасників.
Тези: 200-300 слів.
Передбачається видання збірки тез учасників конференції.
Після проведення конференції планується видання збірки статей (Conference Proceedings).
Зареєструватися та подати тези можна за посиланням
http://tlpd2018.knu.ua/registration and submission.html
або надіславши листа за адресою kyivconference@gmail.com
Українська, англійська.
Київський національний університет імені Тараса Шевченка. Головний корпус.
Київ, вул. Володимирська, 60.
Учасники конференції будуть розміщені у готелі Інституту післядипломної освіти.
Київ, вул. Васильківська, 75.
Оргкомітет забезпечує проживання та харчування учасників конференції.
Проїзд за рахунок учасників конференції.
Оргкомітет конференції: kyivconference@gmail.com
Веб-сайт конференції: http://tlpd2018.knu.ua
26–29 жовтня цього, 2018, року в Темпе (США, Арізона) відбудеться 31-й Міжнародний семінар з логік опису (description logics). Строк подачі рукописів — до 14 липня.
Інформація про захід:
31st International Workshop on Description Logics
26–29 October 2018
Tempe, Arizona, US
www.dcs.bbk.ac.uk/~michael/dl2018/
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be held in Tempe, Arizona, US from October 26th to October 29th, 2018.
We invite contributions on all aspects of description logics, including but not limited to:
* Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes
* Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling
Lidia Tendera (University of Opole, Poland)
Denny Vrandečić (Google LLC, USA)
Renata Wassermann (University of São Paulo, Brazil), jointly with NMR 2018
Paper registration deadline: July 14, 2018
Paper submission deadline: July 21, 2018
Notification of acceptance: September 14, 2018
Camera-ready copies: October 4, 2018
Workshop: October 26–29, 2018
We have extended the submission deadlines beyond the KR notification date. The schedule is now tight; hence NO FURTHER DEADLINE EXTENSIONS will be possible.
Submissions may be of two types:
(1) Regular submissions consist of 11 pages LNCS plus references. If the authors prefer the paper to not appear in the proceedings, an additional 2-page abstract has to be submitted.
(2) Papers accepted at some conference can be submitted as accepted elsewhere together with a 2-page abstract that also specifies where the paper has been accepted.
* For both types, there is no page limit on the list of references.
* For submissions with an additional 2-page abstract, only the abstract is published in the proceedings. The abstracts might not be indexed in dblp. This option is designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior/concurrent publication policy.
* All submissions may optionally include a clearly marked appendix (e.g., with additional proofs or evaluation data). The appendix will be read at the discretion of the reviewers and not included in the proceedings. The appendix does not need to be in LNCS format.
* Accepted papers and 2-page abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or 2-page abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation.
Submission page: https://easychair.org/conferences/?conf=dl2018
Magdalena Ortiz (TU Wien, Austria), program co-chair
Thomas Schneider (University of Bremen, Germany), program co-chair
Michael Zakharyaschev (Birkbeck, University of London, UK), general chair
* Information about submission, registration, travel information, etc., is available on the DL 2018 homepage: http://dl.kr.org/dl2018/
* The official description logic homepage is at http://dl.kr.org/