Institute of Informatics
Faculty of Mathematics, Informatics and Mechanics
University of Warsaw
ul. Banacha 2, 02-097 Warsaw, Poland
phone: +48 22 55 44 475
(If you want you can see
With all the due apologies: everything below and above is under development. Some links may be missing. Most text is missing. No real info is included!
This will change eventually, one hopes...
moja druga strona
2020: wybory na UW
Witold Lipski Prize for Young Researchers in Computer Science
My current involvement in journal editorial boards:
Information Processing Letters (IPL)
(IPL's submission page)
Logical Methods in Computer Science (LMCS)
Electronic Communications of the EASST
Categories and General Algebraic Structures with Applications (CGASA)
SN Computer Science (SN-CS)
Submit your best papers there!
From here you can reach further information about my:
Affiliations and addresses
a book on
Foundations of Algebraic Specification and Formal Software Development Foundations of Algebraic Specification and Formal Software Development
list of publications
CV: if you
(sorry, missing now, to be restored eventually)
Conferences, travel, etc
Local admin links
groups and committees:
WG 2.2 "Formal Description of Programming Concepts"
WG 1.3 "Foundations of System Specification"
TC 1 "Foundations of Computer Science"
Some further links
Dining in Warsaw
(written for the participants of ETAPS'03), and an occasionally growing
Some (Warsaw) restaurants