Zum Hauptinhalt springen

Links

Einige Links zur Logik in der Informatik

  • Das Journal Logical Methods in Computer Science LMCS.
  • Die IEEE Konferenz zu Logic in Computer Science LICS.
  • Die European Association for Computer Science Logic EACSL, die u.a. die Konferenz Computer Science Logic organisiert und den Ackerman Award für hervorragende Dissertationen im Bereich der Logik in der Informatik vergibt.
  • Die Association of Symbolic Logic ASL, die die ASL Meetings organisiert und Journale wie z.B. das Journal of Symbolic Logic publiziert. 
  • Eine Liste mit Forschungsgruppen weltweit, die sich mit Logik (in der Informatik) beschäftigen.

Arbeitsgruppen