submission details; topics of interests

MoDELS.wiki

@@ -2,8 +2,24 @@
 * Перевод: '''Международная конференция по модельной разработке языков и систем'''
 * Статус: [[International Conference|международная конференция]]
 
+== Детали ==
+* Анонимное рецензирование (рецензентам видны авторы, авторам виден только список всех рецензентов)
+* Возможность ответить рецензентам до вынесения вердикта (не больше 500 слов)
+* Стиль оформления — LNCS (одна колонка, большие поля)
+* Предельный объём — 17 страниц
+
 == Тематика ==
-* …
+* Разработка и использование предметно-ориентированных языков моделирования
+* Развитие языков моделирования широкого профиля
+* Определение синтаксиса и семантики языков моделирования
+* Инструменты и мета-инструменты для языков моделирования и модельной разработки
+* Определение и использование модельных трансформаций и порождающих подходов
+* Новые методологии, платформы и процессы модельной разработки
+* Разработка концепций проектирования систем и моделирования-в-большом
+* Предложения новых техник оценки качества моделей
+* Интеграция модельных языков и инструментов
+* Новые парадигмы и формализмы моделирования
+* Моделирование в облаке и для облака
 
 == Архив ==
 * MoDELS 2012 (Австрия, Иннсбрук)

PLDI.wiki

@@ -1,9 +1,27 @@
 * Название: '''Conference on Programming Language Design and Implementation'''
-* Перевод: '''Конференция по проектированию и реализации языков программирования'''
+* Перевод: '''Конференция по разработке и реализации языков программирования'''
 * Статус: [[International Conference|международная конференция]]
 
+== Детали ==
+* Двойное слепое рецензирование (рецензенты анонимно оценивают анонимизированные статьи)
+* Стиль оформления — ACM (две колонки, девятый шрифт)
+* Предельный объём — 10 страниц
+
 == Тематика ==
-* …
+* Разработка языков и языковых расширений
+* Статический и динамический анализ программ
+* Предметно-ориентированные языки и инструменты
+* Типизация и логика
+* Преобразование и оптимизация программ
+* Проверка и улучшение безопасности и корректности программ
+* Управление памятью
+* Паралеллизм, явный и неявный
+* Анализ и оценка производительности
+* Инновационные модели программирования
+* Техники и инструменты отладки
+* Понимание программ
+* Взаимодействие компиляторов и сред выполнения с системами поддержки
+* Синтезирование программ
 
 == Архив ==
 * PLDI 2013 (США, Сиэтл):

SLE.wiki

@@ -2,8 +2,22 @@
 * Перевод: '''Международная конференция по проектированию компьютерных языков'''
 * Статус: [[International Conference|международная конференция]]
 
+== Детали ==
+* Анонимное рецензирование (рецензентам видны авторы, авторам виден только список всех рецензентов)
+* Стиль оформления — LNCS (одна колонка, большие поля)
+* Предельный объём — 20 страниц
+
 == Тематика ==
-* …
+* Формализмы для определения языков (грамматики, схемы, онтологии, метамодели) и инструменты их анализа
+* Техники реализации языков (генераторы парсеров, атрибутные грамматики, библиотеки комбинаторов)
+* Инструменты преобразования программ и моделей (рефакторинг, аспекты, метамоделирование)
+* Инструменты совмещения, интегрирования, отображения разных представлений одного языка
+* Преобразования и языки преобразования языков и моделей
+* Развитие языков, расширяемые языки
+* Подходы к выделению, заданию и проверке условий, предъявляемых к компьютерным языкам
+* Подходы, методологии, техники, инструменты и примеры проектирования языков
+* Проблемы проектирования компьютерных языков
+* Применение инноваторских предметно-ориентированных или «малых» языков
 
 == Архив ==
 * SLE 2012 (Германия, Дрезден)