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:
  • 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