[rede.APPIA] historical LP documents

Dear all


I’ve been meaning to do it for some time…
Finally I went to my basement, found and scanned some historical LP documents I was involved in.
They can be found here:

L. M. Pereira, A. Porto, L. MonteiroM. Filgueiras (Eds.), Procs. Logic Programming Workshop’83, 630 pp., Praia da Falésia, Albufeira, Algarve, Portugal, June 26-July 1, 1983.  Published by Departamento de Informática, Universidade Nova de Lisboa, Portugal, 1983.     Proceedings and Poster

L. M. Pereira, A. Nerode (Eds.), Logic Programming and Non–monotonic Reasoning (LPNMR’93), Procs. of the Second Intl. Workshop, The MIT Press, 1993.   Poster

L. M. Pereira (Org.), 6th Int. Conf. on Logic Programming (ICLP’89), The MIT Press, 1989.  Poster



Best regards
Luís Moniz Pereira

[rede.APPIA] Projeto OMECO – Bolsas de Investigação Mestre

Bom dia,
Solicita-se a divulgação de Bolsas de Investigação (Mestre), no âmbito do projeto "OMECO – One Stop Shp Marketing Ecosystem", destinada a mestres em Engenharia Informática, Ciência de Computadores ou área afim.
Candidaturas: de 20-11-2019 a 03-12-2019. 
 

O trabalho a realizar diz respeito à definição de um marketplace, embebido de ferramentas eficientes, suportadas por metodologias de inteligência artificial para:

 – gestão da disponibilidade dos parceiros de produção e distribuição, usando o paradigma da inteligência artificial distribuída 

– otimização do planeamento de produção, aplicando técnicas de escalonamento e otimização por restrições

– otimização do processo de distribuição, explorando metodologias de cooperação distribuída

– gestão de picking e embalamento de (sub)encomendas, incluindo realidade aumentada na otimização

 – controlo/deteção de potenciais erros  de produção, explorando diferentes técnicas de aprendizagem computacional    

Mais informações em

Cumprimentos,
   Ana Paula Rocha 

[rede.APPIA] Projeto OMECO – Bolsa de Investigação Doutor

Bom dia,
Solicita-se a divulgação de uma Bolsa de Investigação para Doutor, no âmbito do projeto "OMECO – One Stop Shp Marketing Ecosystem", destinada a Doutor em Engenharia Informática, Ciência de Computadores ou área afim.
Candidaturas: de 20-11-2019 a 03-12-2019. 
 

O trabalho a realizar diz respeito à definição de um marketplace, embebido de ferramentas eficientes, suportadas por metodologias de inteligência artificial para:

 – gestão da disponibilidade dos parceiros de produção e distribuição, usando o paradigma da inteligência artificial distribuída 

– planeamento da distribuição e entrega de encomendas totais/parciais e multiprodutos

– gestão de disrupções na produção e distribuição, explorando metodologias de cooperação distribuída e aprendizagem computacional   

Mais informações em
 

Cumprimentos,
   Ana Paula Rocha 

[rede.APPIA] CFP: 7th Computational Creativity Symposium at AISB 2020

https://easychair.org/cfp/cc2020

CC2020: 7th Computational Creativity Symposium at AISB 2020
St Mary’s University, Twickenham
London, UK, April 6-9, 2020

Conference website https://sites.google.com/view/aisb2020cc/home
Submission link https://easychair.org/conferences/?conf=cc2020
Submission deadline January 10, 2020

    7th Computational Creativity Symposium at AISB 2020
The Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) is the largest Artificial Intelligence Society in the United Kingdom. Founded in 1964, the AISB is the world’s oldest AI society and continues to attract an international membership drawn from both academia and industry. It is a member of the European Coordinating Committee for Artificial Intelligence.

AISB 2020 is the annual convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The convention will consist of parallel symposia and will run from April 6th to April 9th 2020. 

The 7th Computational Creativity Symposium at AISB will feature a number of presentations covering a range of topics in the evolving field of Computational Creativity. Issues addressed included practical work in the area, theoretical approaches to creativity, and philosophical questions raised on the potential of non-human creative agents. This year we shall also run a Show-and-Tell demo session as well as the paper presentations.


    Computational Creativity
Over the last few decades, computational creativity has attracted an increasing number of researchers from both arts and science backgrounds, from academia and industry. Philosophers, cognitive psychologists, computer scientists and artists have all contributed to and enriched this area of research.  

Many argue a machine is creative if it simulates or replicates human creativity (e.g. evaluation of AI systems via a Turing-style test), while others have conceived of computational creativity as an inherently different discipline, where computer-generated (art)work should not be judged on the same terms, i.e. as being necessarily producible by a human artist, or having similar attributes, etc.

This symposium aims at bringing together researchers to discuss recent technical and philosophical developments in the field, and the impact of this research on the future of our relationship with computers and the way we perceive them: at the individual level where we interact with the machines, the social level where we interact with each other via computers, or even with machines interacting with each other.

*New this year* we shall have two types of submissions for the symposium: a call for full papers, and a call for demos of creative software for a Show-and-Tell session within the symposium.

On the day of the symposium, we will have a combination of paper presentations and a Show-and-Tell-style demo session of creative systems. You are invited to submit either a full research paper for a paper presentation (up to 8 pages) or an extended abstract for a slot in the Show-and-Tell session (up to 2 pages) focusing on demoing your creative system’s functionality. You are welcome to submit to both tracks. We encourage the submission of work in progress as well as more mature work.

Authors of accepted papers will be expected to give 30-minute presentations, including 5 to 10 minutes for questions, on the day of the symposium. Authors of accepted demo abstracts will be expected to participate in the Show and Tell session, demoing their creative system and allowing time for questions. We are considering the publication of a selection of extended and re-reviewed papers from the symposium in a journal special issue. More details will follow!

We would like to highlight that this year we have added a Show-and-tell Demo session. Although papers must be original and not simultaneously submitted to another journal or conference, demo abstracts submitted to this part of the AISB call can be about systems reported in papers submitted elsewhere. Topics of interest include but are not limited to:

    List of Topics
– Novel systems and theories in computational creativity, in any domain, e.g. drawing and painting, music, storytelling, poetry, games.
– The evaluation of computational creative systems, processes and artifacts.
– Theory of computational aesthetics.
– Representational issues in creativity, including visual and perceptual representations.
– Social aspects of computational creativity, and intellectual property issues.
– Creative autonomy and constraint.
– Computational appreciation of artifacts, including human artwork.


    Committees

    Program Committee (confirmed so far)
Maya Ackerman (Santa Clara University)
Amílcar Cardoso (University of Coimbra)
Simon Colton (Queen Mary University of London)
Mark d’Inverno (Goldsmiths, University of London)
Jeremy Gow (Queen Mary University of London)
Bipin Indurkhya (AGH University of Science and Technology)
Colin Johnson (University of Kent)
Anna Kantosalo (Aalto University)
Carlos León (Universidad Complutense de Madrid)
Penousal Machado (University of Coimbra)
Jon McCormack (Monash University)
Hannu Toivonen (University of Helsinki)
Tony Veale (University College Dublin)
Dan Ventura (Brigham Young University)
Geraint Wiggins (Vrije Universiteit Brussel / Queen Mary University of London)

    Organizing committee

Juan Alvarado (Queen Mary University of London)
Anna Jordanous (University of Kent)


    Venue
The conference will be held at St Mary’s University, Twickenham in London, UK from 6 – 9 April 2020. More information on https://aisb20.wordpress.com/


    Contact
All questions about submissions should be emailed to cc2020[at]easychair.org. For more information visit https://sites.google.com/view/aisb2020cc/home 

[rede.APPIA] Fwd: ICPEC 2020 Poster

International Computer Programming Education Conference
Let me highlight:
por favor divulguem e participem ativamente enviando papers e assistindo à conferência
obrigado
pedro

[rede.APPIA] Fwd: 2nd International School on Informatics and Dynamics in Complex Networks

FYI
——– Mensaje reenviado ——– Asunto: 2nd International School on Informatics and Dynamics in Complex Networks Fecha: Wed, 30 Oct 2019 12:00:46 +0000 De: Michele Malgeri <michele.malgeri@unict.it>
This is the call for the Second edition of the school on the complex networks that my team contributes to organize. The school will be held in Catania next February and it is especially aimed at young researchers and PhD students. I ask you the courtesy to spread the call to all those who may be interested.
isidcn.dieei.unict.it
2nd International School on Informatics and Dynamics in Complex Networks University of Catania, Catania, Italy 10 -14 February 2020 Application Deadline: december 10th 2019
The school is organized at the University of Catania, Italy, by the Department of Electrical Electronics and Computer Science and the Cometa Consortium. It consists of a series of lectures given by leading scientists in the field, aiming at providing a comprehensive treatment from background material to advanced results. The school is specially directed to PhD students and young researchers interested to the diverse aspects of the theory and applications of complex networks in science and engineering. The school aims at encouraging cross-disciplinary discussions between participants and speakers and start new joint researches.
SPEAKERS: Stefano Boccaletti — ICS – CNR Manlio De Domenico — FBK Trento Jesus Gomez-Gardenes — University of Zaragoza Vito Latora — University of Catania Tiago de Paula Peixoto — Central European Univ. Andrea Tagarelli — University of Calabria SCIENTIFIC BOARD Paolo Arena — University of Catania Vito Latora — University of Catania Yamir Moreno — BIFI Univ. of Zaragoza Alessandro Vespignani – Northeastern Univ. Boston ORGANIZERS Vincenza Carchiolo — University of Catania Mattia Frasca — University of Catania Giuseppe Mangioni — University of Catania APPLICATIONS Prospective participants have to send their application via E_mail at cometa.segreteria@consorzio-cometa.it including their name, affiliation, current position and short CV. Participants will be selected based on their CV.
Contact vincenza.carchiolo@unict.it giuseppe.mangioni@dieei.unict.it mattia.frasca@unict.it cometa.segreteria@consorzio-cometa.it
—- Associate Professor in Computer Engineering Dip. Ingegneria Elettrica Elettronica Informatica Università di Catania – Italy Viale Andrea Doria, 6 – 95127 Catania +39 095 738 2360

[rede.APPIA] Projeto DARGMINTS — Bolsa de Investigação BI-M (12+6 meses)

Solicita-se a divulgação de uma Bolsa de Investigação (Mestre), no âmbito do projeto FCT DARGMINTS, destinada a mestres em Engenharia Informática, Ciência de Computadores, Matemática Aplicada ou área afim.
Local: Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto

Candidaturas: de 15-11-2019 a 28-11-2019.