[Humanist] 23.78 events: structured knowledge; jobs; summer school; deduction

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Mon Jun 15 05:36:08 CEST 2009


                  Humanist Discussion Group, Vol. 23, No. 78.
         Centre for Computing in the Humanities, King's College London
                       www.digitalhumanities.org/humanist
                Submit to: humanist at lists.digitalhumanities.org

  [1]   From:    Elisabeth Burr <elisabeth.burr at uni-leipzig.de>            (41)
        Subject: 2nd call for 1. European Summer School "Culture &
                Technology",27.-31.07.2009, University of Leipzig

  [2]   From:    Stéfan Sinclair <sgsinclair at gmail.com>                   (20)
        Subject: Special Jobs Event during the ACH Annual General Meeting at
                DH09

  [3]   From:    Carsten Schuermann <carsten at itu.dk>                       (85)
        Subject: CADE-22 - Call for Participation

  [4]   From:    Tania Tudorache <tudorache at stanford.edu>                 (114)
        Subject: CFP: ISWC 2009 Workshop on Collaborative Construction,
                Managementand Linking of Structured Knowledge


--[1]------------------------------------------------------------------------
        Date: Wed, 10 Jun 2009 02:37:14 +0200
        From: Elisabeth Burr <elisabeth.burr at uni-leipzig.de>
        Subject: 2nd call for 1. European Summer School "Culture & Technology",27.-31.07.2009, University of Leipzig


Second call for the 1. European Summer School 
„Culture & Technology“, to take place at the 
University of Leipzig, Germany, July 27-31, 2009.

All the necessary information can be found on the 
Web-Site of the Summer School: 
http://www.culingtec.uni-leipzig.de/ESU/, which 
is available in German and English. Please, read the information carefully.
Please note, that the application phase for the 
1. European Summer School “Culture & Technology” 
will close the 15th of June 2009. Application is 
done by handing in a curriculum and a letter of 
motivation via ConfTool: 
https://www.conftool.net/esu2009/. Email-attachments are not accepted.

During the Summer School there will be space for 
project presentation. If you would like to 
present a project, please register with ConfTool and submit a proposal.

People who would like to stay in one of the guest 
houses of the University (see 
http://www.culingtec.uni-leipzig.de/ESU/ESU_1/en/accommodation.html) 
are asked to contact the organizers at 
esu2009 at uni-leipzig.de urgently as rooms cannot 
be reserved for very much longer.

Thanks to the generous support granted by the 
Volkswagen Foundation we can offer a good number of scholarships.

If you have any questions please contact the 
organizers at: esu2009 at uni-leipzig.de.

Prof. Dr. Elisabeth Burr
Organizer of the European Summer School
University of Leipzig

----------
Univ.-Prof'in Dr. phil. habil. Elisabeth Burr
Französische / frankophone und italienische Sprachwissenschaft
Institut für Romanistik
Philologische Fakultät
Universität Leipzig
Haus 1 / 3. Etage, Zi. 1307
Beethovenstr. 15
D-04107 Leipzig
Tel. +49 (0)341 97 37413/37411
http://www.culingtec.uni-leipzig.de/ESU/
elisabeth.burr at uni-leipzig.de



--[2]------------------------------------------------------------------------
        Date: Wed, 10 Jun 2009 15:15:58 -0400
        From: Stéfan Sinclair <sgsinclair at gmail.com>
        Subject: Special Jobs Event during the ACH Annual General Meeting at DH09


Dear colleagues who will be attending DH2009,

Will you be in the academic job market in the next few months?

Do you have an academic job to fill in the next few months?

If you've answered yes to either of these questions and you'll be at
Maryland for DH2009, then please contact me about a special Jobs Event
during the ACH Annual General Meeting.

Hope to hear from you,

Stéfan

-- 
[Please do not reply to this message as I use this address for
communication that is susceptible to spambots. My regular email
address starts with my user handle sgs and uses the domain name
mcmaster.ca]

--

Dr. Stéfan Sinclair, Multimedia, McMaster University
Phone: 905.525.9140 x23930; Fax: 905.527.6793
Address:
    TSH-328, Communication Studies & Multimedia
    Hamilton, Ontario, Canada L8S 4M2
http://stefansinclair.name/



--[3]------------------------------------------------------------------------
        Date: Wed, 10 Jun 2009 03:40:05 +0100
        From: Carsten Schuermann <carsten at itu.dk>
        Subject: CADE-22 - Call for Participation


		     CALL FOR PARTICIPATION

			     CADE-22
      22nd International Conference on Automated Deduction
	       McGill University, Montreal, Canada
			August 2-7, 2009

	      http://complogic.cs.mcgill.ca/cade22/

CADE is the major forum for the presentation of research in all
aspects of automated deduction.  

IMPORTANT DEADLINES:
  - Student awards:     16 June 2009
  - Early Registration: 25 June 2009

PROGRAMME: The conference features 
  - 3 invited talks
  - 32 contributed papers of which 5 are system papers
  - the presentation of the Herbrand Award to Deepak Kapur 
  - a two-day programme of workshops, tutorials and meetings 
  - 2 system competitions

INVITED TALKS:
  - Konstantin Korovin (The University of Manchester)
      Instantiation-Based Automated Reasoning: From Theory to
      Practice
  - Martin Rinard (Massachusetts Institute of Technology)
      Integrated Reasoning and Proof Choice Point Selection in
      the Jahob System - Mechanisms for Program Survival
  - Mark Stickel (SRI International)
      Building Theorem Provers

WORKSHOPS:
  - Automated Deduction: Decidability, Complexity, 
      Tractability (ADDCT) and 
      The International Workshop on Unification (UNIF)
  - Logical Frameworks and Meta-Languages: Theory and 
      Practice (LFMTP)
  - Modules and Libraries for Proof Assistants (MLPA)
  - Proof Search in Type Theories (PSTT)
  - Satisfiability Modulo Theories (SMT)

TUTORIALS:
  - Hierarchical and Modular Reasoning in Complex Theories
      with Viorica Sofronie-Stokkermans
  - Probabilistic Analysis Using a Theorem Prover
      with Osman Hasan and Sofiene Tahar
  - Precise, Automated and Scalable Verification of Systems
        Software Using SMT Solvers
      with Shuvendu K. Lahiri and Shaz Qadeer
  - Logics with Undefinedness
      with William M. Farmer

SYSTEM COMPETITIONS:
  - The CADE ATP System Competition (CASC)
  - Satisfiability Modulo Theories Competition (SMT-COMP)

MEETINGS:
  - The 6th TPTP Tea Party

SOCIAL EVENTS:
  - Welcome reception at the McCord Museum of Canadian History
  - Squash tournament at McGill Sports Centre
  - Walking or biking tour excursion through Old Montreal
  - Conference banquet at the elegant Pointe-à-Callière,
      Montreal's Museum of Archeology and History at the Old Port 

MONTREAL: Montreal is an bustling, cosmopolitan and affordable
city with a charming Francophone culture.  It is easily
accessible from the US, Europe and world-wide with direct flights
to Pierre Elliott Trudeau Airport (YUL) from all major cities. 

REGISTRATION: On-line registration is now open at:

  https://www.cs.mcgill.ca/registration/2009/cade/

The early registration deadline is June 25.  Please refer to the
conference website for registration, accommodation, travel and
visa information.

STUDENT AWARDS: Travel awards are available to enable selected
students to attend the conference. Please refer to the conference
website for details.  The application deadline is June 16.  

SPONSORS: CADE-22 is supported by
  o The McGill School of Computer Science
  o McGill University Faculty of Science
  o Microsoft Research

ORGANIZERS:
  o PC Chair:
      Renate Schmidt (The University of Manchester)
  o Conference Chair:
      Brigitte Pientka (McGill University)
  o Workshop & Tutorial Chair:
      Aaron Stump (The University of Iowa)
  o Publicity Chair:
      Carsten Schürmann (IT-Universitetet i København)
  o Local Organizers:
      Maja Frydrychowicz (McGill University)
      Brigitte Pientka (McGill University)

We look forward to seeing you in Montreal!


--[4]------------------------------------------------------------------------
        Date: Thu, 11 Jun 2009 19:53:39 +0100
        From: Tania Tudorache <tudorache at stanford.edu>
        Subject: CFP: ISWC 2009 Workshop on Collaborative Construction, Managementand Linking of Structured Knowledge

This message was originally submitted by tudorache at STANFORD.EDU 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 (126 lines) ------------------
Apologies for cross-postings. Please forward to interested colleagues 
and mailing lists.

             CALL FOR PAPERS, POSTERS AND DEMOS

====================================================================

      Workshop on Collaborative Construction, Management
            and Linking of Structured Knowledge

                   October 25, 2009
       
               Collocated with ISWC-2009
      Westfields Conference Center, near Washington, DC., USA
   
      Paper submission: 10 August 2009

      http://users.ecs.soton.ac.uk/gc3/iswc-workshop/

====================================================================

Objectives
-----------

Many have argued that the next generation of the Web (Web 3.0) will grow 
out of an integration between Semantic Web and Social Web (Web 2.0) 
technologies.Can ontology management benefits from social web? Can 
Wikipidia be a style of collaborative ontology authoring? How to exploit 
user feedback for constructing structured knowledge? In these and many 
other questions lie the opportunity and the challenge to integrate 
knowledge bases approaches to social web ones. This integration involves 
several very different aspects of technology and social practice. Recent 
workshops and journal special issues have been devoted to methods for 
extracting ontologies and other structured knowledge from resources such 
as Wikipedia and other loosely structured data; or on using Semantic Web 
representations to describe the social structures and interactions in 
Web 2.0; or on mapping existing data using semantic technologies. In 
this workshop, we want to focus on another aspect of linkage between 
Social Web and Semantic Web techniques:  collaborative and distributed 
methods for constructing and maintaining ontologies, terminologies, 
vocabularies, and mappings between them, throughout their entire life cycle.

Topics of interest
-------------------

They include (but are not limited to):
- Collaborative creation and editing of structured knowledge
- Collaborative creation of ontology mappings
- Efficient methods for maintenance and evolution of structured 
knowledge that was created collaboratively
- Individual and group incentives for collaborative knowledge 
construction and maintenance
- Ontology repositories, knowledge bases, and their utility in the 
Social Web.
- Metadata management
- User interfaces for collaborative tools for creating structured knowledge
- Inconsistency management and user-specific views of ontologies
- Workflows for collaborative construction and linking of structured 
knowledge
- Evaluation of collaborative tools: methods, metrics, and experimental 
reports

Submission guidelines
---------------------

Papers submitted to the workshop must follow the same submission 
guidelines of the ISWC'09 conference. Submissions must be in PDF format 
in Springer format (for instruction see 
http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0)
We solicit in this workshop two types of contributions:

1. Research papers analysing the process of collaborative construction, 
management and linkage of structured knowledge; the requirements for 
supporting technologies and the field of exploitation of such knowledge. 
Formatted papers must not be longer than 10 pages.

2. Demos papers describing relevant tools and prototypes. Formatted 
papers must not be longer than 2 pages.

Important dates
----------------

Paper submission: 10 August 2009
Notification : 31 August 2009
Workshop : 25 October 2009

Organizing committee
---------------------

Tania Tudorache (co-chair), Stanford University
Gianluca Correndo (co-chair), University of Southampton
Natasha Noy, Stanford University
Harith Alani, University of Southampton
Mark Greaves, Vulcan inc.

Program Committee
------------------

Mathieu D'Aquin, Knowledge Media Institute, UK
Sören Auer, University of Leipzig, Germany
Ken Baklawski, Northeastern University, US
Simone Braun, FZI, Germany
Raul Garcia Castro, Universidad Politecnica de Madrid, Spain
Vinay Chaudhri, SRI international, USA
Mike Dean, BBN Technologies, USA
Jerome Euzenat, INRIA, France
Sean Falconer, University of Victoria, Canada
Aldo Gangemi, ISTC-CNR, Italy
John Graybeal, Monterey Bay Aquarium Research Institute, USA
Martin Hepp, Universität der Bundeswehr München, Germany
Andreas Hotho, University of Kassel, Germany
Elisa Kendall, Sandpiper Software, USA
Peter Mika, Yahoo Research, Spain
Valentina Presutti, ISTC-CNR, Italy
Marta Sabou, Knowledge Media Institute, UK
Robert Stevens, University of Manchester, UK
Gerd Stumme, Universität Kassel, Germany
Giovanni Tummarello, DERI, Ireland
Denny Vrandecic, AIFB, Germany
Anna Zhdanova, FTW, Austria

______________________________________________________________________
This email has been scanned by the MessageLabs Email Security System.
For more information please visit http://www.messagelabs.com/email 
______________________________________________________________________





More information about the Humanist mailing list