Andrzej Tarlecki Institute of Informatics Faculty of Mathematics, Informatics and Mechanics University of Warsaw ul. Banacha 2, 02-097 Warsaw, Poland office: 4750 email: tarleckimimuw.edu.pl phone: +48 22 55 44 475

Witold Lipski Prize for Young Researchers in Computer Science

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)

From here you can reach further information about my:

• Affiliations and addresses
• Bibliography:
  • list of publications
  • a book on Foundations of Algebraic Specification and Formal Software Development
• My brief CV (or a longer version, if you really need it)
• Teaching
• Talks (only very recent)
• 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