diff --git a/1985.wiki b/1985.wiki index 17456b8..076423b 100644 --- a/1985.wiki +++ b/1985.wiki @@ -1,4 +1,7 @@ Конференции, проведённые в 1985 году: +* [[RTA]] * [[PLDI|SLIPE]] ---''Список обновлён 2012-08-01'' +---- +— ''Категории: [[Years|Годы]].''
+— ''Список обновлён 2013-02-01'' diff --git a/1987.wiki b/1987.wiki index bf0c516..88d2174 100644 --- a/1987.wiki +++ b/1987.wiki @@ -2,6 +2,9 @@ * [[ECOOP]] * [[ESEC]] * [[PLDI]] +* [[RTA]] * [[PEPM|WPEMC]] ---''Список обновлён 2012-08-06'' +---- +— ''Категории: [[Years|Годы]].''
+— ''Список обновлён 2013-02-01'' diff --git a/1989.wiki b/1989.wiki index 3848748..357ea61 100644 --- a/1989.wiki +++ b/1989.wiki @@ -3,7 +3,8 @@ * [[ESEC]] * [[IFL]] * [[PLDI]] +* [[RTA]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1991.wiki b/1991.wiki index f0fb6dc..682b7d5 100644 --- a/1991.wiki +++ b/1991.wiki @@ -4,7 +4,8 @@ * [[IFL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1993.wiki b/1993.wiki index 0d8abca..f1c457f 100644 --- a/1993.wiki +++ b/1993.wiki @@ -5,8 +5,9 @@ * [[IFL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1995.wiki b/1995.wiki index 4e23d4b..a55bfd4 100644 --- a/1995.wiki +++ b/1995.wiki @@ -5,8 +5,9 @@ * [[IFL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1996.wiki b/1996.wiki index bcadf90..c3cfc91 100644 --- a/1996.wiki +++ b/1996.wiki @@ -4,8 +4,9 @@ * [[IFL]] * [[PEPM|PE]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1997.wiki b/1997.wiki index 62288c0..d645a20 100644 --- a/1997.wiki +++ b/1997.wiki @@ -5,9 +5,10 @@ * [[IFL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1998.wiki b/1998.wiki index 78f1d05..1ecd91c 100644 --- a/1998.wiki +++ b/1998.wiki @@ -5,9 +5,10 @@ * [[IFL]] * [[OCL]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/1999.wiki b/1999.wiki index 8ec21ec..6cf84e0 100644 --- a/1999.wiki +++ b/1999.wiki @@ -8,9 +8,10 @@ * [[PEPM]] * [[PEPM|PEPTD]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2000.wiki b/2000.wiki index 9116d79..d01182e 100644 --- a/2000.wiki +++ b/2000.wiki @@ -6,10 +6,11 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] * [[XM|XPM]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2001.wiki b/2001.wiki index f058daa..d98d491 100644 --- a/2001.wiki +++ b/2001.wiki @@ -5,9 +5,10 @@ * [[IFL]] * [[OCL]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2002.wiki b/2002.wiki index 32682c3..464a862 100644 --- a/2002.wiki +++ b/2002.wiki @@ -6,9 +6,10 @@ * [[IFM]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2003.wiki b/2003.wiki index 9a0c034..341b45c 100644 --- a/2003.wiki +++ b/2003.wiki @@ -7,9 +7,10 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2004.wiki b/2004.wiki index f57837a..ab5005d 100644 --- a/2004.wiki +++ b/2004.wiki @@ -8,9 +8,10 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[MoDELS|UML]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2005.wiki b/2005.wiki index c3bbaeb..c38b289 100644 --- a/2005.wiki +++ b/2005.wiki @@ -9,8 +9,9 @@ * [[MoDeVVa|MoDeVA]] * [[OCL]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2006.wiki b/2006.wiki index 577f2ce..6c99db1 100644 --- a/2006.wiki +++ b/2006.wiki @@ -10,8 +10,9 @@ * [[OCL|OCLApps]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2007.wiki b/2007.wiki index 38b0848..c671833 100644 --- a/2007.wiki +++ b/2007.wiki @@ -14,8 +14,9 @@ * [[OCL|OCL4All]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2008.wiki b/2008.wiki index b5fc552..391851a 100644 --- a/2008.wiki +++ b/2008.wiki @@ -12,9 +12,10 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[SLE]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2009.wiki b/2009.wiki index b449cb3..d4d0df7 100644 --- a/2009.wiki +++ b/2009.wiki @@ -16,9 +16,10 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[SLE]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2010.wiki b/2010.wiki index fb9425d..6ec7e6d 100644 --- a/2010.wiki +++ b/2010.wiki @@ -14,9 +14,10 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[SLE]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2011.wiki b/2011.wiki index 1e25f96..261138f 100644 --- a/2011.wiki +++ b/2011.wiki @@ -16,10 +16,11 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[SLE]] * [[VARY]] * [[WCRE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2012.wiki b/2012.wiki index 179cabb..1f0a186 100644 --- a/2012.wiki +++ b/2012.wiki @@ -20,6 +20,7 @@ * [[OCL]] * [[PEPM]] * [[PLDI]] +* [[RTA]] * [[SLE]] * [[VARY]] * [[WCRE]] @@ -27,4 +28,4 @@ ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/2013.wiki b/2013.wiki index 30fbfde..1ed5fe4 100644 --- a/2013.wiki +++ b/2013.wiki @@ -1,11 +1,13 @@ Конференции, проведённые в 2013 году: * [[ECOOP]] +* [[ESEC]] * [[IFL]] * [[IFM]] * [[MoDELS]] * [[PLDI]] +* [[RTA]] * [[SLE]] ---- — ''Категории: [[Years|Годы]].''
-— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/All.wiki b/All.wiki index 1d5fc3f..f3495e0 100644 --- a/All.wiki +++ b/All.wiki @@ -1,4 +1,4 @@ -Вики уже содержит следующие статьи (27): +Вики уже содержит следующие статьи (28): * '''[[ACES-MB]]''': [[ACES-MB|Международная рабочая встреча по модельной архитектуре и созданию встроенных систем]] * '''[[AMT]]''': [[AMT|Рабочая встреча по анализу преобразований моделей]] @@ -23,10 +23,11 @@ * '''[[OCL]]''': [[OCL|Рабочая встреча по OCL и текстовому моделированию]] * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] +* '''[[RTA]]''': [[RTA|Международная конференция по техникам переписывания и их применению]] * '''[[SLE]]''': [[SLE|Международная конференция по проектированию компьютерных языков]] * '''[[VARY]]''': [[VARY|Изменчивость для вас]] * '''[[WCRE]]''': [[WCRE|Рабочая конференция по обратной разработке]] * '''[[XM]]''': [[XM|Рабочая встреча по экстремальному моделированию]] ---- -— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/Colloquium.wiki b/Colloquium.wiki index e8d3337..7e48f03 100644 --- a/Colloquium.wiki +++ b/Colloquium.wiki @@ -2,4 +2,4 @@ * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/International-Conference.wiki b/International-Conference.wiki index 62e7de7..b686b89 100644 --- a/International-Conference.wiki +++ b/International-Conference.wiki @@ -5,8 +5,9 @@ * '''[[IFM]]''': [[IFM|Международная конференция по интегрированным формальным методам]] * '''[[MoDELS]]''': [[MoDELS|Международная конференция по модельной разработке языков и систем]] * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] +* '''[[RTA]]''': [[RTA|Международная конференция по техникам переписывания и их применению]] * '''[[SLE]]''': [[SLE|Международная конференция по проектированию компьютерных языков]] * '''[[WCRE]]''': [[WCRE|Рабочая конференция по обратной разработке]] ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/Miniconference.wiki b/Miniconference.wiki index 5f865bd..3e8a9c6 100644 --- a/Miniconference.wiki +++ b/Miniconference.wiki @@ -1,4 +1,4 @@ Миниконференции в этой вики не представлены, и не факт, что ближайшее время появятся. ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/RTA.wiki b/RTA.wiki new file mode 100644 index 0000000..999b580 --- /dev/null +++ b/RTA.wiki @@ -0,0 +1,88 @@ +* Название: '''International Conference on Rewriting Techniques and Applications''' +* Перевод: '''Международная конференция по техникам переписывания и их применению''' +* Статус: [[International-Conference|международная конференция]] + +== Тематика == +Одна из профильных конференций по всем темам, касающимся переписывания и систем переписывающих правил (конференции близкой тематики — [[IJCAR]], [[CADE]], [[FroCoS]], [[FTP]], [[TABLEAUX]], [[ICC]]). Область интересов покрывает как минимум следующие направления: +* «Применение»: частные случаи применения переписывания, анализ криптографических протоколов, функциональное и логическое программирование, символьные и алгебраические вычисления, решения SMT формул, автоматизированное доказательство теорем, синтез и верификация систем, проверки доказательств, теория языков программирования и логики, преобразование программ, запросы и преобразования XML, системная биология, теория гомотопий, неявная вычислительная сложность; +* «Основы»: логика уравнений, универсальная алгебра, логика переписывания, переписывание моделей программ, соответствие и унификация, сужение, техники дополнения, стратегии, исчисления переписываний, разрешение ограничений, автоматы на деревьях, задачи об остановке, сложность, модульность; +* «Техники»: переписывание строк, термов, сетей и графов, лямбда-исчисление и переписывание высших порядков, ограниченное переписывание и выведение, категориальное и бесконечное переписывание, стохастическое переписывание, техники связывания, сети Петри, многомерное переписывание; +* «Внедрение»: техники реализации, параллельное выполнение, утилиты переписывания и дополнения, сертификация свойств переписывания, абстрактные автоматы, явные замены, автоматизированные доказательства слияния, остановки или отсутствия остановки, автоматизированный анализ сложности. + +== Архив == +* RTA 2013 (Нидерланды, Эйндховен) +** 24th International Conference on Rewriting Techniques and Applications +** [http://rta2013.few.vu.nl Сайт] +* RTA 2012 (Япония, Нагоя) +** 23rd International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2012.html DBLP] +* RTA 2011 (Сербия, Нови-Сад) +** 22nd International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2011.html DBLP] +* RTA 2010 (Шотландия, Эдинбург) +** 21st International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2010.html DBLP] +* RTA 2009 (Бразилия, Бразилиа) +** 20th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2009.html DBLP] +* RTA 2008 (Австрия, Хагенберг) +** 19th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2008.html DBLP] +* RTA 2007 (Франция, Париж) +** 18th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2007.html DBLP] +* RTA 2006 (США, Сиэтл) +** 17th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2006.html DBLP] +* RTA 2005 (Япония, Нара) +** 16th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2005.html DBLP] +* RTA 2004 (Германия, Ахен) +** 15th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2004.html DBLP] +* RTA 2003 (Испания, Валенсия) +** 14th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2003.html DBLP] +* RTA 2002 (Дания, Копенгаген) +** 13th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2002.html DBLP] +* RTA 2001 (Нидерланды, Утрехт) +** 12th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2001.html DBLP] +* RTA 2000 (Англия, Норидж) +** 11th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta2000.html DBLP] +* RTA 1999 (Италия, Тренто) +** 10th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta99.html DBLP] +* RTA 1998 (Япония, Цукуба) +** 9th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta98.html DBLP] +* RTA 1997 (Испания, Сиджес) +** 8th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta97.html DBLP] +* RTA 1996 (США, Нью-Брансуик) +** 7th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta96.html DBLP] +* RTA 1995 (Германия, Кайзерслаутерн) +** 6th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta95.html DBLP] +* RTA 1993 (Канада, Монреаль) +** 5th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta93.html DBLP] +* RTA 1991 (Италия, Комо) +** 4th International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta91.html DBLP] +* RTA 1989 (США, Чапел-Хилл) +** 3rd International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta89.html DBLP] +* RTA 1987 (Франция, Бордо) +** 2nd International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta87.html DBLP] +* RTA 1985 (Франция, Дижон) +** First International Conference on Rewriting Techniques and Applications +** [http://dblp.uni-trier.de/db/conf/rta/rta85.html DBLP] + +== Ссылки == +* [http://dblp.uni-trier.de/db/conf/rta/ RTA] на [[DBLP]] +* [http://academic.research.microsoft.com/Conference/246/ RTA] на [[Academic]] diff --git a/Seminar.wiki b/Seminar.wiki index c4a4ab8..8145665 100644 --- a/Seminar.wiki +++ b/Seminar.wiki @@ -2,4 +2,4 @@ * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/Summer-School.wiki b/Summer-School.wiki index f3432e5..8a16b51 100644 --- a/Summer-School.wiki +++ b/Summer-School.wiki @@ -2,4 +2,4 @@ * '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]] ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/Symposium.wiki b/Symposium.wiki index 366eefe..585b7da 100644 --- a/Symposium.wiki +++ b/Symposium.wiki @@ -5,4 +5,4 @@ * '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]] ---- -— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/TODO.wiki b/TODO.wiki index 0dcd8aa..c7e7e45 100644 --- a/TODO.wiki +++ b/TODO.wiki @@ -1,10 +1,11 @@ -Статьи, требующие создания (344): +Статьи, требующие создания (350): * '''[[.NET]]''' (⇐ [[ECOOP]]) * '''[[700DOS]]''' (⇐ [[ECOOP]]) * '''[[AAOS]]''' (⇐ [[ECOOP]]) * '''[[ABZ]]''' (⇐ [[IFM]]) * '''[[ACE]]''' (⇐ [[ECOOP]]) +* '''[[ACM-SIG]]''' (⇐ [[ESEC]]) * '''[[ADC]]''' (⇐ [[ECOOP]]) * '''[[ADI]]''' (⇐ [[ECOOP]]) * '''[[AISE]]''' (⇐ [[FSE]]) @@ -21,10 +22,11 @@ * '''[[ASC]]''' (⇐ [[ECOOP]]) * '''[[ASE]]''' (⇐ [[Home]]) * '''[[ASPLOS]]''' (⇐ [[Home]]) -* '''[[Academic]]''' (⇐ [[ECOOP]], [[ESEC]], [[Home]], [[IFM]], [[MoDELS]], [[PEPM]], [[PLDI]], [[WCRE]]) +* '''[[Academic]]''' (⇐ [[ECOOP]], [[ESEC]], [[Home]], [[IFM]], [[MoDELS]], [[PEPM]], [[PLDI]], [[RTA]], [[WCRE]]) * '''[[Alloy]]''' (⇐ [[FSE]]) * '''[[BSUP]]''' (⇐ [[ECOOP]]) * '''[[Bugs]]''' (⇐ [[PLDI]]) +* '''[[CADE]]''' (⇐ [[RTA]]) * '''[[CADS]]''' (⇐ [[ECOOP]]) * '''[[CASE]]''' (⇐ [[WCRE]]) * '''[[CASTA]]''' (⇐ [[ESEC]], [[FSE]]) @@ -58,7 +60,7 @@ * '''[[CyberChair]]''' (⇐ [[ECOOP]], [[Home]], [[MoDELS]]) * '''[[DAC]]''' (⇐ [[Home]]) * '''[[DATE]]''' (⇐ [[Home]]) -* '''[[DBLP]]''' (⇐ [[ECOOP]], [[ESEC]], [[FSE]], [[GTTSE]], [[Home]], [[IFL]], [[IFM]], [[MoDELS]], [[MPM]], [[PEPM]], [[PLDI]], [[SLE]], [[WCRE]]) +* '''[[DBLP]]''' (⇐ [[ECOOP]], [[ESEC]], [[FSE]], [[GTTSE]], [[Home]], [[IFL]], [[IFM]], [[MoDELS]], [[MPM]], [[PEPM]], [[PLDI]], [[RTA]], [[SLE]], [[WCRE]]) * '''[[DLS]]''' (⇐ [[ECOOP]]) * '''[[DMMOS]]''' (⇐ [[ECOOP]]) * '''[[DO21]]''' (⇐ [[ECOOP]]) @@ -89,7 +91,7 @@ * '''[[EUROSYS]]''' (⇐ [[Home]]) * '''[[EVOL]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[EWSPT]]''' (⇐ [[ESEC]], [[FSE]]) -* '''[[EasyChair]]''' (⇐ [[GTTSE]], [[Home]], [[IFL]], [[IFM]], [[SLE]]) +* '''[[EasyChair]]''' (⇐ [[ESEC]], [[GTTSE]], [[Home]], [[IFL]], [[IFM]], [[SLE]]) * '''[[FCRC]]''' (⇐ [[PEPM]], [[PLDI]]) * '''[[FICS]]''' (⇐ [[ECOOP]]) * '''[[FLOPS]]''' (⇐ [[PEPM]]) @@ -104,11 +106,13 @@ * '''[[FPL]]''' (⇐ [[Home]]) * '''[[FSKD]]''' (⇐ [[Home]]) * '''[[FSM]]''' (⇐ [[ECOOP]]) +* '''[[FTP]]''' (⇐ [[RTA]]) * '''[[FTfJP]]''' (⇐ [[ECOOP]]) * '''[[Facebook]]''' (⇐ [[Home]], [[SLE]]) * '''[[FoCBS]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[FoSER]]''' (⇐ [[FSE]]) * '''[[Fractal]]''' (⇐ [[ECOOP]]) +* '''[[FroCoS]]''' (⇐ [[RTA]]) * '''[[GP]]''' (⇐ [[ECOOP]]) * '''[[GPCE]]''' (⇐ [[FOSD]], [[MoDELS]], [[SLE]]) * '''[[HCI]]''' (⇐ [[Home]]) @@ -116,7 +120,7 @@ * '''[[HUC]]''' (⇐ [[Home]]) * '''[[ICALP]]''' (⇐ [[Home]]) * '''[[ICALT]]''' (⇐ [[Home]]) -* '''[[ICC]]''' (⇐ [[Home]]) +* '''[[ICC]]''' (⇐ [[Home]], [[RTA]]) * '''[[ICCAD]]''' (⇐ [[Home]]) * '''[[ICCS]]''' (⇐ [[Home]]) * '''[[ICDAR]]''' (⇐ [[Home]]) @@ -137,6 +141,7 @@ * '''[[ICWSM]]''' (⇐ [[Home]]) * '''[[IES]]''' (⇐ [[ECOOP]]) * '''[[IHFUCOOM]]''' (⇐ [[ECOOP]]) +* '''[[IJCAR]]''' (⇐ [[RTA]]) * '''[[INFOCOM]]''' (⇐ [[Home]]) * '''[[IOODP]]''' (⇐ [[ECOOP]]) * '''[[IPDPS]]''' (⇐ [[Home]]) @@ -297,6 +302,7 @@ * '''[[SYANCO]]''' (⇐ [[ESEC]], [[FSE]]) * '''[[SenSys]]''' (⇐ [[Home]]) * '''[[SoSEA]]''' (⇐ [[ESEC]], [[FSE]]) +* '''[[TABLEAUX]]''' (⇐ [[RTA]]) * '''[[TACAS]]''' (⇐ [[Home]]) * '''[[TASE]]''' (⇐ [[Home]]) * '''[[TEAM]]''' (⇐ [[ECOOP]]) @@ -346,4 +352,4 @@ * '''[[eTX]]''' (⇐ [[ECOOP]]) ---- -— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/Working-Conference.wiki b/Working-Conference.wiki index 7f3ee63..401a23d 100644 --- a/Working-Conference.wiki +++ b/Working-Conference.wiki @@ -1,4 +1,4 @@ Рабочие конференции в этой вики пока не представлены. ---- -— ''Список обновлён 2013-01-14'' +— ''Список обновлён 2013-02-01'' diff --git a/Workshop.wiki b/Workshop.wiki index 0cc272c..fec8571 100644 --- a/Workshop.wiki +++ b/Workshop.wiki @@ -19,4 +19,4 @@ * '''[[XM]]''': [[XM|Рабочая встреча по экстремальному моделированию]] ---- -— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01'' diff --git a/Years.wiki b/Years.wiki index 512386b..0df5015 100644 --- a/Years.wiki +++ b/Years.wiki @@ -10,62 +10,62 @@ ; [[1984]] : [[PLDI|SCC]] ; [[1985]] -: [[PLDI|SLIPE]] +: [[RTA]] • [[PLDI|SLIPE]] ; [[1986]] : [[PLDI|SCC]] ; [[1987]] -: [[ECOOP]] • [[ESEC]] • [[PLDI]] • [[PEPM|WPEMC]] +: [[ECOOP]] • [[ESEC]] • [[PLDI]] • [[RTA]] • [[PEPM|WPEMC]] ; [[1988]] : [[ECOOP]] • [[PLDI]] ; [[1989]] -: [[ECOOP]] • [[ESEC]] • [[IFL]] • [[PLDI]] +: [[ECOOP]] • [[ESEC]] • [[IFL]] • [[PLDI]] • [[RTA]] ; [[1990]] : [[ECOOP|ECOOP/OOPSLA]] • [[IFL]] • [[PLDI]] ; [[1991]] -: [[ECOOP]] • [[ESEC]] • [[IFL]] • [[PEPM]] • [[PLDI]] +: [[ECOOP]] • [[ESEC]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[RTA]] ; [[1992]] : [[ECOOP]] • [[IFL]] • [[PEPM]] • [[PLDI]] ; [[1993]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[1994]] : [[ECOOP]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] ; [[1995]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[1996]] -: [[ECOOP]] • [[FSE]] • [[IFL]] • [[PEPM|PE]] • [[PLDI]] • [[WCRE]] +: [[ECOOP]] • [[FSE]] • [[IFL]] • [[PEPM|PE]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[1997]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[1998]] -: [[PEPM|DIKU PE]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[PEPM|DIKU PE]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[1999]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PEPM|PEPTD]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PEPM|PEPTD]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[2000]] -: [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] • [[XM|XPM]] +: [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] • [[XM|XPM]] ; [[2001]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[2002]] -: [[PEPM|ASIA-PEPM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[PEPM|ASIA-PEPM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[2003]] -: [[SLE|ATEM]] • [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[SLE|ATEM]] • [[ECOOP]] • [[ESEC]] • [[FSE]] • [[IFL]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[2004]] -: [[SLE|ATEM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[MoDELS|UML]] • [[WCRE]] +: [[SLE|ATEM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[IFM]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[MoDELS|UML]] • [[WCRE]] ; [[2005]] -: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PLDI]] • [[WCRE]] +: [[ECOOP]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa|MoDeVA]] • [[OCL]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[2006]] -: [[SLE|ATEM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[MoDELS]] • [[MoDeVVa|MoDeV2a]] • [[MPM]] • [[MRT]] • [[OCL|OCLApps]] • [[PEPM]] • [[PLDI]] • [[WCRE]] +: [[SLE|ATEM]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[MoDELS]] • [[MoDeVVa|MoDeV2a]] • [[MPM]] • [[MRT]] • [[OCL|OCLApps]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[2007]] -: [[SLE|ATEM]] • [[ECOOP]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MPM]] • [[MRT]] • [[OCL|OCL4All]] • [[PEPM]] • [[PLDI]] • [[WCRE]] +: [[SLE|ATEM]] • [[ECOOP]] • [[ESEC]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MPM]] • [[MRT]] • [[OCL|OCL4All]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[WCRE]] ; [[2008]] -: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[ME|MCCM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[WCRE]] +: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[FSE]] • [[IFL]] • [[ME|MCCM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[SLE]] • [[WCRE]] ; [[2009]] -: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE/MCCM]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[WCRE]] +: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[MoDeVVa]] • [[ME|MoDSE/MCCM]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[SLE]] • [[WCRE]] ; [[2010]] -: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[FOSD]] • [[FSE]] • [[IFL]] • [[IFM]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[WCRE]] +: [[ACES-MB|ACES MB]] • [[ECOOP]] • [[FOSD]] • [[FSE]] • [[IFL]] • [[IFM]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[SLE]] • [[WCRE]] ; [[2011]] -: [[ACES-MB|ACES MB]] • [[CMA]] • [[ECOOP]] • [[EESSMod]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[MRT]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[VARY]] • [[WCRE]] +: [[ACES-MB|ACES MB]] • [[CMA]] • [[ECOOP]] • [[EESSMod]] • [[ESEC]] • [[FOSD]] • [[FSE]] • [[GTTSE]] • [[IFL]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MPM]] • [[MRT]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[SLE]] • [[VARY]] • [[WCRE]] ; [[2012]] -: [[ACES-MB|ACES MB]] • [[AMT]] • [[CMA]] • [[ECOOP]] • [[EESSMod]] • [[FOSD]] • [[FSE]] • [[IFL]] • [[IFM]] • [[MDHPCL]] • [[MDsec]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MotPW]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[SLE]] • [[VARY]] • [[WCRE]] • [[XM]] +: [[ACES-MB|ACES MB]] • [[AMT]] • [[CMA]] • [[ECOOP]] • [[EESSMod]] • [[FOSD]] • [[FSE]] • [[IFL]] • [[IFM]] • [[MDHPCL]] • [[MDsec]] • [[ME]] • [[MoDELS]] • [[MoDeVVa]] • [[MotPW]] • [[MPM]] • [[MRT]] • [[NFPinDSML]] • [[OCL]] • [[PEPM]] • [[PLDI]] • [[RTA]] • [[SLE]] • [[VARY]] • [[WCRE]] • [[XM]] ; [[2013]] -: [[ECOOP]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[PLDI]] • [[SLE]] +: [[ECOOP]] • [[ESEC]] • [[IFL]] • [[IFM]] • [[MoDELS]] • [[PLDI]] • [[RTA]] • [[SLE]] ---- -— ''Список обновлён 2013-01-15'' +— ''Список обновлён 2013-02-01''