Sidebar

Main

Internal

Trace:

This shows you the differences between two versions of the page.

--- start [2015/10/18 09:42]
ptm
+++ start [2021/09/23 08:51] (current)
@@ Line 1: / Line 1: @@
 ====== Welcome to the FM Wiki======
-Welcome to the FM Wiki at http://fm.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://cslab.ia.agh.edu.pl|Department of Applied Computer Science]] at
+Welcome to the FM Wiki at http://alvis.kis.agh.edu.pl. This Wiki is used to keep track of several Research Projects related to Formal Methods that are carried out in [[http://www.kis.agh.edu.pl|Department of Applied Computer Science]] at
 [[http://www.agh.edu.pl|AGH University of Science and Technology]]. The **Formal Methods Research Group** is led by Prof. Marcin Szpyrka.