Andrzej Tarlecki
Institute of Informatics
Faculty of Mathematics, Informatics and Mechanics
University of Warsaw
ul. Banacha 2, 02-097 Warsaw, Poland
office: 4750
email:
tarlecki
mimuw.edu.pl
phone: +48 22 55 44 475
(If you want you can see
me
)
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
tarlecki.pl
2020: wybory na UW
Please, support:
Witold Lipski Prize for Young Researchers in Computer Science
My current involvement in journal editorial boards:
Information Processing Letters (IPL)
(IPL's submission page)
Fundamenta Informaticae
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
Bibliography:
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
really
need
it
Teaching
Projects, grants
(sorry, missing now, to be restored eventually)
Conferences, travel, etc
Local admin links
Professional organizations
Informatics Section
of
Academia Europea
IFIP
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
(partially recovered)
Dining in Warsaw
(written for the participants of ETAPS'03), and an occasionally growing
addendum
Some (Warsaw) restaurants
AT