This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics (...) and its applications and thus presents the state of the art in the area. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in (...) human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Within the Computer Science community, many ethical issues have emerged as significant and critical concerns. Computer ethics is an academic field in its own right and there are unique ethical issues associated with information technology. It encompasses a range of issues and concerns including privacy and agency around personal information, Artificial Intelligence and pervasive technology, the Internet of Things and surveillance applications. As computing technology impacts society at an ever growing pace, there are growing calls for more (...) computer ethics content to be included in Computer Science curricula. In this paper we present the results of a survey that polled faculty from Computer Science and related disciplines about teaching practices for computer ethics at their institutions. The survey was completed by respondents from 61 universities across 23 European countries. Participants were surveyed on whether or not computer ethics is taught to Computer Science students at each institution, the reasons why computer ethics is or is not taught, how computer ethics is taught, the background of staff who teach computer ethics and the scope of computer ethics curricula. This paper presents and discusses the results of the survey. (shrink)

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- (...) Resolution;- Hoare logic;- Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

WoLLIC'2006 was held at the Center for the Study of Language and Information , Stanford University, USA, from July 18th to 21st, 2006. WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete (...) and useful interaction among participants. Previous versions were held at: Recife in 1994 and 1995; Salvador in 1996; Fortaleza in 1997; São Paulo in 1998; Itatiaia in 1999; Natal in 2000; Brasília in 2001; Rio de Janeiro in 2002; Ouro Preto in 2003; Fontainebleau in 2004; Florianópolis in 2005. It is planned that in 2007 it will be held in Rio de Janeiro, 2008 in Edinburgh , and 2009 in Japan . Scientific sponsorship comes from the Interest Group in Pure and Applied Logics , the European Association for Logic, Language and Information , the Association for Symbolic Logic , European Association for Theoretical Computer Science , the Sociedade Brasileira de Computação , and the Sociedade Brasileira de Lógica . Funding was kindly given by: The Tinker Foundation; The Office of the Provost, Stanford University; Center for the Study of Language and Information, Stanford University; Department of Philosophy, Stanford University; Department of Mathematics, Stanford University; Symbolic Systems Program, Stanford University. Contributions were received in the form of short papers in all areas related to logic, language, information and computation, including: context and situation theory; …. (shrink)

Name der Zeitschrift: Jahrbuch für Wissenschaft und Ethik Jahrgang: 20 Heft: 1 Seiten: 237-240.

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of (...) Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ́ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ and ‘Parametrized Complexity’ – were given on the previous day. (shrink)

Computer science only became established as a field in the 1950s, growing out of theoretical and practical research begun in the previous two decades. The field has exhibited immense creativity, ranging from innovative hardware such as the early mainframes to software breakthroughs such as programming languages and the Internet. Martin Gardner worried that "it would be a sad day if human beings, adjusting to the Computer Revolution, became so intellectually lazy that they lost their power of (...) creative thinking" (Gardner, 1978, p. vi-viii). On the contrary, computers and the theory of computation have provided great opportunities for creative work. This chapter examines several key aspects of creativity in computer science, beginning with the question of how problems arise in computer science. We then discuss the use of analogies in solving key problems in the history of computer science. Our discussion in these sections is based on historical examples, but the following sections discuss the nature of creativity using information from a contemporary source, a set of interviews with practicing computer scientists collected by the Association of Computing Machinery’s on-line student magazine, Crossroads. We then provide a general comparison of creativity in computer science and in the natural sciences. (shrink)

The quality of doctoral-level chemistry (N=145), computer science (N=58), geoscience (N=91), mathematics (N=115), physics (N=123), and statistics/biostatistics (N=64) programs at United States universities was assessed, using 16 measures. These measures focused on variables related to: program size; characteristics of graduates; reputational factors (scholarly quality of faculty, effectiveness of programs in educating research scholars/scientists, improvement in program quality during the last 5 years); university library size; research support; and publication records. Chapter I discusses prior attempts to assess quality in (...) graduate education, development of the study plans, and the selection of disciplines and programs to be evaluated. Chapter II discusses the methodology used, focusing on each of the assessment measures. Chapters III to VIII present, respectively, findings from the analyses of the chemistry, computer science, geoscience, mathematics, physics, and statistics/biostatistics programs. Chapter IX includes a summary of results, correlations among measures, several additional analyses, and suggestions for future studies. Among the findings reported are those indicating that mathematics programs had, on the average, the largest number of faculty (N=33) in December 1980 followed closely by physics (N=28) and chemistry (N=23), and that 80 percent of computer science students had job commitments by graduation. (Survey instruments and supporting documentation are included in appendices.) (JN). (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. (...) Furthermore, it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

Bernard Stiegler’s theoretical and practical Internation Project called for a refoundation of theoretical computer science that would also put the fact of exchange back at the centre of the conceptualization and organization of the economy. This can be interpreted as a call to critique a form of capitalism that has arisen over the past 70 years through an ideology via which ‘information’ conjoins computation and economics into what becomes an absolute market. But another history of exchange (...) unfolds contemporaneously with this ideology: that pursued in responses to Marcel Mauss’s anthropology of the gift, by Claude Lévi-Strauss, Georges Bataille and Maurice Godelier, among others. Stiegler’s ‘neganthropology’ equally responds to and is informed by this other history of the fact of exchange but, by looking at these works more closely, it may be possible to pursue Stiegler’s project in fields such as kinship and sexuality, which were not his direct concern. (shrink)

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important (...) issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that (...) can be analyzed on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

In this essay, I examine the notion of a nondeterministic algorithm from both a conceptual and historical point of view. I argue that the intuitions underwriting nondeterminism in the context of contemporary theoretical computer science cannot be reconciled with the intuitions that originally motivated nondeterminism. I identify four different intuitions about nondeterminism: nondeterminism as evidence for the Church Turing thesis; nondeterminism as a natural reflection of the mathematician's behavior; nondeterminism as a formal, mathematical generalization; and nondeterminism as (...) a physical process. I shall argue that there are irreconcilable tensions among these intuitions and, moreover, that these tensions have not been acknowledged in the conceptual development of theoretical computer science. In fact, a careful review of the received history reveals a number of gaps and discontinuities. For instance, I examine the seminal writings of Turing and argue that the formal introduction of the nondeterminism is to be found there and not, as is often supposed, in the research of the late 1950s and early 1960s. I also examine the period after 1960 and argue that even the more recent developments concerning nondeterminism are hard to reconstruct. ;Although I firmly believe that a rigorous philosophical account of nondeterminism is needed, I am not sure that such an account will bring us any closer to a solution to any of the notoriously difficult theoretical problems that turn on the notion of a nondeterministic algorithm. I do believe, however, that a clear conceptual account of nondeterminism will shed light on many long-standing philosophical problems. I conclude by pointing to a number of philosophical questions that resonate with issues raised by the foregoing investigation of nondeterministic algorithms. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second (...) recursion theorem, I prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the (...) evolution of physical systems which use cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

The central claim of this paper is that computer simulation provides (though not exclusively) a qualitatively new and different methodology for the physical sciences, and that this methodology lies somewhere intermediate between traditional theoretical physical science and its empirical methods of experimentation and observation. In many cases it involves a new syntax which gradually replaces the old, and it involves theoretical model experimentation in a qualitatively new and interesting way. Scientific activity has thus reached a new (...) milestone somewhat comparable to the milestones that started the empirical approach (Galileo) and the deterministic mathematical approach to dynamics (the old syntax of Newton and Laplace). Computer simulation is consequently of considerable philosophical interest. In view of further technical developments in the near future, computer experts suggest that we are at present only at the very beginning of this new era. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division (...) over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

This paper aims to connect Stiegler’s reflections on theoretical computer science with his practical propositions for the design of digital technologies. Indeed, Stiegler’s theory of exosomatization implies a new conception of artificial intelligence, which is not based on an analogical paradigm (which compares organisms and machines, as in cybernetics, or which compares thought and computing, as in cognitivism) but on an organological paradigm, which studies the co-evolution of living organisms (individuals), artificial organs (tools), and social organizations (institutions). (...) Such a perspective does not compare human capacities to machine performances but studies the way in which the evolution of material and technical supports affects and transforms psychological, cognitive or noetic faculties (intuition, memory, understanding, imagination, sensibility, reason, etc.), as well as the constitution of different kinds of knowledge. This new theoretical paradigm implies a new ‘design’ for digital technologies, which considers their social role and their impact on psychological, cognitive or noetic faculties. (shrink)

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed (...) and interested nonspecialist. (shrink)

Philologus, founded in 1846, is one of the oldest and most respected periodicals in the field of Classics. It publishes articles on Greek and Latin literature, historiography, philosophy, history of religion, linguistics, reception, and the history of scholarship. The journal aims to contribute to our understanding of Greco-Roman culture and its lasting influence on European civilization. The journal Philologus, conceived as a forum for discussion among different methodological approaches to the study of ancient texts and their reception, publishes original (...) scholarly contributions with a strong international focus. Publications languages are: German, English, Italian, French. As of 2014 the publication of supplementary volumes will be resumed. The series Philologus. Supplemente / Philologus. Supplementary Volumes will publish monographs and edited volumes pertaining to all aspects of the study of ancient literature and its reception, with a special focus on topics concerning literary theory, philosophy and the history of scholarship from an interdisciplinary perspective. (shrink)

This volume contains the proceedings of three special sessions: Algebra and Computer Science, held during the Joint AMS-EMS-SPM meeting in Porto, Portugal, June 10–13, 2015; Groups, Algorithms, and Cryptography, held during the Joint Mathematics Meeting in San Antonio, TX, January 10–13, 2015; and Applications of Algebra to Cryptography, held during the Joint AMS-Israel Mathematical Union meeting in Tel-Aviv, Israel, June 16–19, 2014. Papers contained in this volume address a wide range of topics, from theoretical aspects of algebra, (...) namely group theory, universal algebra and related areas, to applications in several different areas of computer science. From the computational side, the book aims to reflect the rapidly emerging area of algorithmic problems in algebra, their computational complexity and applications, including information security, constraint satisfaction problems, and decision theory. The book gives special attention to recent advances in quantum computing that highlight the need for a variety of new intractability assumptions and have resulted in a new area called group-based cryptography. (shrink)

These essays, first presented at a conference, “Coping with Sickness,” held in Italy in 1997, address ethical and regulatory medical issues within a historical context. Many of the essays, while addressing interesting topics, combine policy analysis and critical cultural theory. Critical cultural theory can be intellectually engaging at times but is generally irrelevant to public officials concerned with specific policy issues.Coping with Sickness is the third and final volume derived from a series of conferences cosponsored by the European (...) class='Hi'>Science Foundation and the Euroconferences Activity of the European Union. The eight essays are organized chronologically and cover a range of disparate topics: medical practitioners and the Spanish Inquisition , the history of autopsy legislation in German since 1800 , the history of “sadism” as a medical term in the nineteenth century , folk medicine in Holland in the late nineteenth century , abortion in Weimar Germany , drug testing in Africa in the early twentieth century , comparative policies toward STDs , and the debate over brain death in Germany . As might be expected in an anthology of this sort, the quality varies considerably. Nonetheless, the subjects addressed in this volume are engaging—much to the credit of the editors.Two pieces in particular represent the range of these collected essays. In “Vacher the Ripper and the Construction of the Nineteenth‐Century Sadist,” Angus McLaren, one of the best historians writing on the history of sexuality today, explores the “discovery” of sadism in the late nineteenth century by focusing on the dramatic trial of Joseph Vacher, who was charged in 1895 for the brutal sexual murder of a woman in Champuis. He later confessed to the murder and the sexual violation of another seven females and four males. Vacher had a long history of mental illness; indeed, he had been institutionalized in July 1893 following a failed attempt at suicide that left a bullet lodged in his head. At the trial the criminologist Alexandre Lacassagne was brought in as an expert witness to testify that Vacher was not insane but an antisocial sadist, as revealed by his dabbling in anarchism, vagabondism, and homosexuality. As a consequence, Vacher was found guilty and given a death sentence.McLaren finds in this trial an example of the social construction of a new medical concept, “sadism.” The emergence of the concept of sadism, he argues, reflected a “gendered notion” of defining appropriate male and female behavior; physicians at the turn of the century believed that “civilized men were most threatened, not by excess passion, but by the enervation spawned by urban life” . The concept of sadism was also employed by doctors to enhance their own authority and to alert the public to the dangers of a male manifesting “feminine traits” and to “beat back” homosexuality.There is much interesting conjecture to McLaren's study, but what policy lessons should be drawn from this remains unclear. If every concept is actually a social construction, reflecting the social anxieties of the age, then is the fashionable concept of social construction itself socially constructed to enhance the authority of the medical historian?More interesting methodologically is Claudia Wiesemann's absorbing essay on the historical debate in Germany over “brain death.” Relying on Ulrich Beck's social theory of simple and reflexive modernization, she shows that, when confronted with complex scientific questions, the public has to decide between competing plausible scientific claims; as a result, political groups make use of scientific expertise and counterexpertise to push their favorite practical and legal solutions. (shrink)

The tremendous recent growth of the women's movement as a political force has been accompanied by an event of equal import to the academic world--the development of the discipline of women's studies. Colleges across the nation are establishing programs in this area. Women's Studies is a classroom anthology designed for use in these newly-introduced courses.

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. This (...) update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

This paper presents an in-depth study and analysis of the emotional classification of EEG neurofeedback interactive electronic music compositions using a multi-brain collaborative brain-computer interface. Based on previous research, this paper explores the design and performance of sound visualization in an interactive format from the perspective of visual performance design and the psychology of participating users with the help of knowledge from various disciplines such as psychology, acoustics, aesthetics, neurophysiology, and computer science. This paper proposes a specific (...) mapping model for the conversion of sound to visual expression based on people’s perception and aesthetics of sound based on the phenomenon of audiovisual association, which provides a theoretical basis for the subsequent research. Based on the mapping transformation pattern between audio and visual, this paper investigates the realization path of interactive sound visualization, the visual expression form and its formal composition, and the aesthetic style, and forms a design expression method for the visualization of interactive sound, to benefit the practice of interactive sound visualization. In response to the problem of neglecting the real-time and dynamic nature of the brain in traditional brain network research, dynamic brain networks proposed for analyzing the EEG signals induced by long-time music appreciation. During prolonged music appreciation, the connectivity of the brain changes continuously. We used mutual information on different frequency bands of EEG signals to construct dynamic brain networks, observe changes in brain networks over time and use them for emotion recognition. We used the brain network for emotion classification and achieved an emotion recognition rate of 67.3% under four classifications, exceeding the highest recognition rate available. (shrink)