Liste der TCS-Konferenzen und Workshops

90

Ich möchte um Hilfe bei der Zusammenstellung einer Liste mit möglichst vielen TCS-bezogenen Konferenzen und Workshops bitten. Meine Hauptmotivation dafür ist es, eine mögliche Blog-Berichterstattung über mehr theoretische Veranstaltungsorte zu planen - Korrespondenten zu finden, die an diesen Veranstaltungen teilnehmen und bereit wären, kurze oder ausführliche Blogeinträge über die Veranstaltungen zu verfassen, an denen sie teilnehmen. Darüber hinaus hoffe ich, dass eine Liste wie diese jedem ein besseres Gefühl für die Lage des theoretischen Landes vermitteln würde.

Ich werde die Frage mit einer Antwort versehen, die einige "offensichtliche" Konferenzen enthält. Bitte zögern Sie nicht, meine Antwort zu bearbeiten und / oder zusätzliche eigene Antworten zu verfassen.

Standard-Abkürzung für Konferenz, Name der Konferenz, Thema, zusätzliche Anmerkungen.

Als Community-Wiki gedacht.

soft-question big-list conferences

— Aaron Sterling
quelle

7

+1 - Ich wollte das schon lange fragen, habe es aber nicht aus dem Grund getan, den Kaveh erwähnt hat. Nun da Sie haben, stimme ich entschieden dafür, es zu behalten.

— Huck Bennett

5

Ich denke, es könnte eine nützliche Ressource sein. Das einzige Problem könnte sein, ob die Leute versuchen, die Konferenzen zu bewerten, oder ob wir darüber debattieren, ob eine bestimmte Konferenz nicht in den Geltungsbereich fällt oder nicht.

— Artem Kaznatcheev

3

Mein Vorschlag ist, dass dies wie der P vs NPC-Beitrag strukturiert sein sollte. Insofern gibt es eine vom Master "akzeptierte" Antwort, die die Vereinigung aller anderen in anderen Kommentaren geposteten Antworten beibehält.

— Suresh Venkat

3

@Marcos: Eine Möglichkeit ist, dass wir eine Seite im Community-Blog erstellen, sobald sich die Liste hier stabilisiert. Ich habe einen Meta-Thread gestartet, um statische Blog-Seiten hier zu diskutieren: meta.cstheory.stackexchange.com/questions/1297/…

— Aaron Sterling

8

Microsoft Research hat diese Auflistung der Konferenz hier tatsächlich durchgeführt: academic.research.microsoft.com/… .

— Gopi

85

ALLGEMEIN :

STOC, ACM-Symposium zur Theorie des Rechnens
FOCS, IEEE-Symposium zu Grundlagen der Informatik
ICALP EATCS Internationales Kolloquium zu Automaten, Sprachen und Programmierung
(A: Algorithmen, Komplexität, B: Logik, Semantik, C: Netzwerke)
FOSSACS, Grundlagen der Softwarewissenschaft und Rechenstrukturen
STACS, Symposium zu theoretischen Aspekten der Informatik
MFCS, Mathematische Grundlagen der Informatik
FSTTCS, Grundlagen der Softwaretechnologie und Theoretischen Informatik
COCOON, Computer- und Kombinatorikkonferenz
ITCS, Innovationen in der Theoretischen Informatik
CSR, Informatik in Russland
ISAAC, Internationales Symposium für Algorithmen und Berechnung
TAMC, Theorie und Anwendungen von Rechenmodellen
COCOA, Konferenz über kombinatorische Optimierung und Anwendungen
FM, formale Methoden
FCT, Grundlagen der Berechnungstheorie
Latein, Lateinamerikanische Symposium Theoretische Informatik
SOFSEM, Konferenz zu aktuellen Trends in Theorie und Praxis der Informatik
TASE, Theoretische Aspekte des Software Engineerings

CC: KOMPLEXITÄT

CG: Computergeometrie

SOCG, Symposium für Computergeometrie
CCCG, Kanadische Konferenz über Computergeometrie
EuroCG, Europäischer Workshop zu Computational Geometry

CR: CRYPTOGRAPHIE UND SICHERHEIT

CRYPTO, Internationale Kryptologie-Konferenz
EUROCRYPT, Konferenz über Theorie und Anwendung kryptografischer Techniken
ASIACRYPT, Konferenz über Theorie und Anwendung der Kryptologie
LATINCRYPT, Internationale Konferenz für Kryptologie und Informationssicherheit in Lateinamerika
AFRICACRYPT, Internationale Konferenz für Kryptologie in Afrika
PQCRYPTO, Internationale Konferenz für Postquantenkryptographie
TCC, Theory of Cryptography Konferenz
PKC, Internationale Konferenz über Praxis und Theorie in der Kryptographie mit öffentlichen Schlüsseln
FSE, Konferenz über schnelle Softwareverschlüsselung
CHES, Konferenz über kryptografische Hardware und eingebettete Systeme
IEEE S & P, IEEE-Symposium für Sicherheit und Datenschutz
CCS, ACM Konferenz für Computer- und Kommunikationssicherheit
POST, Grundsätze für Sicherheit und Vertrauen
CSF, Computer Security Foundations Symposium

DB: Datenbanktheorie

SIGMOD / PODS, ACM-Symposium über Prinzipien von Datenbanksystemen (beide akzeptieren Theorie, aber SIGMOD hat einen breiteren Anwendungsbereich)
ICDT, die internationale Konferenz zur Datenbanktheorie
VLDB, sehr große Datenbanken
AMW, Alberto Mendelzon Internationaler Workshop zu Grundlagen des Datenmanagements

DC: VERTEILTE, PARALLELE UND CLUSTER-RECHNUNG

DM: DISKRETE MATHEMATIK UND KOMBINATORIK

DS: Datenstrukturen und Algorithmen

SODA, ACM-SIAM Symposium über diskrete Algorithmen
ESA, Europäisches Symposium für Algorithmen (Track A ist theoretisch)
WADS, Das Symposium Algorithmen und Datenstrukturen
SAT, Theorie und Anwendungen des Erfüllbarkeitstests
SWAT, Skandinavisches Symposium und Workshops zur Algorithmentheorie
ALENEX, Algorithm Engineering und Experimentieren
SOSA, Symposium zur Einfachheit von Algorithmen
IPCO, Integer-Programmierung und kombinatorische Optimierung
APPROX / RANDOM, Workshop zu Approximationsalgorithmen für Optimierungsprobleme / Workshop zu Randomisierung und Berechnung
WAOA, Workshop zu Approximation und Online-Algorithmen
IPEC, Internationales Symposium für parametrisierte und exakte Berechnung
IWOCA, Internationaler Workshop zu kombinatorischen Algorithmen
WAW, Workshop zu Algorithmen und Modellen für den Web-Graph
CPM, Combinatorial Pattern Matching
CP, Prinzipien und Praxis der Constraint-Programmierung

FL: AUTOMATENTHEORIE UND FORMALE SPRACHEN

DLT, Internationale Konferenz zu Entwicklungen in der Sprachtheorie
LATA, Sprach- und Automatentheorie und -anwendungen
AFL, Automaten und formale Sprachen
NCMA, Nichtklassische Modelle von Automaten und Anwendungen
CIAA, Internationale Konferenz zur Implementierung und Anwendung von Automaten
DFCS, Beschreibungskomplexität formaler Systeme

GT: ALGORITHMISCHE SPIELTHEORIE

LG: Theorie lernen

COLT, Konferenz über Lerntheorie
ALT, Algorithmische Lerntheorie

LO: LOGIK IN DER COMPUTERWISSENSCHAFT

PL: SPRACHEN PROGRAMMIEREN

POPL, Prinzipien der Programmiersprachen
ICFP, Internationale Konferenz für funktionale Programmierung
ETAPS, Europäische gemeinsame Konferenzen zu Theorie und Praxis von Software (einschließlich FOSSACS, ESOP und POST, siehe separate Einträge)
ESOP, Europäisches Symposium für Programmierung
MSFP, Mathematisch strukturierte funktionale Programmierung
MFPS, Mathematische Grundlagen der Programmiersemantik

SC: SYMBOLISCHE RECHNUNG

ISSAC: Internationales Symposium für symbolische und algebraische Berechnungen
FPSAC: Formale Potenzreihen und algebraische Kombinatorik
CASC: Computeralgebra im wissenschaftlichen Rechnen
SNC: Symbolische numerische Berechnung

BEWÄHRUNG DES THEOREMS

QUANTUM

RO: Robotik

WAFR, Workshop zur algorithmischen Grundlagenforschung in der Robotik .

COMPUTATIONAL BIOLOGY

RECOMB: Forschung in Computational Molecular Biology
ISMB: Intelligente Systeme für die Molekularbiologie
WABI: Workshop zu Algorithmen in der Bioinformatik

ANDERE

CAV, Computer Aided Verification
GD, Internationales Symposium zum Zeichnen von Graphen
FUN, Internationale Konferenz über Spaß mit Algorithmen
DNA, DNA-Computing und molekulare Programmierung (DNA-Computing, Spur A ist theoretisch, Spur B ist experimentell)
DCM, Entwicklungen in Computermodellen
RTA, Umschreibungstechniken und -anwendungen
TLCA, typisierte Lambda-Kalküle und Anwendungen
UCNC, Unkonventionelles Rechnen & Natürliches Rechnen

— András Salamon
quelle

4

Ich mache mir jetzt Sorgen, dass ICML und NIPS unter Lerntheorie aufgelistet sind, da sie nicht einmal behaupten, Theoriekonferenzen zu sein. Ich frage mich, ob der Rest der Liste ähnliche Probleme hat ...

— Lev Reyzin

7

Sind RECOMB und ISMB relevante Konferenzen für die Theorie? Mein Eindruck ist, dass RECOMB mehr auf Tools und Anwendungen ausgerichtet ist, während ISMB biologische Ergebnisse erwartet. Im Allgemeinen sieht theoretische Arbeit in der Computational Biology für eine theoretische Person eher nach Anwendungen als nach Theorie aus.

— Jouni Sirén

4

@ Lev: Meine zwei Cent: Nehmen Sie die Konferenzen raus, wenn Sie denken, dass es so klar ist. Wenn eine andere Person sie erneut bearbeiten möchte, kann diese Person Gründe angeben, aus denen sie aufgenommen werden sollte.

— Aaron Sterling

4

Könnten Redakteure bitte ihre Änderungen begründen? Jemand hat gerade AfricaCrypt ohne Angabe von Gründen von der Liste gestrichen. Ist es (a) keine Konferenz oder (b) keine TCS-Konferenz?

— Aaron Sterling

3

@Kaveh: Klar, ich hätte gerne eine Liste aller TCS-Konferenzen. Ich würde es genießen, wenn jemand von AfricaCrypt bloggen würde. Lassen Sie uns dies nicht in ein Argument über die Bemerkenswertigkeit verwandeln. Die Liste hat sich fast stabilisiert.

— Aaron Sterling

15

Konferenzkalender von confsearch.org (fehlt: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).

— Jukka Suomela
quelle

4

Die Liste der Konferenzen wird aus der anderen Antwort kopiert. Wenn Sie Konferenzen hinzufügen, bearbeiten Sie bitte auch die URL.

— Jukka Suomela

4

Und bitte denken Sie daran, dass confsearch.org ein Wiki ist. Sie können fehlende Informationen dort hinzufügen ...

— Jukka Suomela

confsearch.org hat auch eine Kategorie "Theorie", in der Sie alle Theoriekonferenzen anzeigen und die fehlenden hinzufügen können confsearch.org/confsearch/faces/pages/…

— Serge Gaspers

3

Diese Liste der Konferenzen von Tom Friedetzky und Daniel Paulusma ist ein weiteres nützliches Hilfsmittel.

— Huck Bennett
quelle

3

Diese Liste der kommenden cs-Events ist meiner Meinung nach sehr praktisch.

— Michele Amoretti
quelle

0

Links zu kombinatorischen Konferenzen

Theoriekonferenz

— Manish Kumar
quelle