.

Classificação sugerida (2012)Classificação sugerida (2007)Classificação Qualis (Ago2012)Classificação Qualis (Ago2010)Classificação CORE.edu.au (2008)GrupoAbbreviationh-index (Dez2012)ConferenceRecent (or next) editionPeriodicityURL1 (references)URL2 (main page, or recent event)h-index (2001-2012)

.

B1BB3B2AFLSdCAiMLAdvances in Modal Logic9th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/aiml/http://www.aiml.net/conferences/13

.

B5B4--IAArgMasInternational Workshop on Argumentation in Multi-Agent Systems9th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/argmas/http://www.mit.edu/~irahwan/argmas/5

.

A2AA2A2AFLSdCCADEInternational Conference on Automated Deduction24th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/cade/http://www.cadeinc.org/36

.

B2C-B2-FLSdCCALCULEMUSSymposium on Integration of Symbolic Computation and Mechanized Reasoning18th (2012)annualhttp://www.calculemus.net/http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=calculemus&menu=general20

.

A1AA1A1AESMFCAVInternational Conference on Computer Aided Verification24th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/cav/http://cav12.cs.illinois.edu/70

.

B4-B2--FLSdCCiEComputability in Europe8th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/cie/http://www.illc.uva.nl/CiE/15

.

B3B4--IACLIMAInternational Workshop on Computational Logic in Multi-Agent Systems13th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/clima/http://www.csc.liv.ac.uk/~michael/clima2012.html8

.

B3CB4B4BFLSdCCOMMONSENSESymposium on Logical Formalizations of Commonsense Reasoning10th (2011)biennialhttp://commonsensereasoning.org/http://commonsensereasoning.org/2011/10

.

A2AA2A2AFLSdCCONCURConference on Concurrence Theory24th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/concur/http://conferences.ncl.ac.uk/concur-2012/44

.

B1AB1B1CFLSdCCSLConference of the European Association for Computer Science Logic (EACSL)31st (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/csl/http://csl2012.lacl.fr/29

.

B4CB3B3-FLSdCDEONInternational Workshop on Deontic Logic in Computer Science11th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/deon/http://www.defeasible.org/deon2010/13

.

B2BB1B2-FLSdCDLInternational Workshop on Description Logics25th (2012)annualhttp://dl.kr.org/workshops/index.htmlhttp://www.dis.uniroma1.it/~dl2012/29

.

B2BB2B2BLdPDLTInternational Conference on Developments in Language Theory16th (2012)annualhttp://en.wikipedia.org/wiki/International_Conference_on_Developments_in_Language_Theoryhttp://cc.ee.ntu.edu.tw/~dlt2012/18

.

B2BB1B2CFLSdCECSQARUEuropean Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty12th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/ecsqaru/http://www.ecsqaru.org/24

.

B3B-B3-LdPETAPSEuropean Joint Conferences on Theory and Practice of Software16th (2013)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/etaps/http://www.etaps.org/21

.

B2AB2B3AATdCFCTSymposium on Fundamentals of Computation Theory19th (2011)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/fct/http://fct11.ifi.uio.no/16

.

B2BB1B2ALdPFLOPSInternational Symposium on Functional and Logic Programming11th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/flops/http://www.org.kobe-u.ac.jp/flops2012/21

.

A2AA1A2AATdCFOCSIEEE Symposium on Foundations of Computer Science53rd (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/focs/http://ieee-focs.org/75

.

B3BB2B4-FLSdCFoIKSInternational Symposium on Foundations on Information and Knowledge Systems7th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/foiks/http://www.foiks.org/15

.

B1AA2B1CESMFFoSSaCSFoundations of Software Science and Computation Structures15th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/fossacs/http://www.itu.dk/research/fossacs-2012/36

.

B2BB3B2-FLSdCFroCoSFrontiers of Combining Systems8th (2011)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/frocos/http://combination.cs.uiowa.edu/frocos/1

.

B5CB1-BLdPFSTTCSConference on Foundations of Software Technology and Theoretical Computer Science32nd (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/fsttcs/http://www.fsttcs.org/30

.

B3AB4B4BFLSdCFTPInternational Workshops on First-Order Theorem Proving8th (2011)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/ftp/http://www.csc.liv.ac.uk/FTP-WS/3

.

A2AA1A2ALdPICALPInternational Colloquium on Automata, Languages and Programming39th (2012)annualhttp://www.eatcs.org/index.php/conferenceshttp://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp201256

.

B2AA2B2ALdPICFPACM International Conference on Functional Programming (SIGPLAN)17th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/icfp/http://www.icfpconference.org/45

.

B1AB1B1AFLSdCICLPInternational Conference on Logic Programming28th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/iclp/http://www.cs.bme.hu/iclp2012/33

.

B3SCB3B3BATdCICTACInternational Colloquium on Theoretical Aspects of Computing9th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/ictac/http://www.ictac.net/14

.

-CB5B4AFLSdCICTLInternational Conference on Temporal Logic4th (2003)---http://www.informatik.uni-trier.de/~ley/db/conf/ictl/discontinued...0

.

A1AA1A1AIAIJCAIInternational Joint Conferences on Artificial Intelligence22nd (2011)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/ijcai/http://www.ijcai.org/86

.

B1BB1B1AFLSdCIJCARInternational Joint Conference on Automated Reasoning6th (2012)biennialhttp://www.ijcar.org/http://ijcar.cs.manchester.ac.uk/33

.

B5SC-B5-FLSdCILPSInternational Logic Programming Symposiumsee ICLPannualhttp://www.informatik.uni-trier.de/~ley/db/conf/iclp/-

.

B5BB4B5CFLSdCINAPInternational Conference on Applications of Declarative Programming and Knowledge Management19th (2011)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/inap/http://www.kr.tuwien.ac.at/events/inap11/6

.

B1B2--FLSdCISMVLInternational Symposium on Multiple-Valued Logic43rd (2013)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/ismvl/http://mvl.jpn.org/ISMVL2013/20

.

B2B4--FLSdCITPInteractive Theorem Proving (continues TPHOL)3rd (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/itp/http://itp2012.cs.princeton.edu/8

.

B2CB3B2-PLNIWCSInternational Workshop on Computational Semantics10th (2013)biennialhttp://iwcs.uvt.nl/http://www.ling.uni-potsdam.de/iwcs2013/7

.

B2BB1B2AIAJELIAEuropean Conference on Logics in Artificial Intelligence13th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/jelia/http://www.jelia.eu/29

.

B1AA2B1-FLSdCKRInternational Conference on Principles of Knowledge Representation and Reasoning13th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/kr/http://www.kr.org/36

.

----FLSdCLATDLogic, Algebra and Truth Degrees3rd (2012)biennialhttp://www.mathfuzzlog.org/http://www.jaist.ac.jp/rcis/latd12/0

.

B4B-B4CFLSdCLCCInternational Workshop on Logic and Complexity in Computer Science13th (2012)annualhttp://ptmat.fc.ul.pt/lcc2012/0

.

B5AB3B5BFLSdCLFCSSymposium on Logical Foundations of Computer Science7th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/lfcs/http://www.lfcs.info/10

.

A2AA2B1AFLSdCLICSIEEE Symposium on Logic in Computer Science27th (20112)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/lics/http://www2.informatik.hu-berlin.de/lics/49

.

B3B4--FLSdCLINZLinz Seminar on Fuzzy Set Theory33rd (2012)annualhttp://www.flll.jku.at/linzseminarshttp://www.flll.jku.at/div/research/linz2012/index.html6

.

B4---FLSdCLOFTConference on Logic and the Foundations of Game and Decision Theory10th (2012)biennialhttp://www.econ.ucdavis.edu/faculty/bonanno/loft.htmlhttp://personal.us.es/hvd/loft/1

.

B2BB3B2BFLSdCLOPSTRLogic-Based Program Synthesis and Transformation22nd (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/lopstr/http://costa.ls.fi.upm.es/lopstr12/4

.

B1BB1B1AFLSdCLPARLogic for Programming, Artificial Intelligence and Reasoning18th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/lpar/http://www.lpar.net/27

.

B2BB1B2AFLSdCLPNMRInternational Conference on Logic Programming and Non-monotonic Reasoning13th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/lpnmr/http://lpnmr2013.udc.es/28

.

B3-B4--FLSdCLSFAWorkshop on Logical and Semantic Frameworks, with Applications7th (2012)annualhttp://www.mat.ufmg.br/lsfa2011/LSFA2011/Past_events.htmlhttp://www.uff.br/lsfa/5

.

B2B4--FLSdCM4MMethods for Modalities7th (2011)biennialhttp://m4m.loria.fr/5

.

B3CB3B3BFLSdCMDAIConference on Modeling Decisions for Artificial Intelligence9th (2012)annualhttp://www.mdai.cat/http://www.mdai.cat/mdai2012/13

.

B1AB1B2AATdCMFCSMathematical Foundations of Computer Science37th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/mfcs/http://www.mfcs.sk/26

.

B1B2--FLSdCNMRInternational Workshop on Non-Monotonic Reasoning14th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/nmr/http://www.dbai.tuwien.ac.at/NMR12/20

.

B1B4BLdPPPDPPrinciples and Practice of Declarative Programming14th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/ppdp/index.htmlhttp://dtai.cs.kuleuven.be/events/PPDP2012/30

.

B1AB1B2-FLSdCRTAInternational Conference on Rewriting Techniques and Applications24th (2013)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/rta/http://rewriting.loria.fr/rta/31

.

B4C-B4-ESMFRULEInternational Workshop on Rule-Based Programming11th (2010)annualhttp://wiki.di.uminho.pt/twiki/bin/view/Events/RULE2010/discontinued?0

.

B5B1--ESMFRULEMLInternational Symposium on Rules6th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/ruleml/http://dbis.informatik.tu-cottbus.de/ruleml2012/21

.

B3CB1B3AFLSdCSATInternational Conference on Theory and Applications of Satisfiability Testing15th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/sat/http://www.satisfiability.org/30

.

B1AA2B1BATdCSTACSSymposium on Theoretical Aspects of Computer Science30th (2013)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/stacs/http://www.stacs-conf.org/40

.

B3-B4--IASTAIRSStarting Artificial Intelligence Research Symposium6th (2012)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/stairs/http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=76&Itemid=777

.

B2AA1B2AATdCSTOCACM Symposium on Theory of Computing (SIGACT)45th (2013)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/stoc/http://www.sigact.org/stoc.html92

.

B1BB1B2AFLSdCTABLEAUXInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods21st (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/tableaux/http://i12www.ira.uka.de/TABLEAUX/18

.

B1B2-AFLSdCTARKConference on Theoretical Aspects of Rationality and Knowledge14th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/tark/http://www.tark.org/15

.

B2BB1B2AFLSdCTIMEInternational Symposium on Temporal Representation and Reasoning19th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/time/http://time.dico.unimi.it/TIME_Home.html22

.

B2BB1B2-FLSdCTLCAInternational Conference on Typed Lambda Calculi and Applications11th (2013)biennialhttp://www.informatik.uni-trier.de/~ley/db/conf/tlca/http://www.mimuw.edu.pl/tlca/22

.

-BB1B2AFLSdCTPHOLInternational Conference on Theorem Proving in Higher Order Logics22nd (2009)see ITPhttp://www.informatik.uni-trier.de/~ley/db/conf/tphol/continued as "Interactive Theorem Proving"-

.

B1AA1B1AIAUAIConference on Uncertainty in Artificial Intelligence28th (2012)annualhttp://www.auai.org/http://auai.org/uai2012/59

.

B5B4--FLSdCURSWUncertainty Reasoning for the Semantic Web8th (2012)annualhttp://c4i.gmu.edu/ursw/2012/9

.

B1AB3B4BFLSdCWoLLICWorkshop on Logic, Language, Information and Computation19th (2012)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/wollic/http://www.cin.ufpe.br/~wollic/11

.

B4BB5B5-FLSdCWRSInternational Workshop on Reduction Strategies in Rewriting and Programming11th (2012)annualhttp://users.dsic.upv.es/~wrs/http://www.rdp2011.uns.ac.rs/workshops/wrs.html1

.

.

TOTAL67EVENTOS

.

Classificação sugerida (2012)(acumulado)Classificação Qualis 2012eventos classif.60

.

3%3%Estrato A110%10%

.

8%11%Estrato A222%12%

.

25%36%Estrato B153%32%

.

27%63%Estrato B265%12%

.

17%80%Estrato B380%15%

.

9%89%Estrato B498%18%

.

11%100%Estrato B5102%3%

.

Classificação Qualis 2010eventos classif.51

.

Estrato A14%4%

.

Estrato A212%8%

.

Estrato B129%18%

.

Estrato B267%37%

.

Estrato B3104%37%

.

Estrato B4120%16%

.

Estrato B5127%8%

.

.

Qualis CC 2012http://www.capes.gov.br/images/stories/download/avaliacao/Comunicado_004_2012_Ciencia_da_Computacao.pdf

.

Shine (SBC)http://shine.icomp.ufam.edu.br/