EATCS
Z Wikipedii
EATCS – European Association for Theoretical Computer Science - międzynarodowa organizacja założona w roku 1972, której celem jest ułatwienie wymiany informacji między informatykami oraz rozwój współpracy w tej dziedzinie.
Główne działania EATCS to:
- organizacja ICALP - międzynarodowego kolokwium poświęcone automatom, językom i programowaniu;
- publikowanie monografii i artykułów poświęconych informatyce teoretycznej;
- publikowanie czasopisma Theoretical Computer Science.
Od roku 2000 EATCS przyznaje nagrody wybijającym się informatykom-teoretykom. Lista nagrodzonych:
| Rok | Osoba | Miejsce |
|---|---|---|
| 2008 | Leslie G. Valiant | ICALP (Reykjavik) |
| 2007 | Dana S. Scott | ICALP (Wrocław) |
| 2006 | Mike Paterson | ICALP (Wenecja) |
| 2005 | Robin Milner | ICALP (Lizbona) |
| 2004 | Arto Salomaa | ICALP (Turku) |
| 2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
| 2002 | Maurice Nivat | ICALP (Málaga) |
| 2001 | Corrado Böhm | ICALP (Kreta) |
| 2000 | Richard Karp | ICALP (Genewa) |
| CMHQ Hamachi Server |
|
Witam zapraszam do korzystania z servera Hamachi. Chiałbym aby stał się on oficjalnym serwerem CMHQ
Login: CMHQ_Server
Hasło: cmhq
zapraszam
|
| Akcja charytatywna |
|
Poniżej znajduje się list mojego kolegi z pracy rozpowszechniany poprzez portal Nasza Klasa. Ponieważ uznałem, że trzeba jakoś pomóc, postanowiłem spróbować dotrzeć tam, gdzie on nie dociera. Nie wiem, czy pochwalicie moje metody - jeśli Admin zechce usunąć wiadomość - ok. Dwie prośby: 1. Nie traktujcie tego jako wyciąganie kasy czy uprawianie jakiejś prywaty bo nie o to mi chodzi. 2. Nie wpisujcie komentarzy w stylu "kasa poszła" - to wasza sprawa i nikogo więcej. Nikt nie musi się tłumaczyć ani nie ma czym się chwalić.
|
| OPERACJA |
|
Nowa operacja dla GRACZY CMBB
Witam Kolegów!!
Rusza rekrutacja zawodników do nowej operacji. Szczegóły gry znajdziecie na stronie:
http://www.road2moscau.neostrada.pl
|
| Góraszka 2008 |
|
Jutro drugi ostatni dzień.
|
| IV Integracja u Targeta |
|
Termin 18-20 lipca 2008
|
Dni płodne Żłobek Jak zajść w ciążę tanie ksiazki Dni płodne