Conferencias consideradas L1 en el Depto. de Ciencias de la Computación. El listado se forma con tres fuentes: Cora A, CiteSeer, y "otras" convertidas en L1 via solicitud al Coordinador de Investigación. Los listados tienen un formato heterogéneo y en el de CiteSeer, que en muchos casos no tiene los nombres completos, subsisten algunas siglas de revistas. Debe recordarse que, además, toda conferencia que comienza con ACM, IEEE o SIAM es automáticamente L1. Finalmente, si una conferencia aparece en este listado y también en el de L0, es L0. -------------- Otras Modularity (ex AOSD) LATIN -------------- Core A Asian Conference on Machine Learning ACML Information Retrieval Facility Conference IRFC International Conference on Advanced Communications and Computation INFOCOMP (Joint) International Conference/Symposium on Logic Programming JICSLP/ICLP/ILPS Advances in Modal Logic AiML American Medical Informatics Annual Fall Symposium AMIA Americas Conference on Information Systems AMCIS Annual Computer Security Applications Conference ACSAC Annual Conference of the Cognitive Science Society CogSci Annual Conference of the International Speech Communication Association (was Eurospeech) Interspeech Annual Conference on Innovation and Technology in Computer Science Education ITiCSE AoM Organizational Communication and Information Systems OCIS Application of Computers and Operations Research in the Minerals Industries APCOMin Artificial Intelligence and Maths AMAI Artificial Intelligence in Medicine AIIM Artificial Intelligence in Medicine in Europe AIME Aspect-Oriented Software Development AOSD Automated Software Engineering Conference ASE British Computer Society Conference on Human-Computer Interaction HCI Cognitive Science Society Annual Conference CSSAC Computer Supported Collaborative Learning CSCL Conference on File and Storage Technologies FAST Conference on Innovative Data Systems Research CIDR Conference on Integer Programming and Combinatorial Optimization IPCO Conference on Natural Language Learning CoNLL Database Systems for Advanced Applications DASFAA Deductive and Object-Oriented Databases DOOD Design Automation Conf DAC Empirical Methods in Natural Language Processing EMNLP Engineering Applications of Artifical Intelligence EAAI EURO AMERICAN CONFERENCE ON TELEMATICS AND INFORMATION SYSTEMS EATIS Euromicro Conference on Real-Time Systems ECRTS European Association of Computational Linguistics EACL European Conference on Artificial Intelligence ECAI European Conference on Computer Vision ECCV European Conference on Digital Libraries ECDL European Conference on Information Systems ECIS European Conference on Machine Learning ECML European Conference on Object-Oriented Programming ECOOP European Conference on Principles and Practice of Knowledge Discovery in Databases PKDD European Conference on Software Architecture ECSA European Conference on Speech Communication and Technology (now Interspeech) EuroSpeech European Conference on Wireless Sensor Networks EWSN European Graphics Conference EUROGRAPH European Symposium on Algorithms ESA European Symposium on Programming ESOP European Symposium On Research In Computer Security ESORICS Eurosys Conference EuroSys Extended Semantic Web Conference (was European Semantic Web Conference) ESWC Extending Database Technology EDBT Formal Methods Europe FME Genetic and Evolutionary Computations GECCO Graph Drawing GD Hawaii International Conference on System Sciences HICSS IFIP International Symposium on Computing Performance, Modelling, Measurement and Evaluation PERFORMANCE IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification FORTE IFIP Networking 200X Networking 200X IFIP TC13 Conference on Human-Computer Interaction Interact IFIP WG 11.3 Working Conference on Data and Applications Security (also known as DBSEC) DBSEC IFIP/IEEE International Symposium on Integrated Management (odd years sharing with NOMS) IM Intelligent Data Analysis IDA Intelligent Systems in Molecular Biology ISMB International Colloquium on Automata Languages and Programming ICALP International Computer Symposium Conference ICSC2 International Conference in Business Process Management BPM International Conference of Asian Digital Libraries ICADL International Conference of Software and Systems Process (was ICSP prior to 2011) ICSSP International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems AH International Conference on Advanced Information Systems Engineering CaiSE International Conference on AI in Design AID International Conference on Apps for Specific Array Processors ASAP International Conference on Artificial Intelligence and Statistics AISTATS International Conference on Artificial Intelligence in Education AIED International Conference on Artificial Intelligence: Methodology, Systems, Applications AIMSA International Conference on Automated Deduction CADE International Conference on Compiler Construction CC International Conference on Compilers, Architecture, and Synthesis for Embedded Systems CASES International Conference on Computational Linguistics COLING International Conference on Computational Science ICCS International Conference on Computer Communication and Networks IC3N International Conference on Computing and Combinatorics COCOON International Conference on Conceptual Modelling ER International Conference on Concurrency Theory CONCUR International Conference on Control, Automation, Robotics and Vision ICARCV International Conference on Cooperative Information Systems CoopIS International Conference on Coordination Models and Languages Coordination International Conference on Database Theory ICDT International Conference on Design Science Research in Information Systems and Technology DESRIST International Conference on Distributed Computing Systems ICDCS International Conference on Evaluation and Assessment in Software Engineering EASE International Conference on Field and Service Robotics FSR International Conference on Formal Ontology in Information Systems FOIS International Conference on Foundation on Data Organization FODO International Conference on Grid Computing ICGG International Conference on High Performance Computing HiPC International Conference on Information Quality ICIQ International Conference on Information Systems Development ISD International Conference on Intelligent Tutoring Systems ITS International Conference on Intelligent User Interfaces IUI International Conference on Logic Programming ICLP International Conference on Logic Programming and Non-monotonic Reasoning LPNMR International Conference on Mobile and Ubiquitous Systems: Networks and Services Mobiquitous International Conference on Network Protocols ICNP International Conference on Neural Information Processing ICONIP International Conference on Parallel Architecture and Compilation Techniques PACT International Conference on Parallel Processing Euro-Par International Conference on Parallel Processing ICPP International Conference on Parallel Processing EuroPar International Conference on Principles and Practice of Constraint Programming CP International Conference on Reliable Software Technologies RST International Conference on Rewriting Techniques and Applications RTA International Conference on Scientific and Statistical Data Base Management SSDBM International Conference on Security and Privacy for Communication Networks SecureCom International Conference on Security in Pervasive Computing ICSPC International Conference on Service Oriented Computing ICSOC International Conference on Software Reuse ICSR International Conference on Temporal Logic ICTL International Conference on the Simulation and Synthesis of Living Systems ALIFE International Conference on the Theory and Application of Cryptology and Information Security ASIACRYPT International Conference on Theorem Proving in Higher Order Logics WPHOL International Conference on Theorem Proving in Higher Order Logics (will be ITP from 2010) TPHOLs International Conference on Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX International Conference on Theory and Applications of Satisfiability Testing SAT International Conference on Virtual Execution Environments VEE International Conference on Virtual Rehabilitation ICVR International Conference on Web and Social Media ICWSM International Conference on Web Information Systems Engineering WISE International Joint Conference on Qualitative and Quantitative Practical Reasoning ESQARU International Logic Programming Symposium ILPS International Semantic Web Conference ISWC International Symposium on Algorithms and Computation ISAAC International Symposium on Automated Technology for Verification and Analysis ATVA International Symposium on Code Generation and Optimization CGO International Symposium on Distributed Computing (was WDAG) DISC International Symposium on Empirical Software Engineering and Measurement ESEM International Symposium on Functional and Logic Programming FLOPS International Symposium on Fundamentals of Computer Theory FCT International Symposium on Mathematical Foundations of Computer Science MFCS International Symposium on Memory Management ISMM International Symposium on Microarchitecture MICRO International Symposium on Recent Advances in Intrusion Detection RAID International Symposium on Robotics ISR International Symposium on Robotics Research ISSR International Symposium on Software Reliability Engineering ISSRE International Symposium on Software Testing and Analysis ISSTA International Symposium on Spatial Databases SSTD International Workshop on Approximation Algorithms for Combinatorial Optimization Problems APPROX International Workshop on Graph-Theoretic Concepts in Computer Science WG International Workshop on Horizontal Interactive Human-Computer Systems Tabletop International Workshop on Randomization and Computation RANDOM International Workshop on Software and Compilers for Embedded Systems SCOPES Internet Measurement Conference IMC Knowledge capture K-CAP Logic Programming and Automated Reasoning LPAR Logics in Artificial Intelligence, European Conference JELIA Medical Image Computing and Computer-Assisted Intervention MICCAI Net Object Days (Includings MATES, ENASE etc.) MATES ENASE Network and OS Support for Digital A/V NOSSDAV Network Storage Symposium NetStore North American Association for Computational Linguistics NAACL Pacific Asia Conference on Information Systems PACIS Pacific Conference on Computer Graphics and Applications PG Pacific-Asia Conference on Knowledge Discovery and Data Mining PAKDD Parallel Problem Solving from Nature PPSN Performance Tools - International Conference on Model Techniques & Tools for CPE PT Practical Applications of Agents and Multiagent Systems PAAMS Principles and Practice of Parallel Programming PPoPP Software Process Improvement and Capability Determination SPICE Static Analysis Symposium SAS Structural and Syntactical Pattern Recognition SSPR Symposia on VLSI Technology and Circuits VLSI Symposium Model Analysis and Simulation of Computer and Telecommunications Systems MASCOTS Symposium on Frontiers of Massively Parallel Processing MassPar Symposium on High Performance Chips HOTCHIPS (HCS) Symposium on Parallelism in Algorithms and Architectures SPAA Symposium on Reliable Distributed Systems SRDS Tangible, Embedded, and Embodied Interaction TEI Theoretical Aspects of Rationality and Knowledge TARK Theory of Cryptography Conference TCC Tools and Algorithms for Construction and Analysis of Systems TACAS Unix Symposium on Internet Technologies USITS Unix Symposium on Operating Systems Design and Implementation SDSDI Usenix Annual Technical Conference USENIX Usenix Network and Distributed System Security Symposium NDSS USENIX Workshop on Hot Topics in Operating Systems HotOS Workshop on Algorithm Engineering and Experiments ALENEX ---------------------- CiteSeerX 3DIM AAAI AAMAS ACiD ACISP ACL ACNS ACSAC ACSD Ada-Europe ADBIS ADC Advances in Computers Advances in Modal Logic AIIDE ALENEX/ANALCO AMAST AMDO ANCS ANTS AOSD AOSE APLAS ARCS Workshops ArgMAS ASE ASIACCS ASIACRYPT ASPLOS ASYNC AutoID AVBPA AVI BDA BNCOD CADE CAiSE CASCON CASES CAV CBSE CC CEAS CGO CHARME CHES CHI CIAA CICLing CIDR CIKM CIVR CLIMA VI CLIN CODES+ISSS Cognitive Science COLT CONCUR Conference on Designing Interactive Systems Constraints CoopIS/DOA/ODBASE (1) CoopIS/DOA/ODBASE (2) COORDINATION COSIT CP CPAIOR CPM CRYPTO CSCLP CSFW CSL CT-RSA CVBIA CVPR (1) CVPR (2) DAC DAGM-Symposium DALT DASFAA DATE DBISP2P DBSec DCOSS Description Logics DILS DIMVA DISC DNA DNIS DSN DSOM EACL ECAI ECCV (1) ECCV (2) ECCV (3) ECCV (4) ECCV Workshop BioAW ECIR ECMDA-FA ECML ECOOP ECOWS ECRTS ECSQARU EDBT EDBT Workshops EDCC EDOC EKAW Electronic Colloquium on Computational Complexity (ECCC) Electronic Commerce Research EMSOFT ER Ershov Memorial Conference ESAW ESEC/SIGSOFT FSE ESOP ESORICS ESWC ESWS ETRICS EUROCRYPT EUROMICRO-SEAA European Across Grids Conference EuroSys EvoCOP Evolutionary Computation EWSA Extreme Markup Languages FASE FAST FCCM FCT FGR Financial Cryptography FM FMCAD FMCO FOCS Formal Aspects in Security and Trust Formal Methods in System Design FORMATS/FTRTFT FORTE FoSSaCS Foundations of Computational Mathematics FPGA FPT FSE FSTTCS FTDCS GECCO GECCO (1) GECCO Workshops Genetic Programming and Evolvable Machines GIR GIS GMP GPCE Graph Drawing Graphical Models Graphics Interface GRID GROUP Haskell HLT/EMNLP HLT-NAACL HPCA HPDC HRI HSCC IASTED Conf. on Software Engineering and Applications ICAC ICALP ICALP (1) ICALP (2) ICAPR (2) ICAPS ICARIS ICATPN ICCBR ICCD ICCV ICDCS ICDE ICDM ICDT ICFEM ICFP ICGI ICGT ICICS ICINCO-SPSMC ICISC ICLP ICMI ICML ICNP ICPP ICRA ICS ICSE ICSM ICSOC ICTAC ICTAI ICTCS IDA IDEAS IFL IFM IISWC IJCAI IJCAR ILP IMA Int. Conf. INDOCRYPT INEX INFOCOM Information Hiding INFOVIS Intelligent Tutoring Systems Intelligent User Interfaces International Semantic Web Conference Internet Measurement Conference Internet Measurment Conference IPAW IPCO IPDPS IPSN IPTPS ISAAC ISC ISCA ISESE ISMB/ECCB (Supplement of Bioinformatics) ISMIR ISPD ISSAC ISSE ISSRE ISSTA ISWC iTrust IUI IVA IWIA IWPSE IWUC KDD KDID KI KiVS KiVS Kurzbeiträge und Workshop KR LA-WEB LCPC LCTES LICS LISA LoCA LOPSTR LPAR LPNMR Machine Learning MASCOTS Middleware MLMI MOBICOM MobiHoc Mobile Data Management MobiQuitous MobiSys MoDELS Satellite Events MSST MSWiM Multimedia Information Retrieval NCA NDSS NETGAMES Neural Computation NIPS NLDB NMR NOSSDAV NSDI OOPSLA OPODIS OSDI OSS Pacific Symposium on Biocomputing PaCT PADL PAKDD PAM PASTE PDP Peer-to-Peer Computing Peer-to-Peer Systems and Applications PerCom PerCom Workshops Personal and Ubiquitous Computing Pervasive PLC PLDI PODC PODS POLICY POPL PPDP PPOPP PPSN PPSWR Privacy Enhancing Technologies PROMAS PST Public Key Cryptography PVM/MPI QEST RAID Requir. Eng. RIDE RISE RITA RoboCup Robotics: Science and Systems RobuCup RTA RTCSA RTSS Rule Languages for Interoperability RuleML SACMAT SAINT SARA SAS SASN SAT SBIA SC Scale-Space SCAM Sci. Comput. Program. Scientific Programming SCN SCOPES SCW SDM Security, Steganography, and Watermarking of Multimedia Contents SEFM Selected Areas in Cryptography SEM SenSys SI3D SIGARCH Computer Architecture News SIGCOMM SIGIR SIGIR Forum SIGKDD Explorations SIGMETRICS SIGMOD Conference SIGSOFT FSE SLIP Smart Graphics SODA Software and System Modeling Software Composition Softw. Test., Verif. Reliab. SOSE S&P SPAA Speech Communication SPIN SPIRE SPLC SRDS SSDBM STACS STOC SWAT Symposium on Computational Geometry Symposium on Geometry Processing Tabletop TACAS TACO TAP TCC TestCom TGC TLCA TOMCCAP TOS TOSN TPHOLs TSD UAI Ubicomp UIST UPP USENIX Annual Technical Conference, FREENIX Track USENIX Annual Technical Conference, General Track USENIX Security Symposium VEE Vehicular Ad Hoc Networks VisSym VLDB VMCAI W2GIS W4A WAC WADS WEA Web3D WebDB WG WIDM WILF WiOpt Wireless Communications and Mobile Computing WIRI WISA WISES WONS World Wide Web WOWMOM WPES WSCG (Full Papers) WWW WWW (Alternate Track Papers & Posters) WWW (Special interest tracks and posters) Xsym ZB