Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

XATA 2005: XML: aplicações e tecnologias associadas

Esta é a terceira conferência sobre a temática do XML, que tenta reunir anualmente a comunidade XML portuguesa. Olhando para o passado, e estudando o que aconteceu, podemos observar uma evolução interessante. Na primeira conferência (2003), houve uma vintena de trabalhos submetidos, maioritariamente da autoria ou da supervisão dos membros que integravam a comissão organizadora. Na segunda conferência (2004), houve uma participação mais forte da comunidade portuguesa mas ainda com números pouco expressivos. Nesta altura, apostou-se também numa forte participação da indústria, o que se traduziu num conjunto apreciável de apresentações de casos reais. Nesta terceira edição, a participação excedeu as nossas expectativas. Houve uma forte adesão nacional e internacional (Espanha e Brasil, o que para um evento onde se pretende privilegiar a língua portuguesa é ainda mais significativo). A distribuição geográfica em Portugal também aumentou, havendo mais instituições participantes. Se analisarmos as temáticas, abordadas nas três conferências, percebemos que também aqui há uma evolução no sentido de uma maior maturidade. Enquanto que no primeiro encontro, os trabalhos abordavam problemas emergentes na utilização da tecnologia, no segundo encontro a grande incidência foi nos Web Services, uma nova tecnologia baseada em XML e, no terceiro, a maior incidência é na construção de repositórios, motores de pesquisa e linguagens de interrogação. Isto poderá revelar que, de certa forma, os investigadores e os utilizadores já dominam bem a tecnologia, já têm as sua linhas de produção documental em XML e que agora é chegado o momento de armazenar aquela informação em repositórios e de a utilizar a partir deles. Se reflectirmos um pouco sobre o ciclo de vida documental, podemos concluir que o armazenamento aparece como uma das últimas fases. Por isso, podemos dizer que a comunidade portuguesa de XML "está a fechar" o ciclo de desenvolvimento documental XML. Nesta edição, houve um elevado número de submissões o que levou a uma sobrecarga de trabalho por parte dos revisores. Estes conseguiram desempenhar bem o seu papel e cumprir as datas definidas pelo "chair". Mas o que aconteceu fez-nos pensar que há necessidade de alargar ainda mais a Comissão Científica. Como consequência do número elevado de submissões houve algumas rejeições. Aos respectivos autores, fica aqui expresso um voto para que melhorem os respectivos trabalhos e de que esperamos ter contribuído para isso com os relatórios de revisão que foram enviados.Microsoft Portuga

Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications