Andrzej Tarlecki

(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...

Wybory 2012

Po spotkaniu z kandydatem na Dziekana Wydzialu MIM UW:

Do Pracownikow i Studentow Wydzialu MIM 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

and in conference programme committees:

ICALP 2012

WADT'12

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 Working Groups (sorry, missing now, to be restored eventually)

Some further links (partially recovered)
Dining in Warsaw (written for the participants of ETAPS'03), and an occasionally growing addendum

Przemyslenia na spotkanie z kandydatami na stanowisko Dziekana WMIM 10 maja 2005 (przepraszam za obszernosc tekstu i brak polskich znakow)

AT (tarlecki@mimuw.edu.pl)