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

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:

CALCO 2009

FM 2009

Submit your best papers there!

From here you can reach further information about my:

Affiliations and addresses
Bibliography:
- a forthcoming book on foundations of software specification and development
- list of publications
CV: if you really need it
Teaching
Projects, grants (sorry, missing now, to be restored eventually)
Conferences, travel, etc
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)

Andrzej Tarlecki

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

CALCO 2009 FM 2009

From here you can reach further information about my:

Information Processing Letters (IPL)
(IPL's submission page)

Fundamenta Informaticae

Logical Methods in Computer Science (LMCS)

Electronic Communications of the EASST

CALCO 2009

FM 2009