News

Call for Contributions

International Symposium: Women, Gender and Information and Communication Technologies, Paris, 15-16 May 2014

Organized by LabEx EHNE (Écrire une histoire nouvelle de l’Europe – Writing a New History of Europe),

Although pioneering studies have contributed in the last few years to highlighting numerous aspects of the gendered construction of Information and Communication Technologies (ICT), via analyses concerning women telephone operators, female radio listeners, or even the ENIAC Girls, the place of women and of gender in the history of information and communication technologies remains to be reflected upon and written, whether it is the role and the representation of the two sexes regarding research, conception, utilisation or consumption.

It is hoped that these two days will compare European perspectives on the historical relations that women have maintained with information and communication technologies, since the telegraph. The study days invite transnational and interdisciplinary analyses across the long term, drawing as much upon the history of computer science and ICT as upon the history of work, organisations, consumption, education, media, and gender studies.

In touching upon imaginations, values, figures, models and practices that cut across the history of the telegraph, the telephone, the radio, the TV, the internet and digital devices, we hope to explore in particular the manner in which the history of information and communication technologies can enrich gender studies, and conversely the way in which the latter can shed light on studies related to ITC. The aim is to do so via numerous angles of approach (not exclusive of other approaches):

– Female actors of ICT: individual and collective historical figures, inventors, programmers, researchers, professional users, consumers etc.

– The gendered representations of the public actors of ICT and their evolution (discourses, advertising, teaching and education, imagination etc).

– The stakeholders implicated at the heart of ICT, affected by the problematic of gender (European associations, national or transnational collectives etc).

– ITCs as producers of new spaces for the expression of gender.

– The specificity or not of European research in the gendered approach of ITCs in relation to the work carried out in North America.

Papers should be twenty minutes in length and can be delivered in French or English. The organising committee would be particularly interested in proposals integrating a diachronic dimension and those explicitly touching upon a European dimension. Proposals of post-graduate students or early-career researchers are welcome.

Submission

Proposals should be sent to fgtic@iscc.cnrs.fr

They should be one page long, contain a bibliography and if possible a proposed plan. Authors can include a summary of their publications/research and a brief biography in their initial e-mail.

Deadlines

• Deadline for submission of proposals: March 1st 2014

• Notification of acceptance: March 15th 2014

• International Symposium: May 15th and 16th 2014

This information is available on http://genreurope.hypotheses.org/

Organizers

Delphine Diaz (IRICE, Université Paris-Sorbonne, LabEx EHNE)

Valérie Schafer (ISCC, CNRS)

Régis Schlagdenhauffen (LISE, CNAM/CNRS, LabEx EHNE)

Benjamin Thierry (IRICE, Université Paris-Sorbonne)

Program Committee

Gerard Alberts (Universiteit van Amsterdam)

Alec Badenoch (Department of Media and Cultural Studies, Utrecht University)

Isabelle Berrebi-Hoffmann (LISE, CNAM/CNRS)

Niels Brügger (The Centre for Internet Studies, Aarhus University)

Frédéric Clavert (Université Paris-Sorbonne, IRICE, LabEx EHNE)

Delphine Gardey (Faculté des Sciences de la Société, Université de Genève)

Pascal Griset (Université Paris-Sorbonne, CRHI-IRICE/ISCC, LabEx EHNE)

Sandra Laugier (Université Paris 1 Panthéon-Sorbonne, IUF)

Christophe Lécuyer (Université Pierre et Marie Curie)

Ilana Löwy (Cermes, CNRS, EHESS, Inserm, Paris 5)

Cécile Méadel (CSI, MINES Paris Tech)

Ruth Oldenziel (Eindhoven University of Technology, Senior Fellow at the Rachel Carson Center, Munich)

Jean-Claude Ruano-Borbalan (HT2S, CNAM)

Fabrice Virgili (IRICE, CNRS, LabEx EHNE)

Conference Secretary

Arielle Haakenstad (Université Paris-Sorbonne, IRICE/ISCC, LabEx EHNE)

**Vienna Summer of Logic Announcement**

In the summer of 2014, Vienna will host the largest event in the history of
logic. The Vienna Summer of Logic (VSL) will consist of twelve large
conferences and numerous workshops, attracting an expected number of 2500
researchers from all over the world.

The conferences and workshops will deal with the main theme, logic, from
three important aspects: logic in computer science, mathematical logic and
logic in artificial intelligence.

This unique event will be organized by the Kurt Goedel Society at Vienna
University of Technology from July 9 to 24, 2014 (see website for more
details: http://vsl2014.at)

*Keynote Speakers*
The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden),
Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University
of California, Berkeley) and Alex Wilkie (University of Manchester).
Dana Scott (Carnegie Mellon University) will speak in the opening session.

*Logic in Computer Science / Federated Logic Conference (FLoC)*
– 26th International Conference on Computer Aided Verification (CAV)
– 27th IEEE Computer Security Foundations Symposium (CSF)
– 30th International Conference on Logic Programming (ICLP)
– 7th International Joint Conference on Automated Reasoning (IJCAR)
– 5th Conference on Interactive Theorem Proving (ITP)
– Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic
(CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
– 25th International Conference on Rewriting Techniques and Applications (RTA)
joint with the 12th International Conference on Typed Lambda Calculi and
Applications (TLCA)
– 17th International Conference on Theory and Applications of Satisfiability
Testing (SAT)
– FLoC Workshops
– FLoC Olympic Games (System Competitions)

*Mathematical Logic*
– Logic Colloquium 2014
– Logic, Algebra and Truth Degrees 2014
– The Infinity Workshop
– Kurt Goedel Fellowship Competition

*Logic in Artificial Intelligence*
– 14th International Conference on Principles of Knowledge Representation and
Reasoning (KR)
– 27th International Workshop on Description Logics (DL)
– 15th International Workshop on Non-Monotonic Reasoning (NMR)
– International Workshop on Knowledge Representation for Health Care 2014
(KR4HC)

*Kurt Goedel Research Prize Fellowship Competition*
At the Vienna Summer of Logic, the Kurt Goedel Society will award three
fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
Goedel Research Prize Fellowship Competition “Logical Mind: Connecting
Foundations and Technology.”

*FLoC Olympic Games – Citius, Maius, Potentius*
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
Games. Intended as a new FLoC tradition, the Games will bring together a
multitude of established solver competitions by different research
communities.
In addition to the competitions, the Olympic Games will facilitate the
exchange
of expertise between communities, and increase the visibility and impact of
state-of-the-art solver technology. The winners in the competition categories
will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

For more information: http://vsl2014.at

Dr. Kelly Androutsopoulos (http://www.cs.mdx.ac.uk/people/kelly-androutsopoulos/) is the promoter of a Women in Computing Group at Middlesex University London, UK. The purpose of this group is to bring together Middlesex-affiliated women who are studying or interested in Computing and to share common interests, concerns and ambitions. Even for those not based in London (or — for that matter — also for men) this is a way to approach the issues related to women in computing and have a stream of related information. The group has a Google+ community, everyone can request to join

https://plus.google.com/communities/100642120779359541285

The fourth conference in the series COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS will take place at the Tokyo Institute of Technology, Tokyo, Japan, February 17 – 20, 2014.

The theme of the CTFM conference series is the interplay between computability theory and logical foundations of mathematics. The scope includes topics such as Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness, and Computational Complexity. CTFM 2014 will feature special sessions on Reverse Mathematics, Algorithmic Randomness, and Recursion Theory.

For more information, see http://www.jaist.ac.jp/CTFM/CTFM2014/.

The 2014 annual Meeting of the International Association for Computing and Philosophy http://www.iacap.org/ will be held at the Anatolia College/ACT (Thessaloniki, Greece) on July 2-4, 2014

This year’s meeting of the International Association for Computing and Philosophy will be held at Anatolia College/ACT in Thessaloniki, Greece.

Topics of interest:
• Artificial Intelligence
• Artificial Life
• Cognitive Science, Computation & Cognition
• Computational Modeling in Science and Social Science
• Computer-Mediated Communication
• Distance Education and Electronic Pedagogy
• Ethical Problems and Societal Impact of Computation and Information
• History of Computing
• Information Culture and Society
• Logic
• Metaphysics of Computing
• Philosophy of Information
• Philosophy of Information Technology
• Robotics
• Virtual Reality
… and related issues

FORMAT
For abstracts, we request anonymous submission of 600-1000 words (plus references) in plain text or PDF, plus a short abstract of up to 120 words. All submissions will be reviewed double-blind by at least two members of the programme committee. All submissions of paper abstracts – whether to the main track or to symposia – are made centrally on the same site and all reviewing takes place on that site.

For symposia, please provide a brief motivation (ca. 300 words), a list of envisaged speakers, and indication of time needed (full day, half day, etc.). The submission procedure and reviewing for symposia will be taken care of by their organisers – but within the structure provided by IACAP and the submission system for this conference.

DATES
Submission of symposium proposals: 1. February 2014
Submissions of abstracts: 1 March 2014
Notification of acceptance or rejection: 28 February for symposia, 31 March for papers.

Submission on EasyChair at https://www.easychair.org/conferences/?conf=iacap2014

More details on http://www.pt-ai.org/iacap/2014/online-submission

*******************************************************************
2nd CALL FOR PAPERS:

CiE 2014: Language, Life, Limits

Budapest, Hungary

June 23 – 27, 2014

http://cie2014.inf.elte.hu

IMPORTANT DATES:

Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014

FUNDING and AWARDS:

CiE 2014 has received funding for student participation from the European
Association for Theoretical Computer Science EATCS. Please contact the PC
chairs if you are interested.

The best student paper will receive an award sponsored by Springer.

CiE 2014 is the tenth 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), Ponta Delgada (2010), Sofia (2011),
Cambridge (2012), and Milan (2013).

The motto of CiE 2014 “Language, Life, Limits” intends to put a special focus
on relations between computational linguistics, natural and biological
computing, and more traditional fields of computability theory. This is to
be understood in its broadest sense including computational aspects of
problems in linguistics, studying models of computation and algorithms
inspired by physical and biological approaches as well as exhibiting limits
(and non-limits) of computability when considering different models of
computation arising from such approaches.

As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new computational
paradigms in their corresponding frameworks both with respect to practical
applications and a deeper theoretical understanding. We particularly invite
papers that build bridges between different parts of the research community.

For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as bioinformatics
and natural computation, where they have a basic connection with
computability.

TUTORIAL SPEAKERS:

Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)

INVITED SPEAKERS:

Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King’s College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University
Albert Visser (Utrecht University)

SPECIAL SESSIONS:

History and Philosophy of Computing
(organizers: Liesbeth de Mol, Giuseppe Primiero)
Computational Linguistics
(organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky)
Computability Theory
(organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation
(organizers: Marian Gheorghe, Florin Manea)
Online Algorithms
(organizers: Joan Boyar, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)

Contributed papers will be selected from submissions received by the PROGRAM
COMMITTEE consisting of:

* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)

The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in PDF
format, max 10 pages using the LNCS style) for presentation at CiE 2014.

The submission site
https://www.easychair.org/conferences/?conf=cie2014
is open.

For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

Contact: Erzsebet Csuhaj-Varju – csuhaj[at]inf.elte.hu

Website: http://cie2014.inf.elte.hu/

__________________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
ALAN TURING YEAR http://www.turingcentenary.eu
AlanTuringYears on Twitter http://twitter.com/AlanTuringYear
__________________________________________________________________________

The second edition of the Symposium on the History and Philosophy of Programming organized by the HaPoC Commission will take place at Goldsmiths University of London London, within the programme of the 50th AISB Convention. The organizers of the Convention have now prepared and distributed a flyer, available here.