[Humanist] 30.933 events several & various

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Sat Apr 29 08:07:34 CEST 2017


                 Humanist Discussion Group, Vol. 30, No. 933.
            Department of Digital Humanities, King's College London
                       www.digitalhumanities.org/humanist
                Submit to: humanist at lists.digitalhumanities.org

  [1]   From:    Liesbeth De Mol <Elizabeth.DeMol at UGENT.BE>                (30)
        Subject: 3th CfP History and Philosophy of Computing, 4-7 October
                2017, Brno

  [2]   From:    Mia R <mia.ridge at gmail.com>                               (46)
        Subject: MCG's Museums+Tech 2017 Call for Papers: Tech in a divided
                world

  [3]   From:    A E Lang <anouk.lang at ed.ac.uk>                           (111)
        Subject: Digital Day of Ideas: University of Edinburgh, 17 May 2017

  [4]   From:    Benjamin Vis <B.N.Vis at kent.ac.uk>                         (25)
        Subject: CfP Digital Humanities on the Inhabited Environment, EARC/DH
                Conference 2017, Sept. 7-8, Canterbury, UK

  [5]   From:    CIE2017 <cie2017 at abo.fi>                                 (181)
        Subject: CiE 2017: call for participation


--[1]------------------------------------------------------------------------
        Date: Fri, 28 Apr 2017 07:15:10 +0000
        From: Liesbeth De Mol <Elizabeth.DeMol at UGENT.BE>
        Subject: 3th CfP History and Philosophy of Computing, 4-7 October 2017, Brno


Dear all,

please find below the third call for papers for the 4th conference on the History and Philosophy of Computing organized by the DHST/DLMPST HaPoC commission. Please note that there are some travel grants available  and that there also some publication plans,

very best wishes,
Liesbeth

/Third Call for Papers/
4th International Conference on History and Philosophy of Computing
https://hapoc2017.sciencesconf.org/
Masaryk University Brno
4-7 October 2017

held under the auspices of the
DHST/DLMPS Commission for the History and Philosophy of Computing (HaPoC)
www.hapoc.org http://www.hapoc.org

In their societal impact, computers have grown way beyond their roots in mathematics and logic. Their ubiquity since the late 20th century has increased the number and impact of several of the original questions raised by early computer scientists and practitioners: questions about their expected and intended behaviour, as Alan Turing did when asking whether machines can think; questions about their ontology, as John von Neumann did when asking what the computer and the human brain have in common; questions about their role in performing human tasks, as Norbert Wiener did when asking whether automatic translation is possible. With new technologies, the need for rethinking formal and technological issues is crucial.

HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

For HaPoC 2017 we welcome contributions from logicians, philosophers and historians of computing as well as from philosophically aware computer scientists and mathematicians. We also invite contributions on the use of computers in art. As HaPoC conferences aim to provide a platform for interdisciplinary discussions among researchers, contributions stimulating such discussions are preferable. Topics include but are not limited to:

- History of computation (computational systems, machines, mechanized reasoning, algorithms and programs, communities of computing and their paradigms,...)

- Foundational issues in computer science and computability (models of computability, Church-Turing thesis, formal systems for distributed, cloud and secure computing, semantic theories of programming languages, ...)
- Philosophy of computing (computer as brain / mind, epistemological issues, ...)
Computation in the sciences (computer experiments and simulations, computer-aided systems for teaching and research, ...)
- Computer and the arts (temporality in digital art; narration in interactive art work, speculative software, programming as a deferred action, computing and affect, performativity of code, eristic of HCI, ...)

We cordially invite researchers working in a field relevant to the main topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included)

Submit through EasyChair at https://easychair.org/conferences/?conf=hapoc2017
Deadline for abstracts and extended abstracts: 15 May 2017
Notifications of acceptance: July 2016

Accepted papers will be presented in 30 minute slots including discussion. Abstracts must be written in English. Please note that the format of uploaded files must be in .pdf. Submissions without extended abstract will not be considered.

Conference fee: EUR 150, including welcome reception and conference dinner.

The conference will be preceded by a special workshop on the reception of Hilbert's axiomatic method in Eastern Europe on 3 October 2017, organized by Mate Szabó. Accompanying cultural programme will include: the remake of the 1968 Brno exhibition Computer Graphic (featuring Frieder Nake and others), Live coding performance (inspired by the Exhibition Computer Graphic), the concert Exposition of New Music (contemporary music), and field recordings of Brno (student project).

*NEW*
A number of grants will be available. For more details see: https://hapoc2017.sciencesconf.org/resource/page/id/12

A selection of revised contributions to the Conference will be published in a Special Issue of Philosophy & Technology (Springer). A second special issue focusing on historical aspects will be announced later.



--[2]------------------------------------------------------------------------
        Date: Fri, 28 Apr 2017 12:22:51 +0100
        From: Mia R <mia.ridge at gmail.com>
        Subject: MCG's Museums+Tech 2017 Call for Papers: Tech in a divided world


The annual Museums Computer Group Conference 'Museums+Tech 2017' will be
held on Friday 3 November 2017 at the Imperial War Museums.  This year's
theme is 'Tech in a divided world'.

Our conference is always a great opportunity to catch up on the latest
developments and activities in the sector, and network with colleagues –
get the date in the diary and tell your workmates! The conference isn't just
for techy and digital folk to share practical skills and experience, it is
also a great opportunity for colleagues working across the sector to get a
taste of what's happening and start thinking about what might be possible in
their institution. As a friendly conference full of interesting people, it's
also a fantastic place for people working outside and inside traditional
institutions to meet and learn from each other.  

As well as absorbing insights from peers, Museums+Tech 2017 is a chance to
present what you've been working on and share your insights and lessons
learned. The call for papers for the conference is now open, and will close
on Sunday 30 April 2017 (but there's an unofficial extension to May 3 to
allow for the May bank holiday). Find out more about the conference and
submit your proposal:
http://museumscomputergroup.org.uk/mcgs-museumstech-2017-first-call-proposals/
The 2017 conference asks whether digital experiences, collections and
exhibition can help create a shared understanding of the world. Can museums
provide a shared space where those with a range of views recognise
themselves, of where the impact of the 'filter bubble' may be reduced –
and if so, can digital experiences have the same impact? Proposals for
presentation should celebrate good work and share ideas for helping museums
do better. We're open to suggestions, but topics might include:

The role of digital technologies and platforms - whether social media,
mobile apps, websites, gallery guides, publications, podcasts, videos, or
virtual or augmented reality experiences - in a divided world How museums
have focussed on inclusivity and diverse audiences in its digital offering
Behind-the-scenes technical work and organisational change to help reach
polarised audiences Tips on applying for funding and working within a
limited budget Using digital technologies to break down barriers of physical
venues and exhibitions Using digital technologies to connect visitors with
each other Reaching audiences that don't think of themselves as museum
visitors A bonus themes this year: in 2017 Museums Computer Group celebrates
its 35thanniversary, how different are museums in 2017 from museums in 1982
because of digital technologies and practices? The list continues on our
website… 

(http://museumscomputergroup.org.uk/mcgs-museumstech-2017-first-call-proposals/)

The deadline for proposals is midnight GMT on 30 April - however! Because
this is a bank holiday weekend in the UK, you've unofficially got until
midnight on May 3 to hit 'submit'... Our international programme committee
will review proposals in May and you should hear from us in June. We look
forward to hearing everyone's great ideas.

Jess (MCG Secretary) and Mia (MCG Chair)


--[3]------------------------------------------------------------------------
        Date: Fri, 28 Apr 2017 12:37:50 +0100
        From: A E Lang <anouk.lang at ed.ac.uk>
        Subject: Digital Day of Ideas: University of Edinburgh, 17 May 2017

*** Attachments:
    http://www.digitalhumanities.org/humanist/Attachments/1493379721_2017-04-28_humanist-owner@lists.digitalhumanities.org_24030.1.2.txt


Digital Day of Ideas: University of Edinburgh, 17 May 2017

We're delighted that this year's Digital Day of Ideas will feature keynote
addresses from Professor Susan Brown (Guelph/Alberta) and Dr Jen Ross
(Edinburgh), as well as an excellent slate of workshops on working with the
Facebook API, sound processing, digital manufacture, network analysis,
crowdsourcing, copyright, MariaDB and more.

More details below and at
http://www.digital.hss.ed.ac.uk/digital-day-of-ideas/digital-day-ideas-2017/
.

Hope to see many of you there!

Anouk

---
Anouk Lang
Lecturer in Digital Humanities, The University of Edinburgh
School of Literatures, Languages and Cultures
50 George Square, 2.36, Edinburgh EH8 9LH
anouk.lang at ed.ac.uk | @a_e_lang | http://aelang.net/

 ------------

Digital Day of Ideas 2017

http://www.digital.hss.ed.ac.uk/digital-day-of-ideas/digital-day-ideas-2017/

Join us at the University of Edinburgh on 17 May 2017 for the sixth annual
*Digital Day of Ideas*, a day symposium showcasing the best of recent work
in digital scholarship which gives members of the university community the
opportunity to connect with others working in this area.

As well as keynotes from scholars at the forefront of the digital
humanities and digital scholarship, participants will have the opportunity
to try out some tools and approaches for themselves with hands-on workshops.

The Day will be held at the Business School, 29 Buccleuch Place, Edinburgh,
ED8 9JS. Attendance is free, and all members of staff and postgraduate
students - at Edinburgh and other institutions, as well as GLAM colleagues
- are welcome.

 ---

*Keynote Speakers*

Professor Susan Brown, Canada Research Chair in Collaborative Digital
Scholarship (University of Guelph/University of Alberta): "This Identity
Which is Not One: Intersectionality and Difference in a Linked Data World"

Abstract: Definitions of identity stress sameness, lack of change, essence,
or oneness, but online identities are multiple and fractured, with
personas, avatars, and online selves shaped by different contexts and
platforms. Always already relational, they seem to reflect feminist
theories of identity as constructed, performative, multiple, situated, and
intersectional. Yet within digital systems, social identities are
susceptible to treatments that are at one end of the spectrum highly
reductive in their affordances for self-representation and at the other so
sophisticated that they exceed the knowledge and control of the human
subject. This paper presents work towards digital representations that
reflect the complexities of identities and the politics of their
representation but that are also machine readable as semantic web or linked
data. Despite the challenges, advancing nuanced representations of
identities is both practically and politically crucial to how identities
circulate in an increasingly mediated world.

Dr Jen Ross, Senior Lecturer in Digital Education and Co-Director of the
Centre for Research in Digital Education (University of Edinburgh):
"Learning with Digital Provocations"

Abstract: One of the most significant tensions in the convergence of
technology and education is how the promise/threat of 'disruption' comes up
against theories, practices and structures of formal and informal
education. Disruption in educational technology contexts has come to be
aligned with neo-liberal discourses of efficiency, enhancement,
personalisation, scale and automation; and we can be forgiven for cynicism
about its critical and creative potential in education. This talk aims to
reanimate the debate by reframing disruption in terms of inventiveness,
provocation, uncertainty and the concept of 'not-yetness'. Focusing on the
recent AHRC-funded Artcasting project, and with other examples drawn from
the work of the Centre for Research in Digital Education at the University
of Edinburgh, it argues that inventive digital approaches can help us
develop critical responses to assumptions about the role of the digital in
contexts including higher education, museums and galleries.

 ---

*Programme*

9am       Coffee & registration
9.20am    Welcome
9.30am    Keynote 1: Susan Brown
10.30am   Tea/coffee
11am      Keynote 2: Jen Ross
12 noon   Lunch
1pm       Workshops (parallel sessions)
3pm       Tea/coffee
3.30pm    Closing roundtable
4.15pm    Reception
5.30pm    Close

 ---

*Workshops*

- Bring Your Own Research: A Data and Digital Conundrums Clinic (Lisa Otty)
- Building a Digital Presence with Domain of One's Own (Karen Gregory and
Stuart Nicol)
- Crowdsourcing and Citizen Science for Data Collection and Coding (James
Stewart and Eugenia Rodrigues)
- From smart to wise copyright contracts: Law for digital humanities,
digital humanities for law (Burkhard Shafer)
- Introduction to Databases, with MariaDB & Navicat (Bridget Moynihan)
- Introduction to Digital Manufacture (Mike Boyd)
- Introduction to Network Analysis: Collecting and Visualising Network Data
(Gil Viry and Mark Wong)
- Introduction to Working on the Command Line (Ben Soares)
- Learning to Code with Python (Xavi Rubio-Campillo)
- Obtaining and Working with Facebook Data (Simon Yuill)
- Processing Sound for Research (Martin Parker)

 ---

*Booking*

First, book a place through EventBrite:
https://www.eventbrite.co.uk/e/digital-day-of-ideas-2017-tickets-31961224884
.
Second, choose your workshop:
http://www.digital.hss.ed.ac.uk/digital-day-of-ideas/digital-day-ideas-2017/digital-day-ideas-2017-workshops/
.
Third, book your chosen workshop: https://goo.gl/forms/vxD5w6WdculNru1C3.

 ---



--[4]------------------------------------------------------------------------
        Date: Fri, 28 Apr 2017 12:11:34 +0000
        From: Benjamin Vis <B.N.Vis at kent.ac.uk>
        Subject: CfP Digital Humanities on the Inhabited Environment, EARC/DH Conference 2017, Sept. 7-8, Canterbury, UK


Dear all,

I'm happy to share this conference abstract and Call for Papers for the Eastern Area Research Consortium's (Eastern ARC) Digital Humanities Conference 2017. The conference will be held at the University of Kent in Canterbury on the 7th and 8th of September 2017. I hope to see many of you there and am very happy to receive abstracts for short papers,  from researchers at all career stages.

Best regards,

Benjamin Vis
Digital Humanities on the Inhabited Environment
Eastern ARC Digital Humanities Conference 2017
7-8th September 2017, Canterbury, Kent, UK

Conference abstract

The inhabited environment is crucial to global challenges. Although the humanities enrich our understanding of how human beings adapt their environment, they are underrepresented in global development debates. As the availability of digital data and technology rapidly grows, the opportunities to directly relate humanities research to the social and environmental sciences improves. Notably, in tropical archaeology, Light Detection and Ranging (LiDAR) is causing a 'revolution' by revealing huge swaths of urban landscapes. This new data source and the perspectives it affords, are changing the role and relevance of (historical) humanities knowledge in relation to global development.

The Digital Humanities (DH) and Geohumanities are emergent fields with increasing resources. They invite exploration of how to harness and nurture interdisciplinary and comparative contributions. By embracing new digital data sources, acquisition, and manipulation techniques, Digital Humanities have the potential to contextualise and inform how current developmental practice is shaping socio-cultural inhabitation of the landscape.

Key note confirmed: Kathryn Reese-Taylor (University of Calgary)

This conference provides an opportunity for academics from diverse disciplines to discuss these potential contributions as they relate to:

-> Mapping Material Landscapes;
-> Environmental Humanities;
-> Spatial Analysis and the Built Environment;
-> Lived experience and Visualisation.

Call for Papers

We invite expressions of interest for those wanting to participate with short "quick fire" presentations (10 min.) or panelled discussion contributions. Approx. 150 word abstracts or ideas can be sent to Benjamin Vis, b.n.vis at kent.ac.uk<mailto:b.n.vis at kent.ac.uk> by June 23rd 2017.   Notification of acceptance expected July 7th 2017.

For any general enquiries, please contact Kent's Eastern ARC Officer, Sarah Tetley, s.r.tetley-8 at kent.ac.uk<mailto:s.r.tetley-8 at kent.ac.uk>

: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :

Dr Benjamin N. Vis | +44 (0)1227 82 <+44%20(0)1227%2082%20> 6543 | https://kent.academia.edu/BenjaminVis |

School of European Culture & Languages | University of Kent |

Rutherford College W3.E7 | Canterbury CT2 7NX | UK |

: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :

 


--[5]------------------------------------------------------------------------
        Date: Fri, 28 Apr 2017 15:16:26 +0000
        From: CIE2017 <cie2017 at abo.fi>
        Subject: CiE 2017: call for participation


This message was originally submitted by cie2017 at ABO.FI to the humanist list at
LISTS.PRINCETON.EDU. If  you simply forward it  back to the list,  using a mail
command that generates "Resent-" fields (ask your local user support or consult
the documentation of your mail program if in doubt), it will be distributed and
the explanations you  are now reading will be removed  automatically. If on the
other hand you edit the contributions you  receive into a digest, you will have
to remove this  paragraph manually. Finally, you should be  able to contact the
author  of this  message by  using  the normal  "reply" function  of your  mail
program.

---------------- Message requiring your approval (258 lines) ------------------
CALL FOR PARTICIPATION:
=======================

CiE 2017: Unveiling Dynamics and Complexity
Turku, Finland
June 12-16, 2017
http://math.utu.fi/cie2017/

NOTE:
======

Symposium “Magic in Science”, co-located with CiE 2017, dedicated to 
Grzegorz Rozenberg on the occasion of his 75th birthday takes place just 
after CiE, on June 17, 2017. Details below and at at 
http://combio.abo.fi/rozenberg75/

[...]

EARLY REGISTRATION: MAY 8, 2017
===================

CiE 2017 is the thirteenth conference organized by CiE (Computability in 
Europe), a European association of mathematicians, logicians, computer 
scientists, philosophers, physicists and others interested in new 
developments in computability and their underlying significance for the 
real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006), 
Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), 
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest 
(2015) and Paris (2016).


ORGANIZED BY:
=============

Department of Mathematics and Statistics, University of Turku
Computer Science, Åbo Akademi University
email: cie2017 at utu.fi


WOMEN IN COMPUTABILITY PROGRAM AND GRANTS:
==========================================

We are happy to announce that the CiE Women in Computability program, 
coordinated by the Special Interest Group Women in Computability
http://math.utu.fi/cie2017/cie-women-in-computability-program/ 
offers four grants of up to 250 EUR for junior female researchers who 
want to participate in CiE 2017.  Applications for this grant should be 
send to Liesbeth De Mol (liesbeth.demol at univ-lille3.fr) before 1 May 
2017 and include a short cv (at most 2 pages) and contact information 
for an academic reference. Preference will be given to junior female 
researchers who are presenting a paper (including informal 
presentations) at CiE 2017.


TUTORIAL SPEAKERS:
==================

Denis R. Hirschfeldt (University of Chicago)
Daniel M. Gusfield (University of California, Davis)


INVITED SPEAKERS:
=================

Scott Aaronson (University of Texas at Austin)
Karen Lange (Wellesley College)
Ludovic Patey (Université Paris Diderot)
Nicole Schweikardt (Humboldt-Universit ät zu Berlin)
Alexander Shen (Université de Montpellier)
Moshe Vardi (Rice University)


SPECIAL SESSIONS:
=================

Algorithmics for biology:
-------------------------

Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki, 
Finland). Speakers:

Tobias Marschall (Max-Planck-Institut für Informatik)
Fabio Vandin (University of Padova)
Gregory Kucherov (University Paris-Est Marne-la-Vallée)
Gianluca Della Vedova (University of Milano-Bicocca)


Combinatorics and algorithmics on words:
----------------------------------------

Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel, 
Germany). Speakers:

Stepan Holub (Charles University in Prague)
Pascal Ochem (Université de Montpellier)
Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale 
Supérieure de Lyon)
Narad Rampersad (University of Winnipeg)


Computability in analysis, algebra, and geometry:
-------------------------------------------------

Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov 
(Novosibirsk, Russia). Speakers:

Saugata Basu (Purdue University)
Margarita Korovina (University of Aarhus)
Alexander Melnikov (University of California, Berkeley)
Russell Miller (Queens College, City University of New York)


Cryptography and information theory:
------------------------------------

Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu, 
Estonia). Speakers:

Jean-Charles Faugère (Université Pierre et Marie Curie)
Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et 
Marie Curie)
Aggelos Kiayias (University of Edinburgh)
Ivan Visconti (Università degli Studi di Salerno)


Formal languages and automata theory:
-------------------------------------

Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin 
(St. Petersburg, Russia). Speakers:

Kai Salomaa (Queen's University at Kingston)
Matrin Kutrib (Justus-Liebig-Universität Gießen)
Thomas Colcombet (Université Paris Diderot)
Artur Jez (University of Wrocław)


History and philosophy of computing:
------------------------------------
Special topic: History and foundations of recursion, in memory of Rósza 
Péter (1905-1977)

Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero 
(London, United Kingdom). Speakers:

Juliette Kennedy (University of Helsinki)
Jan von Plato (University of Helsinki)
Hector Zenil (University of Oxford, and Karolinska Institute)
Cliff Jones (Newcastle University)

[...]


Magic in Science:
-----------------

The symposium “Magic in Science” will be co-located with CiE 2017. It 
takes place on June 17, 2017, immediately after CiE. The symposium 
celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of 
Leiden, the Netherlands and University of Colorado at Boulder, USA. 
Grzegorz Rozenberg is one of the world leaders in research on 
Theoretical Computer Science and Natural Computing. As a matter of fact, 
he is often called the guru of Natural Computing, having started 
promoting it as a coherent scientific discipline already from the 1970s 
– he gave this area its name and defined its scope. He played a central 
role in the development of theoretical computer science in Europe. His 
research is very broad in scope and it is a prime example of 
interdisciplinary research. He has authored exceptionally many research 
papers opening new vistas, as well as well-known books   about 
developmental languages, decidability and DNA computing. He supervised 
numerous Ph.D. students, many of whom have become known scientists. He 
serves or has served the international computer science community in 
numerous roles, including: president of the European Association for 
Theoretical Computer Science (EATCS); cofounder and president of the 
International Society for Nanoscale Science, Computation, and 
Engineering (ISNSCE); chair of the steering committee of the DNA 
Computing Conference; cofounder and chair of the steering committee of 
the International Conference on Application and Theory of Petri Nets; 
chair of the steering committee of the European Educational Forum; 
cofounder and chair of the steering committee of the International 
Conference on Developments in Language Theory; co-chair of the steering 
committee of the International Conference on Unconventional Computation 
and Natural Computation; and director of European Molecular Computing 
Consortium. The talks given at the symposium will have an overview 
character and together they will cover a broad range of topics from 
Computer Science, reflecting Grzegorz Rozenberg's broad research 
interests. Among the topics covered are: P vs NP, reaction systems, 
membrane computing, graph isomorphism, combinatorics on words, DNA 
rearrangements, smart textiles, smart drones, magic squares, wonder 
cubes, and odor reproduction.

Confirmed speakers include: David Harel, Weizmann Institute of 
Science, Israel- "On odor reproduction and how to test for it" Hendrik 
Jan Hoogeboom, University of Leiden, the Netherlands - TBA Juraj 
Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland - 
"Why P vs. NP is so hard that even magicians failed to solve it" Natasha 
Jonoska, University of South Florida, USA - TBA Juhani Karhumäki, 
University of Turku, Finland - "Combinatorics on words and k-abelian 
equivalence" Hermann Maurer, Academia Europaea and Graz University of 
Technology, Austria: "Some unusual applications of computer science" 
George Paun, Institute of Mathematics of the Academy of Romania - TBA 
Azaria Paz, Technion, Israel - "Linked magic squares on a cube. Theme 
and variations" Moshe Vardi, Rice University, USA - "The 
Automated-Reasoning Revolution: From Theory to Practice and Back" The 
symposium is free of charge. 

[...]







More information about the Humanist mailing list