Salve, lógicos:
Queria agradecer a todos que contribuíram nesta última semana para a
lista de eventos que encaminharemos às CEs da SBC para
reencaminhamento ao CA da CAPES. Listo abaixo os 10 eventos que foram
sugeridos pelos colegas.
ArgMas
International Workshop on Argumentation in Multi-Agent Systems
http://www.mit.edu/~irahwan/argmas/
9th edition http://www.mit.edu/~irahwan/argmas/argmas12/
Periodicity: annual
CLIMA
International Workshop on Computational Logic in Multi-Agent Systems
http://centria.di.fct.unl.pt/~clima/
12th edition http://centria.di.fct.unl.pt/events/climaXII/
Periodicity: annual
ISMVL
IEEE International Symposium on Multiple-Valued Logic
42nd edition http://www.lcs.info.hiroshima-cu.ac.jp/~s_naga/MVL/
Peridicity: annual
LATD
Logic, Algebra and Truth Degrees
http://www.mathfuzzlog.org/
3rd edition http://www.jaist.ac.jp/rcis/latd12/
Periodicity: biennial
LINZ
Linz Seminar on Fuzzy Set Theory
http://www.flll.jku.at/linzseminars
33rd edition http://www.flll.jku.at/div/research/linz2012/index.html
Periodicity: annual
LOFT
Conference on Logic and the Foundations of Game and Decision Theory
http://www.econ.ucdavis.edu/faculty/bonanno/loft.html
10th edition http://personal.us.es/hvd/loft/
Periodicity: biennial
NMR
International Workshop on Non-Monotonic Reasoning
http://www.kr.org/NMR/
14th edition http://www.dbai.tuwien.ac.at/NMR12/
Periodicity: biennial
TARK
Conference on Theoretical Aspects of Rationality and Knowledge
http://www.tark.org/
13th edition http://www.philos.rug.nl/TARK2011/
Periodicidade: biennial
URSW
Uncertainty Reasoning for the Semantic Web
7th edition http://c4i.gmu.edu/ursw/2011/home/index.html
Periodicity: annual
STAIRS
Starting Artificial Intelligence Research Symposium
http://www.informatik.uni-trier.de/~ley/db/conf/stairs/index.html
6th edition
http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=76&Itemid=77
Periodicidade: biennial
Saudações lógicas,
Joao Marcos
2011/12/13 Joao Marcos <botoc...@gmail.com>:
> [URGENTE]
>
> PessoALL:
>
> Talvez alguns de vocês já saibam, mas o Comitê Assessor da área de
> Ciência da Computação decidiu de forma inédita e inopinada este ano
> descentralizar para as Comissões Especiais da Sociedade Brasileira de
> Computação o direito de opinar sobre a inclusão de novas conferências
> (a serem qualis-ficadas) no documento de área de CC. Dois detalhes
> importantes: [1] a Lógica não tem uma CE na SBC (pois a própria SBC
> não nos permitiu até agora criar uma, com a desculpa de que eles estão
> procedendo a uma grande reorganização interna em torno de "grandes
> áreas da computação", e que é preciso esperar indefinidamente); [2] o
> deadline para envio de sugestões pelas CEs é o dia 19 de dezembro
> (dentro de exatamente uma semana, portanto).
>
> Alguns de vocês se lembrarão de uma planilha de conferências que
> construímos exatamente com este objetivo (sugestões de
> qualis-ficação), em 2007 por ocasião do "perfil-cc" feito pela UFMG
> (http://www.dimap.ufrn.br/pipermail/logica-l/2010-August/005037.html).
> Pois bem. Foi doloroso, mas acabei de atualizar cuidadosamente cada
> célula desta planilha (vale notar que nossa planilha foi de fato
> levada em consideração, na atualização do Qualis que se seguiu, embora
> vários dos julgamentos classificatórios feitos pelo CA-CC tenham
> destoado dos julgamentos que os próprios membros da nossa área
> propuseram), já incluindo algumas sugestões de classificação (que não
> foram solicitadas), levando em consideração entre outras coisas o
> ranking CORE feito na Austrália. A coisa agora ficou assim:
>
> http://goo.gl/OlhcN
>
> As principais mudanças com relação ao que divulguei em 2007,
> comparando com o último e atual Qualis (fotografado em agosto de 2010)
> são as seguintes:
>
>
> (1) Eventos a acrescentar ao documento de área, e qualis-ficar
>
> (1.1) CiE-CS : Computability in Europe
>
> (1.2) FST&TCS : Conference on Foundations of Software Technology and
> Theoretical Computer Science
>
> (1.3) ITP : Interactive Theorem Proving
> (dá continuidade ao tradicional TPHOL)
>
> (1.4) LSFA : Workshop on Logical and Semantic Frameworks, with Applications
>
> (1.5) RULEML : International Symposium on Rules
>
>
> (2) Eventos a remover do documento de área
>
> (2.1) ICTL : International Conference on Temporal Logic
> (descontinuado)
>
> (2.2) TPHOLs : International Conference on Theorem Proving in Higher
> Order Logics
> (continuado como ITP)
>
>
> (3) Abreviatura a consertar
>
> (3.1) LCC : International Workshop on Logic and Complexity in Computer Science
> (aparece como LCCS)
>
>
> (4) Evento extremamente mal qualis-ficado, sem explicação plausível,
> indo de encontro à percepção da comunidade e à avaliação internacional
>
> (4.1) WoLLIC : Workshop on Logic, Language, Information and Computation
>
>
> Pode ser que alguma coisa tenha sido esquecida e que estas sugestões
> de re-qualis-ficação sejam conservadoras. Mas submeto o resultado das
> atualizações acima para apreciação e comentários (desde que enviados
> até nesta 6a-feira!) de vocês. O resultado final deste trabalho será
> apresentado ao CA-CC por Marcelo Finger e Maurício Ayala através das
> CEs de Inteligência Artificial e de Circuitos.
>
> Para saber mais sobre o documento de área de CC (onde consta a lista
> classificatória das conferências da área, que de fato não faz parte do
> Qualis, mas afeta igualmente nossos pedidos de financiamento e as
> avaliações que recebemos) e seus critérios muitas vezes abstrusos, só
> posso lhes sugerir conferi-lo diretamente:
> http://www.capes.gov.br/images/stories/download/avaliacao/COMPUTACAO_05mar10.pdf
>
> Abraços
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
--
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
