Liste der Informatikkonferenzen

Dies ist eine Liste aktueller und vergangener wissenschaftlicher Konferenzen im Bereich Informatik . Es werden nur Konferenzen mit separaten Artikeln aufgeführt; innerhalb jedes Fachgebiets sind die Konferenzen alphabetisch nach ihren Kurznamen geordnet.

• FCRC – Konferenz für föderierte Computerforschung

Konferenzen, die ein breites Spektrum an Themen aus der theoretischen Informatik abdecken , darunter Algorithmen , Datenstrukturen , Berechenbarkeit , Komplexitätstheorie , Automatentheorie und formale Sprachen :

• CCC – Konferenz über Rechenkomplexität
• FCT – Internationales Symposium über Grundlagen der Computertheorie
• FOCS – IEEE- Symposium über Grundlagen der Informatik
• ICALP – Internationales Kolloquium über Automaten, Sprachen und Programmierung
• ISAAC – Internationales Symposium über Algorithmen und Berechnung
• STACS – Symposium über theoretische Aspekte der Informatik
• STOC – ACM Symposium on Theory of Computing

Konferenzen, deren Thema Algorithmen und Datenstrukturen im weitesten Sinne sind, die aber andere Bereiche der theoretischen Informatik wie die Komplexitätstheorie nicht einschließen:

• ESA – Europäisches Symposium über Algorithmen
• SODA – ACM–SIAM Symposium über diskrete Algorithmen
• SWAT und WADS – SWAT- und WADS-Konferenzen

Konferenzen über Computergeometrie , Graphenzeichnung und andere Anwendungsgebiete geometrischer Informatik:

• GD – Internationales Symposium über Graphzeichnung
• SoCG – Symposium über Computergeometrie

• CIAA – Internationale Konferenz über die Implementierung und Anwendung von Automaten
• CCC – Konferenz über Rechenkomplexität
• DCFS – Internationaler Workshop zur Beschreibungskomplexität formaler Systeme
• DLT – Internationale Konferenz zu Entwicklungen in der Sprachtheorie
• ISSAC – Internationales Symposium über symbolische und algebraische Berechnung
• RP – Internationale Konferenz über Erreichbarkeitsprobleme
• SEA – Symposium über experimentelle Algorithmen

Konferenzen über Programmiersprachen , Programmiersprachentheorie und Compiler :

• CC Internationale Konferenz über Compilerbau
• ESOP – ETAPS Europäisches Symposium über Programmierung
• HOPL – ACM SIGPLAN Konferenz zur Geschichte der Programmiersprachen
• ICFP – Internationale Konferenz für Funktionale Programmierung der ACM SIGPLAN
• ICLP – ALP Internationale Konferenz für Logikprogrammierung
• OOPSLA – ACM SIGPLAN Konferenz über objektorientierte Programmierung, Systeme, Sprachen und Anwendungen
• POPL – ACM SIGPLAN-SIGACT Symposium über Prinzipien von Programmiersprachen
• PLDI – ACM SIGPLAN Konferenz über Programmiersprachenentwurf und -implementierung

Konferenzen zum Thema Softwareentwicklung :

• ASE – IEEE/ACM Internationale Konferenz über automatisierte Softwareentwicklung
• ICSE – Internationale Konferenz für Softwareentwicklung
• ICSR – Internationale Konferenz zur Software-Wiederverwendung
• ISSRE – IEEE Internationales Symposium über Softwarezuverlässigkeitstechnik
• FASE – ETAPS Internationale Konferenz über grundlegende Ansätze der Softwareentwicklung
• WWDC – Weltweite Entwicklerkonferenz

Konferenzen über formale Methoden (einschließlich formaler Verifikation ), Logik und automatisiertes Schließen :

• CAV – Computergestützte Verifikation
• FORTE – IFIP Internationale Konferenz über formale Techniken für vernetzte und verteilte Systeme
• FoSSaCS – Internationale ETAPS-Konferenz über Grundlagen der Softwarewissenschaft und Berechnungsstrukturen
• IJCAR – Internationale Gemeinschaftskonferenz über automatisiertes Schließen
• LICS – ACM–IEEE Symposium über Logik in der Informatik
• LPAR – Internationale Konferenz über Logik für Programmierung, Künstliche Intelligenz und logisches Denken
• TACAS – ETAPS Internationale Konferenz über Werkzeuge und Algorithmen für die Konstruktion und Analyse von Systemen
• RuleML – RuleML-Symposium
• WoLLIC – Workshop zu Logik, Sprache, Information und Berechnung

Konferenzen über nebenläufiges , verteiltes und paralleles Rechnen , fehlertolerante Systeme und zuverlässige Systeme:

• CONCUR – Internationale Konferenz zur Theorie der Nebenläufigkeit
• DISC – Internationales Symposium über verteiltes Rechnen
• DSN – Internationale Konferenz über zuverlässige Systeme und Netzwerke
• ICDCS – IEEE Internationale Konferenz über verteilte Computersysteme
• IPDPS – IEEE International Parallel and Distributed Processing Symposium
• PODC – ACM- Symposium über Prinzipien des verteilten Rechnens
• SIROCCO – Internationales Kolloquium über strukturelle Informations- und Kommunikationskomplexität
• SPAA – ACM- Symposium über Parallelität in Algorithmen und Architekturen
• SRDS – Internationales IEEE-Symposium über zuverlässige verteilte Systeme

Konferenzen über Hochleistungsrechnen , Cluster-Computing und Grid-Computing :

• HiPC – Internationale Konferenz für Hochleistungsrechnen
• SC – Internationale ACM/IEEE-Konferenz für Hochleistungsrechnen, Netzwerke, Speicherung und Analyse

Konferenzen über Betriebssysteme , Speichersysteme und Middleware :

• ATC - ACM SIGOPS Jährliche Technische Konferenz
• SOSP – ACM- Symposium über Betriebssystemprinzipien
• OSDI - USENIX Symposium über Betriebssystemdesign und -implementierung

Konferenzen über Rechnerarchitektur :

• ASPLOS – Internationale Konferenz über Architekturunterstützung für Programmiersprachen und Betriebssysteme
• ISSCC – Internationale Konferenz für Festkörperschaltungen
• ISCA – Internationales Symposium über Rechnerarchitektur
• MICRO – Internationales IEEE/ACM-Symposium über Mikroarchitektur

Konferenzen über computergestütztes Design und elektronische Designautomatisierung :

• ASP-DAC – Konferenz für Designautomatisierung in Asien und dem Südpazifik
• DAC – Konferenz für Designautomatisierung
• DATUM – Design, Automatisierung und Test in Europa
• ICCAD – Internationale Konferenz für computergestütztes Design
• ISPD – Internationales Symposium über physikalisches Design

Konferenzen zum Thema Computernetzwerke :

• NSDI - USENIX Symposium über Entwurf und Implementierung vernetzter Systeme
• GlobeCom – IEEE Global Communications Conference
• ICC – IEEE Internationale Konferenz für Kommunikation
• SIGMETRICS - ACM SIGMETRICS

Drahtlose Netzwerke und mobiles Rechnen , einschließlich ubiquitärem und allgegenwärtigem Rechnen , drahtlosen Ad-hoc-Netzwerken und drahtlosen Sensornetzwerken :

• EWSN – Europäische Konferenz über drahtlose Sensornetzwerke
• ISWC – Internationales Symposium über tragbare Computer

Konferenzen zum Thema Computersicherheit und Datenschutz :

• CCS – Computer- und Kommunikationssicherheit
• DSN – Internationale Konferenz über zuverlässige Systeme und Netzwerke
• NDSS – Netzwerk- und verteilte Systemsicherheit
• S&P – IEEE-Symposium über Sicherheit und Datenschutz
• USENIX Security – USENIX Security Symposium

Kryptographie- Konferenzen:

• ANTS – Symposium zur algorithmischen Zahlentheorie
• RSA - RSA-Konferenz

Konferenzen über Datenbanken , Informationssysteme , Informationswiedergewinnung , Data-Mining und das World Wide Web :

• BTW – GI- Konferenz über Datenbanksysteme für Wirtschaft, Technologie und Web
• ECIR – Europäische Konferenz für Information Retrieval
• ECIS – Europäische Konferenz für Informationssysteme
• ER – Internationale Konferenz über konzeptionelle Modellierung
• ICDT – Internationale Konferenz über Datenbanktheorie
• ICIS – Internationale Konferenz für Informationssysteme
• ISWC – Internationale Konferenz für das semantische Web
• JCDL – Gemeinsame Konferenz von ACM und IEEE über digitale Bibliotheken
• PODS – ACM- Symposium über Prinzipien von Datenbanksystemen
• SIGMOD – ACM Special Interest Group on Management of Data
• WWW – World Wide Web Konferenz

Konferenzen über künstliche Intelligenz und maschinelles Lernen :

• AAAI – AAAI-Konferenz zu Künstlicher Intelligenz
• AAMAS – Internationale Konferenz über autonome Agenten und Multiagentensysteme
• ICAPS – Internationale Konferenz für automatisierte Planung und Terminierung
• CIBB – Internationale Konferenz über Methoden der Computerintelligenz für Bioinformatik und Biostatistik
• ECAI – Europäische Konferenz für Künstliche Intelligenz
• ECML PKDD – Europäische Konferenz über Maschinelles Lernen und Prinzipien und Praxis der Wissensentdeckung in Datenbanken
• ICML – Internationale Konferenz für Maschinelles Lernen
• ICLR – Internationale Konferenz über Lernrepräsentationen
• IJCAI – Internationale Gemeinschaftskonferenz über Künstliche Intelligenz
• ISWC – Internationale Konferenz für das semantische Web
• NeurIPS – Konferenz über neuronale Informationsverarbeitungssysteme

Konferenzen über evolutionäre Algorithmen .

• CEC – IEEE-Kongress für evolutionäre Berechnung
• EvoStar
• FOGA – Grundlagen genetischer Algorithmen
• GECCO – Konferenz für genetische und evolutionäre Berechnung
• PPSN – Parallele Problemlösung aus der Natur

Konferenzen über Computer Vision (einschließlich Bildanalyse ) und Mustererkennung :

• CVPR – IEEE-Konferenz für Computer Vision und Mustererkennung
• ECCV – Europäische Konferenz für Computer Vision
• ICCV – Internationale Konferenz für Computer Vision
• SCIA – Skandinavische Konferenz für Bildanalyse

Konferenzen über Computerlinguistik und Verarbeitung natürlicher Sprache :

• EMNLP – Empirische Methoden in der Verarbeitung natürlicher Sprache
• COLING – Internationales Komitee für Computerlinguistik
• TSD – Text, Sprache und Dialog
• CICLing – Internationale Konferenz für intelligente Textverarbeitung und Computerlinguistik

Konferenzen über Computergrafik , Geometrieverarbeitung , Bildverarbeitung und Multimedia :

• MM – Internationale ACM-Konferenz über Multimedia
• SGP – Symposium über Geometrieverarbeitung
• SIGGRAPH – Internationale Konferenz für Computergrafik und interaktive Techniken

Konferenzen über Mensch-Computer-Interaktion und Benutzerschnittstellen :

• CHI - ACM- Konferenz über menschliche Faktoren in Computersystemen
• GI – Grafische Schnittstelle
• MobileHCI – Konferenz über Mensch-Computer-Interaktion mit mobilen Geräten und Diensten
• UIST - ACM Symposium über Benutzerschnittstellen-Software und -Technologie
• UMAP – Internationale ACM-Konferenz zu Nutzermodellierung, Anpassung und Personalisierung

Konferenzen über Bioinformatik und Computerbiologie :

• CIBB – Internationale Konferenz über Methoden der Computerintelligenz für Bioinformatik und Biostatistik
• ISMB – Intelligente Systeme für die Molekularbiologie
• PSB – Pazifisches Symposium über Bioinformatik
• RECOMB - Forschung in der computergestützten Molekularbiologie

• ACM SIGHPC – Special Interest Group on High Performance Computing der Association for Computing Machinery
• Liste der Akronyme von Informatikkonferenzen
• Liste der Informatikzeitschriften
• Überblick über die Informatik

• DBLP-Datenbank mit Konferenzen und Workshops
• Liste der Informatikkonferenzen, geordnet nach h-Index