From 0a18575648c96984f8e22aadef4f4b6735cafa6c Mon Sep 17 00:00:00 2001 From: grammarware Date: Fri, 3 Aug 2012 20:22:35 +0200 Subject: [PATCH] +IFM --- IFM.wiki | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 IFM.wiki diff --git a/IFM.wiki b/IFM.wiki new file mode 100644 index 0000000..4a6c918 --- /dev/null +++ b/IFM.wiki @@ -0,0 +1,42 @@ +* Название: '''International Conference on Integrated Formal Methods''' +* Перевод: '''Международная конференция по интегрированным формальным методам''' +* Статус: [[International-Conference|международная конференция]] + +== Тематика == +* … + +== Архив == +* IFM 2012 (Италия, Пиза) +** 9th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2012.html DBLP] • [http://ifm-abz.isti.cnr.it/page21/indexifm.html Сайт] +** Совместно с: [[ABZ]] +* IFM 2010 (Франция, Нанси) +** 8th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2010.html DBLP] • [http://ifm2010.loria.fr/ Сайт] +** Совместно с: [[WTS]] +* IFM 2009 (Германия, Дюссельдорф) +** 7th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2009.html DBLP] • [http://www.formal-methods.de/ifm09/ Сайт] +** Совместно с: [[FM SOA]] +* IFM 2007 (Англия, Оксфорд) +** 6th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2007.html DBLP] +* IFM 2005 (Нидерланды, Эйндховен) +** 5th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2005.html DBLP] • [http://www.win.tue.nl/ifm/ Сайт] +* IFM 2004 (Англия, Кент) +** 4th International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html DBLP] • [http://www.cs.kent.ac.uk/events/conf/2004/ifm/ Сайт] +* IFM 2002 (Финляндия, Турку) +** 3rd International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html DBLP] +* IFM 2000 (Германия, Дагштуль) +** 2nd International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm2000.html DBLP] • [http://web.archive.org/web/20100419200511/http://www.uebb.cs.tu-berlin.de/ifm00/ Архив сайта] +* IFM 1999 (Англия, Йорк) +** 1st International Conference on Integrated Formal Methods +** [http://dblp.uni-trier.de/db/conf/ifm/ifm1999.html DBLP] + +== Ссылки == +* [http://dblp.uni-trier.de/db/conf/ifm/ IFM] на [[DBLP]] +* [http://academic.research.microsoft.com/Conference/59/ IFM] на [[Academic]]