Memory, Intelligence, Autonomy, Truth and Machines
Exploring human memory's unique qualities compared to machines, Dr. Karachalios discusses intelligence, autonomy, and truth in the context of advancing technology and ethical considerations.
Robot Souls - Programming in Humanity?
Explore the intersection of AI, ethics, and humanity with Dr. Eve Poole as she delves into the philosophical implications of robot consciousness and the future of human-machine relationships.
Theorem Proving and AI
Explore the intersection of theorem proving and artificial intelligence with Josef Urban, delving into cutting-edge research and potential applications in mathematics and computer science.
Accessing Answers to Unions of Conjunctive Queries with Ideal Time Guarantees - I
Explore efficient algorithms for accessing answers to unions of conjunctive queries, focusing on ideal time guarantees and fine-grained complexity in query evaluation.
Fine Grained Complexity
Explore fine-grained complexity theory, its applications in logic, and its role in query evaluation, offering insights into computational efficiency and algorithmic analysis.
Introduction to Relational Algorithms
Explore fine-grained complexity, logic, and query evaluation in relational algorithms, focusing on advanced concepts and their applications in database systems.
Jeanette Winterson: Love, Life and AI - Exploring the Future of Artificial Intelligence
Explore the future of AI with author Jeanette Winterson, discussing its impact on humanity, art, religion, and relationships. Delve into challenging questions about transhumanism and the potential of immortal AI.
Logic and Algebras for Distributed Computing - Applications and Open Questions
Exploring connections between distributed computing and formal program representations, unifying logic and algebra-based approaches for practical language design and theoretical proofs.
Direct Access for Conjunctive Queries with Aggregation
Explore efficient algorithms for simulating sorted query answers with aggregation, examining tractability for various aggregate functions and lexicographic ordering scenarios.
Understanding Queries by Conditional Instances
Explores methods for generating representative database instances to illustrate query satisfaction, aiding in query debugging and comprehension through abstraction and characterization.
Art, Sex, and Medicine - 3 Ethical Dilemmas for AI
Explore ethical dilemmas in AI's impact on art, intimacy, and healthcare. Discover the fascinating intersection of technology and ethics, sparking imagination about our future.
Focusing on Refinement Typing - A Logically Principled Foundation
Explore a logically principled foundation for SMT constraint generation in refinement type systems, combining focalized call-by-push-value, bidirectional typing, and value-determined indexes.
The Complex(ity) Landscape of Checking Infinite Descent
Explore the complexity of checking Infinite Descent in cyclic proof systems, examining various criteria and their parameterized time complexities to improve automatic verification techniques.
O que é Filosofia a maneira clássica?
Explorando a filosofia clássica como formação em valores, Lúcia Helena Galvão compartilha sua experiência de 30 anos ensinando e praticando filosofia, destacando seu impacto na vida e na sociedade.
Homeopathy, Quackery and Fraud
Skeptic James Randi debunks homeopathy and challenges psychics in this provocative talk, demonstrating the dangers of irrational beliefs and the importance of critical thinking.
Power in Political Philosophy - Nature and Justification
Explore the nature and justification of power in political philosophy, examining key concepts and theories that shape our understanding of political authority and legitimacy.
Sociocultural Diversity in Machine Learning - Lessons from Philosophy, Psychology, and Organizational Science
Explore sociocultural diversity in machine learning through insights from philosophy, psychology, and organizational science. Gain valuable lessons for creating more inclusive and effective AI systems.
Value Cards - An Educational Toolkit for Teaching Social Impacts of Machine Learning through Deliberation
Explore an innovative educational toolkit using value cards to teach the social impacts of machine learning through deliberation and critical thinking.
Reasons, Values, Stakeholders - A Philosophical Framework for Explainable AI
Explore a philosophical framework for explainable AI, examining the interplay between reasons, values, and stakeholders to enhance transparency and ethical considerations in artificial intelligence systems.
Should Attention Be All We Need? The Ethical and Epistemic Implications of Unification in Machine Learning
Explore the ethical and epistemic implications of unification in machine learning, focusing on attention mechanisms and their impact on AI development and society.
On the Moral Justification of Statistical Parity
Explore the ethical implications of statistical parity in algorithmic decision-making, examining its moral justification and impact on fairness in AI systems.