Skip to content

Commit

Permalink
+RTA details
Browse files Browse the repository at this point in the history
  • Loading branch information
@grammarware
grammarware committed Feb 3, 2013
1 parent eebeef0 commit fe8f4ae
Show file tree
Hide file tree
Showing 18 changed files with 162 additions and 37 deletions.
5 changes: 4 additions & 1 deletion 1983.wiki
View file
@@ -1,4 +1,7 @@
Конференции, проведённые в 1983 году:
* [[RTA|RRL]]
* [[PLDI|SPLISS]]
--''Список обновлён 2012-08-01''
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-02-03''
3 changes: 2 additions & 1 deletion 1987.wiki
View file
@@ -1,4 +1,5 @@
Конференции, проведённые в 1987 году:
* [[RTA|CTRS]]
* [[ECOOP]]
* [[ESEC]]
* [[PLDI]]
Expand All @@ -7,4 +8,4 @@
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
3 changes: 2 additions & 1 deletion 1990.wiki
View file
@@ -1,8 +1,9 @@
Конференции, проведённые в 1990 году:
* [[RTA|CTRS]]
* [[ECOOP|ECOOP/OOPSLA]]
* [[IFL]]
* [[PLDI]]
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-01-15''
— ''Список обновлён 2013-02-03''
3 changes: 2 additions & 1 deletion 1992.wiki
View file
@@ -1,9 +1,10 @@
Конференции, проведённые в 1992 году:
* [[RTA|CTRS]]
* [[ECOOP]]
* [[IFL]]
* [[PEPM]]
* [[PLDI]]
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-01-15''
— ''Список обновлён 2013-02-03''
3 changes: 2 additions & 1 deletion 1994.wiki
View file
@@ -1,4 +1,5 @@
Конференции, проведённые в 1994 году:
* [[RTA|CTRS]]
* [[ECOOP]]
* [[FSE]]
* [[IFL]]
Expand All @@ -7,4 +8,4 @@
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-01-15''
— ''Список обновлён 2013-02-03''
6 changes: 6 additions & 0 deletions 2014.wiki
View file
@@ -0,0 +1,6 @@
Конференции, проведённые в 2014 году:
* [[RTA]]
----
— ''Категории: [[Years|Годы]].''<br/>
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion All.wiki
View file
Expand Up @@ -30,4 +30,4 @@
* '''[[XM]]''': [[XM|Рабочая встреча по экстремальному моделированию]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion Colloquium.wiki
View file
Expand Up @@ -2,4 +2,4 @@
* '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion International-Conference.wiki
View file
Expand Up @@ -10,4 +10,4 @@
* '''[[WCRE]]''': [[WCRE|Рабочая конференция по обратной разработке]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion Miniconference.wiki
View file
@@ -1,4 +1,4 @@
Миниконференции в этой вики не представлены, и не факт, что ближайшее время появятся.

----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
64 changes: 51 additions & 13 deletions RTA.wiki
View file
Expand Up @@ -3,52 +3,73 @@
* Статус: [[International-Conference|международная конференция]]
== Тематика ==
Одна из профильных конференций по всем темам, касающимся переписывания и систем переписывающих правил (конференции близкой тематики — [[IJCAR]], [[CADE]], [[FroCoS]], [[FTP]], [[TABLEAUX]], [[ICC]]). Область интересов покрывает как минимум следующие направления:
Одна из профильных конференций по всем темам, касающимся переписывания и систем переписывающих правил (конференции близкой тематики — [[IJCAR]], [[CADE]], [[FroCoS]], [[FTP]], [[TABLEAUX]], [[ICC]]). Была создана на базе рабочей встречи и происходила раз в два года до объединения с другой рабочей встречей (CTRS), с тех пор проводится каждый год.

Область интересов покрывает как минимум следующие направления:
* «Применение»: частные случаи применения переписывания, анализ криптографических протоколов, функциональное и логическое программирование, символьные и алгебраические вычисления, решения SMT формул, автоматизированное доказательство теорем, синтез и верификация систем, проверки доказательств, теория языков программирования и логики, преобразование программ, запросы и преобразования XML, системная биология, теория гомотопий, неявная вычислительная сложность;
* «Основы»: логика уравнений, универсальная алгебра, логика переписывания, переписывание моделей программ, соответствие и унификация, сужение, техники дополнения, стратегии, исчисления переписываний, разрешение ограничений, автоматы на деревьях, задачи об остановке, сложность, модульность;
* «Техники»: переписывание строк, термов, сетей и графов, лямбда-исчисление и переписывание высших порядков, ограниченное переписывание и выведение, категориальное и бесконечное переписывание, стохастическое переписывание, техники связывания, сети Петри, многомерное переписывание;
* «Внедрение»: техники реализации, параллельное выполнение, утилиты переписывания и дополнения, сертификация свойств переписывания, абстрактные автоматы, явные замены, автоматизированные доказательства слияния, остановки или отсутствия остановки, автоматизированный анализ сложности.
== Архив ==
* RTA 2014 (Австрия, Вена)
** 25th International Conference on Rewriting Techniques and Applications
** Как часть [[FLoC]]
* RTA 2013 (Нидерланды, Эйндховен)
** 24th International Conference on Rewriting Techniques and Applications
** [http://rta2013.few.vu.nl Сайт]
** Как часть [[RDP]] (совместно с [[TLCA]])
** Совместно с: [[COS]], [[HART]], [[WRS]], [[UNIF]], [[IWC]], [[WIR]]
* RTA 2012 (Япония, Нагоя)
** 23rd International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2012.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2012.html DBLP] • [http://rta2012.trs.cm.is.nagoya-u.ac.jp/ Сайт] • [http://www.dagstuhl.de/dagpub/978-3-939897-38-5 Сборник трудов]
** Совместно с: [[IWC]], [[WFLP]], [[HOR]], [[TTATT]]
* RTA 2011 (Сербия, Нови-Сад)
** 22nd International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2011.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2011.html DBLP] • [http://www.rdp2011.uns.ac.rs/rta/ Сайт] • [http://www.dagstuhl.de/dagpub/978-3-939897-30-9 Сборник трудов]
** Совместно с: [[COBRA]], [[HDTT]], [[TPDC]], [[2FC]], [[WRS]]
* RTA 2010 (Шотландия, Эдинбург)
** 21st International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2010.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2010.html DBLP] • [http://web2.clarkson.edu/projects/carl/rta-2010/ Сайт] • [http://www.dagstuhl.de/dagpub/978-3-939897-18-7 Сборник трудов]
** Как часть [[FLoC]] (вместе с [[CAV]], [[CSF]], [[ICLP]], [[IJCAR]], [[ITP]], [[LICS]], [[SAT]])
** Совместно с: [[AFM]], [[ASA]], [[ASPOCP]], [[CHR]], [[CICLOPS]]/[[WLPE]], [[CLoDeM]], [[Coq]], [[DCM]], [[DTP]], [[EC2]], [[EMSQMS]], [[FCC]], [[FCS]]/[[PrivMod]], [[HOR]], [[HWVW]], [[HyLo]], [[ITRS]], [[IWS]], [[LAM]], [[LaSh]], [[LCC]]/[[PPC]], [[LFMTP]], [[LfSA]], [[LoCoCo]], [[LOLA]], [[LSB]], [[MLPA]], [[MLQA]], [[NSV]], [[PAAR]], [[PAR]], [[PCARC]], [[POS]], [[PSPL]], [[PSTT]], [[PSY]], [[SMT]], [[SVARM]], [[UITP]], [[UniDL]], [[UNIF]], [[VERIFY]], [[WCB]], [[WING]], [[WST]]
* RTA 2009 (Бразилия, Бразилиа)
** 20th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2009.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2009.html DBLP] • [http://web.archive.org/web/20110724214817/http://rdp09.cic.unb.br/rta.html Архив сайта]
** Как часть [[RDP]] (совместно с [[TLCA]])
** Совместно с: [[ISR]], [[HOR]], [[LSFA]], [[RULE]], [[WFLP]], [[WRS]]
* RTA 2008 (Австрия, Хагенберг)
** 19th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2008.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2008.html DBLP] • [http://www.risc.jku.at/conferences/rta2008/ Сайт]
** Одна из конференций между двумя летними школами, посвящённых двадцатилетию Исследовательского института символических вычислений (RISC) при университете Линца.
* RTA 2007 (Франция, Париж)
** 18th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2007.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2007.html DBLP] • [http://www.lsv.ens-cachan.fr/Events/rdp07/rta.html Сайт]
** Как часть [[RDP]] (совместно с [[TLCA]])
* RTA 2006 (США, Сиэтл)
** 17th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2006.html DBLP]
** Как часть [[FLoC]] (вместе с [[CAV]], [[ICLP]], [[IJCAR]], [[LICS]], [[SAT]])
* RTA 2005 (Япония, Нара)
** 16th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2005.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2005.html DBLP] • [http://verify.rwth-aachen.de/Events/RTA05/ Сайт]
** Как часть [[RDP]] (вместе с [[TLCA]], [[RULE]], [[UNIF]], [[WRS]])
* RTA 2004 (Германия, Ахен)
** 15th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2004.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2004.html DBLP] • [http://verify.rwth-aachen.de/Events/RTA04/ Сайт]
** Как часть [[RDP]] (вместе с [[HOR]], [[RULE]], [[WFLP]], [[WRS]], [[WST]])
* RTA 2003 (Испания, Валенсия)
** 14th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2003.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2003.html DBLP] • [http://users.dsic.upv.es/~rdp03/rta/ Сайт]
** Как часть [[RDP]] (вместе с [[TLCA]], [[FTP]], [[RULE]], [[UNIF]], [[WFLP]], [[WRS]], [[WST]])
* RTA 2002 (Дания, Копенгаген)
** 13th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2002.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2002.html DBLP] • [http://floc02.diku.dk/RTA/ Сайт]
** Как часть [[FLoC]] (вместе с [[CADE]], [[CAV]], [[FME]], [[ICLP]], [[LICS]], [[TABLEAUX]])
* RTA 2001 (Нидерланды, Утрехт)
** 12th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2001.html DBLP]
** [http://dblp.uni-trier.de/db/conf/rta/rta2001.html DBLP] • [http://rewriting.loria.fr/rta/documents/RTA-2001/ Сайт]
** Совместно с: [[WESTAPP]], [[WST]], [[WRS]]
* RTA 2000 (Англия, Норидж)
** 11th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta2000.html DBLP]
Expand All @@ -57,7 +78,8 @@
** [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]
** [http://dblp.uni-trier.de/db/conf/rta/rta98.html DBLP] • [http://www.score.is.tsukuba.ac.jp/rta98/ Сайт]
** Как часть [[FLoC]] (вместе с [[TIC]])
* RTA 1997 (Испания, Сиджес)
** 8th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta97.html DBLP]
Expand All @@ -67,22 +89,38 @@
* RTA 1995 (Германия, Кайзерслаутерн)
** 6th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta95.html DBLP]
* CTRS 1994 (Израиль, Иерусалим)
** 4th International Workshop on Conditional Term Rewriting Systems
** [http://rewriting.loria.fr/rta/documents/CTRS-1994_Contents.html Содержание]
* RTA 1993 (Канада, Монреаль)
** 5th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta93.html DBLP]
* CTRS 1992 (Франция, Понт-а-Муссон)
** 3rd International Workshop on Conditional Term Rewriting Systems
** [http://rewriting.loria.fr/rta/documents/CTRS-1992_Contents.html Содержание]
* RTA 1991 (Италия, Комо)
** 4th International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta91.html DBLP]
* CTRS 1990 (Канада, Монреаль)
** 2nd International Workshop on Conditional Term Rewriting Systems
** [http://rewriting.loria.fr/rta/documents/CTRS-1990_Contents.html Содержание]
* 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]
* CTRS 1987 (Франция, Орсе)
** First International Workshop on Conditional Term Rewriting Systems
** [http://rewriting.loria.fr/rta/documents/CTRS-1987_Contents.html Содержание]
* RTA 1985 (Франция, Дижон)
** First International Conference on Rewriting Techniques and Applications
** [http://dblp.uni-trier.de/db/conf/rta/rta85.html DBLP]
* RRL 1983 (США, Скенектади)
** NSF Workshop on the Rewrite Rule Laboratory
** [http://rewriting.loria.fr/rta/documents/RRL-1983_Program.ps.gz Программа]
== Ссылки ==
* [http://rewriting.loria.fr/rta/ Официальный сайт всей серии RTA]
* [http://dblp.uni-trier.de/db/conf/rta/ RTA] на [[DBLP]]
* [http://academic.research.microsoft.com/Conference/246/ RTA] на [[Academic]]
2 changes: 1 addition & 1 deletion Seminar.wiki
View file
Expand Up @@ -2,4 +2,4 @@
* '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion Summer-School.wiki
View file
Expand Up @@ -2,4 +2,4 @@
* '''[[PEPM]]''': [[PEPM|Рабочая встреча по частичному вычислению и манипулированию программами]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''
2 changes: 1 addition & 1 deletion Symposium.wiki
View file
Expand Up @@ -5,4 +5,4 @@
* '''[[PLDI]]''': [[PLDI|Конференция по разработке и реализации языков программирования]]
----
— ''Список обновлён 2013-02-01''
— ''Список обновлён 2013-02-03''

0 comments on commit fe8f4ae

Please sign in to comment.