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
O mnie, o obecnej kadencji, o wyborach 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