Конференції

Тут збирається інформація про наукові конференції — як оголошення, так і звіти про їхнє проведення.

2010

Оголошення: Конференція в Казані, присвячена логіці М.Васильєва

Российский гуманитарный научный фонд
Российский фонд фундаментальный исследований
Академия наук Республики Татарстан
Казанский (Приволжский) федеральный университет
НИИ математики и механики им. Н.Г. Чеботарева

Первое информационное сообщение

С 11 по 15 октября 2010 года в Казанском (Приволжском) федеральном университете проводится международная конференция «"Воображаемая логика" Н.А. Васильева и современные неклассические логики».

Официальный сайт конференции http://www.nclogic2010.ksu.ru

Конференция поддержана грантами РГНФ, РФФИ, АН РТ и посвящена 100-летию открытия профессором Казанского университета Николаем Александровичем Васильевым (1880 - 1940) новой логики, названной им «воображаемой логикой», предвосхитившей современные неклассические логики. После 1960 г. в трудах В.А. Смирнова, А.И. Мальцева, Н. да Коста, В.А. Бажанова и других был признан приоритет Васильева как родоначальника современной неклассической (неаристотелевой) логики. Конференция будет посвящена осмыслению не только логических идей ученого, но и его творческого наследия в области истории философии, этики, истории, психологии, литературоведения.

Программный комитет: М.М. Арсланов, зав. кафедрой алгебры и математической логики КФУ и В.А. Бажанов, зав. каф. философии УлГУ – со-председатели
проф. В.Л. Васюков (зав. каф. философии РАН)
проф. И.Н. Грифцова (зав.каф. философии МПГУ)
проф. А.М. Елизаров (директор НИИММ КГУ)
проф. А.С. Карпенко (зав. сектором логики ИФ РАН)
проф. Л.Л. Максимова (НГУ)
проф. В.И. Маркин (зав. каф. логики МГУ)
проф. М.А. Маслин (зав. каф. истории философии в России МГУ)
проф. С.Р. Насыров (декан мехмата КФУ)
проф. Г.В. Сорина (МГУ)
проф. А.В. Чагров (ТверГУ)
проф. В.Д. Соловьев (проф. КФУ)
проф. М.Д. Щелкунов (декан философского факультета КФУ)
к.ф.-м.н. М.М. Ямалеев (каф. алгебры и математической логики КФУ) – ученый секретарь конференции

Среди приглашенных докладчиков конференции (список неполный): В.Л. Васюков (зав. каф. философии РАН), И.Н. Грифцова (зав. каф. философии МПГУ), А.С. Карпенко (зав. сектором логики ИФ РАН), Л.Л. Максимова (проф. НГУ). В.И. Маркин (зав. каф. логики МГУ), Г.В. Сорина (проф. МГУ), А.В. Чагров (зав.каф. алгебры ТверГУ), В.Д. Соловьев (проф. КФУ), Ф.Ф. Серебряков (КФУ), S.Barry Cooper (Великобритания), Richard Shore (США), Otavio Bueno (США), Klaus Ambos-Spies (Германия), Werner Stelzner (Германия), Graham Priest (Австралия), Jean-Yves Beziau (Бразилия).

Работа конференции будет проходить по трем секциям: “Неклассические логики”, “Логика и компьютерные науки” и “История логики”.

В последний день работы конференции предполагается организовать круглый стол, за которым участники конференции поделятся своими мыслями об основных тенденциях развития логической мысли в современном мире.

Заявки на участие в конференции и тезисы до 2 страниц А4 (ниже см. правила оформления тезисов) принимаются до 10 сентября 2010 г. включительно (электронный вариант тезисов обязателен). По итогам конференции и рецензирования в течение 2-3 месяцев будут опубликованы материалы конференции.

Зарегистрироваться для участия в конференции и подать тезисы докладов можно одним из следующих способов:
1) Через сайт конференции http://www.nclogic2010.ru (желательно)
2) По электронной почте nclogic@ksu.ru (заполнив заявку)
3) Простым письмом по адресу: Казань, 420008,ул.Нужина 1, НИИММ им. Н.Г. Чеботарева, Ямалееву М.М. (заполнив заявку и приложив электронную копию на дискете или CD-диске)

Заявка прилагается в конце письма.

Телефоны для справок: +7 (843) 233-70-39
Программный комитет до 25 сентября 2010 г. сообщит по электронной
почте о принятии/отклонении заявки на участие.
Неверно оформленные тезисы рассматриваться не будут.

ПРАВИЛА
оформления тезисов
Редактор MS Word в формате doc или rtf. Шрифт Times New Roman, кегль 14, интервал 1,5 , поля 2.5 см. со всех сторон.
Расположение на странице. В правом верхнем углу – фамилия и инициалы автора, город, адрес электронной почты. В следующей строке – название доклада. Далее - текст тезисов.
Желательно свести ссылки до минимума.
Сноски в тексте должны соответствовать т. н. чикагской системе: [Иванов, 1994, с.34]. Если в списке литературы имеются две и более работы одного автора, опубликованные в один год, то ссылка делается так [Иванов, 1994а, с.23], [Иванов, 1994б, с.43]. В списке литературы каждая из работ имеет свой индекс: [а, б, в и т.д.].
Список литературы должен представлять собой полное библиографическое описание монографий, статей и INTERNET-ресурсов. Описание монографии должно выглядеть следующим образом:

Петров П.П.Релевантная логика. М.: Наука 2008. – 124 С.
Описание статьи в сборнике или периодическом издании:
Сидоров С.С. Столкновение мнений?// Вопросы философии, 2008, №9. С.33 – 44.
Описание INTERNET-ресурса (вплоть до указания html-страницы):
Бердяев Н.А. Что делать? http://www.fairytale.ru/berdyaev /4_107.html#f_9-1.

Если Вы пошлёте тезисы обычной почтой то, пожалуйста, не забудьте вложить дискету или CD-диск с текстом (в Word'e) Ваших тезисов.

Заявка на участие в
НАУЧНОЙ КОНФЕРЕНЦИИ
"Воображаемая логика" Н.А. Васильева и современные неклассические логики
Казань, 11-15 октября 2010 г.

Фамилия, имя, отчество______________________________________________

Место работы________________________________________________________

Должность___________________________________________________________

Ученая степень и звание______________________________________________________________

Служебный адрес ____________________________________________________________________

Домашний адрес и контактный телефон (желательно сотовый)_______________________

Факс________________________________________________________________

E-mail______________________________________________________________

Тема выступления_________________________________________________________

Нуждаетесь ли в гостинице (ДА/НЕТ)

Время предполагаемого прибытия и отъезда_______________________________________

Дата _____________________ Подпись _______________________

--

2011

LATA 2011: first call for papers

1st Call for Papers
5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2011)
Tarragona, Spain, May 30 – June 3, 2011
http://grammars.grlmc.com/LATA2011/

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the tradition of the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

- algebraic language theory
- algorithms for semi-structured data mining
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computational linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- string processing algorithms
- symbolic dynamics
- term rewriting
- transducers
- trees, tree languages and tree machines
- weighted machines

STRUCTURE:

LATA 2011 will consist of:

- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields, on open problems, or on professional issues (if requested by the participants)

INVITED SPEAKERS:

To be announced

PROGRAMME COMMITTEE:

Andrew Adamatzky (Bristol)
Cyril Allauzen (Mountain View)
Amihood Amir (Ramat-Gan)
Franz Baader (Dresden)
Marie-Pierre Béal (Marne-la-Vallée)
Philip Bille (Lyngby)
Miklós Bóna (Gainesville)
Symeon Bozapalidis (Thessaloniki)
Vasco Brattka (Cape Town)
Maxime Crochemore (London)
James Currie (Winnipeg)
Jürgen Dassow (Magdeburg)
Cunsheng Ding (Hong Kong)
Rodney Downey (Wellington)
Manfred Droste (Leipzig)
Enrico Formenti (Nice)
Amy Glen (Perth)
Serge Haddad (Cachan)
Shunsuke Inenaga (Fukuoka, co-chair)
Jesper Jansson (Tokyo)
Jarkko Kari (Turku)
Marek Karpinski (Bonn)
Maciej Koutny (Newcastle)
Gregory Kucherov (Lille)
Markus Lohrey (Leipzig)
Benedikt Löwe (Amsterdam)
Salvador Lucas (Valencia)
Sebastian Maneth (Sydney)
Carlos Martín-Vide (Brussels, co-chair)
Giancarlo Mauri (Milano)
Alexander Meduna (Brno)
Kenichi Morita (Hiroshima)
Sven Naumann (Trier)
Gonzalo Navarro (Santiago, CL)
Mark-Jan Nederhof (St Andrews)
Joachim Niehren (Lille)
Joakim Nivre (Uppsala)
Kemal Oflazer (Doha)
Alexander Okhotin (Turku)
Witold Pedrycz (Edmonton)
Dominique Perrin (Marne-la-Vallée)
Giovanni Pighizzini (Milano)
Alberto Policriti (Udine)
Lech Polkowski (Warsaw)
Helmut Prodinger (Stellenbosch)
Mathieu Raffinot (Paris)
Philippe Schnoebelen (Cachan)
Ayumi Shinohara (Sendai)
Jamie Simpson (Perth)
Magnus Steinby (Turku)
James Storer (Boston)
Jens Stoye (Bielefeld)
Andrzej Tarlecki (Warsaw)
Richard Thomas (Leicester)
György Vaszil (Budapest)
Heiko Vogler (Dresden)
Pascal Weil (Bordeaux)
Damien Woods (Pasadena)
Thomas Zeugmann (Sapporo)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Shunsuke Inenaga (Fukuoka, co-chair)
Carlos Martín-Vide (Brussels, co-chair)
Bianca Truthe (Magdeburg)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at:

http://www.easychair.org/conferences/?conf=lata2011

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing refereed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration will be open since October 13, 2010 until May 30, 2011. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2011/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On-site registration fees: 580 Euro
On-site registration fees (PhD students): 480 Euro

At least one author per paper should register. Papers that do not have a registered author who paid the fees by February 28, 2011 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches.

PhD students will need to prove their status on site.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before February 28, 2011 (resp. May 16, 2011) to the conference series account at Uno-e Bank (Julián Camarillo 4 C, 28037 Madrid, Spain):

IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide – LATA 2011).

Please write the participant’s name in the subject of the bank form. Transfers should not involve any expense for the conference. Please notice that the date that counts is the day when the transfer reached the conference’s account.

On-site registration fees can be paid only in cash. A receipt for payments will be provided on site.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

IMPORTANT DATES:

Paper submission: January 3, 2011
Notification of paper acceptance or rejection: February 14, 2011
Early registration: February 28, 2011
Final version of the paper for the LNCS proceedings: February 28, 2011
Late registration: May 16, 2011
Starting of the conference: May 30, 2011
Submission to the post-conference special issue: August 30, 2011

FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

LATA 2011
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

14 Конгрес з логіки, методології та філософії науки

19 –26 липня наступного року в Нансі у Франції пройде 14 Конгрес з логіки, методології та філософії науки.

Сайт конгресу.

Програма конгресу.

Вимоги до тез, плата за участь і строки подачі та реєстрації.

SSFLA 2011

Наступного року в іспанській Таррагоні відбудеться не тільки конгрес з формальних мов і теорії автоматів, але й відповідна школа для студентів, що добре знаються на дискретній математиці. Оголошення про її проведення:

2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (SSFLA 2011)

(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain, April 18-22, 2011

Organized by:
Research Group on Mathematical Linguistics
Rovira i Virgili University

http://grammars.grlmc.com/ssfla2011/

******************************************

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

All courses will be made compatible in terms of schedule.

COURSES AND PROFESSORS:

Franz Baader (Dresden), Automata and Logic [advanced, 4 hours]
Thomas Bäck (Leiden), Natural Computing [introductory, 10 hours]
Markus Holzer (Giessen), Computational Complexity [introductory, 14 hours]
Claude Kirchner (Bordeaux), Rewriting and Deduction Modulo [introductory, 6 hours]
Thierry Lecroq (Rouen), Text Searching and Indexing [introductory, 10 hours]
Rupak Majumdar (Kaiserslautern), Software Model Checking [introductory, 10 hours]
Risto Miikkulainen (Austin), Natural Language Processing with Subsymbolic Neural Networks [introductory, 6 hours]
Bernhard Steffen (Dortmund), Automata Learning from Theory to Application [introductory/advanced, 18 hours]
Wolfgang Thomas (Aachen), omega-Automata and Infinite Games [introductory/advanced, 6 hours]
Sheng Yu (London ON), Finite Automata and Regular Languages [introductory/advanced, 8 hours]

SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/ssfla2011/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =
- 10 euros (for payments until November 30, 2010),
- 15 euros (for payments after November 30, 2010).

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC)

Please mention SSFLA 2011 and your full name in the subject. An invoice will be provided on site. Bank transfers should not involve any expense for the School.

To check the eligibility for early registration, what counts is the date when the payment is received (not the date when the registration form was filled in).

People registering on site at the beginning of the School must pay in cash.

ACCOMMODATION:

Information about accommodation will be provided through the website of the School in January 2011.

CERTIFICATES:

Students will be delivered a diploma stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the end of the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: October 8, 2010
Starting of the registration: October 11, 2010
Early registration deadline: November 30, 2010
Starting of the School: April 18, 2011
End of the School: April 22, 2011

QUESTIONS AND FURTHER INFORMATION:

Carlos Martin-Vide: carlos.martin@urv.cat

WEBSITE:

http://grammars.grlmc.com/ssfla2011/

POSTAL ADDRESS:

SSFLA 2011
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

Сьомі Смирновські читання з логіки

22–24 червня 2011 року в Москві пройдуть Сьомі Смирновські читання з логіки. Маємо інформаційний лист від організаторів:

Философский факультет
Московского государственного университета имени М. В. Ломоносова
Институт философии РАН
АНО «Институт логики, когнитологии и развития личности»




Уважаемый коллега!

22-24 июня 2011 года состоятся «Седьмые Смирновские чтения по логике», посвященные памяти выдающегося исследователя в области логики, методологии и философии науки Владимира Александровича Смирнова.

На конференции планируется проведение двух пленарных заседаний и работа следующих секций:

  1. Символическая логика
  2. Философская логика
  3. История логики
  4. Логика научного познания
  5. Cимпозиум «Логика и информатика»

Сборник тезисов предполагается издать к началу конференции. Срок приема тезисов выступлений – до 15 марта 2011 г.

Требования к оформлению тезисов. Тезисы представляются в формате LaTeX (предпочтительно) с использованием данного стилевого файла, или в формате MS Word. Максимальный объем тезисов – 2 страницы в формате LaTeX или 4000 знаков в формате MS Word. В случае представления тезисов в формате MS Word необходимо приложить файл с тезисами в формате PDF или прислать бумажный вариант тезисов по почте. Тезисы представляются на английском языке или на русском языке с английским абстрактом. Обращаем ваше внимание на особенности в порядке проведения конференции. Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.

После получения тезисов вопрос о Вашем участии будет рассмотрен программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение. Просим сопроводить тезисы краткой анкетой, а также специально указать, готовы ли вы сделать доклад на английском языке. Тем, чьи тезисы будут приняты, вышлют персональные приглашения. Вместе с приглашениями будет сообщена финансовая сторона дела.

Рекомендации в формате TeX по использованию системы LaTeX для подготовки тезисов на научную конференцию «Седьмые Смирновские чтения по логике».

Адрес Оргкомитета: Москва, МГУ, философский факультет.

Способы подачи заявок:
а) онлайн-регистрация на сайте:
http://vfc.org.ru/rus/events/conferences/smirnov2011/reg/
б) пересылка по электронной почте
sread2011@gmail.com

Анкета участника конференции
«Седьмые Смирновские чтения по логике»

Фамилия
Имя, отчество
Место работы
Должность
Ученая степень
Ученое звание
Рабочий адрес
Домашний адрес
Раб. телефон
Дом. телефон
E-mail
Название предлагаемого выступления
Язык выступления
Потребность в гостинице: Да/Нет

Bridge to Logic II

24 січня — 4 лютого 2011 року в Санкт-Петербурзі (Росія) пройде Міжнародна міждисциплінарна школа з логіки «Міст в Логіку II». Про це можна взнати англійською на сайті школи: http://logics.spb.ru, або російською з наступного інформаційного листа:

Уважаемые коллеги!

Поздравляем Вас с наступающим Новым Годом!

В начале следующего года нас ждет подарок в виде очередной школы "Мост в логику 2", которой приурочен междисциплинарный симпозиум.
К сожалению, возникшие административные препятствия привели к тому, что объявление о школе мы можем официально дать меньше чем за месяц до ее начала.
Тем не менее, надеемся увидеть Вас в числе ее участников, поскольку шанс послушать проф. Яаакко Хинтикку большинству из нас выпадает нечасто.

Вторая международная школа «Мост в логику»
24 января - 4 февраля 2011
Санкт-Петербург, Россия
http://logics.spb.ru

Информационное письмо No. 1

ОБЩАЯ ИНФОРМАЦИЯ

«Мост в логику» — форум, призванный, с одной стороны, выявить и систематизировать связь логики с математикой, философией, лингвистикой, информатикой и некоторыми другими науками, а, с другой стороны, познакомить студентов, аспирантов и молодых ученых с передовыми научными идеями, помочь выстроить их отношения с коллегами, познакомиться с ведущими учеными и поддержать первые шаги в научной деятельности.

В рамках мероприятия состоится двухдневный междисциплинарный симпозиум, пройдут лекции, будут организованы студенческие и аспирантские выступления.

ТЕМАТИКА

- единство логической теории;
- философия Людвига Витгенштейна;
- правдоподобие в научных теориях;
- анализ доказательств;
- проблемы теории множеств;
- ветвящаяся квантификация в первопорядковой логике;
- вероятностная интерпретация кванторов;
- теоретико-игровая семантика;
- динамическая квантовая логика;
- динамическая семантика пересмотра убеждений;
- деонтическая логика;
- сложность вычислений;
- булева алгебра.

ПОЧЕТНЫЙ УЧАСТНИК

- проф. Яаакко Хинтикка (Бостонский университет, Университет Хельсинки);

ПРИГЛАШЕННЫЕ ДОКЛАДЧИКИ

- проф. Илкка Ниинилуото (президент Университета Хельсинки);
-проф. Алесандру Балтаг (Оксфордский университет);
- проф. Габриель Санду (Университет Хельсинки);
- проф. Сара Негри (Университет Хельсинки);
- проф. Николай Кириллович Косовский (СПбГУ, мат-мех);
- проф. Эдуард Федорович Караваев (СПбГУ, филос. ф-т);
- доц. Елена Николаевна Лисанюк (СПбГУ, филос. ф-т).

ЯЗЫК МЕРОПРИЯТИЯ

Английский. Симпозиум проводится только на английском. Лекции школы переводиться не будут. Возможно, что несколько лекций будут прочитаны
на русском.

ВАЖНЫЕ ДАТЫ

15 января 2011 - окончание приема заявок на участие в мероприятиях
(форма на сайте http://logics.spb.ru);
16 января 2011 - окончание приема тезисов студенческих и аспирантских
выступлений (для участия в мероприятии не обязательно);
19 января 2011 - подтверждение бронирования мест на поселение;
20 января 2011 - подтверждение приема тезисов студенческих и
аспирантских выступлений;
24-25 января 2011 - симпозиум «Мост в логику»;
26 января - 4 февраля 2011 - зимняя школа «Мост в логику»;
4 февраля 2011 - студенческие и аспирантские выступления.

ОРГАНИЗАЦИОННЫЙ КОМИТЕТ

Председатель:
- Юрий Вячеславович Нечитайлов (СПбГУ, филос. ф-т);
Члены оргкомитета:
- проф. Иван Борисович Микиртумов (СПбГУ, филос. ф-т);
- доц. Анатолий Иванович Мигунов (СПбГУ, филос. ф-т);
- доц. Елена Николаевна Лисанюк (СПбГУ, филос. ф-т);
Ученый секретарь:
- Ольга Сергеевна Ковалевич (СПбГУ, филос. ф-т).

КОНТАКТЫ

brilog.spb@gmail.com
Тел. +7 (812) 328-94-21 (добавочный 1844)

Кафедра логики
философского факультета СПбГУ (ауд. 104б.)
Менделеевская линия д. 5,
199034 Санкт-Петербург,
Россия
http://logics.spb.ru

ІІІ міжнародна конференція студентів і молодих вчених «Логіка і право»

З Національної юридичної академії України імені Ярослава Мудрого надійшов інформаційний лист.

Шановні колеги!
Запрошуємо студентів, аспірантів та пошукачів взяти участь у роботі
ІІІ-ї міжнародної науково-практичної конференції студентів і молодих вчених

«Логіка і право»,

яка відбудеться 19 травня 2011 року на базі кафедри логіки
Національної юридичної академії України імені Ярослава Мудрого (м. Харків).

НАПРЯМКИ РОБОТИ КОНФЕРЕНЦІЇ

  • Історичний взаємозв’язок логіки і права
  • Логіка і мова права
  • Логічні методи в теоретичній і практичній діяльності юриста
  • Логічний аналіз понять права
  • Логічне моделювання норм права
  • Модальності в логіці права
  • Доказ і аргументація в юридичній практиці
  • Попередження логічних помилок і парадоксів у правовому полі
  • Особливості судової риторики
  • Практична логіка юриста (теорія прийняття судових рішень, логіка юридичної комунікації, логіка вирішення судових конфліктів і т. д.)
  • Логічні підстави юридичної герменевтики
  • Юридична логіка в системі філософії права
  • Логічний аналіз національного законодавства

Для участі в конференції

необхідно вислати до 15 квітня 2011 р.: заявку (додаток 1*), тези доповіді і рецензію наукового керівника в електронному виді (обсяг тез – до 3-х друкованих сторінок, у форматі RTF, шрифт Tіmes New Roman 14, формули - з використанням шрифту Symbol, поля - 2 см, інтервал 1,5, абзац автоматичний - 1 см) і роздрукованому виді (простим листом по зазначеній поштовій адресі).
Робочі мови: українська, російська, англійська.

Оргкомітет залишає за собою право відбору і редагування матеріалів. Матеріали, що не задовольняють тематиці, науковому рівню, технічним вимогам (зразок оформлення тексту - додаток 2*) і надіслані пізніше встановленого терміну не розглядаються та не повертаються.

Організаційний внесок

50 гривень, які необхідно надіслати поштовим переказом за адресою оргкомітету на ім’я Коваленко Ганни Вікторівни. Видання збірника матеріалів планується до початку конференції.

Контактна інформація:

61024, Україна, м. Харків, вул. Пушкінська, 77, кафедра логіки (к.236). Тел.: (057) 704-92-69, e-maіl: kafedralogіc@rambler.ru

Додаток 1. ЗАЯВКА

на участь в ІІІ-й науково-практичній конференції студентів та молодих вчених
«Логіка і право»

Прізвище, ім'я, по батькові:________________________________________. Назва виступу:___________________________________________________.
Місце навчання:__________________________________________________.
Факультет, курс, група:____________________________________________.
Науковий керівник: ______________________________________________.
Домашня адреса:__________________________________________________.
Телефон деканату:____________. Дом./моб. телефон:____________.E-maіl:___________.
Планую особисту участь (так - ні)______________________.

Додаток 2. Приклад оформлення тексту.

Демирджаєв А. Н.,
студент 1 курсу 1 факультету
Національної юридичної академії України
імені Ярослава Мудрого (м. Харків)

Взаємозв’язок логіки і права в історичному контексті

Логіка являє собою розвинену наукову дисципліну, що має десятки напрямків, кожен з яких має свій предмет і сферу застосування, але всі вони базуються на традиційній логіці, заснованій ...

Науковий керівник: к.ю.н., доцент кафедри логіки Національної юридичної академії України імені Ярослава Мудрого Павленко Ж. О.

Семінар у рамках Таврійський читань

Цього року в рамках Сьомих Таврійських читань «Анахарсіс» планується проведення теоретичного семінатру на тему «Вчення про означення». Маємо інформаційний матеріал від організаторів:

Уважаемые коллеги!

На теоретическом семинаре по логике в рамках УП Таврических Чтений «Анахарсис» (Крым, побережье Черного моря, сентябрь, 2011г.) выставляется для обсуждения УЧЕНИЕ ОБ ОПРЕДЕЛЕНИИ.
Все, что касается определения, имеет право обсуждаться:

  • философские основы определения;
  • предмет определения;
  • виды определений;
  • стандарты определений: гегелевский, пирсовский, бриджменовский и т.п.;
  • исторические варианты теории определений;
  • статус определения в аксиоматическом построении теории;
  • значение определений и т.д.

Особое внимание предлагается уделить объемной концепции определения, классическим выражением которой является определение через род и вид, ограниченности этой концепции и необходимости ее преодоления.

Организаторами семинара будет предложена обобщенная трактовка определения, основу которой составляет способ определения чисел, не определимых классическим родо-видовым способом.

Приглашаются логики, методологи науки, специалисты по философии науки и по организации научных исследований.

От оргкомитета Чтений
проф. В. Н. Николко.


Щодо самих Таврійських читань, офіційна інформація така:

Таврический национальный университет им. В. И. Вернадского
Проект «АНАХАРСИС»
Седьмые Таврические чтения
(ориентировочные сроки и место проведения Чтений: с 7 по 11 сентября 201 г., п. Береговое западного побережья Крыма)

Планируемые секции Чтений:

  1. Методологические стратегии снижения рисков техногенной цивилизации.
  2. Новаторы и консерваторы в культуре.
  3. Антропологическая миссия университета.
  4. Современные контексты исследований гражданского общества.

Теоретический семинар:

Учение об определении.

Круглый стол:

Чему не учит история философии?

*Принимаются предложения по уточнению тематики секций.

Тексты статей принимаются по приезду в электронном и печатном вариантах.

Требования к текстам статей:

Шрифт Times New Roman, 14; интервал 1,5; поля по 2 см со всех сторон. Объем от 14000 до 25000 знаков; статьи не будут приняты к печати без аннотаций на русском, украинском и английском языках, а также без УДК.

Каждая аннотация включает: ФИО автора, название статьи, собственно текст аннотации – не более трех предложений, до шести ключевых слов. Общий объем аннотации – до 400 знаков. Статьи, которые не отвечают данным критериям и требованиям ВАК Украины, к печати приняты не будут. Образец оформления статьи размещен на сайте «Анахарсис».

Заявки принимаются до 1 августа 2011 года по адресу briz_elen@mail.ru

Материалы Седьмых Таврических чтений будут опубликованы в издании из списка ВАК Украины: «Ученых записках ТНУ».

Информация по оплате и размещению участников Чтений будет позже помещена на нашем сайте и выслана тем, кто прислал заявки, со вторым информационным письмом.

Контакты:

e-mail:anacharsis@rambler.ru
Наш сайт: www.anaharsis.org
Наш адрес: 95043, г. Симферополь, ул. Киевская 116-а,
Философский факультет, кафедра философии
Контактный телефон:(095)393-02-13

От секретариата проекта «Анахарсис»
Брижань Елена Юрьевна
Председатель оргкомитета Чтений, профессор кафедры философии ТНУ
Шоркин Алексей Давыдович

FSFLA 2011

Виявляється, окрім Весняної школи з формальних мов та їхніх застосувань (SSFLA), є ще й відповідна Осіння школа (FSFLA). Маємо інформаційний матеріал про школу, яка відбудеться в Таррагоні (Іспанія) 31 жовтня – 4 листопада цього року:

******************************


2011 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
FSFLA 2011

(formerly International PhD School in Formal Languages and Applications)
Tarragona, Spain
October 31 – November 4, 2011
Organized by: Research Group on Mathematical Linguistics Rovira i Virgili University
http://grammars.grlmc.com/fsfla2011/


******************************

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the schedule of the courses. The previous event was SSFLA 2011 (http://grammars.grlmc.com/ssfla2011/).

COURSES AND PROFESSORS:

  • Franz Baader (Technische Dresden), Reasoning in Description Logics [intermediate, 6 hours]
  • Manfred Droste (Leipzig), Weighted Automata and Weighted Logic [introductory/advanced, 8 hours]
  • - Max H. Garzon (Memphis), DNA Codeword Design and DNA Languages [introductory/intermediate, 10 hours]
  • - Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate Constraint Satisfaction [intermediate, 6 hours]
  • - Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by the Incompressibility Method [intermediate, 6 hours]
  • - Michael Moortgat (Utrecht), Type-logical Grammars: Expressivity, Parsing Complexity [introductory/advanced, 8 hours]
  • - Helmut Seidl (Technische München), Macro Treetransducers for XML Processing [intermediate, 6 hours] - Alan Selman (Buffalo), Probabilistic Complexity Classes [intermediate, 10 hours]
  • - Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and Enumeration [intermediate, 6 hours]

SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at http://grammars.grlmc.com/fsfla2011/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:
1 hour =
- 10 euros (for payments until July 31, 2011),
- 15 euros (for payments after July 31, 2011).

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; address: Av. Catalunya, 35, 43002 Tarragona, Spain)

Please mention FSFLA 2011 and your full name in the subject. A receipt will be provided on site. Bank transfers should not involve any expense for the School.

For early reduced rates, please notice that the date that counts is the date of the arrival of the fees to the School’s account.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to complete the registration and the payment earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATES:

Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the completion of the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: June 4, 2011
Starting of the registration: June 4, 2011
Early registration deadline: July 31, 2011
Starting of the School: October 31, 2011
End of the School: November 4, 2011

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu: florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/fsfla2011/

POSTAL ADDRESS:

FSFLA 2011
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

Конференції та семінари з логіки: нова інформація

Шановні колеги,

до вашої уваги інформація про деякі конференції, семінари та інші логічно цікаві події, що заплановані на 2011–2012 рр., і до яких іще є шанси долучитися:

1) III Международная научная конференция
«Московские философские чтения - Философский дом». Конференция состоится 28-30 июня 2011 г. и пройдет в заочном формате. Прием заявок в два этапа — до 27 июня 2011 г.
Детальніше: http://www.konferencii.ru/info/id/64802

2) 7-ма щорічна міжнародна конференція з філософії в Афінах
(7th Annual International Conference on Philosophy, 28-31 May 2012, Athens, Greece).
Кінцевий термін для надсилання тез: 31 жовтня 2011 р.
Детальніше: http://www.atiner.gr/call/2012CALL-PHI.htm

3) Workshop з логіки та логічної сематники для природних мов
(Logic and Engineering of Natural Language Semantics 8 (LENLS8), December 1-2, 2011). Abstracts приймаються до 31.08.2011. Схоже, має бути справді цікава зустріч...
Детальніше: http://www.is.ocha.ac.jp/~bekki/lenls/

Також варто поглянути на список конференцій, семінарів, etc, викладений на сайті амстердамського університету, а точніше, Інституту логіки, мови та обчислень (Institute for logic, Language and Computation (ILLC):

http://www.illc.uva.nl/NewsandEvents/Events/index.php?cat=conferences#item3912

Взагалі, на сайт ILLC варто час від часу зазирати: http://www.illc.uva.nl/

Сподіваюсь, ця інформація буде принаймні чимось корисною принаймні для когось із нас:)

SSLST 2011: call for participation

Іспанці розгорнули бурхливу діяльність на полі матлінгвістики. Надійшло повідомлення про ще одну літню школу — Міжнародну літню школу з мови та голосових (speech) технологій. Надійшло, щоправда, запізно: строки реєстрації давно минули. Розміщую інформацію на майбутнє та для тих, хто, можливо, перебуватиме на час школи в Іспанії. Повідомлення від організаторів:

 

******************************************

2011 INTERNATIONAL SUMMER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES
(SSLST 2011)

(formerly International PhD School in Language and Speech Technologies)

Tarragona, Spain, August 29 – September 2, 2011

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/sslst2011/

******************************************

AIM:

SSLST 2011 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research.

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the schedule of the courses.

COURSES AND PROFESSORS:

  • Walter Daelemans (Antwerpen), Computational Stylometry [advanced, 4 hours]
  • Robert Dale (Macquarie), Automated Writing Assistance: Grammar Checking and Beyond [intermediate, 8 hours]
  • Christiane Fellbaum (Princeton), Computational Lexical Semantics [introductory/intermediate, 8 hours]
  • Ralph Grishman (New York), Information Extraction [intermediate, 8 hours]
  • Daniel Jurafsky (Stanford), Computational Extraction of Social and Interactional Meaning [introductory/advanced, 8 hours]
  • Chin-Hui Lee (Georgia Tech), A Short Course on Digital Speech Processing and Applications [intermediate, 8 hours]
  • Yuji Matsumoto (Nara), Syntax and Parsing: Phrase Structure and Dependency Parsing [introductory/intermediate, 8 hours]
  • Diana Maynard (Sheffield), Text Mining [introductory/intermediate, 8 hours]
  • Dan Roth (Urbana-Champaign), Predicting Structures in NLP: Constrained Conditional Models and Integer Linear Programming in NLP [intermediate/advanced, 8 hours]

SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/sslst2011/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

- 10 euros (for payments until June 5, 2011),
- 15 euros (for payments after June 5, 2011).

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; account holder’s address: Av. Catalunya, 35, 43002 Tarragona, Spain)

Please mention SSLST 2011 and your full name in the subject. A receipt will be provided on site. Bank transfers should not involve any expense for the School.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to complete the registration process earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATES:

Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the end of the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: April 21, 2011
Starting of the registration: April 25, 2011
Early registration deadline: June 5, 2011
Starting of the School: August 29, 2011
End of the School: September 2, 2011

QUESTIONS AND FURTHER INFORMATION:

Florentina-Lilica Voicu: florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/sslst2011/

POSTAL ADDRESS:

SSLST 2011
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

2012

LATA 2012: 1st call for papers

Знову маємо повідомлення про щорічну конференцію в Іспанії з матлінгвістики та теорії автоматів. На цей раз про ту, що буде в наступному році.

1st Call for Papers
6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2012)
A Coruña, Spain, March 5 – 9, 2012
http://grammars.grlmc.com/LATA2012/

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

VENUE:

LATA 2012 will take place in A Coruña, at the northwest of Spain. The venue will be the Faculty of Computer Science, University of A Coruña.

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:
- algebraic language theory
- algorithms for semi-structured data mining
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- automatic structures
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computational linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- foundations of XML
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- parallel and regulated rewriting
- parsing
- pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- string processing algorithms
- symbolic dynamics
- symbolic neural networks
- term rewriting
- transducers
- trees, tree languages and tree automata
- weighted automata

STRUCTURE:

LATA 2012 will consist of:

- 3 invited talks
- 2 invited tutorials
- peer-reviewed contributions

INVITED SPEAKERS:

To be announced

PROGRAMME COMMITTEE:

Eric Allender (Rutgers)
Miguel Á. Alonso (A Coruña)
Amihood Amir (Bar-Ilan)
Dana Angluin (Yale)
Franz Baader (Dresden)
Patricia Bouyer (Cachan)
John Case (Delaware)
Volker Diekert (Stuttgart)
Paul Gastin (Cachan)
Reiko Heckel (Leicester)
Sanjay Jain (Singapore)
Janusz Kacprzyk (Warsaw)
Victor Khomenko (Newcastle)
Bakhadyr Khoussainov (Auckland)
Claude Kirchner (Paris)
Maciej Koutny (Newcastle)
Salvador Lucas (Valencia)
Sebastian Maneth (Sydney)
Carlos Martín-Vide (Tarragona, chair)
Giancarlo Mauri (Milano Bicocca)
Aart Middeldorp (Innsbruck)
Faron Moller (Swansea)
Angelo Montanari (Udine)
Joachim Niehren (Lille)
Mitsunori Ogihara (Miami)
Enno Ohlebusch (Ulm)
Dominique Perrin (Marne-la-Vallée)
Alberto Policriti (Udine)
Alexander Rabinovich (Tel Aviv)
Mathieu Raffinot (Paris)
Jörg Rothe (Düsseldorf)
Olivier H. Roux (Nantes)
Yasubumi Sakakibara (Keio)
Eljas Soisalon-Soininen (Aalto)
Frank Stephan (Singapore)
Jens Stoye (Bielefeld)
Howard Straubing (Boston)
Masayuki Takeda (Kyushu)
Wolfgang Thomas (Aachen)
Sophie Tison (Lille)
Jacobo Torán (Ulm)
Tayssir Touili (Paris)
Esko Ukkonen (Helsinki)
Frits Vaandrager (Nijmegen)
Manuel Vilares (Vigo)
Todd Wareham (Newfoundland)
Pierre Wolper (Liège)
Hans Zantema (Eindhoven)
Thomas Zeugmann (Sapporo)

ORGANIZING COMMITTEE:

Miguel Á. Alonso (A Coruña, co-chair)
Adrian Horia Dediu (Tarragona)
Carlos Gómez Rodríguez (A Coruña)
Jorge Graña (A Coruña)
Carlos Martín-Vide (Tarragona, co-chair)
Bianca Truthe (Magdeburg)
Jesús Vilares (A Coruña)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at:

http://www.easychair.org/conferences/?conf=lata2012

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration will be open since July 16, 2011 until March 5, 2012. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2012/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On-site registration fees: 580 Euro
On-site registration fees (PhD students): 480 Euro

At least one author per paper should register. Papers that do not have a registered author who paid the fees by December 5, 2011 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches.

PhD students will need to prove their status on site.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before December 5, 2011 (resp. February 24, 2012) to the conference series account at Uno-e Bank (Julián Camarillo 4 C, 28037 Madrid, Spain):

IBAN: ES3902270001820201823142 – Swift/BIC code: UNOEESM1 (account holder: Carlos Martin-Vide – LATA 2012; address: Av. Catalunya, 35, 43002 Tarragona, Spain).

Please write the participant’s name in the subject of the bank form. Transfers should not involve any expense for the conference. People claiming early registration will be requested to prove that they gave the transfer order to the bank by the deadline.

On-site registration fees can be paid only in cash. A receipt for payments will be provided on site.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

IMPORTANT DATES:

Paper submission: October 7, 2011 (23:59h, CET)
Notification of paper acceptance or rejection: November 18, 2011
Final version of the paper for the LNCS proceedings: November 27, 2011
Early registration: December 5, 2011
Late registration: February 24, 2012
Starting of the conference: March 5, 2012
Submission to the post-conference special issue: June 9, 2012

FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

LATA 2012
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

AiML-2012

Ініціатива «Успіхи модальної логіки» (Advances in Modal Logic Initiative) проводитиме наступного року 9-ту за рахунком однойменну конференцію. Місце і час проведення — Данія, Копенгаген, 22–25 серпня.

Із заявкою приймаються як тези, так і статті. Для надсилання потрібно спершу зареєструватися за наст. адресою: https://www.easychair.org/account/signup.cgi?conf=aiml2012

Важливі дати:

  • Строк надсилання статей: до 16 березня 2012 р.
  • Повідомлення про прийом статей: 18 травня 2012 р.
  • Строк надсилання тез: до 1 червня 2012 р.
  • Повідомлення про прийом тез: 7 червня 2012 р.
  • Строк надсилання остаточних версій статей і тез: до 7 червня 2012 р.

Докладніша інформація:

Сайт конференції

Умови участі: PDF, текст.

WSLST 2012: 1st announcement

Окрім літньої школи з мовленнєвих технологій, в Іспанії проводиться також зимова школа. Маємо повідомлення від організаторів:

*********************************************************************

2012 INTERNATIONAL WINTER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES

WSLST 2012

(formerly International PhD School in Language and Speech Technologies)

Tarragona, Spain

January 23-27, 2012

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/wslst2012/

*********************************************************************

AIM:

WSLST 2012 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

The previous event in this series was SSLST 2011 (http://grammars.grlmc.com/sslst2011/).

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Eneko Agirre (Donostia/San Sebastián), Semantic Processing of Text: Word Sense Disambiguation, Entity Linking and Semantic Similarity [introductory/intermediate, 8 hours]
  • William J. Byrne (Cambridge), Weighted Finite State Transducers in Statistical Machine Translation [introductory/advanced, 6 hours]
  • Marcello Federico (Fondazione Bruno Kessler, Trento), Statistical Language Modeling [introductory/advanced, 8 hours]
  • Ralph Grishman (New York), Information Extraction [intermediate, 8 hours]
  • John Nerbonne (Groningen), Using Edit-Distance to Understand Linguistic Variation [introductory/advanced, 4 hours]
  • Geoffrey K. Pullum (Edinburgh), The Formal Properties of Human Languages: Description with a View to Implementation [introductory/intermediate, 8 hours]
  • Jian Su (Institute for Infocomm Research, Singapore), Coreference Resolution and Discourse Relation Recognition [advanced, 4 hours]
  • Christoph Tillmann (IBM T.J. Watson Research Center), Simple and Effective Algorithms and Models for Non-hierarchical Statistical Machine Translation [intermediate, 6 hours]
  • David R. Traum (U Southern California), Approaches to Dialogue Systems and Dialogue Management [introductory, 10 hours]
  • Dekai Wu (Hong Kong U of Science and Technology), Syntactic and Semantic Statistical Machine Translation [introductory/advanced, 8 hours]

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/wslst2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

- 10 euros (for payments until November 13, 2011),
- 15 euros (for payments after November 13, 2011).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; account holder’s address: Av. Catalunya, 35, 43002 Tarragona, Spain)

Please mention WSLST 2012 and your full name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that they gave the bank transfer order by the deadline.
  • Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATES:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: September 26, 2011
Starting of the registration: September 26, 2011
Early registration deadline: November 13, 2011
Starting of the School: January 23, 2012
End of the School: January 27, 2012

QUESTIONS AND FURTHER INFORMATION:

Florentina-Lilica Voicu: florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/wslst2012/

POSTAL ADDRESS:

WSLST 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

Square of Opposition III - Beirut 2012

Наступного року проводитиметься вже третя конференція з такого вузького і спеціального питання, як логічний квадрат. Перша така конференція відбулася в Монтеро (Швейцарія) в 2007 році, друга — в Корте, на Корсиці, в 2010 році. Третя конференція відбудеться наступного 2012 року в Бейруті (Ліван) 26-29 червня.

Останній строк реєстрації20 грудня цього року.

Сайт конференції: http://www.square-of-opposition.org/

Розмір сплати за участь залежить від строків її здійснення.

Оновлення: строк прийому тез і реєстрації продовжено до 21 січня 2012 року.

Російсько-фінський колоквіум та школа з логіки у Петербурзі

Наступного року в Санкт-Петербурзі, в Росії відбудеться одразу два заходи: Відкритий російсько-фінський колоквіум та Третя школа з логіки. Маємо повідомлення від організаторів:



Санкт-Петербургский государственный университет
Университет Хельсинки (Финляндия)
Санкт-Петербургское философское общество
Ассоциация логиков Санкт-Петербурга


Открытый Российско-Финский коллоквиум по логике

ОРФиК–2012

Санкт-Петербург 14 – 16 июня 2012 года




Общая тематика коллоквиума:

  • модальность и время;
  • эпистемическая логика и пересмотр убеждений (belief revision);
  • теоретико-игровые методы и подходы;
  • правдоподобные рассуждения;
  • логическая прагматика и логический подход к анализу аргументации;
  • вопросы истории и становления современной логики.

Формы участия:

  • пленарный доклад (40 мин.);
  • стендовый доклад (публикуется в материалах конференции);
  • секционное сообщение (15 мин.) на англ. или рус. яз.;
  • участие в дискуссиях коллоквиума без выступления (заявкой является заполненная регистрационная форма – см.ниже).

Отбор докладов

Проводится в 2 этапа: первично, на основании тезисов докладов (до 500 слов), и вторично, на основании рецензирования полных версий докладов (0,5 п. л.).

Важные даты

11.11.11 – начало приема тезисов докладов (до 500 слов) по адресу orfic2012@gmail.com,
10.01.12 – завершение приёма тезисов докладов,
20.02.12 – авторам сообщается о результатах первого отбора,
30.03.12 – завершение приёма полных текстов докладов и сообщений,
14.06.12 – начало работы коллоквиума.

Рабочие языки:

пленарных докладов – английский,
стендовых докладов и секционных сообщений – английский и русский.

Заявки на участие

Регистрационную форму (см. ниже) и тезисы (до 500 слов, в LATEX или WORD) отправлять вложенным файлом по адресу orfic2012@gmail.com. В течение 5 рабочих дней после отправления регистрационной формы и тезисов Вы получите подтверждение об их получении; если этого не произошло, повторите отправку и обратитесь к секретарю оргкомитета Коллоквиума Ольге Сергеевне Ковалевич: orfic2012@yandex.ru.

Тезисы

  • Объём тезисов не более 500 слов (1 стр. формата А4, кегль 12, шрифт Times New Roman, междустрочный интервал – одинарный, поля 2.5 см / 1 дюйм со всех сторон). Сноски в тезисах не предусмотрены.
  • Фамилия, инициалы и название – полужирным, кегль 14 с выравниванием по центру.

Доклады

Пленарные – будут опубликованы в рецензируемом периодическом издании.

Стендовые – публикуются в сборнике материалов конференции.

Требования к оформлению докладов будут сообщены авторам дополнительно.

Регистрационная форма

– Ф.И.О.
– Тема доклада
– Место работы, должность
– Учёные степени и звания
– Почтовый адрес
– Электронный адрес
– Телефон, факс

Регистрационный взнос

750 рублей (студенты и аспиранты – 100 руб.). Вносится участниками коллоквиума при регистрации.

Размещение участников

Информация о размещении участников коллоквиума появится на портале http://logics.pro.

Гранты Оргкомитета на участие в ОРФиКе2012

В случае поддержки мероприятии со стороны СПбГУ и российский фондодающих организаций, Оргкомитет планирует выделить гранты на оплату проезда и проживания участников ОРФиКа-2012. Информация о грантах появится на портале http://logics.pro

По всем вопросам можно обратиться к секретарю оргкомитета коллоквиума Ольге Сергеевне Ковалевич: orfic2012@yandex.ru.






Кафедра логики Санкт-Петербургского государственного университета

приглашает принять участие в

Третьей международной научной школе
«Мост в логику (Bridge to Logic III)»

18­­ – 20 июня 2012 года




Цель проведения школы – расширить международное академическое пространство логической науки и привлечь молодых ученых к активному участию в нем.

Задачи школы:

  1. Поддержать интерес молодых ученых (студентов и аспирантов) к логической проблематике и обеспечить обратную связь преподавателей со студенческой и аспирантской аудиторией.
  2. Повысить активность молодых исследователей в области реализации инициативных актуальных научных исследований по логике.
  3. Расширить вертикальные и горизонтальные контакты в профессиональной среде исследователей логики.
  4. Мотивировать студентов реализовывать свой творческий потенциал в сфере научно-исследовательской деятельности.
  5. Способствовать профессиональной социализации молодых ученых.

Участники школы смогут:

  • прослушать специальные открытые лекции ведущих отечественных и зарубежных логиков;
  • участвовать в дискуссиях вместе с ведущими учеными России и мира;
  • представить и апробировать свой научно-исследовательский проект;
  • обсудить актуальные вопросы современной логики;
  • обменяться опытом и установить новые академические контакты с российскими и зарубежными коллегами;
  • общаться в неформальной обстановке с ведущими логиками, а также с коллегами из разных отечественных и зарубежных вузов.

Мост в логику – это уникальная возможность познакомиться с новейшими оригинальными достижениями в области теории и истории логики, а также в сферах ее основных приложений в лингвистике, информатике и других областях научного знания.

Тематика лекций и семинаров школы:

  • современная логика;
  • история логики;
  • прикладная логика;
  • логика и информатика;
  • логика и лингвистика.

Формат школы открыт для: лекций (популярных и специализированных по различным разделам логики), семинаров, коллоквиумов, круглых столов, стендовых докладов (постеров), широких дискуссий для исследователей и студентов, заинтересованных в различных научных проектах по логике.

Оргкомитет школы, как всегда, предложит культурную программу для участников.

Для подачи заявки на участие в школе требуется заполнить приложенную форму.

Председатель оргкомитета школы
Юрий Вячеславович Нечитайлов

Сайт школы: http://logics.spb.ru

Email школы: brilog.spb@gmail.com

Заявки на участие в школе присылайте на адрес brilog.spb@gmail.com до 1 февраля 2012 года согласно следующей форме:

Общие данные участника школы «Мост в логику III»

Фамилия Имя Отчество:
Должность:
Университет:
Город:
Страна:
Область научных интересов:

Контактная информация

Почтовый адрес (с индексом):
Телефон (предпочтительно мобильный):
E-mail:
Адрес в соц. сети (ВКонтакте, Facebook):

Информация только для студентов и аспирантов

Научный руководитель:
Тема доклада (если запланирован):

Документооборот

Требуется официальное приглашение от СПбГУ: да/нет
Требуется приглашение для оформления визы: да/нет

Размещение в Санкт-Петербурге

Требуется оказать поддержку в бронировании отеля: да/нет
Дата и время прибытия:
Дата и время отъезда:


SSFLA 2012

Цього року так само, як і минулого, в іспанській Таррагоні проводитиметься Міжнародна весняна школа з формальних мов та їх застосувань. Повідомлення від організаторів:


2012 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS



SSFLA 2012


(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain

April 2-6, 2012

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/ssfla2012/


 

AIM:

SSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

The previous event in this series was FSFLA 2011 (http://grammars.grlmc.com/fsfla2011/).

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours]
  • Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours]
  • Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 10 hours]
  • Andrea Corradini (Pisa), Computational Models Based on Rewriting [introductory, 12 hours]
  • Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]
  • Manfred Droste (Leipzig), Weighted Automata and Weighted Logic [introductory/advanced, 8 hours]
  • Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours]
  • Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours]

REGISTRATION:

It has to be done on line at
http://grammars.grlmc.com/ssfla2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

  • 10 euros (for payments until January 22, 2012),
  • 15 euros (for payments after January 22, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 – Swift/BIC code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; account holder's address: Av. Catalunya, 35, 43002 Tarragona, Spain)

Please mention SSFLA 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
  • Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: December 10, 2011

Starting of the registration: December 10, 2011

Early registration deadline: January 22, 2012

Starting of the School: April 2, 2012

End of the School: April 6, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu: florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/ssfla2012/

POSTAL ADDRESS:

SSFLA 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

Конференція в Київському університеті

У травні 2012 року в Київському національному університеті імені Тараса Шевченка відбудеться вже п’ята за рахунком конференція з проблем викладання логіки. Маємо інформацію від організаторів:

 

 

Київський національний університет імені Тараса Шевченка
Філософський факультет
Кафедра логіки

3-4 травня 2012 року
проводить

5-ту міжнародну науково-практичну конференцію
«Проблеми викладання логіки та дисциплін логічного циклу»

Головні теми обговорення

  1. Логіка на філософських факультетах ВНЗ: проблеми базового курсу.
  2. Проблеми спеціалізації з логіки.
  3. Дисципліни логічного циклу (неформальна логіка, теорія аргументації, риторика, еристика): теоретичні проблеми навчальних курсів.
  4. Практичні аспекти дисциплін логічного циклу в університетській та бізнес-освіті (МВА, тренінги і т.п.).
  5. Навчальні курси з логіки для студентів не філософських спеціальностей.
  6. Логіка та дисципліни логічного циклу на юридичних факультетах ВНЗ.

Форми участі

  1. Пленарна доповідь (40 хв.)
  2. Виступ (до 15 хв.)
  3. Проведення майстер-классу (80 хв.)

Умови для учасників

Оргкомітет сплачує витрати з проживання та харчування. Сторона, що приймає, не сплачує проїзд учасників.

Робочі мови конференції

  1. Українська
  2. Російська
  3. Англійська

Тези

Передбачається видання тез учасників конференції. Оргкомітет залишає за собою право відбору матеріалів для друку.
Обсяг тез до 1 стор. формату А4, кегль 9, шрифт Arial, міжрядковий інтервал – одинарний, посилання – у квадратних дужках після цитування, прізвище, ініціали, назва, місто, країна – з вирівнюванням по центру.

Заявки на участь

Реєстраційну форму та тези доповідей відправляти вкладеним файлом за електронною адресою kyivconference@gmail.com до 12 березня 2012 р.

Реєстраційна форма

  1. П.І.Б.
  2. Тема доповіді
  3. Вказівка на тему конференції
  4. Місце роботи, посада
  5. Вчений ступінь та звання
  6. Поштова адреса
  7. Електронна адреса
  8. Телефон, факс
  9. Потреба у поселенні

Важливі дати

19.12.11 – початок прийому тез доповідей за адресою kyivconference@gmail.com
12.03.12 – завершення прийому тез доповідей
26.03.12 – авторам повідомляється про результати відбору
03.05.12 – початок роботи конференції

Довідкова інформація

За довідковою інформацією прохання звертатися до секретаря оргкомітету конференції Піонтковської Тетяни Василівни за електронною адресою kyivconference@gmail.com

Телефон кафедри логіки: (38 044) 239-32-32

Інформація про конференцію у мережі Internet на сайті конференції https://sites.google.com/site/kyivlogconf/
та на сайті філософського факультету КНУ імені Тараса Шевченка www.phildep.univ.kiev.ua

IV конференція «Логіка і право»

11 травня цього року у Харкові на базі Юридичної академії України імені Ярослава Мудрого відбудеться IV науково-практична конференція «Логіка і право». Повідомлення від організаторів:

Уважаемые коллеги!
Приглашаем Вас принять участие в работе
ІV-й научно-практической конференции
«Логика и право»
,

которая состоится 11 мая 2012 года

на базе кафедры логики и кафедры теории государства и права
Национального университета «Юридическая академия Украины имени Ярослава Мудрого»
(г. Харьков).

НАПРАВЛЕНИЯ РАБОТЫ КОНФЕРЕНЦИИ

  • Историческая взаимосвязь логики и права
  • Логика и язык права
  • Логические методы в теоретической и практической деятельности юриста
  • Логический анализ понятий права
  • Логическое моделирование норм права
  • Модальности в логике права
  • Доказательство и аргументация в юридической практике
  • Предупреждение логических ошибок и парадоксов в правовом поле
  • Особенности судебной риторики
  • Практическая логика юриста (теория принятия судебных решений, логика юридической коммуникации, логика разрешения судебных конфликтов и т. д.)
  • Логические основания юридической герменевтики
  • Теоретические и методические проблемы юридической логики
  • Логический анализ нормативно-правовых актов

Для участия в конференции необходимо выслать до 20 апреля 2012 г. в электронном виде по указанному электронному адресу:

  1. заявку (приложение 1),
  2. тезисы доклада (приложение 2),
  3. отсканированную рецензию подписанную научным руководителем и заверенную печатью учреждения (для студентов),
  4. отсканированную квитанцию об оплате организационного взноса для тех, кто оплачивает взнос через почту.

Объем тезисов – до 3-х печатных страниц; формат MS Word; шрифт Times New Roman 14; формулы – с использованием шрифта Symbol, поля – 2 см, интервал 1,5, абзац автоматический – 1,25 см. Рабочие языки: украинский, русский, английский.

Оргкомитет оставляет за собой право отбора и редактирования материалов. Материалы, не удовлетворяющие тематике, научному уровню, техническим требованиям и присланные позднее установленного срока, не рассматриваются и не возвращаются.

Организационный взнос – 50 гривен, который можно оплатить непосредственно на кафедре логики или переслать простым почтовым переводом по адресу оргкомитета на имя Коваленко Анны Викторовны.

Издание сборника материалов планируется к началу конференции. Контактная информация: 61024, Украина, г. Харьков, ул. Пушкинская, 77, кафедра логики (к. 231). Тел.: (057) 704-92-69, e-mail: kafedralogic@rambler.ru

 


 

Приложение 1.

ЗАЯВКА

на участие в ІV-й научно-практической конференции студентов и молодых учёных
«Логика и право»

Фамилия, имя, отчество:  


Название выступления:  


Место учебы, факультет, курс, группа:  


Место работы, должность, ученая степень:  


Ф.И.О., должность, ученая степень научного руководителя:  


Полный контактный адрес:  


Контактный телефон:  


E-mail:  


Планирую непосредственное участие (приезд и/или выступление с докладом)  


 

ВНИМАНИЕ! Предусматриваются развернутые ответы по каждому пункту заявки!

 


 

Приложение 2. Пример оформления текста.

Демирджаев А. Н.,
студент 1 курса Национального университета
«Юридическая академия Украины им. Ярослава Мудрого»,
г. Харьков

 

Взаимосвязи логики и права в историческом контексте

 

Логика представляет собой развитую научную дисциплину, имеющую десятки направлений, каждое из которых имеет свой предмет и сферу приложения, но все они базируются на традиционной логике, основанной ...

Научный руководитель: к.ю.н., доцент кафедры логики Национального университета «Юридическая академия Украины имени Ярослава Мудрого»
Павленко Ж. А.

SSNC 2012: INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING

Тематика сезонних логіко-математичних шкіл, що проходять в іспанській Тарргоні, постійно розширюється. Цього року там відбудеться Міжнародна весняна школа з природних обчислень. Повідомлення від організаторів:

2012 INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING
SSNC 2012

Tarragona, Spain
May 28 – June 1st, 2012

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/ssnc2012/

*********************************************************************

AIM:

SSNC 2012 offers a broad and intensive series of lectures at different levels on selected topics in nature-inspired computing. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

ADDRESSED TO:

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science, Biology, Neuroscience, Physics and Mathematics. Other students (for instance, from Engineering or Logic) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Eric Bonabeau (Icosystem, Cambridge MA), Self-Organization in Natural and Artificial Systems [introductory, 4 hours],
  • David W. Corne (Heriot-Watt), Swarm Intelligence Algorithms [introductory, 6 hours],
  • Hisao Ishibuchi (Osaka Prefecture), Introduction to Fuzzy Rule-Based Classifier Design [introductory, 4 hours],
  • Xiaodong Li (Royal Melbourne Institute of Technology), Advances in Particle Swarm Optimization [introductory/advanced, 6 hours],
  • Martin Middendorf (Leipzig), Social Insects and Organic Computing [introductory, 6 hours],
  • Stefano Nolfi (CNR, Roma), Evolution and Development of Language in Robots [introductory/intermediate, 6 hours],
  • Leandro Nunes de Castro (Mackenzie Presbiterian, São Paulo), Introduction to Evolutionary Data Clustering [introductory/intermediate, 10 hours],
  • Tatsuya Suda (University Netgroup Inc., Irvine), Molecular Communication and the Bio-networking Architecture [introductory/intermediate, 6 hours],
  • L. Darrell Whitley (Colorado State), Evolutionary Algorithms and Elementary Landscapes [introductory/intermediate, 6 hours],
  • Xin Yao (Birmingham), Evolutionary Optimization and Co-evolutionary Learning [intermediate/advanced, 6 hours],

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/ssnc2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

• 10 euros (for payments until March 18, 2012),
• 15 euros (for payments after March 18, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank

bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention SSNC 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

• Bank transfers should not involve any expense for the School.
• People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
• Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: February 12, 2012

Starting of the registration: February 12, 2012

Early registration deadline: March 18, 2012

Starting of the School: May 28, 2012

End of the School: June 1st, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:

florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/ssnc2012/

POSTAL ADDRESS:

SSNC 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

1st INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING

Цього року в Іспанії не тільки пройде школа з природних обчислень, але й відбудеться перша міжнародна конференція з цієї тематики. Останню заплановано на осінь, на початок жовтня. Маємо повідомлення від організаторів:

1st INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING

TPNC 2012

Tarragona, Spain
October 1-5, 2012

http://grammars.grlmc.com/tpnc2012/

*********************************************************************

AIMS:

TPNC is the first event in a series to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2012 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions about nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.

VENUE:

TPNC 2012 will take place in Tarragona, less than 100 kms. to the south of Barcelona.

SCOPE:

Topics of either theoretical, experimental or applied interest include, but are not limited to:

  • Nature-inspired models of computation:
    • amorphous computing
    • cellular automata
    • chaos and dynamical systems based computing
    • evolutionary computing
    • membrane computing
    • neural computing
    • optical computing
    • swarm intelligence
  • Synthesizing nature by means of computation:
    • artificial chemistry
    • artificial immune systems
    • artificial life
  • Nature-inspired materials:
    • computing with DNA
    • nanocomputing
    • physarum computing
    • quantum computing and quantum information
    • reaction-diffusion computing
  • Information processing in nature:
    • developmental systems
    • fractal geometry
    • gene assembly in unicellular organisms
    • rough/fuzzy computing in nature
    • synthetic biology
    • systems biology
  • Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economy, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc.

STRUCTURE:

TPNC 2012 will consist of:

  • invited talks
  • invited tutorials
  • peer‐reviewed contributions

INVITED SPEAKERS:

To be announced

PROGRAMME COMMITTEE:

Ajith Abraham (Auburn)
Selim G. Akl (Kingston CA)
Enrique Alba (Málaga)
Artiom Alhazov (Chişinău)
Peter J. Bentley (London)
Mauro Birattari (Brussels)
Christian Blum (Barcelona)
Óscar Castillo (Tijuana)
Weng-Long Chang (Kaohsiung)
Parimal Pal Chaudhuri (Calcutta)
Carlos A. Coello Coello (Mexico DF)
Kalyanmoy Deb (Kanpur)
Peter Dittrich (Jena)
Andries Petrus Engelbrecht (Pretoria)
Toshio Fukuda (Nagoya)
Enrique Herrera-Viedma (Granada)
César Hervás-Martínez (Córdoba)
Julia Kempe (Paris)
Elmar Wolfgang Lang (Regensburg)
Pier Luca Lanzi (Milan)
Vincenzo Manca (Verona)
Maurice Margenstern (Metz)
Carlos Martín-Vide (Tarragona, chair)
Kaisa Miettinen (Jyväskylä)
Michael O'Neill (Dublin)
Ferdinand Peper (Kobe)
Ion Petre (Turku)
Carla Piazza (Udine)
A.C. Cem Say (Istanbul)
Jürgen Schmidhuber (Lugano)
Moshe Sipper (Beer-Sheva)
El-Ghazali Talbi (Lille)
Kay Chen Tan (Singapore)
Jirí Wiedermann (Prague)
Takashi Yokomori (Tokyo)
Ivan Zelinka (Ostrava)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Peter Leupold (Tarragona)
Carlos Martín‐Vide (Tarragona, chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single‐spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded at:

https://www.easychair.org/conferences/?conf=tpnc2012

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer‐reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration is open from February 25 to October 1, 2012. The registration form can be found at the website of the conference: http://grammars.grlmc.com/tpnc2012/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On‐site registration fees: 580 Euro
On‐site registration fees (PhD students): 480 Euro

At least one author per paper should register. Papers that do not have a registered author who paid the fees by July 1, 2012 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches. PhD students will need to prove their status on site.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before July 1, 2012 (resp. September 21, 2012) to the conference bank account:

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martín-Vide GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention TPNC 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the conference.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.

People registering on site must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

IMPORTANT DATES:

Paper submission: May 8, 2012 (23:59h, CET)
Notification of paper acceptance or rejection: June 18, 2012
Final version of the paper for the LNCS proceedings: June 25, 2012
Early registration: July 1, 2012
Late registration: September 21, 2012
Starting of the conference: October 1, 2012
Submission to the post‐conference special issue: January 5, 2013

FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

TPNC 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34‐977‐559543
Fax: +34‐977‐558386

SSLST 2012

Як і минулого року, цього так само в іспанській Таррагоні проводитиметься Міжнародна літня школа з мови і мовленнєвих технологій. Повідомлення від організаторів:

2012 INTERNATIONAL SUMMER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES

SSLST 2012

(formerly International PhD School in Language and Speech Technologies)

Tarragona, Spain
July 30 – August 3, 2012

Organized by:

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/sslst2012/

*********************************************************************

AIM:

SSLST 2012 offers a broad and intensive series of lectures at different levels on language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

The previous event in this series was WSLST 2012: http://grammars.grlmc.com/wslst2012/

ADDRESSED TO:

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Philosophy, or Cognitive Science) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Jont B. Allen (Illinois Urbana-Champaign), A Parametric Analysis of Speech Perception [introductory, 8 hours]
  • Hervé Bourlard (Idiap Research Institute, Martigny), Introduction to Speech Recognition, and New Trends in Multilingual Speech Processing [introductory/intermediate, 6 hours]
  • Marcello Federico (Bruno Kessler Foundation, Trento), Statistical Machine Translation [introductory/intermediate, 8 hours]
  • Giuseppe Riccardi (Trento), Spoken Language Understanding [intermediate/advanced, 6 hours]
  • Noah A. Smith (Carnegie Mellon), Probability and Structure in Natural Language Processing [intermediate, 8 hours]
  • Bayya Yegnanarayana (International Institute of Information Technology Hyderabad), Speech Signal Processing [introductory/intermediate, 8 hours]

REGISTRATION:

It has to be done on line at
http://grammars.grlmc.com/sslst2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

  • 10 euros (for payments until May 18, 2012),
  • 15 euros (for payments after May 18, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
BIC/SWIFT code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention SSLST 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
  • Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATES:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: April 12, 2012
Starting of the registration: April 12, 2012
Early registration deadline: May 18, 2012
Starting of the School: July 30, 2012
End of the School: August 3, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/sslst2012/

POSTAL ADDRESS:

SSLST 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

Восьмі Таврійські читання «Анахарсіс»

На вересень нинішнього року в Криму заплановано проведення чергових Таврійських читань «Анахарсіс». Цього разу, всупереч назві, в рамках конференції відбудеться не логічний, а методологічний семінар.

Подаємо офіційне повідомлення від організаторів про конференцію і (нижче) звернення до учасників, що бажають взяти участь саме в логічному/методологічному семінарі (в тексті він навіть названий секцією, що, судячи з минулорічного досвіду, відповідатиме дійсності):

 
Таврический национальный университет им. В. И. Вернадского
 

Проект «АНАХАРСИС»

Восьмые Таврические чтения:
«Мир как горизонт смыслов и значений»

(ориентировочные сроки и место проведения Чтений:
с 15 по 18 сентября 2012 г.,
п. Береговое западного побережья Крыма)

Планируемые секции и круглые столы Восьмых Чтений:

  1. Антропологические импликации новейших технологий.
  2. Традиции: прошлое или будущее?
  3. Семиотика текстов современной культуры.
  4. Симуляция и догма как атрибуты культуры.
  5. Сизигийная парадигма ноосферы.
  6. Цель и смысл философского текста.

Теоретический семинар по логике:

«Методология научных исследований».

Образец заявки.

Информация для программы Чтений
ФИО Ученая степень Город Название доклада
Иванов Петр Петрович д.филос.наук г. Симферополь «Учение о предельных основаниях бытия»

Информация для организационных моментов
ВАШ e-mail, телефон Секция Должность.
Место работы. Адрес.
Контактный адрес, почтовый код
briz_elen@mail.ru
095-393-02-13
Традиции:прошлое или будущее? Профессор философского факультета, кафедры философии, ТНУ им. Вернадского.
20, ул. Ялтинская г.Симферополь 95007
кв. 5, д.8 ул. Гогаришвили, г.Симферополь 97550

Впишите в таблицы свои данные и отправьте нам в качестве заявки.

С уважением, оргкомитет конференции «Анахарсис».

Заявки принимаются до 27 августа 2012 года по адресу briz_elen@mail.ru

Материалы Восьмых Таврических чтений будут опубликованы в издании из списка ВАК Украины: «Ученых записках ТНУ».

Информация по оплате и размещению участников Чтений будет позже помещена на нашем сайте и выслана тем, кто прислал заявки, со вторым информационным письмом.

Тексты статей предоставляются по приезду в электронном и печатном вариантах или высылаются заранее по адресу briz_elen@mail.ru.

Требования к текстам статей:

Шрифт Times New Roman, 14; интервал 1,5; поля по 2см со всех сторон.

Объем от 14000 до 25000 знаков с пробелами; статьи не будут приняты к печати без аннотаций на русском, украинском и английском языках, а также без УДК.

Каждая аннотация включает: ФИО автора, название статьи, собственно текст аннотации – не более трех предложений, до шести ключевых слов. Общий объем аннотации – до 400 знаков.

Статьи, которые не отвечают данным критериям и требованиям ВАК Украины, к печати приняты не будут.

Контакты:

e-mail: anacharsis@rambler.ru
Наш сайт: www.anaharsis.org
Наш адрес: г. Симферополь, ул. Ялтинская, 20
Философский факультет, кафедра философии
Контактный телефон: 095-393-02-13
От секретариата проекта «Анахарсис» - Брижань Елена Юрьевна

Председатель оргкомитета Чтений
профессор кафедры философии ТНУ
Шоркин Алексей Давыдович


Уважаемые коллеги!

Грядут очередные, восьмые, Чтения «Анахарсис».

Каждый из нас где-нибудь подрабатывает, читая курс лекций по философии для аспирантов и соискателей. У каждого из нас, наверняка, есть прекрасные разработки тех или иных разделов логики и методологии науки, которые неизбежны в таких случаях.

Наверняка также, каждый из нас думал о книжке по логике и методологии науки как учебном пособии для работы с аспирантами и соискателями.

Есть возможность хоть как-то реализовать эту мечту. Предлагается: целью теоретического семинара по логике и секции по методологии науки объявить организацию выступлений и сбор статей для коллективного учебного пособия по логике и методологии науки. Даем ориентировку тем докладов и статей для указанной цели:

  • практическое и мысленное формирование предмета исследования;
  • фрагментация предмета исследования;
  • именование фрагментов предмета исследования, их классификации, определения и т.д.;
  • кодирование отношений фрагментов предметной области предложным способом;
  • формализация предмета или его описаний, сущность и значение формализации;
  • создание систем формул (формализмов), выяснение отношений формул, выводные расчетные процессы;
  • аксиоматизация формализмов, решение исследовательских задач формальными средствами;
  • программная формализация познавательных процессов.

Ясно, что наука в рассмотренном выше плане представляется как решение исследовательских задач с помощью формализации, что адекватно современности.

Среди нас есть талантливые и давно работающие в методологии науки люди. Можно доверить им организацию выпуска отдельного издания на базе Ученых записок ТНУ им. В. И. Вернадского. В конце концов, каждый из нас может по материалам «Анахарсиса» сгруппировать собственную книгу по логике и методологии науки. Потребность в такой книге есть, и она может быть реализована.

Откликайтесь, давайте предложения, шлите доклады, записывайтесь в секцию по методологии науки!

Logic and Relativity: István Németi's 70th birthday conference

Прийшло ось таке повідомлення на пошту:

Call for Papers
First International Conference on Logic and Relativity:
honoring István Németi's 70th birthday
September 8 - 12, 2012, Budapest
http://www.renyi.hu/conferences/nemeti70/

Якщо піти за вказаною адресою, можна взнати все про конференцію. Одне тільки не вельми тішить:

Deadline for abstract/paper submission: Sunday 3 June, 2012.

Ось так: до дедлайна лишилося вже менше, ніж два тижні, а організатори тільки заворушилися. Ну, вже як є.

FSFLA 2012

Услід за Весняною школою з формальних мов та їхніх застосувань (SSFLA) в іспанській Таррагоні вже планується й відповідна чергова Осіння школа (FSFLA). Повідомлення від організаторів:

2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS

FSFLA 2012

(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain
October 29 – November 2, 2012

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/fsfla2012/


 

AIM:

FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

The previous event in this series was FSFLA 2011 (http://grammars.grlmc.com/fsfla2011/).

ADDRESSED TO:

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There is no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours]
  • Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours]
  • Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours]
  • Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]
  • Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours]
  • Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours]

REGISTRATION:

It has to be done on line at
http://grammars.grlmc.com/fsfla2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

  • 10 euros (for payments until June 2, 2012),
  • 12.50 euros (for payments between June 3 and August 15, 2012),
  • 15 euros (for payments after August 15, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
  • Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: March 24, 2012

Starting of the registration: March 24, 2012

Very early registration deadline: June 2, 2012

Early registration deadline: August 15, 2012

Starting of the School: October 29, 2012

End of the School: November 2, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/fsfla2012/

POSTAL ADDRESS:

FSFLA 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

FSNC 2012: FALL SCHOOL IN NATURAL COMPUTING

Цієї осені, 19–23 листопада, в іспанській Таррагоні відбудеться Міжнародна осіння школа з натуральних/природних обчислень (така ж, але весняна школа проходить там само). Повідомлення від організаторів:

2012 INTERNATIONAL FALL SCHOOL IN NATURAL COMPUTING

FSNC 2012

Tarragona, Spain
November 19-23, 2012

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/fsnc2012/

*********************************************************************

AIM:

FSNC 2012 offers a broad and intensive series of lectures at different levels on selected topics in nature-inspired computing. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

ADDRESSED TO:

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science, Biology, Neuroscience, Physics and Mathematics. Other students (for instance, from Engineering or Information Sciences) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Andries P. Engelbrecht (Pretoria), Learning from Zero-Knowledge [intermediate/advanced, 6 hours]
  • Etienne E. Kerre (Gent), Basic Principles of Fuzzy Set Theory [introductory, 8 hours]
  • Xiaodong Li (Royal Melbourne Institute of Technology), Advances in Particle Swarm Optimization [introductory/advanced, 6 hours]
  • Leandro Nunes de Castro (Mackenzie Presbiterian, São Paulo), Introduction to Evolutionary Data Clustering [introductory/intermediate, 10 hours]
  • Sankar K. Pal (Indian Statistical Institute, Kolkata), Granular Mining in Soft Computing and Pattern Recognition [introductory/advanced, 4 hours]
  • Ned Seeman (New York), Structural DNA Nanotechnology [introductory/advanced, 10 hours]
  • Tatsuya Suda (University Netgroup Inc., Irvine), Molecular Communication and the Bio-networking Architecture [introductory/intermediate, 6 hours]

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/fsnc2012/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

  • 10 euros (for payments until September 24, 2012),
  • 12.50 euros (for payments between September 25 and October 22, 2012),
  • 15 euros (for payments after October 22, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: C. Martin – GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention FSNC 2012 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
  • The organizers reserve the right to cancel a course if the number of students who signed up for it is less than 10.
  • Students will be refunded only in the case when a course gets cancelled due to the unavailability of the instructor or because of insufficient registration numbers.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: August 27, 2012
Very early registration deadline: September 24, 2012
Early registration deadline: October  22, 2012
Starting of the School: November 19, 2012
End of the School: November 23, 2012

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/fsnc2012/

POSTAL ADDRESS:

FSNC 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

2013

LATA 2013

Наступного року 2–5 квітня в іспанському Більбао пройде чергова, сьома міжнародна конференція з теорії мови й автоматів та її застосувань. Конференція вже оголошена, оскільки строк подачі матеріалів спливає ще цього року, а саме, 9 листопада. Повідомлення від організаторів:

7th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2013

Bilbao, Spain

April 2-5, 2013

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/LATA2013/

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2013 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

VENUE:

LATA 2013 will take place in Bilbao, at the Basque Country in Northern Spain. The venue will be the Basque Center for Applied Mathematics (BCAM).

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

  • algebraic language theory
  • algorithms for semi‐structured data mining
  • algorithms on automata and words
  • automata and logic
  • automata for system analysis and programme verification
  • automata, concurrency and Petri nets
  • automatic structures
  • cellular automata
  • combinatorics on words
  • computability
  • computational complexity
  • computational linguistics
  • data and image compression
  • decidability questions on words and languages
  • descriptional complexity
  • DNA and other models of bio‐inspired computing
  • document engineering
  • foundations of finite state technology
  • foundations of XML
  • fuzzy and rough languages
  • grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
  • grammars and automata architectures
  • grammatical inference and algorithmic learning
  • graphs and graph transformation
  • language varieties and semigroups
  • language‐based cryptography
  • language‐theoretic foundations of artificial intelligence and artificial life
  • parallel and regulated rewriting
  • parsing
  • pattern recognition
  • patterns and codes
  • power series
  • quantum, chemical and optical computing
  • semantics
  • string and combinatorial issues in computational biology and bioinformatics
  • string processing algorithms
  • symbolic dynamics
  • symbolic neural networks
  • term rewriting
  • transducers
  • trees, tree languages and tree automata
  • weighted automata

STRUCTURE:

LATA 2013 will consist of:

  • 3 invited talks
  • 2 invited tutorials
  • peer‐reviewed contributions

INVITED SPEAKERS:

To be announced

PROGRAMME COMMITTEE:

Parosh Aziz Abdulla (Uppsala)
Franz Baader (Dresden)
Jos Baeten (CWI, Amsterdam)
Christel Baier (Dresden)
Gerth Stølting Brodal (Aarhus)
John Case (Delaware)
Marek Chrobak (Riverside)
Mariangiola Dezani (Torino)
Rod Downey (Wellington)
Ding-Zhu Du (Dallas)
Ivo Düntsch (Brock)
E. Allen Emerson (Austin)
Javier Esparza (Technical University Munich)
Michael R. Fellows (Darwin)
Alain Finkel (ENS Cachan)
Dov M. Gabbay (King’s, London)
Jürgen Giesl (Aachen)
Rob van Glabbeek (NICTA, Sydney)
Georg Gottlob (Oxford)
Annegret Habel (Oldenburg)
Reiko Heckel (Leicester)
Sanjay Jain (Singapore)
Charanjit S. Jutla (IBM Thomas J. Watson)
Ming-Yang Kao (Northwestern)
Deepak Kapur (Albuquerque)
Joost-Pieter Katoen (Aachen)
S. Rao Kosaraju (Johns Hopkins)
Evangelos Kranakis (Carleton)
Hans-Jörg Kreowski (Bremen)
Tak-Wah Lam (Hong Kong)
Gad M. Landau (Haifa)
Kim G. Larsen (Aalborg)
Richard Lipton (Georgia Tech)
Jack Lutz (Iowa State)
Ian Mackie (École Polytechnique, Palaiseau)
Rupak Majumdar (Max Planck, Kaiserslautern)
Carlos Martín-Vide (Tarragona, chair)
Paliath Narendran (Albany)
Tobias Nipkow (Technical University Munich)
David A. Plaisted (Chapel Hill)
Jean-François Raskin (Brussels)
Wolfgang Reisig (Humboldt Berlin)
Michaël Rusinowitch (LORIA, Nancy)
Davide Sangiorgi (Bologna)
Bernhard Steffen (Dortmund)
Colin Stirling (Edinburgh)
Alfonso Valencia (CNIO, Madrid)
Helmut Veith (Vienna Tech)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo Tech)
Pierre Wolper (Liège)
Louxin Zhang (Singapore)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Peter Leupold (Tarragona)
Carlos Martín‐Vide (Tarragona, co-chair)
Magaly Roldán (Bilbao)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
Enrique Zuazua (Bilbao, co-chair)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single‐spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Submissions have to be uploaded to:

https://www.easychair.org/conferences/?conf=lata2013

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of a major journal will be later published containing peer‐reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

REGISTRATION:

The period for registration is open from August 6, 2012 to April 2, 2013. The registration form can be found at the website of the conference:

http://grammars.grlmc.com/LATA2013/

FEES:

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On‐site registration fees: 580 Euro
On‐site registration fees (PhD students): 480 Euro

At least one author per paper should register. Papers that do not have a registered author who paid the fees by January 2, 2013 will be excluded from the proceedings.

One registration gives the right to present only one paper.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches. PhD students will need to prove their status on site.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before January 2, 2013 (resp. March 23, 2013) to the conference bank account:

Uno-e Bank

bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
BIC/SWIFT: UNOEESM1
account holder: C. Martin – GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention LATA 2013 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the conference.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.

People registering on site must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

DEADLINES:

Paper submission: November 9, 2012 (23:59h, CET)
Notification of paper acceptance or rejection: December 16, 2012
Final version of the paper for the LNCS proceedings: December 25, 2012
Early registration: January 2, 2013
Late registration: March 23, 2013
Starting of the conference: April 2, 2013
End of the conference: April 5, 2013
Submission to the post‐conference journal special issue: July 5, 2013

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

LATA 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34‐977‐559543
Fax: +34‐977‐558386

ACKNOWLEDGEMENTS:

Basque Center for Applied Mathematics
Diputació de Tarragona
Universitat Rovira i Virgili

UNILOG'2013: попередня реєстрація

Оголошено передреєстрацію (попередню реєстрацію) на 4-ий Світовий конгрес та школу з універсальної логіки — UNILOG'2013 — що відбудуться 29 березня – 7 квітня 2013 року. Реєстрація триває до 1 листопада 2012 року. Повідомлення від організаторів:

The 4th World Congress and School on Universal Logic - UNILOG'2013

will happen in Rio de Janeiro, March 29 - April 7, 2013.
A world event dedicated to all aspects of logic.

  • 15 invited speakers: S.Feferman, H.Ono, Y.Gurevich, J.Hintikka, J.Seldin, etc.
  • 1 contest: Scope of logic theorems.
  • 14 workshops: Between first and second order, Non-Classical mathematics, Abstract proof theory, etc.
  • 1 secret speaker: his/her identity will be revealed only at the time of
    his/her talk.
  • 25 tutorials: Hypersequents, General theory of classifications, Non-deterministic semantics,
    Logic for the Blind, etc.

Pre-registration is now open.
Call for papers: Deadline is November 1st, 2012.


World Congress and School on Universal Logic
Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013
http://www.uni-log.org/

WSLST 2013

Найближча школа з мовних та мовленнєвих технологій відбудеться в іспанській Таррагоні наступного року 7–11 січня, і тому буде зимовою (WSLST). Повідомлення від організаторів:

2013 INTERNATIONAL WINTER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES

WSLST 2013

(formerly International PhD School in Language and Speech Technologies)

Tarragona, Spain

January 7-11, 2013

Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/wslst2013/

*********************************************************************

AIM:

WSLST 2013 offers a broad and intensive series of lectures at different levels on selected topics in language and speech technologies. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

The previous event in this series was SSLST 2012: http://grammars.grlmc.com/sslst2012/

ADDRESSED TO:

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, Logic, or Cognitive Science) are welcome too.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the class schedule.

COURSES AND PROFESSORS:

  • Simon King (U Edinburgh), Speech Synthesis [introductory/intermediate, 8 hours]
  • Constantine Kotropoulos (U Thessaloniki), Pattern Recognition Problems Related to Speech [intermediate, 6 hours]
  • Lori Levin (Carnegie Mellon U), The Theory behind the Resources [introductory/intermediate, 8 hours]
  • Rainer Martin (U Bochum), Signal Processing for Voice Communication Devices [intermediate, 8 hours]
  • German Rigau (U Basque Country, Donostia), Knowledge Resources for Semantic Processing [introductory/intermediate, 8 hours]
  • Marc Swerts (Tilburg U), Facial Expressions in Human-Human and Human-Machine Interactions [introductory/intermediate, 6 hours]
  • Tomoki Toda (Nara Institute of Science and Technology), Statistical Voice Conversion [introductory/advanced, 8 hours]

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/wslst2013/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

  • 10 euros (for payments until November 15, 2012),
  • 12.50 euros (for payments between November 16 and December 11, 2012),
  • 15 euros (for payments after December 11, 2012).

PAYMENT PROCEDURE:

The fees must be paid to the School's bank account:

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC: UNOEESM1
account holder: C. Martin – GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention WSLST 2013 and your name in the subject. A receipt will be provided on site.

Remarks:

  • Bank transfers should not involve any expense for the School.
  • People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.
  • The organizers reserve the right to cancel a course if the number of students who signed up for it is less than 10.
  • Students will be refunded only in the case when a course gets cancelled due to the unavailability of the instructor or because of insufficient registration numbers.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: October 19, 2012
Very early registration deadline: November 15, 2012
Early registration deadline: December 11, 2012
Starting of the School: January 7, 2013
End of the School: January 11, 2013

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/wslst2013/

POSTAL ADDRESS:

WSLST 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

Логіка і арґументація в праві

Наступної весни, 19 квітня 2013 року в Харкові в Юридичній академії ім. Ярослава Мудрого відбудеться V-а щорічна науково-практична конференція «Логіка і арґументація в праві». Повідомлення від організаторів:

Національний університет «Юридична академія України ім. Ярослава Мудрого»

Інформаційний лист

Шановні колеги!
Запрошуємо Вас взяти участь у роботі
V-ї щорічної науково-практичної конференції

«Логіка і арґументація в праві»,

яка відбудеться 19 квітня 2013 року
на базі кафедри логіки Національного університету
«Юридична академія України ім. Ярослава Мудрого», м. Харків.

НАПРЯМКИ РОБОТИ КОНФЕРЕНЦІЇ

  • Історичний взаємозв’язок логіки і права
  • Логіка і мова права
  • Логічні методи в теоретичній і практичній діяльності юриста
  • Логічний аналіз понять права, нормативно-правових актів
  • Логічне моделювання норм права
  • Модальності в логіці права
  • Аргументація в юридичній практиці
  • Логічні помилки у правовому полі
  • Особливості судової риторики
  • Логічні підстави юридичної герменевтики
  • Теоретичні та методичні проблеми юридичної логіки

Для участі в конференції необхідно вислати до 01 квітня 2013 р. на електронну адресу або подати на кафедру на електронному носії: заявку (додаток 1*); тези доповіді/статтю (додаток 2*); відскановану рецензію (для студентів та аспірантів); відскановану квитанцію про сплату організаційного внеску для тих, хто сплачує через пошту. Матеріали необхідно оформити відповідними файлами: «Прізвище-тези/стаття», «Прізвище-заявка», «Прізвище-рецензія», «Прізвище-квитанція». Тема електронного листа повинна містити прізвище автора.

Обсяг тез – до 3 сторінок, статті – до 10; формат – MS Word; шрифт Tіmes New Roman 14; формули – з використанням шрифту Symbol, поля – 2 см, інтервал – 1,5, абзац автоматичний – 1,25 см. Робочі мови: українська, російська, англійська.

Організаційний внесок – 20 гривень за сторінку. Для іногородніх: простим поштовим переказом на ім’я Коваленко Ганни Вікторівни за адресою оргкомітету – 61024, Україна, м. Харків, вул. Пушкінська, 77.

Оргкомітет залишає за собою право відбору і редагування матеріалів. Матеріали, що не задовольняють тематиці, науковому рівню, технічним вимогам, надіслані пізніше встановленого терміну і сплачені в неповному обсязі не розглядаються та не повертаються.

Видання збірника матеріалів планується до початку конференції.

Контактна інформація: 61024, Україна, м. Харків, вул. Пушкінська, 77, кафедра логіки (к. 231). Тел.: (057) 704-92-69, e-maіl: logіc@nulau.edu.ua

 


 

Додаток 1.

ЗАЯВКА

на участь в V-й науково-практичній конференції «Логіка і арґументація в праві»

Прізвище, ім'я, по батькові: 


Назва роботи: 


Місце навчання (для студентів, аспірантів): 


Місце роботи, посада, науковий ступінь: 


Науковий керівник (для студентів, аспірантів): 


Домашня адреса: 


Контактний телефон: 


E-maіl: 


Планую особисту участь (так/ні): 


 

УВАГА! Передбачається розгорнута відповідь на кожний пункт заявки!

 


 

Додаток 2. Приклад оформлення тексту.

Демирджаєв А. Н.,
студент 1 курсу Національного університету
«Юридична академія України ім. Ярослава Мудрого»,
м. Харків

Взаємозв’язок логіки і права в історичному контексті

Логіка являє собою розвинену наукову дисципліну, що має десятки напрямків, кожен з яких має свій предмет і сферу застосування, але всі вони базуються на традиційній логіці, заснованій ...

Науковий керівник: к.ю.н., доцент кафедри логіки Національного університету «Юридична академія України імені Ярослава Мудрого» Павленко Ж. О.

Восьмі Смирновські читання з логіки

Оголошено про проведення Восьмих Смирновських читань з логіки, що пройдуть в Москві 19–21 червня 2013 року. Останній строк подачі тез — 15 березня 2013 року. Повідомлення від організаторів:

Философский факультет
Московского государственного университета
имени М.В. Ломоносова

Институт философии РАН

АНО «Институт логики, когнитологии и развития личности»

Уважаемый коллега!

19–21 июня 2013 года состоятся

«Восьмые Смирновские чтения по логике»,

посвященные памяти выдающегося исследователя в области логики, методологии и философии науки

Владимира Александровича Смирнова.

На конференции планируется проведение двух пленарных заседаний и работа четырех секций:

  1. Символическая логика
  2. Философская логика
  3. История логики
  4. Логика научного познания

Требования к оформлению тезисов

Тезисы представляются до 15 марта 2013 года в формате LaTeX (предпочтительно) с использованием стилевого файла (для правильного оформления текста желательно использовать инструкции). Максимальный объем тезисов – 2 страницы в формате LaTeX или 4000 знаков в формате MS Word. В случае представления тезисов в формате MS Word необходимо приложить файл с тезисами в формате PDF. Тезисы представляются на английском языке или на русском языке с английским абстрактом. Обращаем ваше внимание на особенности в порядке проведения конференции. Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.

После получения тезисов вопрос о Вашем участии будет рассмотрен программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение. Просим сопроводить тезисы краткой анкетой, а также специально указать, готовы ли вы сделать доклад на английском языке. Тем, чьи тезисы будут приняты, вышлют персональные приглашения. Вместе с приглашениями будет сообщена финансовая сторона дела.

Адрес Оргкомитета

Москва, МГУ, философский факультет.

Подача тезисов

Тезисы подаются через электронную систему EasyChair.
Адрес для регистрации в системе EasyChair. Инструкция по регистрации и подаче тезисов через систему EasyChair.

Анкета участника

Высылается на электронный адрес конференции.

Анкета участника конференции "Восьмые Смирновские чтения по логике"
Фамилия  
Имя, отчество  
Место работы
Должность
Ученая степень
Ученое звание
Рабочий адрес
Домашний адрес
Рабочий телефон
Домашний телефон
E-mail
Название предполагаемого выступления
Потребность в гостинице Да/Нет
Язык выступления

Оригінал повідомлення на сайті МДУ.

Конференція «МОВА І КУЛЬТУРА»

Аналітичні дисципліни, до яких, серед іншого, належить логіка, можна приблизно описати як галузі знання, котрі аналізують дійсність через мову. Саме тому у аналітиків в цьому сенсі є всі підстави контактувати з представниками інших мовознавчих дисциплін: філологами й лінгвістами, матлінгвістами, психолінгвістами.

Виходячи з таких міркувань, розміщую в новинній стрічці повідомлення про проведення цього року, 24–27 червня, в Києві чергової філологічної конференції «Мова і культура» — на якій передбачена окрема філософська секція:


 

Шановні колеги!

Інститут філології Київського національного університету ім. Тараса Шевченка, Інститут мовознавства ім. О. О. Потебні НАН України, Інститут української мови НАН України, Інститут літератури ім. Тараса Шевченка НАН України, Інститут психології імені Г. С. Костюка АПН України, Інститут вищої освіти АПН України, Національна музична академія ім. П. І. Чайковського, Видавничий Дім Дмитра Бураго
запрошують Вас узяти участь у ХXІI Міжнародній науковій конференції «МОВА І КУЛЬТУРА» імені Сергія Бураго, яка відбудеться 24–27 червня 2013 року в м. Києві.

Програма конференції передбачає пленарні засідання, роботу секцій, круглі столи, широку культурну програму. Робочі мови конференції – українська, російська, англійська.

Передбачається робота секцій:

  • Філософія мови і культури.
  • Психологія мови і культури.
  • Національні мови і культури в їхній специфіці та взаємодії.
  • Лінгвокультурологічна інтерпретація тексту.
  • Міжкультурна комунікація.
  • Мова сучасного мистецтва.
  • Мова і засоби масової комунікації.
  • Художня література в контексті культури.
  • Теорія і практика перекладу.
  • Культурологічний підхід до викладання мови
    і літератури.

Планується робота круглих столів:

  • Круглий стіл, присвячений Кирило-Мефодіївській традиції в розвитку мов і культур слов’янських народів.
  • Круглий стіл «Під сигнатурою Софії» пам’яті Сергія Борисовича Кримського.
  • Круглий стіл, присвячений діяльності М. О. Максимовича.

Доповіді будуть опубліковані в періодичному науковому виданні «МОВА І КУЛЬТУРА», затвердженому ВАК України з філологічних дисциплін (мовознавство, літературознавство) як спеціалізоване видання.

Для участі у конференції необхідно надіслати до 1 травня 2013 року поштою або E-mail:

  • заявку для участі у конференції (бланк заяви додається);
  • роздрук тексту доповіді та її електронну версію (дискета/E-mail), оформлені відповідно до вимог (інформація додається); стислу анотацію, що містить ключові слова (укр., рос., англ. мови), та рецензію наукового керівника/фахівця з певної сфери досліджень (для учасників, які не мають наукового ступеня);
  • конверт із маркою і заповненою зворотною адресою (для офіційного запрошення та додаткової інформації);
  • реєстраційний внесок складає 100 грн. (сплачується при реєстрації);
  • оплата за публікацію з розрахунку 1 стор. = 20 грн. (сплачується при реєстрації; учасники, які мають науковий ступінь «доктор наук», за публікацію не сплачують, тільки реєстраційний внесок розміром 100 грн.);
  • усі витрати, пов’язані з участю в конференції (проїзд, проживання, харчування), – за рахунок учасників.

Додаткову інформацію можна отримати в Оргкомітеті конференції
на сайті www.burago.com.ua,
e-mail: conf@graffiti.kiev.ua
або за тел: [+38 044] 227-38-28 (48).

Заявка для участі
у ХXІІ Міжнародній науковій конференції
«МОВА І КУЛЬТУРА» імені проф. Сергія Бураго

Прізвище, ім’я, по батькові, домашня адреса Місце роботи, службова адреса Телефон (службовий/домашній/мобільний), факс, e-mail Науковий ступінь, учене звання, посада Тема доповіді Запланована секція (назва) Необхідність житла на час проведення конференції (гуртожиток/готель), кількість днів перебування у Києві Заявка Електр. верс. Роздрук. Аннот./рец. Орг.внесок

Колонки, відмічені червоним, є службовими, заповнювати не потрібно

Дата «____» _________________ 20__ р.
Підпис ___________________________

Публікація доповідей

Обов’язкові вимоги до оформлення статті:

  1. Стандарти – кегль 14 pt, міжрядковий інтервал – 1,5, абзацний відступ – 1,25 см, поля – 2 см, шрифт – Times New Roman (для анотацій і літератури включно).
  2. Обсяг статті – до 12 сторінок (0,5 п. л. – 20 000 знаків).
  3. Можливі виділення – напівжирний, курсив, напівжирний курсив.
  4. Мова статті – українська, російська, англійська.
  5. Наявність повного УДК (у цифровому вигляді, у верхньому лівому кутку).
  6. На першій сторінці вказуються: прізвище, ім’я, по батькові (напівжирним курсивом); місто, країна (в дужках) – вказувати праворуч угорі над назвою статті (курсивом); УДК – ліворуч (верхній кут). Назва статті виділяється прописом, у центрі; за наявності підзаголовка – рядковими літерами, в дужках (напівжирний курсив). Далі наводяться анотації (курсивом).
  7. Назва статті (великими літератури, напівжирним шрифтом). За умови наявності підзаголовка – малими літерами у дужках (напівжирний курсив). Відбивка від назви зверху і знизу – один пустий рядок.
  8. Анотація і ключові слова трьома мовами: українською, російською, англійською (анотації виділяються курсивом), ключові слова, включаючи двокрапку, – напівжирним курсивом. Між анотаціями і текстом – пустий рядок.
  9. Максимальний розмір малюнків, графіків, блок-схем, таблиць тощо (на одній сторінці): 119 мм (ширина)х167 мм (висота).
  10. Копії таблиць, схем, малюнків (обов’язкова електронна версія) необхідно продублювати окремими файлами.
  11. Нумерація списків у тексті здійснюється вручну.
  12. Абзаци НЕ відбиваються за допомогою кнопки TAB.
  13. Коли згадуються прізвища з ініціалами, оформлюємо так: ініціали без відбитків, відбиток, прізвище.
  14. Без автоматичних переносів, примусових переносів, розривів сторінок і додаткових відбитків (між словами може бути тільки ОДИН відбиток).
  15. Список літератури (обов’язково). Має заголовок ЛІТЕРАТУРА (великими літератури, напівжирним). Відбиток  від назви зверху і знизу – один пустий рядок. Нумерація автоматична, кожен новий пункт – з окремого рядка. Бібліографічні джерела подаються у порядку цитування.
  16. Оформлення довідкового матеріалу: бібліографічні посилання в тексті статті подаються у квадратних дужках. Перша цифра – номер джерела у списку літератури, друга – номер сторінки. Номер джерела і номер сторінки розділяються двокрапкою, номери джерел – крапкою із комою. Наприклад: [1], [2: 27], [3: 49; 4: 127–131], [5; 7; 9], багатотомне видання – [5 (1: 160)]. Виноски даються у кінці статті. У реченні крапка ставиться після дужок, виносок.
  17. Якщо у статті є шрифти, відмінні від Times New Roman, вони мають бути представлені окремо в електронному вигляді.
  18. Формат файлу статті тільки .doc чи rtf.
  19. Назва  файлу заявки: ваше прізвище_ініціали, заявка.doc (наприклад, іванов_і_в_заявка.doc), назва файлу статті: ваше прізвище,_ініціали_стаття.doc (наприклад, іванов_і_в_стаття.doc), назва файлу рецензії: ваше прізвище_ініціали_рецензія.doc (наприклад, іванов_і_в_рецензія.doc).

Дотримання всіх зазначених вимог обов’язкове!

Зразок оформлення першої сторінки

УДК 811.111’37

Ришкова О. П., Анісімова А. І.
(Дніпропетровськ, Україна)

ПРОТОТИПОВА СЕМАНТИКА КОНЦЕПТУ ТЕРОРИЗМ
(на матеріалі медіа-текстів он-лайн формату)

Стаття присвячена розгляду характерних особливостей концепту ТЕРОРИЗМ з позиції його когнітивної репрезентації в англомовній картині світу. Проводиться аналіз даного концепту у рамках однієї з найбільш уживаних когнітивних методик – теорії прототипів.

Ключові слова: концепт, вербальна репрезентація, когнітивна категорія, прототип, інваріант.

Статья посвящена рассмотрению характерных особенностей концепта ТЕРРОРИЗМ с точки зрения его когнитивной репрезентации в англоязычной картине мира. Проводиться анализ данного концепта в рамках одной из наиболее используемых когнитивных методик – прототипического подхода.

Ключевые слова: концепт, вербальная репрезентация, когнитивная категория, прототип, инвариант.

The article deals with some characteristic features of the cognitive representation of the concept TERRORISM in the English-speaking worldview. The given concept is analysed in terms of one of the most widely-used cognitive techniques – prototype theory, in particular.

Key words: concept, verbal representation, cognitive category, prototype, invariant.

Останнім часом здобутки когнітивістики активно використовуються при проведенні багатьох досліджень у сфері як мовознавства, так і ряду суміжних йому дисциплін – етнографії, антропології, соціології, культурології тощо. Адже однією з основних властивостей людської мови є те, що набір мовних засобів обмежується їхньою кількістю, тоді як можливості їх використання – безмежні [1: 32]. Саме завдяки цьому можуть отримувати нове трактування у сучасній мові різноманітні реалії історичного, культурологічного чи суспільного значення.

Зразок оформлення бібліографічного переліку

Затверджено наказом ВАК України
від 29 травня 2007 р. № 342
від 3 грудня 2007 р. № 845
від 26 січня 2008 р.у № 63

ЛІТЕРАТУРА

  1. Матюх Н. Д. Що дорожче срібла-золота / Наталія Дмитрівна Матюх. — К. : Асамблея діл. кіл : Ін-т соц. іміджмейкінгу, 2006. — 311 с. — (Ювеліри України ; т. 1).
  2. Матяш І. Б. Діяльність Надзвичайної дипломатичної місії УНР в Угорщині : історія, спогади, арх. док. / І. Матяш, Ю. Мушка. — К. : Києво-Могилян. акад., 2005. — 397, [1] с. — (Бібліотека наукового щорічника "Україна дипломатична" ; вип. 1).
  3. Кібернетика в сучасних економічних процесах : зб. текстів виступів на республік. міжвуз. наук.-практ. конф. / Держкомстат України, Ін-т статистики, обліку та аудиту. — К. : ІСОА, 2002. — 147 с.
  4. Реабілітовані історією. Житомирська область : [у 7 т.]. — Житомир : Полісся, 2006— .— (Науково-документальна серія книг "Реабілітовані історією" : у 27 т. / голов. редкол.: Тронько П. Т. (голова) [та ін.]). Кн. 1 / [обл. редкол.: Синявська І. М. (голова) та ін.]. — 2006. — 721, [2] с.
  5. Социологическое исследование малых групп населения / В. И. Иванов [и др.] ; М-во образования Рос. Федерации, Финансовая академия. – М., 2002. – 110 с. – Деп. в ВИНИТИ 13.06.02, № 145432.
  6. Українсько-німецький тематичний словник [уклад. Н. Яцко та ін.]. — К. : Карпенко, 2007. — 219 с.
  7. Систематизований покажчик матеріалів з кримінального права, опублікованих у Віснику Конституційного Суду України за 1997—2005 роки / [уклад. Кирись Б. О., Потлань О. С.]. — Львів : Львів. держ. ун-т внутр. справ, 2006. — 11 с. — (Серія: Бібліографічні довідники ; вип. 2).
  8. Петров П. П. Активність молодих зірок сонячної маси: дис. ... доктора фіз.-мат. наук : 01.03.02 / Петров Петро Петрович. – К., 2005. – 276 с.
  9. Новосад І. Я. Технологічне забезпечення виготовлення секцій робочих органів гнучких гвинтових конвеєрів : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.02.08 „Технологія машинобудування” / І. Я. Новосад. — Тернопіль, 2007. — 20, [1] с.
  10. Бібліотека і доступність інформації у сучасному світі: електронні ресурси в науці, культурі та освіті : (підсумки 10-ї Міжнар. конф. „Крим-2003”) [Електронний ресурс] / Л. Й. Костенко, А. О. Чекмарьов, А. Г. Бровкін, І. А. Павлуша // Бібліотечний вісник — 2003. — № 4. — С. 43. — Режим доступу до журн. : http://www.nbuv.gov.ua/articles/2003/03klinko.htm.

Прим.: Таблиця в заявці може не вміщатися в колонку тексту на сайті; щоб побачити її повністю, зменшіть розмір шрифту.

2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

Дослідницька група з математичної лінгвістики з таррагонського університету Rovira i Virgili, яка щороку влаштовує цілий ряд наукових заходів, оголосила про проведення цього року літньої школи з тенденцій в обчисленнях. Оскільки серед пропонованих курсів є не тільки прикладні програмістські, але й фундаментальні, логічного спрямування, розміщуємо повідомлення від організаторів про проведення школи:

2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

SSTiC 2013

Tarragona, Spain

July 22-26, 2013

Organized by:

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

http://grammars.grlmc.com/SSTiC2013/

AIM:

SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of more than 70 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work.

ADDRESSED TO:

Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background.

SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays.

REGIME:

At least 8 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.

VENUE:

Palau Firal i de Congressos de Tarragona
Arquitecte Rovira, 2
43001 Tarragona
http://www.palaucongrestgna.com

COURSES AND PROFESSORS:

  • Divyakant Agrawal (Santa Barbara) [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures
  • Shun-ichi Amari (Riken) [introductory] Information Geometry and Its Applications
  • James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems
  • Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences
  • Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of Representations
  • Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction
  • Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications
  • Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing
  • Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy
  • John M. Carroll (Penn State) [introductory] Usability Engineering and Scenario-based Design
  • Jeffrey S. Chase (Duke) [intermediate] Trust Logic as an Enabler for Secure Federated Systems
  • Larry S. Davis (College Park) [intermediate] Video Analysis of Human Activities
  • Paul De Bra (Eindhoven) [intermediate] Adaptive Systems
  • Marco Dorigo (Brussels) [introductory] An Introduction to Swarm Intelligence and Swarm Robotics
  • Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences
  • Matthias Felleisen (Northeastern) [introductory] Programming with Contracts
  • Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed Simulation
  • David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past, Present and Future
  • Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing
  • Georgios B. Giannakis (Minnesota) [advanced] Sparsity and Low Rank for Robust Data Analytics and Networking
  • Ralph Grishman (New York) [intermediate] Information Extraction from Natural Language
  • Mark Guzdial (Georgia Tech) [introductory] Computing Education Research: What We Know about Learning and Teaching Computer Science
  • Francisco Herrera (Granada) [intermediate] Imbalanced Classification: Current Approaches and Open Problems
  • Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using Haskell
  • Syed Ali Jafar (Irvine) [intermediate] Interference Alignment
  • Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design
  • George Karypis (Minnesota) [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming
  • Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based Advances in Image Processing
  • Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization
  • Carl Kesselman (Southern California) [intermediate] Biomedical Informatics and Big Data
  • Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols
  • Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice
  • Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and Influence Spread in Social Networks
  • Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware Activities
  • Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data Integration
  • Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based Modeling and Simulation
  • Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response
  • Nadia Magnenat-Thalmann (Nanyang Tech) [introductory] Modelling and Animating Virtual Humans
  • Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods
  • Aloysius K. Mok (Austin) [introductory/advanced] From Real-time Systems to Cyber-physical Systems
  • Daniel Mossé (Pittsburgh) [intermediate] Asymmetric Multicore Management
  • Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation
  • David M. Nicol (Urbana) [intermediate] Cyber-security and Privacy in the Power Grid
  • Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications
  • David Padua (Urbana) [intermediate] Data Parallel Programming
  • Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and Technical Foundations
  • Massoud Pedram (Southern California) [intermediate] Energy Efficient Architectures and Information Processing Systems
  • Jian Pei (Simon Fraser) [intermediate/advanced] Mining Uncertain and Probabilistic Data
  • Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G
  • Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and Advertising
  • Sudhakar M. Reddy (Iowa) [introductory] Design for Test and Test of Digital VLSI Circuits
  • Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering
  • Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing
  • Yousef Saad (Minnesota) [intermediate] Projection Methods and Their Applications
  • Robert Sargent (Syracuse) [introductory] Validating Models
  • Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for Concurrent and Networked Software
  • Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods
  • Mubarak Shah (Central Florida) [advanced] Visual Crowd Surveillance
  • Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease Regulation and Networks
  • Micha Sharir (Tel Aviv) [introductory/intermediate] Geometric Arrangements and Incidences: Algorithms, Combinatorics, and Algebra
  • Satinder Singh (Ann Arbor) [introductory/advanced] Reinforcement Learning: On Machines Learning to Act from Experience
  • Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism
  • Dawn Xiaodong Song (Berkeley) [advanced] Selected Topics in Computer Security
  • Daniel Thalmann (Nanyang Tech) [intermediate] Simulation of Individuals, Groups and Crowds and Their Interaction with the User
  • Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection for the Social Web
  • Julita Vassileva (Saskatchewan) [intermediate] Engaging Users in Social Computing Systems
  • Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression: Fundamentals and Recent Development
  • Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place
  • Ian H. Witten (Waikato) [introductory] Data Mining Using Weka
  • Limsoon Wong (National Singapore) [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis
  • Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent Systems
  • Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data
  • Yuanyuan Zhou (San Diego) [intermediate] Building Robust Software
  • Justin Zobel (Melbourne) [introductory/intermediate] Writing and Research Skills for Computer Scientists

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/SSTiC2013/Registration.php

Since a large number of attendees are expected and the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete.

FEES:

They are the same (a flat rate) for all people by the corresponding deadline. They give the right to attend all courses.

ACCOMMODATION:

Information about accommodation will be available on the website of the School.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

IMPORTANT DATES:

Announcement of the programme: January 26, 2013
Six registration deadlines:
February 26,
March 26,
April 26,
May 26,
June 26,
July 26,
2013

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@urv.cat

POSTAL ADDRESS:

SSTiC 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Ajuntament de Tarragona
Diputació de Tarragona
Universitat Rovira i Virgili

2014

4th World Congress on the Square of Opposition

5–9 травня наступного 2014 року у Ватикані в Папському Латеранському університеті відбудеться 4-ий Світовий конгрес із логічного квадрату. Конгрес позиціонується як міждисциплінарний, до участі запрошуються логіки, філософи, математики, теологи, лінгвісти, семіотики, інформатики, когнітивісти, психологи і навіть митці.

Для участі слід надіслати тези доповіді обсягом в 1 сторінку до 1 листопада 2013 року на адресу vatican2014@square-of-opposition.org. Вибрані тези можуть претендувати на розширення до повнотекстових статей, що будуть публікуватися у спеціальній збірці та окремому номері журналу «Logica Universalis».

Більше інформації на сайті конгресу:
http://www.square-of-opposition.org/

Конференція «Проблеми викладання логіки та перспективи її розвитку»

15–16 травня 2014 року в Київському національному університеті імені Тараса Шевченка пройде Шоста міжнародна науково-практична конференція «Проблеми викладання логіки та перспективи її розвитку». Повідомлення від організаторів:

Київський національний університет імені Тараса Шевченка
Філософський факультет
Кафедра логіки
проводить
шосту міжнародну науково-практичну конференцію

«Проблеми викладання логіки та перспективи її розвитку»

Київ, 15-16 травня 2014р.

Головні теми обговорення

  1. Логіка як наукова царина дослідження та академічна дисципліна: проблеми співвідношення.
  2. Логіка на філософських факультетах вищих навчальних закладів: навчальна програма та її реалізація.
  3. Спеціалізація з логіки: зміст курсів та можливі обмеження.
  4. Дисципліни логічного циклу (неформальна логіка, теорія аргументації, критичне мислення, риторика, еристика тощо).
  5. Загальний курс логіки на нефілософських факультетах: потреби та перспективи.

Умови для учасників

Оргкомітет сплачує витрати з проживання та харчування. Сторона, що приймає, не сплачує проїзд учасників.

Робочі мови конференції

1. Українська.
2. Російська.
3. Англійська.

Тези

Передбачається видання тез учасників конференції. Програмний комітет залишає за собою право відбору матеріалів для друку.

Обсяг тез до 1 стор. формату А4, кегль 9, шрифт Arial, міжрядковий інтервал – одинарний, посилання – у квадратних дужках після цитування, прізвище, ініціали, назва, місто, країна – з вирівнюванням по центру.

Заяви на участь

Реєстраційну форму та тези доповідей відправляти вкладеним файлом за електронною адресою kyivconference@gmail.com до 10 березня 2014 р.

Реєстраційна форма

– П.І.Б.
– Тема доповіді
– Вказівка на тему конференції
– Місце роботи, посада
– Вчена ступінь та звання
– Електронна адреса
– Потреба у поселенні

Важливі дати

2013

23.12. – початок прийому тез доповідей за адресою kyivconference@gmail.com

2014

10.03. – завершення прийому тез доповідей
31.03. – авторам повідомляється про результати відбору
14.05. – приїзд учасників
15/16.05.– робота конференції
17/18.05. – від’їзд учасників конференції.

Довідкова інформація

За довідковою інформацією прохання звертатися до оргкомітету конференції за електронною адресою kyivconference@gmail.com

Телефон кафедри логіки (+38 044) 239 32 32.

Інформація про конференцію у мережі Internet на сайті конференції
logic2014.univ.kiev.ua

та на сайті філософського факультету КНУ імені Тараса Шевченка
phildep.univ.kiev.ua

2015

UNILOG'2015

Наступного, 2015 року у Стамбулі (Туреччина) пройде п’ятий за ліком світовий логічний конгрес UNILOG. Повідомлення від організаторів:

UNILOG'2015 5th World Congress and School on Universal Logic, Istanbul, Turkey

Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering researchers from all over the world such as Michael Dunn, Hartry Field, Jaakko Hintikka, Wilfrid Hodges, Saul Kripke, Dov Gabbay, Yuri Gurevich, Roberto Casati, David Makinson, Jan Wolenski, Stephen Read, Krister Segerberg, Gerhard Jäger, Daniele Mundici, Vincent Hendricks, etc.

The 1st edition was in Montreux, Switzerland (2005), the 2nd in Xi'an, China (2007), the 3rd in Lisbon, Portugal (2010), the 4th in Rio de Janeiro, Brazil (2013). The 5th edition will happen in Istanbul, Turkey, June 20-30, 2015.

In UNILOG'2015 there will be a school with about 30 tutorials followed by a congress with many workshops and invited speakers.

As in previous editions there will also be a contest (The Future of Logic) and a secret speaker (a speaker whose identity is revealed only at the time of her/his/its talk).

The tutorials of UNILOG'2015 will provide a serious background for a general knowledge of the logical world.
They are divided into three categories:
1) History of Logic: the logic of Aristotle, Leibniz, Kant, Hegel, Boole, Husserl, Frege, etc.
2) Logic and XXX: Logic and Music, Logic an Colours, Logic and Nonsense, Logic and Information, Logic and the Theory of Relativity, Logic and Fiction, etc.
3) Theorems: Compactness theorem, Completeness theorem, Lindström theorem, Gödel's incompleteness theorem, etc.

During the congress there will be an amazing variety of workshops:
- Philosophy of non-classical logics;
- Representation and reality: humans, animals and machines;
- Computational Creativity, Concept Invention and General Intelligence - C3GI;
- Connexive Logics;
- Logic and the Web;
etc.

And as in previous editions there will be a book exhibition with the main publishers:
Springer, Cambridge, Oxford, etc.
Will be launched in particular the book "The Life and Work of Leon Henkin" edited by M.Manzano, I.Sain and E.Alonso
http://www.springer.com/birkhauser/mathematics/book/978-3-319-09718-3
and the first ever Encyclopaedia of Logic
http://www.collegepublications.co.uk/eol/

Welcome to Istanbul for UNILOG'2015
5th World Congress and School on Universal Logic
http://www.uni-log.org
A good opportunity to develop your reasoning capacities!

15th Congress of Logic, Methodology and Philosophy of Science

Дещо запізніле повідомлення, але, можливо, комусь ще знадобиться. 3–8 серпня наступного 2015 року у столиці Фінлянді Гельсінкі пройде 15-й Конгрес з логіки, методології та філософії науки.

Докладно про конгрес можна дізнатися на його сайті clmps.helsinki.fi. Наводимо тільки основні дати:

Congress deadlines

17 March, 2014 Call For Papers, abstract submission opens

30 November, 2014 Deadline for abstract submissions

9 January, 2015 Extended deadline for abstract submissions

15 January, 2015 Congress registration opens

30 January, 2015 Notifications of acceptance

March 2015 Preliminary programme announced

31 May, 2015 Deadline for early registrations

13 July, 2015 No more refunds for registration cancellations

3-8 August, 2015 CLMPS 2015, University of Helsinki

10TH PANHELLENIC LOGIC SYMPOSIUM

Цього року в Греції, на батьківщині Піфагора острові Самос 11–15 червня відбудеться 10-й Всегрецький логічний симпозіум. Симпозіум органцізаційно поєднано з 5-м Всесвітнім конгресом і школою з універальної логіки (UNILOG'2015), котрі пройдуть в Туреччині, у Стамбулі 20–30 червня. Різниця в датах дозволяє всім охочим взяти участь в обох (чи навіть всіх трьох) оголошених заходах.

Нині розпочато прийом розширених тез на 10-й Всегрецький логічний симпозіум. Тези мають вкладатися у 5 стор. і бути надісланими до 1 квітня через систему EasyChair. Оголошення від організаторів з подробицями:

 

THE 10TH PANHELLENIC LOGIC SYMPOSIUM

June 11-15, 2015
Samos, Greece

http://samosweb.aegean.gr/pls10/index.html

HISTORY OF THE SYMPOSIUM

The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among
different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in Logic. The Symposium is open to researchers worldwide who work in logic,
broadly conceived. The Tenth Panhellenic Logic Symposium will be hosted by the Department
of Mathematics at the University of the Aegean, located at Karlovasi, Samos.

The dates have been chosen so that participants may continue to participate
in UNILOG 2015 (June 20-30, Istanbul).

PROGRAM OF THE SYMPOSIUM

The scientific program of the symposium will consist of one-hour long
invited talks, two- to three-hour long tutorials, and about twenty-to-thirty-minute
presentations of accepted contributed papers. There will also be a poster presentation
and opportunities for students and young researchers to present work in progress.

The following have accepted to deliver invited talks/tutorials:
* J.-Y. Beziau (University of Rio de Janeiro)
* P. D'Aquino (Seconda Universita di Napoli)
* S. Durhan (Middle-East Technical University, Ankara)
* R. Sklinos (University of Lyon 1)
* N. Tzevelekos (Queen Mary University of London)
* X. Vidaux (University of Concepcion, Chile)

CALL FOR PAPERS

Original papers that fall within the scope of the symposium are solicited.
Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 1 April 2015.

Papers should be prepared using the EasyChair class style (available from
http://www.easychair.org/publications/?page=1594225690) and submitted
electronically, using the Easy Chair conference system, at
http://www.easychair.org/conferences/?conf=pls10.

If possible, each submitted paper should be classified in one of the
following
areas (in alphabetical order):
* Algebraic and Categorical Methods in Logic
* Computability Theory
* History and Philosophy of Logic
* Logic in Computer Science
* Model Theory
* Nonclassical and Modal Logics
* Proof Theory
* Set Theory
* Universal Logic

All submitted papers will be reviewed by the scientific committee of the
symposium, who will make final decisions on acceptance or rejection. During
the symposium, each accepted paper will be presented by one of its
authors.

Authors of submitted papers will be notified of the decision by 4 May 2015.

Camera-ready extended abstracts will be due by May 31 for inclusion in the symposium proceedings.

POSTER SESSION

Graduate students and young researchers are invited to submit a short
abstract on work in progress but not yet ready for a regular contributed talk.

Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session.

Interested students should submit abstracts of no more than one page in
.pdf form by May 31, by sending them to: pls10@aegean.gr

IMPORTANT DATES

* Abstract Submission Deadline: April 1, 2015
* Acceptance/Rejection Notification: May 4, 2015
* Camera-ready Papers Deadline: May 31, 2015
* Abstracts of Posters Deadline: May 31, 2015
* Conference Dates: June 11-15, 2015

SCIENTIFIC COMMITTEE

Costas Dimitracopoulos, University of Athens
Antonis Kakas, University of Cyprus
Lefteris Kirousis, University of Athens
Phokion G. Kolaitis, UCSC and IBM Research-Almaden
Joan Moschovakis, Occidental College and MPLA
Nikolaos Papaspyrou, National Technical University of Athens
Thanases Pheidas, University of Crete (Chair, pheidas@math.uoc.gr)
George Tourlakis, York University, Canada
Stathis Zachos, National Technical University of Athens

ORGANIZING COMMITTEE

Charalampos Cornaros, University of Aegean (Chair, kornaros@aegean.gr)
Costas Dimitracopoulos, University of Athens
Nikolaos Papaspyrou, National Technical University of Athens

SYMPOSIUM WEBPAGE

http://samosweb.aegean.gr/pls10/index.html

CONTACT

PLS10 email address: pls10@aegean.gr
Thanases Pheidas (Chair of the Scientific Committee)
http://fourier.math.uoc.gr/tmem/persons/pheidas.html

Charalampos Cornaros (Chair of the Organizing Committee)
Address: University of the Aegean
Department of Mathematics
83200 Karlovasi, Samos
Greece
Tel: +30 22730 82137
Fax: +30 22730 82109

Перший всесвітній конгрес, присвячений аналогії

Цього року 4–6 листопада в мексиканській Пуеблі (Puebla) відбудеться Перший Всесвітній конгрес із аналогії. Тези обсягом в одну сторінку слід висилати організаторам до 30 вересня. Тобто, часу зовсім обмаль — але організатори тільки-тільки розіслали повідомлення. Його оригінал:

 

First World Congress on Analogy

Puebla, Mexico, November 4-6, 2015
http://www.uni-log.org/analogy2015

This is the first world event dedicated to analogy in all its aspects. This event wants to promote interdisciplinary. It is of interest for all people dealing with analogy in one way or another: philosophers, logicians, mathematicians, artists, computer scientists, linguists, psychologists, etc.

This is an event jointly sponsored by the University of Puebla in Mexico and the University Adam Mickiewicz in Poland.

We invite submissions for contributions on all aspects of analogy in Science, Philosophy, Humanities and Art. Work of an interdisciplinary nature are particularly welcome.

To submit a contribution send a one page abstract before September 30, 2015 to analogy2015@gmail.com

2016

Square 2016 — Easter Island

11–15 листопада наступного, 2016 року на острові Рапа Нуї (Великий Рапа), більш відомому в Європі як острів Пасхи, відбудеться 5-ий Всесвітній конгрес із логічного квадрата. І хоча до самого заходу ще майже рік, останній строк подачі тез мине невдовзі — 31 січня 2016 року. Два місяці — це не так і багато.

Сайт конгресу й відповідна сторінка:
http://www.square-of-opposition.org/square2016

Організатори про всяк випадок нагадують, що для громадян більшості країн світу — і Україна теж входить у цю більшість, — не потрібна віза для відвідування Чилі, до юрисдикції якої належить Рапа Нуї.

TLPD KYIV 2016

12–15 травня 2016 р. кафедра логіки Київського національного університету імені Тараса Шевченка проводить сьому міжнародну конференцію «Проблеми викладання логіки та перспективи її розвитку». Повідомлення від організаторів:

Сьома міжнародна конференція

«Викладання логіки та перспективи її розвитку»

12–15 травня 2016 hjre

Тематика конференції

1. Логіка як галузь наукових досліджень та як академічна дисципліна: проблема співвідношення.

2. Логіка на філософських факультетах ВНЗ: навчальна програма та її реалізація.

3. Спеціалізація з логіки: зміст курсів та можливі обмеження.

4. Логіка та дисципліни логічного циклу (неформальна логіка, теорія аргументації, риторика, еристика та інш.).

5. Загальний курс логіки для студентів нефілософських спеціальностей: потреби та перспективи.

6. Міжнародні тренди в логічній освіті та їхня актуальність для українського контексту.

7. Досягнення та перспективні напрямки у розвитку сучасної логіки та їхнє впровадження у навчальні курси з логіки та філософії.

Запрошені доповідачі

Hans van Ditmarsch (University of Lorraine, France)

João Marcos (Federal University of Rio Grande do Norte, Brazil)

Allard Tamminga (University of Groningen, Utrecht University, Netherlands)

Важливі дати

15 березня 2016 року – завершення реєстрації та прийому тез

30 березня 2016 року – повідомлення авторам про результати відбору тез

15 квітня 2016 року – завершення підтвердження участі в конференції

12 травня 2016 року – заїзд учасників

13–14 травня 2016 року – проведення конференції

15 травня – від’їзд учасників

Подання тез

Тези: 200–300 слів.

Передбачається видання збірки тез учасників конференції.

Після проведення конференції планується видання збірки статей (Conference Proceedings).

Зареєструватися та подати тези можна за посиланням

http://tlpd2016.knu.ua/registration and submission.html

Робочі мови конференції

Українська, англійська, російська

Місце проведення та проживання учасників

Київський національний університет імені Тараса Шевченка. Головний корпус.

Київ, вул. Володимирська, 60.

Учасники конференції будуть розміщені у готелі Інституту післядипломної освіти.

Київ, вул. Васильківська, 75.

Умови для учасників

Оргкомітет забезпечує проживання та харчування учасників конференції.

Проїзд за рахунок учасників конференції.

Контакти

Оргкомітет конференції: kyivconference@gmail.com

Веб-сайт конференції: http://tlpd2016.knu.ua

2017

11th Panhellenic Logic Symposium

Повідомляємо всім, хто не встиг подати заявку на участь у цьогорічному 11-му Всегрецькому логічному симпозіумі, який пройде 12–16 липня у грецьких Дельфах, що строки прийому заявок на участь та матеріалів продовжено до кінця нинішнього місяця, тобто, до 30 квітня. А саме, на офіційному сайті бачимо оновлений запис:

 

11th Panhellenic Logic Symposium

July 12-16, 2017
Delphi, Greece

http://pls11.cs.ntua.gr/

Second Call for Papers

The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers until Sunday, April 30, 2017 (in PDF-format, in English, at most 6 pages) for presentation at PLS11. Papers should be prepared using the EasyChair class style and submitted electronically, using the Easy Chair conference system.

All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Authors of submitted papers will be notified of the decision by Friday, May 26, 2017. Camera-ready papers will be due by Friday, June 16, 2017 for inclusion in the symposium proceedings which will be distributed to all participants. During the symposium, each accepted paper will be presented (a twenty minutes talk) by one of its authors, with five extra minutes for questions.

If possible, each submitted paper should be classified in one of the following areas:

  • Ancient Logic
  • Computability Theory
  • History and Philosophy of Logic
  • Logic in Computer Science
  • Model Theory
  • Nonclassical and Modal Logics
  • Proof Theory
  • Set Theory

Poster Session

Graduate students and young researchers are invited to submit a short abstract on work in progress. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students and young researchers should submit abstracts of no more than one page in PDF form by Friday, June 16, 2017, by sending them to: pls11@softlab.ntua.gr.

2018

The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

16–26 червня наступного, 2018 року у французькому Віши відбудеться Шостий Світовий конгрес та школа з універсальної логіки (UNILOG) Останній строк подачі тез — 15 вересня 2017 року.

Дуже дивно й незрозуміло, але пошта для надсилання тез міститься не на гуглівсьому gmail-і, як завжди, а чомусь — на майданчику Яндекса (yandex.com), до слова, заблокованого в Україні.

Повідомлення від організаторів:

The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

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

LICS 2018: Logic in Computer Science

9–12 липня наступного 2018 року в Оксфордському університеті (Велика Британія) в рамках Об'єднаної логічної конференції (FLOC 2018: Federated Logic Conference) відбудеться Симпозіум з логіки в інформатиці (LICS 2018: Logic in Computer Science), який є щорічним міжнародним форумом з теоретичних і практичних питань інформатики, що стосуються логіки у широкому розумінні.

Thirty-Third Annual ACM/IEEE Symposium on

Logic in Computer Science (LICS)

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.

LOGICA 2018 (Чехія, Гейніце)

18–22 червня цього, 2018, року у чеському Гейніце відбудеться традиційний, вже 32-ий логічний симпозіум. Останній строк подачі тез — 15 лютого. Офіційна інформація про захід:

LOGICA 2018

Hejnice monastery
18 – 22 June 2018
the 32nd in a series of annual international symposia devoted to logic


CALL FOR PAPERS

Important dates:

Submission of papers: 15 February 2018

Notification to the authors: by 31 March 2018

Invited speakers:

Samson Abramsky, Francesco Berto, Danielle Macbeth, and Jaroslav Peregrin.

A tutorial

will be given by Carles Noguera i Clofent.

Programme Committee:

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.

Submission guidelines:

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.

Conference fee:

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

logica@flu.cas.cz

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

6th World Congress on the Square of Opposition

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

Тематика конференції

  1. Логіка як галузь наукових досліджень та як академічна дисципліна: проблема
    співвідношення.
  2. Логіка на філософських факультетах ВНЗ: навчальна програма та її реалізація.
  3. Спеціалізація з логіки: зміст курсів та можливі обмеження.
  4. Логіка та дисципліни логічного циклу (неформальна логіка, теорія аргументації,
    риторика, еристика та ін.).
  5. Загальний курс логіки для студентів нефілософських спеціальностей: потреби та
    перспективи.
  6. Міжнародні тренди в логічній освіті та їхня актуальність для українського
    контексту.
  7. Досягнення та перспективні напрямки у розвитку сучасної логіки та їхнє
    впровадження у навчальні курси з логіки та філософії.

Круглі столи

Під час конференції Ви можете взяти участь у роботі таких круглих столів:

  1. Історія філософії та історія логіки: точки зіткнення.
  2. Що таке юридична логіка?
  3. Крос-культурні дослідження суперечки.
  4. PhD з логіки: можливості працевлаштування.

Запрошені доповідачі

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

DL 2018

26–29 жовтня цього, 2018, року в Темпе (США, Арізона) відбудеться 31-й Міжнародний семінар з логік опису (description logics). Строк подачі рукописів — до 14 липня.

Інформація про захід:

 

DL 2018

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.

Workshop Scope

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

Invited Speakers

Lidia Tendera (University of Opole, Poland)
Denny Vrandečić (Google LLC, USA)
Renata Wassermann (University of São Paulo, Brazil), jointly with NMR 2018

Important Dates

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

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

Organization

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

Resources

* 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/

2019

Круглий стіл «Співвідношення психології та логіки в історико-філософському контексті»

У Львові час від часу проводяться філософські круглі столи пам'яті засновника Львівсько-Варшавської школи Казимира Твардовського. 11 лютого наступного 2019 року у Львівській політехніці відбудеться черговий такий круглий стіл — цього разу на тему «Співвідношення психології та логіки в історико-філософському контексті». Строк подачі заявок — 1 лютого 2019 року. Повідомлення від організаторів (стилістику й лексику анотації збережено):

МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
КАФЕДРА ФІЛОСОФІЇ
НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ «ЛЬВІВСЬКА ПОЛІТЕХНІКА»
ГРОМАДСЬКА ОРГАНІЗАЦІЯ «ІНСТИТУТ ФІЛОСОФІЇ, ЛОГІКИ І СОЦІОЛОГІЇ»

Шановні колеги!
Запрошуємо Вас до участі у роботі Круглого столу на тему:

«СПІВВІДНОШЕННЯ ПСИХОЛОГІЇ ТА ЛОГІКИ В ІСТОРИКО-ФІЛОСОФСЬКОМУ КОНТЕКСТІ»,

присвяченого вшануванню пам’яті засновника Львівсько-Варшавської школи
КАЗИМИРА ТВАРДОВСЬКОГО

Логіка вважається раціональною наукою про закони мислення або наукою про видавання істинних суджень. Закони мислення або видавання суджень не можна зводити до психічних актів, бо вони привносять дещо суб’єктивне в логіку, яка повинна бути десуб’єктивованою та формальною. Як розв’язувалася проблема психологізму в логіці та обґрунтовувалася її трансцендентальна основа представниками Львівсько-Варшавської школи? Які існують сучасні підходи щодо розуміння психологізму в логіці і як вони корелюють з історією співвідношення логіки та психології?

Круглий стіл відбудеться 11 лютого 2019 року на кафедрі філософії Національного університету «Львівська політехніка» (кім. 328, IV навч. корпус).

Початок роботи Круглого столу в 10:00. Заявки й тези доповідей надсилайте до 01 лютого 2019 року на ел. адресу: ihor.v.karivets@lpnu.ua

У заявці вкажіть: П. І. Б., назву (тему) виступу, місце роботи, посада, вчене звання, науковий ступінь, моб. телефон, ел. пошту. УВАГА: прохання продумати узгодження Вашої теми із загальною темою Круглого столу. Оргкомітет відхилятиме теми виступів, що не відповідають загальній темі Круглого столу.

Тези обсягом 2-4 сторінки, формат А4, шрифт Times New Roman 14, міжрядковий інтервал 1.5, береги всі 2 см.

Робочі мови Круглого столу: українська, англійська, польська.

Дедлайн конгресу в Празі відсунувся на січень 2019 року

5–10 серпня наступного 2019 року в Празі відбудеться 16-ий за ліком Міжнародний конгрес із логіки, методології та філософії науки й технологій. Останній строк подачі матеріалів перенесено на 9 січня 2019 року. Трохи офіційних даних про конгрес:

16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY

PRAGUE
5–10 August 2019

CLMPST 2019 calls for contributed papers and contributed symposia in 20 thematic sections:

A. Logic
A.1 Mathematical Logic
A.2 Philosophical Logic
A.3 Computational Logic and Applications of Logic
A.4 Historical Aspects of Logic

B. General Philosophy of Science
B.1 Methodology
B.2 Formal Philosophy of Science and Formal Epistemology
B.3 Empirical and Experimental Philosophy of Science
B.4 Metaphysical Issues in the Philosophy of Science
B.5 Ethical and Political Issues in the Philosophy of Science
B.6 Historical Aspects of the Philosophy of Science
B.7 Educational Aspects of the Philosophy of Science

C. Philosophical Issues of Particular Disciplines
C.1 Philosophy of the Formal Sciences (including Logic, Mathematics, Statistics)
C.2 Philosophy of the Physical Sciences (including Physics, Chemistry, Earth Science, Climate Science)
C.3 Philosophy of the Life Sciences
C.4 Philosophy of the Biomedical and Health Sciences
C.5 Philosophy of the Cognitive and Behavioral Sciences
C.6 Philosophy of Computing and Computation
C.7 Philosophy of the Humanities and the Social Sciences
C.8 Philosophy of the Applied Sciences and Technology
C.9 Philosophy of Emerging Sciences

Important dates

9 January 2019 Extended deadline for abstract submissions
March 2019 Notifications of acceptance
March 2019 Congress registration opens
15 May 2019 Deadline for early registrations
15 July 2019 No more refunds for registration cancellations
5–10 August 2019 CLMPST 2019, Czech Technical University, Prague

Congress fees:

By 15. 05. 2019 16. 05 – 15. 07. 2019 On-site
Standard fee 280 € 395 € 450 €
Reduced fee* 95 € 150 € 200 €
Accomp. persons 50 € 60 € 60 €

* Reduced fee applies to students (including PhD students), participants from countries with developing economies (ISI Listing – https://www.isi-web.org/index.php/resources/developing-countries) and emeritus faculty without access to departmental funds.

* * *

Тези обсягом до 500 слів слід подавати через електронну систему EasyChair за адресою https://easychair.org/conferences/?conf=clmpst2019 .

Звертаємо також увагу на те, що Україна входить у список країн, представники яких можуть розраховувати на знижену сплату (див. посилання вище).

За іншими подробицями звертайтеся на офіційний сайт конгресу.

UCLA'2019

26–28 листопада цього, 2019, року на базі Київського національного університету імені Тараса Шевченка було проведено Першу українську конференцію «Логіка та її застосування» (UCLA'2019—The First Ukrainian Conference “Logic and Its Applications”). Конференція задумана та організована Українським логічним товариством за співучасті КНУ імені Тараса Шевченка, Києво-Могилянської академії та Львівської політехніки.

Конференція зібрала 25 учасників, які представляли 2 академічні інститути НАН України та 5 вишів з Києва, Харкова і Львова. Було здійснено 23 доповіді, які стосувалися філософських та математичних аспектів логіки. Тематично доповіді стосувалися логічного синтаксису, семантики, алгебри в логіці, логіки розв'язання, логічних методів в інформатиці та теоретичному програмуванні, логічної пропедевтики, а також окремих філософських проблем і навіть питань латиномовної термінології.

За підсумками UCLA'2019 видано друковані Праці Першої Української конференції «Логіка та її застосування» (PDF, 10,4 МБ).

2020

International Conference on Mathematical Foundations of Informatics (MFOI-2020)

Dear Colleagues,

It is a great pleasure to invite you to the forthcoming

International Conference on Mathematical Foundations of Informatics

(MFOI-2020)

Kyiv, Ukraine, July 1–5, 2020

In view of the outbreak of the Coronavirus disease
(COVID-19) the MFOI-2020 conference is postponed to

January 12–16, 2021.

http://mfoi2020.inf.ua/index.html

The 2020 edition of the annual Conference on Mathematical Foundations of Informatics is intended to add synergy to the efforts of the researchers working on the development of the mathematical foundations for Computer Science, also known as Informatics. Round tables are planned to ensure an open debate on the state of the art and new directions of research and cooperation.

Conference Topics

Any original contributions are welcome, including but not limited to:

  1. data science;
  2. theory of computing;
  3. theoretical issues in artificial intelligence;
  4. theoretical issues in automated reasoning;
  5. theoretical aspects of software system development;
  6. logics in informatics, databases, and artificial intelligence;
  7. data mining and knowledge discovery;
  8. knowledge representation;
  9. semantic technologies;
  10. natural language processing;
  11. formal languages and automata;
  12. cryptography and security;
  13. neural networks;
  14. natural computing;
  15. soft computing.

Important Dates

Paper Submission Deadline: April 20 October 26, 2020.
Acceptance notification: May 21 November 23, 2020.
Camera ready: June 1 December 07, 2020.
Registration Deadline: June 1 December 25, 2020.
Conference: July 1-5 January 12–16, 2020 2021.

Conference language

English

More information about conference at http://mfoi2020.inf.ua/index.html .

For your convenience, we also attach Call for Papers to this message.

Greetings,
MFOI- 2020 Program Chairs:
Mykola Nikitchenko (Kyiv, Ukraine),
Svetlana Cojocaru (Chisinau, Moldova),
Adrian Iftene (Iasi, Romania),
Ioachim Drugus (Chisinau, Moldova).

ПереглядПричіплений файлРозмір
MFOI_2020_Call for Papers.pdf648.56 КБ

7th World Congress on the Square of Opposition

Організатори 7-го Всесвітнього конгресу з логічного квадрата мають великий оптимізм, плануючи провести конгрес 16-20 вересня цього, 2020-го, року в Леувені (Бельгія). Зважаючи на нинішній розвиток короновірусної пандемії та недостатність карантинних заходів у багатьох країнах світу, немає впевненості в тому, що у вересні проводити масові заходи буде можливо і безпечно. Тим не менше, наводимо офіційне повідомлення від організаторів:

Sept 16-20, 2020 will take place in Leuven, Belgium, the
World Congress on the Square of Opposition
http://www.square-of-opposition.org/square2020

This will be the 7th world congress organized around the square of opposition after very successful previous editions in Montreux, Switzerland 2007; Corté, Corsica 2010; Beirut, Lebanon 2012; Vatican, 2014; Easter Island, 2016, Crete, 2018.
http://www.square-of-opposition.org/

This is an interdisciplinary event on the theory of opposition gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

This theory was initiated by Aristotle. It is based on three notions of opposition: contradiction, contrariety, subcontrariety. It took first the shape of a square but was further developed in many other geometrical shapes, in particular a hexagon, promoted by Robert Blanché
https://link.springer.com/journal/11787/6/1/page/1

Deadline for submitting an abstract is April, 20, 2020.

2021

UNILOG 2021 - The 7th World Congress and School on Universal Logic

Організатори UNILOG — Всесвітніх конгресу та школи з універсальної логіки — налаштовані оптимістично і планують провести 7-ий конгрес і школу на рубежі березня і травня наступного 2021 року на Криті. Це вже більш реалістично, ніж проведення заходів цього року, хоча, розвиток подій не дозволяє поки вважати цілком реалістичними і такі строки. Однак, тези можна починати писати вже. Офіційне повідомлення від організаторів:

UNILOG 2021 -

The 7th World Congress and School on Universal Logic -

will take place at the Orthodox Academy of Crete
March 28 - April 7, 2021
https://www.uni-log.org/

UNILOG is a series of events (combining a congress and a school) promoting
- logic in all its aspects: mathematical, philosophical, computational, semiological, historical
- the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science, architecture, artificial intelligence, sociology, linguistics, anthropology.

7th UNIVERSAL LOGIC SCHOOL

The school will have a duration of 5 days: from March 28 to April 1st 2021 with:
- an opening round table on the topic "Why study logic?"
- 30 tutorials
- A poster session.

7th UNIVERSAL LOGIC CONGRESS

The congress will have a duration of 6 days: from April 2 to April 7 2021 with
- invited speakers
- contributing speakers
- workshops
- a secret speaker (as in previous editions), i.e. a speaker whose identity is revealed only at the time of his/her/its talk or after
- a contest

2nd WORLD LOGIC PRIZES CONTEST

The 1st World Logic Prizes Contest took place in Vichy, France, during the 6th UNILOG in 2018.
This contest is a competition between winners of logic prizes of different countries.

To the winner is awarded the Universal Logic Prize.

UNILOG 2021 is organized under the Aegis of the Government of Crete.
Crete is an island with a history of about 5.000 years, cradle of Western civilization, including the Labyrinth, Plato's cave and much more.

Everybody is welcome to join and enjoy this wonderful place.

UNILOG 2021 - The 7th World Congress and School on Universal Logic
https://www.uni-log.org/

MFOI-2020

We would remind that in view of the outbreak of the Coronavirus disease (COVID-19), VI International Conference on Mathematical Foundations of Informatics (MFOI-2020) will be run in the online mode.

MFOI-2020 is postponed to January 12–16, 2021.


Poster in PDF format

During MFOI, January 14, 2021 is devoted to the World Logic Day.

The collocated events on January 14, 2021 are

Program of the MFOI-2020 is in the attached PDF file.

ПереглядПричіплений файлРозмір
MFOI 2020 Program.pdf233.74 КБ

7th World Congress on the Square of Opposition

Two weeks ago we had a celebration on the Square of Opposition for the 3rd edition of the World Logic Day.
On the page of the event you can find slides and papers:

WORLD CELEBRATION - SQUARE OF OPPOSITION

We would like to remember that the 7th edition of the World Congress on the Square of Opposition should take place in Leuven, Belgium Sept 7-11, 2021:

7th World Congress on the Square of Opposition

and that the deadline to submit an abstract is April 21, 2021.

Due to coronavirus the event has been postponed from September 2020 to September 2021. All initially accepted abstracts are automatically approved for presentation in September 2021, and do not have to be resubmitted. If you did not submit an abstract for the cancelled 2020 edition, you can submit a contribution for the 2021 edition by sending a one page abstract before April 21, 2021 to: leuven2020@square-of-opposition.org.

For additional information see the site of the congress above.

TABLEAUX 2021

TABLEAUX 2021

30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK
6-9 September 2021
https://tableaux2021.org/

The main information:

Scope of conference

Tableaux and other proof based methods offer convenient and flexible tools for automated reasoning for both classical and non-classical logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

Topics of interest include but are not limited to:

  • tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, relevance, non-monotonic logics) and their proof-theoretic foundations;
  • related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches);
  • sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation;
  • flexible, easily extendable, light weight methods for theorem proving;
  • novel types of calculi for theorem proving and verification in classical and non-classical logics;
  • systems, tools, implementations, empirical evaluations and applications (provers, logical frameworks, model checkers, ...);
  • implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, ...);
  • extensions of tableau procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs;
  • decision procedures, theoretically optimal procedures;
  • applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching.

We also welcome papers describing applications of tableau procedures to real world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning, and logical aspects of the solution.

Submission Guidelines

Submissions are invited in two categories:

A. research papers, which describe original theoretical research or applications, with length up to 15 pages excluding references;
B. system descriptions, with length up to 9 pages excluding references.

There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website.

Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version.

For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings.

Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system:
https://easychair.org/conferences/?conf=tableaux21.

For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at:
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines.

Important Dates

Abstract submission: 19 April 2021 (AoE)
Paper submission: 26 April 2021 (AoE)
Notification: 14 June 2021
TABLEAUX Conference: 6-9 September 2021

Conference Format and COVID-19

TABLEAUX 2021 and FroCoS 2021 are intended to be hybrid conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.

Publication

The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS).

For complete information see the site of Tableaux 2021.

2022

7th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

Наступного, 2022-го року на грецькому Криті заплановано проведення чергових, вже 7-их Всесвітніх конгресу та школи з універсальної логіки. Вже маємо сайт події та повідомлення від організаторів:

7th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC - CRETE - 2022

https://www.uni-log.org/

In one year will start the 7th edition of UNILOG to take place at the Orthodox Academy of Crete, April 1-11, 2022 with a school (April 1-5) and a congress (April 6-11).
The school will offer 30 tutorials on all aspects of logic.

The congress will include 20 workshops, the World Logic Prizes Contest and a Secret Speaker.

You can submit a tutorial, a workshop or a talk (see the link above).

Call For Papers, Workshops and Tutorials

Talks related to any aspect of logic are welcome. Send a one page abstract to UNILOG 2022 (unilog2021@uni-log.org) before July 21st, 2021.

You can also submit a workshop related to any aspect of logic. Send a one page description of the workshop to UNILOG'2022 before May 21st, 2021. Organizers of workshop will be responsible for the selection of the keynote and contributing speakers of their workshop (circulating a CFP) and should state if they can financially support their coming and the coming of their keynote speakers. A workshop should have 1 to 3 keynote speakers and between 5 to 15 contributing speakers. The duration of a workshop is between half a day and two days. Workshops take place during the congress.

It is possible also to submit a tutorial for the school related to any aspect of logic. Send a one page description of the tutorial to UNILOG'2022 before May 21st, 2021. A tutorial has a duration of 3h displayed in three sessions, each session being on a different day. Those who are submitting a tutorial should state if they can financially support their coming. They should be able to promote their tutorial to attract a good audience.

Registration

Early Registration fee - before Nov 1st, 2021


REGULAR REGISTRATION FEE
School: Euro 300
Congress: Euro 300
Congress + School: Euro 500

REDUCED FEE
School: Euro 200
Congress: Euro 200
Congress + School: Euro 400


Registration fee after 01.11.2021 or on Arrival


REGULAR REGISTRATION FEE
School: Euro 450
Congress: Euro 450
Congress + School: Euro 650

REDUCED FEE
School: Euro 350
Congress: Euro 350
Congress + School: Euro 550

Reduced fee applies to people having an income lower than 1.000 euros per month independently of their country of origin or position (Professor, Student, etc.)

Symposium on Logic and Artificial Intelligence • 2022

The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.

SLAI-2022 is organized in cooperation with:

SLAI-2022 is devoted to the World Logic Day.

Collocated to SLAI-2022 events are

SLAI-2022 with collocated events is a cluster of World Logic Day events.

Each talk will be scheduled for one of the two time slots:

  • American time slot (CST timezone), and
  • European time slot (EEST timezone).

Call for papers/Topics

All accepted papers will be published in Proceedings of L&AI Symposium within one month after the symposium. The selected papers will be also published after the conference in the CSJM (Computer Science Journal of Moldova – indexed in Mathematical Reviews, Zentralblatt MATH, Clarivate Analytics/Web of Science (ISI), MathSciNet, DBLP, DOAJ, EBSCO) or in the Bulletin of Academy of Sciences of Moldova, ser. Mathematics (indexed in Mathematical Reviews, Zentralblatt MATH, SCImago Journal Rank (SJR), Russian RZh Matematika).

Any original contributions are welcome, including but not limited to:

  • logic in informatics, databases, and artificial intelligence;
  • theoretical aspects of artificial intelligence;
  • theoretical aspects of automated reasoning;
  • combining artificial intelligence with augmented and virtual reality;
  • data mining and knowledge discovery;
  • knowledge representation and knowledge modeling;
  • ontologies and semantic technologies;
  • natural language processing, text mining and text generation;
  • logic of natural language;
  • formal languages and automata;
  • neural networks and Bayesian network (synonyms: belief network, or decision network);
  • machine learning and deep learning;
  • explainable artificial intelligence;
  • nonclassical logics and their applications;
  • abductive reasoning;
  • fuzzy logics and many-valued logics;
  • causal inference;
  • epistemic and temporal reasoning;
  • inductive reasoning;
  • rough sets / rough set computing.

The papers will be submitted through the Easy Chair system.

Requirements to papers:

Your paper is required to be 6-16 pages in English (one page approximating A5 size, i.e. about 800 words), and using the SLAI templates (SLAI2022_template_A5.doc; slai2022_template.tex, slai2022_template.pdf, slai_2022.sty).

Please, start with a succinct statement of the problem, present your results, their significance and a comparison with previous works (if any), as well as a list of references. The submissions should also include the title of proposed paper, author’s names, affiliations, addresses, the name of an author to contact for a possible correspondence, the e-mail address of the contact author, and topics which best describe the paper (max. 5 keywords).

Plagiarism check

Please be informed, that the camera-ready version of your paper will be checked for (self-) plagiarism. This check is performed as SLAI commits to comply with the Committee on Publication Ethics Guidelines (https://publicationethics.org/guidance/Guidelines). The papers that fail to pass this check will be excluded from the proceedings.

Important Dates

All deadlines are at 23:59 Hawaii time on the date given below:

  • Paper submission deadline: October 18, 2021.
  • Acceptance notification: November 29, 2021.
  • Registration deadline: January 10, 2022.
  • Symposium: January 12–16, 2022.

Keynote Speakers

David Makinson (London, UK):
Logicians like climbing trees

Leora Morgenstern (Palo Alto, USA):
From text to battle simulations using formal representations: How NLP, logic, and planning work together in COMBAT

Irina Perfilieva (Ostrava, Czech Republic):
Fuzzy sets, fuzzy partitions and manifolds

Anatol Reibold (Darmstadt, Hessen, Germany):
Deep learning as a special case of abductive reasoning

Dimiter Vakarelov (Sofia, Bulgaria):
Region-based theories of space and time

Contact

Please contact us by the email slai2022(at)islai.org

More information about SLAI-2022.

Симпозіум з логіки та штучного інтелекту – запрошені лекції

Шановні колеги!

В рамках Всесвітнього Дня Логіки
https://wld.cipsh.international/wld2022.html
організовано Симпозіум з логіки та штучного інтелекту
https://slai2022.islai.org/
(13-15 січня 2022 року, програму долучено)

ZOOM link to All SLAI-2022 sessionS:
https://zoom.us/j/2022131415
Time is EET (Romania-Moldova-Ukraine time)

Запрошуємо колег, аспірантів та студентів долучитись до Симпозіуму та до наступних запрошених лекцій:

David Makinson (London, UK):
Logicians like climbing trees
Friday, January 14 at 20:00 (EET)
Leora Morgenstern (Palo Alto, USA):
From text to battle simulations using formal representations: How NLP, logic, and planning work together in COMBAT
Thursday, January 13 at 18:00 (EET)
Irina Perfilieva (Ostrava, Czech Republic):
Fuzzy sets, fuzzy partitions and manifolds
Thursday, January 13 at 16:00 (EET)
Anatol Reibold (Darmstadt, Hessen, Germany):
Deep learning as a special case of abductive reasoning
Saturday, January 15 at 16:00 (EET)
Dimiter Vakarelov (Sofia, Bulgaria):
Region-based theories of space and time
Saturday, January 15 at 18:00 (EET)

 

З повагою,
Микола Нікітченко