Back to Results
First PageMeta Content
Modal logic / Philosophical logic / Non-classical logic / Hybrid logic / Algebraic semantics / F-coalgebra / Abstract model theory / Model theory / Game semantics / Logic / Mathematics / Mathematical logic


LNCSThe Ackermann Award 2006
Add to Reading List

Document Date: 2013-12-08 17:58:22

Open Document

File Size: 86,76 KB

Share Result on Facebook

City

Moscow / Warsaw / Oxford / Princeton / Cambridge / Aachen / Amsterdam / Magdeburg / /

Continent

North America / Europe / /

Country

Germany / Netherlands / Poland / Russia / United States / Canada / United Kingdom / Israel / India / /

Facility

Amsterdam University / University of Amsterdam / York University / Technical University of Braunschweig / /

IndustryTerm

computational applications / travel support / /

Organization

German National Academic Foundation / LICS Organizing Committee / York University Toronto / Technical University of Braunschweig / EACSL Board / Artificial Intelligence / European Association of Computer Science Logic / University of Amsterdam / EACSL Jury for the Ackermann / Amsterdam University / /

Person

Wilhelm Ackermann / B. Courcelle / Cate / Johan van Benthem / Ji / Nathan Segerlind / Konstantin Korovin / Stefan Milius / Haifa / /

Position

President / Vice President / Supervisor / president and the vice-president / officio / thesis Model / general / abstract level / /

ProgrammingLanguage

XML / /

PublishedMedium

the CSL proceedings / /

Region

Middle East / /

Technology

XML / html / /

URL

http /

SocialTag