Gostaria de pedir ajuda para compilar uma lista do maior número possível de conferências e workshops relacionados ao TCS. Minha principal motivação para fazer isso é planejar uma possível cobertura do blog de mais espaços teóricos - encontrar correspondentes que participem desses eventos e que estejam dispostos a escrever entradas breves ou aprofundadas sobre os eventos que estão participando. Além disso, espero que uma lista como essa dê a todos uma melhor noção da configuração da teoria.
Vou propagar a pergunta com uma resposta contendo algumas conferências "óbvias". Sinta-se à vontade para editar minha resposta e / ou postar suas próprias respostas adicionais.
Abreviação padrão da conferência, nome da conferência, assunto, quaisquer notas adicionais.
Pretendido como wiki da comunidade.
fonte
Respostas:
GERAL :
(A: algoritmos, complexidade, B: lógica, semântica, C: redes)
CC: COMPLEXIDADE
CG: GEOMETRIA COMPUTACIONAL
CR: CRIPTOGRAFIA E SEGURANÇA
DB: TEORIA DA BASE DE DADOS
DC: COMPUTAÇÃO DISTRIBUÍDA, PARALELA E CLUSTER
DM: MATEMÁTICA DISCRETA E COMBINATORIA
DS: ESTRUTURAS E ALGORITMOS DE DADOS
FL: TEORIA AUTOMATA E LÍNGUAS FORMAL
GT: TEORIA ALGORITMICA DE JOGOS
LG: TEORIA DA APRENDIZAGEM
LO: LÓGICA NA CIÊNCIA DO COMPUTADOR
PL: LÍNGUAS DE PROGRAMAÇÃO
SC: COMPUTAÇÃO SIMBÓLICA
PROVAÇÃO DE TEOREMA
QUANTUM
RO: Robotics
BIOLOGIA COMPUTACIONAL
DE OUTROS
fonte
Calendário da conferência por confsearch.org (ausente: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).
fonte
Esta lista de conferências de Tom Friedetzky e Daniel Paulusma é outro recurso interessante.
fonte
Esta lista dos próximos eventos do cs é muito prática, na minha opinião.
fonte
Links para conferências combinatórias
Conferência de Teoria
fonte