CAPES
ÁREA DE COMPUTAÇÃO
Principais Periódicos, Congressos e Workshops


Roberto da Silva Bigonha
Representante da Área

SUMÁRIO

  1. Introdução
  2. Convenções
  3. Critérios para Caracterização dos Veículos
  4. Caracterização dos Veículos
  5. Relação de Todos os Veículos
  6. Colaboradores

INTRODUÇÃO

[
última] [próxima] [sumário]

Os processos de avaliação da Capes são baseados no julgamento pelos pares, realizado por meio de um corpo de consultores ad hoc, indicados pelo representante de cada área do conhecimento. Sabe-se que a qualidade de qualquer julgamento depende predominantemente na competência de quem o realiza. Todo o processo apóia-se no conhecimento técnico-científico dos consultores, que geralmente se orientam por parâmetros de qualidade próprios, sendo por isto insubstituíveis e imprescindíveis para garantir transparência e justiça.

Por outro lado, a grande diversidade de subáreas na Computação e o elevado volume e tipos de veículos de divulgação científica existentes podem dificultar o trabalho dos consultores, principalmente no julgamento de processos da modalidade fluxo contínuo e em diferentes subáreas. Em vista disto, parece apropriado destacar o papel e objetivos dos cursos de pós-graduação, melhor identificar os veículos de divulgação científica comumente utilizados por pesquisadores brasileiros da área de Ciência da Computação e futuramente definir um conjunto de critérios gerais que possa orientar, sem restringir, o trabalho dos consultores.

Nesse sentido, ressalta-se que os principais produtos esperados dos cursos de pós-graduação em nossa área são:

Além das funções associadas aos resultados acima, o professor de pós-graduação, atuante em ensino e pesquisa e permanentemente atento aos mais recentes avanços em sua área de pesquisa, também deve exercer o papel de decodificador da ciência -- termo do professor Eduardo Moacyr Krieger -- principalmente para os estágios iniciais de formação profissional. É neste papel que o desenvolvimento de livros-textos de boa qualidade para disciplinas de graduação constitui-se atividade produtiva altamente relevante para o desenvolvimento e amadurecimento da área de Computação no País, e que, portanto, deve ser altamente valorizada na avaliação de cursos de pós-graduação. A publicação de livros de alta qualidade deve ser equiparada ao nível, ou até mesmo acima, conforme o caso, das melhores publicações científicas.

Certamente é difícil estabelecer um conjunto de indicadores que permita avaliar indiretamente a qualidade de livros. Reconhecem-se, contudo, como indicadores positivos sua publicação por editoras reconhecidas, que tenham ampla distribuição e circulação, e que sejam adotados por bons cursos. Mas, a formação de juízo de valor para cada caso é tarefa do consultor.

Por outro lado, a classificação, quanto à qualidade, dos veículos de divulgação de resultados de pesquisa, embora também complexa, possui parâmetros mais objetivos, embora a definição de níveis de qualidade seja muito polêmica. Assim, propõe-se, antes de buscar a definição de níveis de qualidade, executar um trabalho de identificação dos veículos comumente utilizados, e sua categorização em classes conforme alguns fatores característicos, deixando em aberto sua estratificação em níveis de qualidade, que continua sendo da responsabilidade de cada consultor.

Os parâmetros de identificação propostos não são definitivos, mas apenas estabelecem um ponto de partida. Além disto, a classificação apresentada a seguir é parcial e dinâmica. Ao longo do tempo, ela estará sendo aumentada e alterada, em função das indicações que nos forem encaminhadas pelos especialistas de cada subárea da Computação e principalmente pelos consultores ad-hoc da CAPES.

A ordem de classificação apresentada não tem qualquer relação definida com possíveis níveis de qualidade. O que se pretende nesta classificação é conhecer melhor os veículos mais utilizados e facilitar sua identificação. Ao consultor é facultado definir níveis de qualidade, agrupando, se assim o desejar, as categorias identificadas abaixo na forma que julgar mais apropriada, ou seja, cada periódico, congresso ou workshop continua tendo a qualidade que lhe for atribuída por cada consultor, de acordo com o julgamento e avaliação baseados em critérios próprios. Ressalte-se ainda que eventos ou periódicos dentro de um mesmo grupo podem ter níveis de qualidade diferenciados. E nada impede que veículos específicos de diferentes grupos sejam considerados de mesmo nível. Garante-se, contudo, que, dentro de um mesmo grupo, todos possuem um conjunto de características comuns.


CONVENÇÕES

[
anterior] [próxima] [sumário]
Para categorização dos veículos de divulgação científica, foram adotadas as seguintes convenções:


CRITÉRIOS PARA CARACTERIZAÇÃO DOS VEÍCULOS

[
anterior] [próxima] [sumário]
A classificação dos veículos apresentada abaixo está baseada nos seguintes indicadores:


CARACTERIZAÇÃO DOS VEÍCULOS

[
anterior] [próxima] [sumário]


RELAÇÃO DE TODOS OS VEÍCULOS

[
anterior] [próxima] [sumário]

  1. AAAI: National Conference on AI (I)
  2. ACM/IEEE: Design Automation Conference (?)
  3. ACM/IEEE: International Conference on Software Engineering (I)
  4. ACM: Annual Symposium on Computational Geometry (IV)
  5. ACM: Communications of the ACM (I)
  6. ACM: Computer Personnel Research Conference (?)
  7. ACM: Computing Surveys (I)
  8. ACM: Conference on Computer Supported Cooperative Work (I)
  9. ACM: Conference on Human Factors in Computing (?)
  10. ACM: Conference on Object Oriented Programming Systems, Languages, and Applications (I)
  11. ACM: Conference on Programming Language Design and Implementations (I)
  12. ACM: Conference on System Documentation (?)
  13. ACM: Conference on the Measurement and Modeling of Computer Science (?)
  14. ACM: European Design and Test Conference (?)
  15. ACM: Guide to Computing Literature (?)
  16. ACM: Hypertext (?)
  17. ACM: International Conference in Graphics and Interactive Techniques (?)
  18. ACM: International Conference on Arch. Support for Prog. Languages and Operations Systems (I)
  19. ACM: International Conference on Assistive Technologies (?)
  20. ACM: International Conference on Autonomous Agents (?)
  21. ACM: International Conference on Computer Aided Design (?)
  22. ACM: International Conference on Digital Libraries (?)
  23. ACM: International Conference on Functional Programming (I)
  24. ACM: International Conference on Functional Programming and its Extensions (?)
  25. ACM: International Conference on Intelligent User Interfaces (?)
  26. ACM: International Conference on Management of Data (I)
  27. ACM: International Conference on Performance Evaluation (I)
  28. ACM: International Conference on Principles of Database Systems (I)
  29. ACM: International Conference on Research and Development in Information Retrieval (I)
  30. ACM: International Conference on Supercomputing (?)
  31. ACM: International Symposium on Computer Architecture (?)
  32. ACM: International Symposium on Microarchitecture (?)
  33. ACM: International Symposium on Symbolic Computation (?)
  34. ACM: International Workshop on Advances in Geographic Informations Systems (?)
  35. ACM: Journal of the ACM (I)
  36. ACM: SIG3C Newsletter? (XI)
  37. ACM: SIGADA Newsletter? (XI)
  38. ACM: SIGAPL Newsletter? (XI)
  39. ACM: SIGAPP Newsletter? (XI)
  40. ACM: SIGARCH Newsletter? (XI)
  41. ACM: SIGART Newsletter? (XI)
  42. ACM: SIGAS Newsletter? (XI)
  43. ACM: SIGAT Newsletter? (XI)
  44. ACM: SIGBIO Newsletter? (XI)
  45. ACM: SIGCAPH Newsletter? (XI)
  46. ACM: SIGCHI Newsletter? (XI)
  47. ACM: SIGCHI Bulletin (XI)
  48. ACM: SIGCOMM Newsletter? (XI)
  49. ACM: SIGCPR Newsletter? (XI)
  50. ACM: SIGCSE Newsletter? (XI)
  51. ACM: SIGCSE Bulletin (XI)
  52. ACM: SIGCUE Newsletter? (XI)
  53. ACM: SIGDA Newsletter? (XI)
  54. ACM: SIGDOC Newsletter? (XI)
  55. ACM: SIGGRAPH Newsletter? (XI)
  56. ACM: SIGGRAPH Newsletter? (XI)
  57. ACM: SIGGRAPH LITE Newsletter? (XI)
  58. ACM: SIGGRAPH: Visual Proceedings (XI)
  59. ACM: SIGICE Bulletin (XI)
  60. ACM: SIGIR Newsletter? (XI)
  61. ACM: SIGLINK Newsletter? (XI)
  62. ACM: SIGMETRICS Newsletter? (XI)
  63. ACM: SIGMETRICS and Performance Newsletter? (XI)
  64. ACM: SIGMICRO Newsletter? (XI)
  65. ACM: SIGMIS Newsletter? (XI)
  66. ACM: SIGMM Newsletter? (XI)
  67. ACM: SIGMOD Record (XI)
  68. ACM: SIGNUM Newsletter? (XI)
  69. ACM: SIGOIS Bulletin (XI)
  70. ACM: SIGOPS Newsletter? (XI)
  71. ACM: SIGPLAN Notices (XI)
  72. ACM: SIGSAC Review (XI)
  73. ACM: SIGSAM Bulletin (XI)
  74. ACM: SIGSIM Newsletter? (XI)
  75. ACM: SIGSOFT Newsletter? (XI)
  76. ACM: SIGUCCS Newsletter? (XI)
  77. ACM: Symposium on Applied Computing (?)
  78. ACM: Symposium on Communications, Architecture and Protocols (?)
  79. ACM: Symposium on Designing Interactive Systems (?)
  80. ACM: Symposium on Parallel Algorithm and Architectures (?)
  81. ACM: Symposium on Principles and Practice of Parallel Programming (I)
  82. ACM: Symposium on Principles of Distributed Computing (?)
  83. ACM: Symposium on Principles of Programming Languages (I)
  84. ACM: Symposium on Software Reusability (?)
  85. ACM: Symposium on User Interface Software and Technology (?)
  86. ACM: Symposium on the Foundations of Software Engineering (?)
  87. ACM: Symposium on the Principles of Database Systems (?)
  88. ACM: Symposium on the Theory of Computing (?)
  89. ACM: TRI-Ada - The Engineering and Management of Software (?)
  90. ACM: The International Conference on APL (?)
  91. ACM: The Technical Symposium on Computer Science Education (?)
  92. ACM: Transaction on Networking (?)
  93. ACM: Transactions Database Systems (I)
  94. ACM: Transactions Design Automation of Eletronic Systems (I)
  95. ACM: Transactions Graphics (I)
  96. ACM: Transactions Programming Languages and Systems (I)
  97. ACM: Transactions on Computer Systems (I)
  98. ACM: Transactions on Computer-Human Interaction (I)
  99. ACM: Transactions on Information Systems (I)
  100. ACM: Transactions on Mathematical Software (I)
  101. ACM: Transactions on Modelling and Computer Simulation (I)
  102. ACM: Transactions on Networking (I)
  103. ACM: Transactions on Software Engineering and Methodology (I)
  104. ACM: User Service Conference (?)
  105. ACM: Workshop in Computational Learning Theory (?)
  106. ACM: Workshop on Effective Abstraction in Multimedia (?)
  107. ACM: Workshop on Intermediate Representations (XIV)
  108. ACM: Workshop on Languages, Compiler, & Tools for Real-Time Systems (XIV)
  109. ACM: Workshop on ML and Its Applications (?)
  110. ACM: Workshop on Partial Evaluation and Semantics-Based Program Manipulation (I)
  111. ACTA Informatica, Springer Verlag (I)
  112. ALP: Joint International Conference and Symposium on Logic Programming (?)
  113. ASL: Journal of Philosophical Logic (?)
  114. Algebraic and Logic Programming (?)
  115. Algorithmica, NY (I)
  116. Analytic Tableaux and Related Methods (?)
  117. Annals of Operations Research (IV)
  118. Annals of Pure and Applied Logic, North Holland (?)
  119. Ars Combinatoria (II)
  120. Artificial Intelligence (?)
  121. Associating CMOS (?)
  122. BCS: Formal Aspects of Computing (?)
  123. BCS: The Computer Journal (I)
  124. BCS/FACS: International Conference of Z Users (I)
  125. Brazilian Congress on Neural Networks (?)
  126. British Colloquium on Theoretical Computer Science (?)
  127. Bulletin of the IGPL (?)
  128. Bulletin of the Sec. Logic (?)
  129. CAD for Process Innovation in the Construction Industry (?)
  130. CADE-13 Workshop on Proof Search in Type-Theoretic Languages (?)
  131. CASCON (?)
  132. CASE (?)
  133. CMG: International Conference (?)
  134. COMPULOG-NET Workshop and Area Meeting on Parallelism and Implementation Technology (?)
  135. CONTROL Engineering (?)
  136. CYTED-RITUS International Workshop on Groupware (?)
  137. Category Theory and Computer Science (?)
  138. Collected Algorithms (?)
  139. Colloquium on Trees in Algebra and Programming (?)
  140. Colorado Conference on Interactive Methods (?)
  141. Communication in Statistics: Stochastic Models (I)
  142. Computational Intelligence (?)
  143. Computational Linguistics (I)
  144. Computer (?)
  145. Computer Abstracts (?)
  146. Computer Communications Reviews, Inglaterra (?)
  147. Computer Music Journal (?)
  148. Computer Networks and ISDN Systems (?)
  149. Computer News (Computer Abstracts) (?)
  150. Computer Reviews (?)
  151. Computer Stan. Interfaces, Inglaterra (?)
  152. Computers & Graphics (?)
  153. Conference of the Germany Classification Society (?)
  154. Conference on Aided Verification
  155. Conference on Communications Computers and Signal Processing (?)
  156. Conference on Computational Learning Theory (?)
  157. Conference on Database and Expert Systems Applications, London (?)
  158. Conference on Distance Learning and New Technologies in Education (?)
  159. Conference on Parallel Computing (?)
  160. Conferencia Latino Americana de Informatica (?)
  161. Conferencia National de Ciencias de la Computacion de Bolivia (?)
  162. Congreso Argentino de Ciencias de la Computación (XIV)
  163. Congreso Internacional de Informatica Educativa (Argentina) (?)
  164. Congreso Internacional de Ingeneria Informatica (Argentina) (?)
  165. Congreso International de Tecnologia y Aplicationes Informaticas (Uruguai) (?)
  166. Congreso Latino Americano de Investigacion Operativa (XII)
  167. Congress of Computing in Civil Engineering (?)
  168. Congress of L'Assoc. Canadienne Française pour L'Avancement des Sciences (?)
  169. Congresso Brasileiro de Automática (?)
  170. Congresso Brasileiro de Redes Neurais (IX)
  171. Congresso Ibero Latino Americano sobre Métodos Computacionais e En. (?)
  172. Congresso Iberoamericano de Educación Superior en Computación (XIV)
  173. Congresso Internacional de Telecomunicação e Telemática (?)
  174. Congresso International de LOGO, Porto Alegre (?)
  175. Congresso Latino Americano Controle Automático (?)
  176. Congresso ZUM, Limarick (?)
  177. Congresso de Informática e Telecomunicações do Mato Grosso (?)
  178. Cybernetics and Systems, Bristol (?)
  179. Data and Knowledge Engineering (I)
  180. Deductive Databases and Logic Programming (?)
  181. Discrete Mathematics (II)
  182. Discrete and Applied Mathematics, Amsterdam, Holanda (II)
  183. Discrete and Computational Geometry (I)
  184. Dover Publications (?)
  185. Dr. DOBB's Journal (?)
  186. EACSL: Computer Science Logic (CSL) (?)
  187. EATCS: International Conference on Automata, Language and Programming (?)
  188. EPMESC Conference (?)
  189. ERI: International Conference on Conceptual Modeling (I)
  190. ERI: International Conference on the Entity-Relationship Approach(I)
  191. EURO-DAC (?)
  192. EURO-VHDL (?)
  193. EUROMICRO (?)
  194. Enhancing the Human-Computer Interface of Power System Application (?)
  195. Escola de Computação (?)
  196. Eurographics Workshop on Design, Specification, Verifications of IN... (?)
  197. Euromicro Journal (?)
  198. European Association for Logic, Language, Information and Computations (?)
  199. European Conference on CSCW (II)
  200. European Conference on Object-Oriented Programming (?)
  201. European Design Automation Conference with EURO-VHDL (?)
  202. European Forth Conference (?)
  203. European Journal of Operations Research, Amsterdam, Holanda (I)
  204. European Symposium on Algorithms (?)
  205. European Symposium on Programming (?)
  206. European Symposium on the Valid. and Verif. on Knowledge Based Systems (?)
  207. FORTRAN Forum (?)
  208. FoLLI: Journal of Logic, Language and Information, Klugwer Academic Publishers (?)
  209. Formal Methods in Software Practice (?)
  210. Foundational Methods in Computer Science Workshop (?)
  211. Foundations of Software Technology & Theoretical Computer Science (?)
  212. Glasgow Functional Programming Workshops (?)
  213. Graphical Models and Image Processing (?)
  214. Graphs and Combinatorics (II)
  215. High Performance Computer Conference (?)
  216. High-Level Programming Models and Supportive Environments (?)
  217. High-Performance Functional Computing Conference (?)
  218. ICLP: Workshop on Deductive Databases (?)
  219. IEE/ECLA/IFIP: International Conference on Architecture and Design Methods for Balanc (?)
  220. IEEE/Peru Congreso International de Ingenieria Electronica (?)
  221. IEEE: Communications Magazine (?)
  222. IEEE: Computer Graphics and Applications (?)
  223. IEEE: Conference on System Research Man & Cybernetics (?)
  224. IEEE: Conference on Systems (?)
  225. IEEE: Control Systems Magazine (?)
  226. IEEE: Design & Test of Computers (?)
  227. IEEE: Globecom (II)
  228. IEEE: ITS (III)
  229. IEEE: Infocom (I)
  230. IEEE: International Conference on Data Engineering (I)
  231. IEEE: International Conference on Fault-Tolerant Computing Systems (I)
  232. IEEE: International Conference on Image Processing (III)
  233. IEEE: International Conference on Robotics and Automation (?)
  234. IEEE: International Conference on Software Maintenance (?)
  235. IEEE: International Conference on Software Reuse (I)
  236. IEEE: International Conference on Very Large Scale Integration (?)
  237. IEEE: International Confererence on Parallel and Distributed Information System (II)
  238. IEEE: International Parallel Processing Symposium (?)
  239. IEEE: International Symposium on Fault-Tolerance Computing (?)
  240. IEEE: International Symposium on Requirements Engineering (I)
  241. IEEE: International Telecommunications Symposium (?)
  242. IEEE: International Workshop on Computer-Aided Software Engineering (?)
  243. IEEE: International Workshop on Hardware/Software Codesign (?)
  244. IEEE: International Workshop on Rapid Systems Prototyping (?)
  245. IEEE: Journal on Selected Areas in Communications (I)
  246. IEEE: Logic in Computer Science (?)
  247. IEEE: Micro (?)
  248. IEEE: Midwest Symposium on Circuits and Systems (?)
  249. IEEE: Network (?)
  250. IEEE: Software (I)
  251. IEEE: Symposium on Visual Languages (?)
  252. IEEE: Transactions on Communications (I)
  253. IEEE: Transactions on Computer Aided Design of Integrated Circ. System (I)
  254. IEEE: Transactions on Computers (I)
  255. IEEE: Transactions on Data A. Engineering (I)
  256. IEEE: Transactions on Database Systems (I)
  257. IEEE: Transactions on Knowledge and Data Engineering (I)
  258. IEEE: Transactions on Networking (I)
  259. IEEE: Transactions on Software Engineering (I)
  260. IEEE: Transactions on Systems Man & Cybernetic (I)
  261. IEEE: Working Conference on Reverse Engineering (XIV)
  262. IFAC/IFIP: Workshop on Real-Time Programming (?)
  263. IFIP: 10 Working Group Very Large Scale Integration Systems (?)
  264. IFIP: 9.4 Information Technology for Development International Conference (?)
  265. IFIP: 9.5 Multimedia Concept of Virtuality and Culture International Conference (?)
  266. IFIP: Conference on Hardware Description Languages (?)
  267. IFIP: International Symposium on Protocol Specification, Testing and Verification (?)
  268. Image and Vision Computing (?)
  269. Implementation of Functional Languages Workshop (?)
  270. Informatica Hoje (?)
  271. Information Processing Letters (IV)
  272. Information System Analysis and Synthesis (?)
  273. Information System, Oxford (?)
  274. Information and Computation (?)
  275. Inspec Electronics and Computing - CD ROM (?)
  276. Inspec Matters (?)
  277. Integer Programming and Combinatorial Optimization (IV)
  278. Interactions (?)
  279. International Colloquium On Automata, Languages and Programming (?)
  280. International Computer Symposium - HSINCHU (?)
  281. International Conference Phot. Scienc. (?)
  282. International Conference of the Chilean Society in Information Science (VI)
  283. International Conference on Advanced Information Systems Engineering (II)
  284. International Conference on Algebraic and Logic Programming (?)
  285. International Conference on Algebrais Methology and Software (?)
  286. International Conference on Artificial Neural Networks and Genetics (?)
  287. International Conference on Automation, Robotics and Computer Vision (?)
  288. International Conference on Compiler Construction (?)
  289. International Conference on Computer Communication (II)
  290. International Conference on Computer-Human Interface (?)
  291. International Conference on Computing and Information (?)
  292. International Conference on Database Theory (II)
  293. International Conference on Database and Expert System Applications (II)
  294. International Conference on Deductive and Object-Oriented Databases (?)
  295. International Conference on Engineering Applications of Neural Networks (?)
  296. International Conference on Functional Programming (?)
  297. International Conference on Information Sciences and Systemns (II)
  298. International Conference on Information and Knowledge Mangement (II)
  299. International Conference on Logic Programming (?)
  300. International Conference on Massively Parallel Processing Applications and Development (?)
  301. International Conference on Measuremente and Modeling of Comp. Systems (?)
  302. International Conference on Multi-Agents Systems (?)
  303. International Conference on Object-Role (?)
  304. International Conference on Ordinal and Symbolic Data Analysis (?)
  305. International Conference on Parallel and Distributed Processing (?)
  306. International Conference on Parallel Architecture and Compilation Techniques (?)
  307. International Conference on Parallel and Vector Processing (?)
  308. International Conference on System Science (?)
  309. International Conference on Very Large Databases (I)
  310. International Conference on the Theory and Application of Graphs (?)
  311. International Congress for Logic, Methodology and Philosophy (?)
  312. International Congress of the SCCC (?)
  313. International Congress on Industrial and Applied Mathematics (?)
  314. International Congress on Information Engineering (?)
  315. International Congress on Information Technology (?)
  316. International Fuzzy Systems Association World Congress (?)
  317. International Joint Conference on Artificial Intelligence (II)
  318. International Journal for N. MET. ENG. (?)
  319. International Journal of Computational Geometry & Applications (?)
  320. International Journal of High Speed Computing (?)
  321. International Journal of Parallel Programming (?)
  322. International Journal of Robotics Research (?)
  323. International Logic Programming Symposium (?)
  324. International Static Analysis Symposium (?)
  325. International Summer School on Distributed Algorithms (?)
  326. International Summer School on Logic of Computation (?)
  327. International Symposium of Formal Methods (I)
  328. International Symposium of the Math. Programming Society (III)
  329. International Symposium on Computer Architecture (?)
  330. International Symposium on Cooperative Database Systems for Advanced Applications (III)
  331. International Symposium on Foundations of Computer Science (?)
  332. International Symposium on Fundamentals of Computation Theory (?)
  333. International Symposium on Languages for Intensional Programming (?)
  334. International Symposium on Parallel Symbolic Computation (?)
  335. International Symposium on Programming Language Implementation and Logic Programming (?)
  336. International Symposium on Symbolic and Algebraic Computation (?)
  337. International Symposium on Systems Research Informatics and Cybernetics (?)
  338. International Symposium on Theoretical Aspects of Computer Software (?)
  339. International Telletrafic Congress (I)
  340. International Wokshop on Software Engineering and Artificial for HEP (?)
  341. International Workshop on Configurable Distributed (?)
  342. International Workshop on Higher Order Logic Theorem Proving and its Applications (?)
  343. International Workshop on Hypermedia Design (?)
  344. International Workshop on Memory Management (?)
  345. International Workshop on Power Timing Modeling Optmization and Simulation (?)
  346. International Workshop on the Design of Cooperative Systems (?)
  347. Intersection of Software Engineering and Programming Languages (?)
  348. Investigation Operativa (?)
  349. Irish Neural Network Conference (?)
  350. Italian Conference on Theoretical Computer Science (?)
  351. JSSST International Symposium on Object Technologies for Advanced Software (?)
  352. Jornada Argentina de Informatica e Investigation Operativa (?)
  353. Journal of Algorithms (II)
  354. Journal of Applied Probability (I)
  355. Journal of Automated Reasoning (?)
  356. Journal of Combinatorial Geometry (I)
  357. Journal of Complexity (II)
  358. Journal of Eletronic Testing (?)
  359. Journal of Functional, Inglaterra (?)
  360. Journal of Graph Theory (II)
  361. Journal of Heuristics (XIV)
  362. Journal of Logic & Computation (?)
  363. Journal of Logic Programming (?)
  364. Journal of Mat. Anal. Applications (?)
  365. Journal of Parallel and Distributed Computing (I)
  366. Journal of Robotic Systems (?)
  367. Journal of Solid-State Devices, São Paulo (?)
  368. Journal of Symbolic Computation (?)
  369. Journal of Symbolic Logic (?)
  370. Journal of VLSI Signal Processing (?)
  371. Journal of Visual Communications and Image Representation (?)
  372. Journal of the Interest Group in Pure and Applied Logics (?)
  373. Journal on Performance Evaluation, North Holland (I)
  374. Journees sur L'induction Symboliques/Numerique, Orsay (?)
  375. LISP Pointers (?)
  376. Languages, Compilers, and Tools for Real-Time Systems (?)
  377. Latin American Theoretical Informatics (?)
  378. Lisp Users and Vendors Conference (?)
  379. Location Science, Oxford (?)
  380. Logic in Computer Science (?)
  381. Logical Aspects of Computational Linguistics (?)
  382. MSJ MICROSOFT Systems Journal (?)
  383. Machine Learning (?)
  384. Machine Vision and Aplication, Berlin (?)
  385. Massey Functional Programming Workshop (?)
  386. Mathematical Foundations of Programming Semantics (?)
  387. Mathematical Programming (series A and B) (I)
  388. Mathematical Structures in Computer Science, Cambridge University Press (?)
  389. Micro Sistemas (?)
  390. Micro-28 Symposium on Microarchitecture (?)
  391. Microprocessing and Microprocessors, Amsterdam (?)
  392. Mid-Atlantic States Student Workshop on Programming Languages and Systems (?)
  393. Multi-Paradigm Logic Programming (?)
  394. Multidimensional (?)
  395. Multimedia Systems (?)
  396. Networks - An International Journal (II)
  397. Neural Computing, London (?)
  398. No Nonsense Guide to Computing Careers (?)
  399. Nordic Transputer Conference, Linkoping (?)
  400. Nordic Workshop on Programming Theory (?)
  401. OOPS Messenger (?)
  402. ORSA/TIMS (Operations Research) (IV)
  403. Operations Research (I)
  404. PC Computing (?)
  405. PVM User's Group Meeting, Pittsburgh (?)
  406. Pacsoft Open House (?)
  407. Parallel Architectures and Compilation Techniques (?)
  408. Parallel Distributed Computing (?)
  409. Pattern Recognition, North Holland (?)
  410. RAIRO Recherche Operationelle (II)
  411. Random Structures & Algorithms (II)
  412. Reflection (?)
  413. Reunión National de Inteligencia Artificial (RNIA), Mexico (?)
  414. Revista de Informática Teórica (?)
  415. Robotica (?)
  416. Rochester Forth Conference (?)
  417. SBC/SBMicro: Brazilian Symposium on Integrated Circuit Design (?)
  418. SBC: Jornada de Atualização de Informática (VIII)
  419. SBC: Journal of the Brazilian Computer Society (?)
  420. SBC: Seminário Integrado de Software e Hardware (VIII)
  421. SBC: Simpósio Brasileiro de Arquitetura de Computadores e Proc. de Alto Desempenho (IX)
  422. SBC: Simpósio Brasileiro de Bancos de Dados (VIII)
  423. SBC: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (IX)
  424. SBC: Simpósio Brasileiro de Computação e Música (XIV)
  425. SBC: Simpósio Brasileiro de Concepção de Circuitos Integrados (IX)
  426. SBC: Simpósio Brasileiro de Engenharia de Software (VIII)
  427. SBC: Simpósio Brasileiro de Informática na Educação (IX)
  428. SBC: Simpósio Brasileiro de Inteligência Artificial (V)
  429. SBC: Simpósio Brasileiro de Linguagens de Programação (XIV)
  430. SBC: Simpósio Brasileiro de Redes Neurais (IX)
  431. SBC: Simpósio Brasileiro de Redes de Computadores (VIII)
  432. SBC: Simpósio Brasileiro de Tolerância a Falhas (IX)
  433. SBC: Workshop on Cybernetic Vision (?)
  434. SBC: Workshop on Multimedia and Hypermedia Systems (?)
  435. SBC: Workshop sobre Educação em Informática (XIV)
  436. SBC: Workshop sobre Robótica Inteligente (XIV)
  437. SBMAC: Congresso National da SBMAC (XII)
  438. SIAM: Journal on Computing (I)
  439. SIAM: Review (I)
  440. STANDARD/VIEW (?)
  441. SUIF Compiler Workshop (?)
  442. Science of Programming (?)
  443. Simpósio Brasileiro de Pesquisa Operacional (XII)
  444. Simpósio Brasileiro de Telecomunicações (?)
  445. Simpósio Latino-Americano de Lógica Matemática (?)
  446. Simpósio Nacional de Estatística e Probabilidades (?)
  447. Simulation Symposium (?)
  448. Software Concepts & Tools (?)
  449. Software Practice & Experience, Wiley (I)
  450. South American Workshop on String Processing (?)
  451. South Eastern Conference on Computing, Boca Raton (?)
  452. Springer Verlag: Lectures Notes in Computer Science (?)
  453. Springer Verlag: Lectures Notes on Artificial Intelligence (?)
  454. Springer Verlag: Theory and Practice of Software Development (?)
  455. Studia Logica, Klugwer Academic Publishers (?)
  456. Summer School on Advanced Functional Programming (?)
  457. Supercomputing (?)
  458. Symposium on Fault-Tolerant Computing (?)
  459. Symposium on Foundations of Computer Science (?)
  460. Symposium on Logical Foundations of Computer Science (?)
  461. Syntactic Control of Interference and Linear Logic (?)
  462. Taller de Ingenieria de Sistemas (?)
  463. Telecomunications Systems (?)
  464. The Euromicro Journal (?)
  465. The VLDB Journal (I)
  466. Theoretical Aspects of Computer Software (?)
  467. Theoretical Computer Science, North Holland (?)
  468. Vision Research (?)
  469. Washington Ada Symposium (?)
  470. Winter Meeting of the American Mathematical Society (?)
  471. Winter Meeting of the Association form Symbolic Logic (?)
  472. Wireless Networks (?)
  473. Workshop Orientação a Objetos (XIV)
  474. Workshop W4 on Logical Foundations of Object (ECOOP) (?)
  475. Workshop em Sistemas Hipermedia Distribuídos (?)
  476. Workshop in Effective Abstraction in Multimedia Layout (?)
  477. Workshop on Algebra of Communicating Processes (?)
  478. Workshop on Automated Analysis of Software (?)
  479. Workshop on Automatic Data Layout and Performance Prediction (?)
  480. Workshop on Compiler Support for System Software (?)
  481. Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems (?)
  482. Workshop on Domain-Specific Languages (?)
  483. Workshop on Extensions of Logic Programming (?)
  484. Workshop on Formal Specification of User Interfaces (?)
  485. Workshop on Foundations of Object-Oriented Languages (?)
  486. Workshop on Framework-Centered Software Development (?)
  487. Workshop on Functional Programming, Buenos Aires (?)
  488. Workshop on Functional and Logic Programming (?)
  489. Workshop on Generating Tools from Algebraic Specifications (?)
  490. Workshop on Information Technology (?)
  491. Workshop on Interaction Between Compilers and Computer Architectures (?)
  492. Workshop on Languages, Compilers and Tools for Real-Time Systems (?)
  493. Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers (?)
  494. Workshop on Logic, Language, Information and Computation (?)
  495. Workshop on Persistent Object Systems (?)
  496. Workshop on Software Engineering and Programming Languages (?)
  497. Workshop on Types for Program Analysis (?)
  498. Workshop on Version in Hypertext Systems (?)
  499. Workshop on the Foundations of Object-Oriented Languages, Paris (?)
  500. Workshop on the Implementation of Functional Languages (?)
  501. Workshop on the Revolutionare Computation, Australia (?)
  502. World Congress on Medical Informatics (?)
  503. World Congress on Neural Networks (?)
  504. Requirements Engineering (?)
  505. The Automated Software Engineering Journal (?)
  506. Journal of Software Maintenance (?)

COLABORADORES

[
anterior] [primeira] [sumário]

A realização do presente trabalho de identificação dos congressos e periódicos contou com a colaboração dos seguintes pesquisadores, aos quais agradecemos a valiosa contribuição:



Última modificação: 31 de março de 1997