DrukujZakład Programowania i Metod Formalnych
| Jednostka nadrzędna | Instytut Informatyki |
| Kierownik | dr hab. Artur Korniłowicz |
| Sekretarz | dr Adam Naumowicz |
| Skład | |
| Pokoje | 2019, 2021, 2023, 3038 |
| Telefony | 85 738 - 8255, 8306, 8310, 8341 |
| Strona WWW | http://matinf.uwb.edu.pl/pl/jednostka.php?cID=11 |
| Seminarium | wtorek 17:15 |