ForTIA

ForTIA

The Formal Techniques Industry Association (ForTIA) aims to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bjørner and is currently chaired by Volkmar Lotz. Its scope is international and membership is by company. It organizes meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME.

ee also

* Formal methods
* FME (Formal Methods Europe)
* Anthony Hall, founding chair of ForTIA

External links

* [http://www.fortia.org/ ForTIA website]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Fortià — Saltar a navegación, búsqueda Fortià Bandera …   Wikipedia Español

  • Fortià — Drapeau Blason …   Wikipédia en Français

  • Fortià — is a municipality in the comarca of Alt Empordà, Girona, Catalonia, Spain …   Wikipedia

  • Fortiá — Fortiá, Sibila de …   Enciclopedia Universal

  • Fortià — Gemeinde Fortià Wappen Karte von Spanien …   Deutsch Wikipedia

  • Fortia — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Fortia, maison ancienne, originaire de la Catalogne, est connue depuis le XIIe siècle. Elle a formé en France, depuis la fin du XIVe siècle,… …   Wikipédia en Français

  • Fortia SP — Infobox Photographic film name = Fortia SP maker = Fujifilm speed = 50/18° format = 35 mm, 120 type = s balance = d process = E 6 saturation = Very highFortia SP is a brand of ISO 50 daylight balanced color reversal film produced by the Japanese… …   Wikipedia

  • Fortia — Original name in latin Forti Name in other language Fortia, Forti State code ES Continent/City Europe/Madrid longitude 42.2432 latitude 3.03881 altitude 7 Population 558 Date 2012 03 04 …   Cities with a population over 1000 database

  • Fortia d'Urban — (spr. Fortja d Ürbang), Agricole Jos. Franç. Pierre Esprit Simon Paul Ant. Marquis de F., geb. 1756 in Avignon, diente in der Armee u. wurde Oberst der Miliz in Venaissin; beschäftigte sich bes. mit Untersuchungen über das Celtenthum, wurde 1830… …   Pierer's Universal-Lexikon

  • FORTIA Castra — in Tirolensi Comitatu habet Lazius ex Lib. Notit. quod Stertzingen interpretatur …   Hofmann J. Lexicon universale

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”