.

Classificação sugerida (2007)Classificação Qualis (Ago2010)Classificação CORE.edu.au (2008)GrupoSiglah-index (Dez2012)EventoEditionPeriodicityURL1URL2

.

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

.

AA2AATdCFOCSIEEE Symposium on Foundations of Computer Science52nd (2011)annualhttp://www.informatik.uni-trier.de/~ley/db/conf/focs/http://www.cs.ucla.edu/~rafail/FOCS11/

.

AB2AATdCMFCSMathematical Foundations of Computer Science31st (2006)annualhttp://www.mfcs.sk/mfcs2006/

.

AB1BATdCSTACSSymposium on Theoretical Aspects of Computer Science24th (2007)annualhttp://www-i7.informatik.rwth-aachen.de/stacs07/

.

AB2AATdCSTOCACM Symposium on Theory of Computing (SIGACT)39th (2007)annualhttp://sigact.acm.org/stoc/

.

AA1AESMFCAVInternational Conference on Computer Aided Verification18th (2006)annualhttp://www.cav-conference.org/

.

AB1CESMFFoSSaCSFoundations of Software Science and Computation Structures10th (2007)annualhttp://fossacs08.pps.jussieu.fr/

.

BB2AFLSdCAiMLAdvances in Modal Logic6th (2006)biennualhttp://www.aiml.net/conferences/

.

AA2AFLSdCCADEInternational Conference on Automated Deduction21st (2007)biennial/annualhttp://www.cadeconference.org/

.

CB2-FLSdCCALCULEMUSSymposium on Integration of Symbolic Computation and Mechanized Reasoning14th (2007)annualhttp://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

.

CB4BFLSdCCOMMONSENSESymposium on Logical Formalizations of Commonsense Reasoning8th (2007)biannualhttp://www.ucl.ac.uk/commonsense07/

.

AA2AFLSdCCONCURConference on Concurrence Theory18th (2007)annualhttp://concur07.di.fc.ul.pt/

.

AB1CFLSdCCSLConference of the European Association for Computer Science Logic (EACSL)26th (2007)annualhttp://users.dimi.uniud.it/eacsl/conferences.html

.

CB3-FLSdCDEONInternational Workshop on Deontic Logic in Computer Science8th (2006)biennialhttp://www.cs.uu.nl/deon2006/

.

BB2-FLSdCDLInternational Workshop on Description Logics20th (2007)annualhttp://dl.kr.org/workshops/index.html

.

BB2CFLSdCECSQARUEuropean Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty9th (2007)biennialhttp://www.ecsqaru.org/

.

BB4-FLSdCFoIKSInternational Symposium on Foundations on Information and Knowledge Systems4th (2006)biennialhttp://foiks.massey.ac.nz/

.

BB2-FLSdCFroCoSFrontiers of Combining Systems7th (2007)biennial/annualhttp://combination.cs.uiowa.edu/frocos/

.

AB4BFLSdCFTPInternational Workshops on First-Order Theorem Proving6th (2007)biennialhttp://www.csc.liv.ac.uk/FTP-WS/

.

AB1AFLSdCICLPInternational Conference on Logic Programming23rd (2007)annualhttp://www.dcc.fc.up.pt/iclp07/

.

CB4AFLSdCICTLInternational Conference on Temporal Logic4th (2003)triennialhttp://www.informatik.uni-trier.de/~ley/db/conf/ictl/index.html

.

BB1AFLSdCIJCARInternational Joint Conference on Automated Reasoning3rd (2006)biennialhttp://www.ijcar.org/

.

SCB5-FLSdCILPSInternational Logic Programming Symposium?????????

.

BB5CFLSdCINAPInternational Conference on Applications of Declarative Programming and Knowledge Management??????http://www1.informatik.uni-wuerzburg.de/databases/INAP/2007/

.

AB1-FLSdCKRInternational Conference on Principles of Knowledge Representation and Reasoning10th (2006)biennialhttp://www.kr.org/

.

BB4CFLSdCLCCSInternational Workshop on Logic and Complexity in Computer Science9th (2007)annualhttp://www.cis.syr.edu/~royer/icc/LCC07/

.

AB5BFLSdCLFCSSymposium on Logical Foundations of Computer Science5th (2007)???http://web.cs.gc.cuny.edu/~sartemov/lfcs07/

.

AB1AFLSdCLICSIEEE Symposium on Logic in Computer Science22nd (2007)annualhttp://www2.informatik.hu-berlin.de/lics/index.html

.

BB2BFLSdCLOPSTRLogic-Based Program Synthesis and Transformation17th (2007)annualhttp://en.wikipedia.org/wiki/International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation

.

BB1AFLSdCLPARLogic for Programming, Artificial Intelligence and Reasoning14th (2007)annualhttp://www.lpar.net/2007/

.

BB2AFLSdCLPNMRInternational Conference on Logic Programming and Non-monotonic Reasoning9th (2007)biennial/annualhttp://lpnmr2007.googlepages.com/

.

CB3BFLSdCMDAIConference on Modeling Decisions for Artificial Intelligence4th (2007)annualhttp://www.mdai.info/

.

AB2-FLSdCRTAInternational Conference on Rewriting Techniques and Applications18th (2007)annualhttp://rewriting.loria.fr/rta/

.

CB4-FLSdCRULEInternational Workshop on Rule-Based Programming8th (2007)annualhttp://www.lsv.ens-cachan.fr/rdp07/rule.html

.

CB3AFLSdCSATInternational Conference on Theory and Applications of Satisfiability Testing10th (2007)annualhttp://sat07.ecs.soton.ac.uk/dispatch.php?disp=sat07

.

BB2AFLSdCTABLEAUXInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods16th (2007)annualhttp://i12www.ira.uka.de/TABLEAUX/

.

BB2AFLSdCTIMEInternational Symposium on Temporal Representation and Reasoning14th (2007)annualhttp://gplsi.dlsi.ua.es/congresos/time07/

.

BB2-FLSdCTLCAInternational Conference on Typed Lambda Calculi and Applications8th (2007)biennialhttp://www.mimuw.edu.pl/tlca/

.

BB2AFLSdCTPHOLsInternational Conference on Theorem Proving in Higher Order Logics20th (2007)annualhttp://rsg.informatik.uni-kl.de/TPHOLs-2007/

.

AB4BFLSdCWoLLICWorkshop on Logic, Language, Information and Computation14th (2007)annualhttp://www.cin.ufpe.br/~wollic/wollic2007/

.

BB5-FLSdCWRSInternational Workshop on Reduction Strategies in Rewriting and Programming7th (2007)annualhttp://www.lsv.ens-cachan.fr/rdp07/wrs.html

.

AA1AIAIJCAIInternational Joint Conferences on Artificial Intelligence20th (2007)biennialhttp://www.ijcai.org/

.

BB2AIAJELIAEuropean Conference on Logics in Artificial Intelligence10th (2006)biennialhttp://www.csc.liv.ac.uk/~jelia/

.

AB1AIAUAIConference on Uncertainty in Artificial Intelligence23rd (2007)annualhttp://www.auai.org/

.

BB2BLdPDLTInternational Conference on Developments in Language Theory11th (2007)annualhttp://www.math.utu.fi/projects/dlt2007/

.

BB3-LdPETAPSEuropean Joint Conferences on Theory and Practice of Software10th (2007)annualhttp://www.di.uminho.pt/etaps07/

.

BB2ALdPFLOPSInternational Symposium on Functional and Logic Programming8th (2006)annualhttp://nicosia.is.s.u-tokyo.ac.jp/FLOPS2006/about.html

.

C-BLdPFST&TCSConference on Foundations of Software Technology and Theoretical Computer Science26th (2006)annualhttp://www.fsttcs.org/

.

AA2ALdPICALPInternational Colloquium on Automata, Languages and Programming24th (2007)annualhttp://icalp07.ii.uni.wroc.pl/

.

AB2ALdPICFPACM International Conference on Functional Programming (SIGPLAN)12th (2007)annualhttp://www.icfpconference.org/

.

CB2-PLNIWCSInternational Workshop on Computational Semantics7th (2007)biennialhttp://let.uvt.nl/research/ti/sigsem/iwcs/index.htm

.

SCB3BATdCICTACInternational Colloquium on Theoretical Aspects of Computing5th (2008)annualhttp://www.ictac.net/

.

.

52eventos

.

Classificação sugerida (2007)Classificação obtida (Qualis 2010)Médias gerais CC (dentre 1048 eventos classificados em 2010)

.

Classe A40%Estrato A13%

.

Classe B38%Estrato A27%

.

Classe C17%Estrato B110%

.

Estrato B225%

.

Estrato B325%

.

Estrato B417%

.

Estrato B513%

.

SC