LATA 2013

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

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). Повідомлення від організаторів:

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).

№

Прізвище, ім’я, по батькові, домашня адреса

Місце роботи, службова адреса

Телефон (службовий/домашній/мобільний), факс, 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, яка щороку влаштовує цілий ряд наукових заходів, оголосила про проведення цього року літньої школи з тенденцій в обчисленнях. Оскільки серед пропонованих курсів є не тільки прикладні програмістські, але й фундаментальні, логічного спрямування, розміщуємо повідомлення від організаторів про проведення школи:

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