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