Liste der Informatikkonferenzen

Dies ist eine Liste von Akademische Konferenzen in Informatik. Es sind nur Konferenzen mit getrennten Artikeln enthalten; In jedem Feld werden die Konferenzen alphabetisch unter ihren kurzen Namen aufgeführt.

Allgemein

Algorithmen und Theorie

ESA 2009
Hauptartikel: Theoretische Informatik § Konferenzen

Konferenzen, die ein breites Spektrum von Themen akzeptieren Theoretische Informatik, einschließlich Algorithmen, Datenstrukturen, Berechnbarkeit, Rechenkomplexität, Automatenheorie und formelle Sprachen:

Algorithmen

Konferenzen, deren Thema ist Algorithmen und Datenstrukturen allgemein berücksichtigt, aber nicht andere Bereiche der theoretischen Informatik, wie z. B. die Computerkomplexitätstheorie:

Geometrische Algorithmen

Konferenzen auf Computergeometrie, Grafikzeichnungund andere Anwendungsbereiche des geometrischen Computers:

Logik

Siehe auch: § formelle Methoden, und § automatisierte Argumentation

Andere spezielle Subtopics

Sprachen und Software

Programmiersprachen

Konferenzen auf Programmiersprachen, Programmiersprache Theorie und Compiler:

Softwareentwicklung

Konferenzen auf Softwareentwicklung:

Formale Methoden

Siehe auch: § Logik, und § automatisierte Argumentation

Konferenzen auf Formale Methoden in Software Engineering, einschließlich Formale Spezifikation, formelle Überprüfung, und Statische Codeanalyse:

Gleichzeitige, verteilte und parallele Computing

Hauptartikel: Liste der verteilten Computerkonferenzen
Siehe auch: § Computernetzwerk

Konferenzen auf gleichzeitig, verteilt, und Parallele Computing, Fehlertolerante Systemeund zuverlässige Systeme:

High Performance Computing

Konferenzen auf High Performance Computing, Cluster Computing, und Raster Computing:

Betriebssysteme

Siehe auch: § Computernetzwerk, und § High Performance Computing

Konferenzen auf Betriebssysteme, Speichersysteme und Middleware:

Rechnerarchitektur

Konferenzen auf Rechnerarchitektur:

Computerhardware

Konferenzen auf Computerhardware:

Computergestütztes Design

Konferenzen auf computergestütztes Design und elektronische Designautomatisierung:

Computernetzwerk

Siehe auch: § gleichzeitige, verteilte und parallele Computing

Konferenzen auf Computernetzwerk:

Drahtlose Netzwerke und mobiles Computing

Drahtlose Netzwerke und Mobile Computing, einschließlich allgegenwärtig und Pervasives Computing, drahtlose Ad -hoc -Netzwerke und drahtlose Sensor Netzwerke:

Sicherheit und Privatsphäre

Konferenzen auf Computersicherheit und Privatsphäre:

Kryptographie

Hauptartikel: Liste der Kryptologiekonferenzen

Kryptographie Konferenzen:

Datenmanagement

Konferenzen auf Datenbanken, Informationssysteme, Informationsrückgewinnung, Data Mining und die Weltweites Netz:

Künstliche Intelligenz

Konferenzen auf künstliche Intelligenz und maschinelles Lernen:

Evolutionsberechnung

Konferenzen auf Evolutionsberechnung.

Automatisierte Argumentation

Siehe auch: § Logik, und § formelle Methoden

Konferenzen auf automatisierte Argumentation:

Computer Vision

Siehe auch: § Computergrafik

Konferenzen auf Computer Vision (einschließlich auch Bildanalyse) und Mustererkennung:

Verarbeitung natürlicher Sprache

Konferenzen auf Computerlinguistik und Verarbeitung natürlicher Sprache:

Computergrafik

Siehe auch: § Computer Vision

Konferenzen auf Computergrafik, Geometrieverarbeitung, Bildverarbeitung, und Multimedia:

Visualisierung

Konferenzen auf visuelle Analytik, Wissenschaftliche Visualisierung und Informationsvisualisierung:

  • Eurovis - Eurographics Conference über Visualisierung
  • Pacificvis - IEEE Pacific Visualisierungssymposium

Menschliche interaktion mit dem Computer

Konferenzen auf Menschliche interaktion mit dem Computer und Benutzeroberflächen:

Bioinformatik und Computerbiologie

Konferenzen auf Bioinformatik und Computerbiologie:

Ausbildung

Konferenzen auf Informatikausbildung und elektronisches Lernen:

Siehe auch

Externe Links