DK Halabi | 27 Oct 00:43 2014
Picon

Springer Journal: Network Modeling and Analysis in Health Informatics and Bioinformatics

Network Modeling and Analysis in Health Informatics and Bioinformatics

Published by Springer

 

Dear Colleague,

 

You are invited to consider “Network Modeling and Analysis in Health Informatics and Bioinformatics” (NetMAHIB) journal as the main outlet for your high quality research papers. The NetMAHIB journal provides a rapid forum for the dissemination of original research articles in all areas of bioinformatics, biomedicine and health informatics as interdisciplinary research platform.


The journal website may be accessed at:

http://www.springer.com/new+%26+forthcoming+titles+%28default%29/journal/13721 


This invitation is based on your prominence in the research community and you valuable research contributions.


You may upload your paper using the following URL:
http://www.editorialmanager.com/nhib/default.asp

The rapid increase in the interest in bioinformatics, biomedicine, and health informatics has motivated the need for a more specialized venue with wider spectrum capable of meeting the needs and expectations of a variety of researchers and readers.

NetMAHIB publishes original research articles and reviews reporting how graph theory, statistics, linear algebra and machine learning techniques can be effectively used for modelling and knowledge discovery in health informatics and bioinformatics. It aims at creating a synergy between these disciplines by providing a forum for disseminating the latest developments and research findings; hence results can be shared with readers across institutions, governments, researchers, students, and the industry. The journal emphasizes fundamental contributions on new methodologies, discoveries and techniques that have general applicability and which form the basis for network based modelling and knowledge discovery in health informatics and bioinformatics.

Topics covered by NetMAHIB include but are not limited to cutting-edge and novel findings on the latest trends and developments in network modelling and analysis for knowledge discovery in health informatics and bioinformatics, encompassing areas such as:

  • Clinical and hospital human resource management and performance analysis
  • Metabolic pathway and regulatory network modelling, evolution, simulation, analysis, control and engineering
  • Controlled and optimized utilization of resources
  • Modelling, simulation and evaluation of healthcare services
  • Patient tracking and monitoring
  • Spread and control of epidemics
  • Drug design, disease diagnosis and control
  • Signal pathways and cell control
  • Modular biology and systems biology
  • Computational biomedicine, genomics, proteomics, transcriptomics, metabolimics, sociogenomics
  • Social network modelling and analysis in health informatics and bioinformatics
  • Future developments in technologies and applications

The NetMAHIB journal is proud to have an outstanding group of editors who widely and rigorously cover the multidisciplinary score of the journal. They are known to be research leaders in the field of social networks analysis and mining.  Further, the NetMAHIB journal is characterized by providing thorough constructive reviews by experts in the field and by the reduced turn-around time which allows research results to be disseminated and shared on timely basis. The target of the editors is to complete the first round of the refereeing process within about 8 to 10 weeks of submission. Accepted papers go to the online first list and are immediately made available for access by the research community.


We look forward to receiving your submissions.


Sincerely Yours

Reda Alhajj Editor-in-Chief

University of Calgary, CANADA

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Marjan Sirjani | 26 Oct 04:20 2014
Picon

FSEN 2015 Deadline Extension

Our apologies if you have received multiple copies.

######################################################################
####        DEADLINE EXTENDED:     Abstract: (Nov. 7)    , Paper: (Nov. 14)
######################################################################

######################################################################
                     FSEN  2015: FINAL CALL FOR PAPERS

Sixth International Conference on
Fundamentals of Software Engineering 2015 Theory and Practice (FSEN '15)
http://fsen.ir/2015
Tehran, Iran
22 - 24 April, 2015
######################################################################

-- About FSEN --

FSEN is an international conference that aims to bring together 
researchers, engineers, developers,
and practitioners from the academia and the industry to present and 
discuss their research work in
the area of formal methods for software engineering. This conference 
seeks to facilitate the transfer
of experience, adaptation of methods, and where possible, foster 
collaboration among different groups.
The topics of interest cover all aspects of formal methods, especially 
those related to advancing
the application of formal methods in the software industry and promoting 
their integration with
practical engineering techniques.

-- Important Dates --

Abstract Submission: November 7, 2014
Paper Submission: November 14, 2014
Notification: December 26, 2014
Camera Ready: January 16, 2015
Conference: April 22-24, 2015

-- Keynote Speakers --

  Holger Giese, Hasso Plattner Institute, Germany
  John Hughes, Chalmers University of Technology, Sweden
  Paola Inverardi, University of L'Aquila, Italy

-- Topics of Interest --

The topics of this conference include, but are not restricted to, the 
following:
* Models of programs and software systems
* Software specification, validation, and verification
* Software testing
* Software architectures and their description languages
* Object and multi-agent systems
* Coordination and feature interaction
* Integration of formal and informal methods
* Integration of different formal methods
* Component-based and Service-oriented software systems
* Self-adaptive software systems
* Model checking and theorem proving
* Software and hardware verification
* CASE tools and tool integration
* Industrial Applications

-- Paper Submission --

Papers should be formatted according to the Springer LNCS style,
not exceed 15 pages (including figures and references), submitted in PDF 
or postscript format,
and not be submitted simultaneously for publication elsewhere.
Papers will be evaluated based on originality, significance, relevance, 
correctness and clarity.

-- Proceedings and Special Issues --

The post-proceedings of FSEN'15 will be published by Springer Verlag in 
the LNCS series
(official approval in process). There will also be a pre-proceeding, 
printed locally by IPM,
available at the conference. Following the tradition of the past editions,
we plan to have a special issue of Science of Computer Programming 
journal devoted to FSEN'15 (to be confirmed).

-- General Chair --

  Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
  Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran

-- Program Chairs --

  Mehdi Dastani - Utrecht University, The Netherlands
  Marjan Sirjani - Reykjavík University, Iceland; University of Tehran, Iran

-- Publicity Chair --

  Hossein Hojjat - Cornell University, USA

-- Steering Committee --

  Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
  Christel Baier - University of Dresden, Germany
  Frank de Boer - CWI, Netherlands; Leiden University, Netherlands
  Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran
  Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
  Marjan Sirjani - Reykjavik University, Iceland; University of Tehran, 
Iran (chair)
  Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands

-- Program Committee --

  Mohammad Abdollahi Azgomi - Iran University of Science and Technology, 
Iran
  Christel Baier - TU Dresden, Germany
  Ezio Bartocci, Vienna University of Technology, Austria
  Borzoo Bonakdarpour - University of Waterloo, Canada
  Marcello Bonsangue - Leiden University, Netherlands
  Mario Bravetti - University of Bologna, Italy
  Fabiano Dalpiaz - Utrecht University, Netherlands
  Mehdi Dastani - Utrecht University, Netherlands
  Erik De Vink - Technical University of Eindhoven, Netherlands
  Klaus Dräger - University of Oxford, UK
  Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands
  Masahiro Fujita - University of Tokyo, Japan
  Maurizio Gabbrielli - University of Bologna, Italy
  Fatemeh Ghassemi - University of Tehran, Iran
  Jan Friso Groote - Technical University of Eindhoven, Netherlands
  Hassan Haghighi - Shahid Beheshti University, Iran
  Hossein Hojjat - Cornell University, USA
  Mohammad Izadi - Sharif University of Technology, Iran
  Mohammad Mahdi Jaghoori - CWI, Netherlands; Academic Medical Center of 
University of Amsterdam, Netherlands
  Einar Broch Johnsen - University of Oslo, Norway
  Joost-Pieter Katoen - RWTH Aachen University, Germany
  Narges Khakpour - KTH, Sweden
  Ramtin Khosravi - University of Tehran, Iran
  Zhiming Liu - Birmingham City University, UK
  Seyyed Hassan Mirian Hosseinabadi - Sharif University of Technology, Iran
  Ugo Montanari - University of Pisa, Italy
  Peter Mosses - Swansea University, UK
  Mohammad Reza Mousavi - Halmstad University, Sweden
  Ali Movaghar - Sharif University of Technology, Iran
  Peter Olveczky - University of Oslo, Norway
  Jose Proenca - K.U.Leuven, Belgium
  Niloofar Razavi - University of Toronto, Canada
  Philipp Ruemmer - Uppsala University, Sweden
  Gwen Salaun - Grenoble INP, Inria, France
  Cesar Sanchez - IMDEA Software Institute, Spain
  Wendelin Serwe - INRIA, France
  Marjan Sirjani - Reykjavik University, Iceland
  Meng Sun - Peking University, China
  Carolyn Talcott - SRI International, USA
  Samira Tasharofi - Microsoft, USA
  Tayssir Touili - LIAFA, France
  Danny Weyns - Linnaeus University, Sweden
_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce
Ruy de Queiroz | 26 Oct 13:58 2014
Picon

WoLLIC 2015 - Call for Papers

[Please circulate. Apologies for cross-postings.]


WoLLIC 2015
22nd Workshop on Logic, Language, Information and Computation 
July 20th-23rd, 2015
Bloomington, IN, USA


SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL) 
The Association for Logic, Language and Information (FoLLI) 
Association for Symbolic Logic (ASL) 
European Association for Theoretical Computer Science (EATCS) 
European Association for Computer Science Logic (EACSL) 
Sociedade Brasileira de Computação (SBC) 
Sociedade Brasileira de Lógica (SBL)

ORGANISATION
School of Informatics and Computing, Indiana University, USA
Program in Pure and Applied Logic, Indiana University, USA
Centro de Informática, Universidade Federal de Pernambuco, Brazil 

HOSTED BY
School of Informatics and Computing, Indiana University, USA 

CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date).

PROCEEDINGS
The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of a scientific journal (to be confirmed).

INVITED SPEAKERS
(tba)

STUDENT GRANTS
ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES
Feb 8, 2015: Paper title and abstract deadline 
Feb 15, 2015: Full paper deadline 
Mar 22, 2015: Author notification
Apr 5, 2015: Final version deadline (firm)

PROGRAMME COMMITTEE
Juliana Küster Filipe Bowles (U St Andrews, Scotland)
Guillaume Brunerie (ENS Ulm, France) (TBC)
Ann Copestake (U Cambridge, UK) (TBC)
Robin Cooper (U Gothenburg, Sweden)
Nikos Galatos (U Denver, USA)
Achim Jung (U Birmingham, UK)
Sara  Kalvala (U Warwick, UK)
Elham Kashefi (Edinburgh U, Scotland)
Peter Lefanu Lumsdaine (Institute for Advanced Study, USA)
Ian Mackie (U Sussex, UK)
Gerard de Melo (Tsinghua University, China)
Vivek Nigam (Federal U of Paraíba, Brazil)
Valeria de Paiva (Nuance Comm, USA) (CHAIR) 
Luiz Carlos 
Pereira  (PUC-Rio, Brazil)
Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil)
Alexandra Silva (Radboud Nijmegen U, The Netherlands)
Carolyn Talcott (SRI International, USA)
Josef Urban (Radboud Nijmegen U, The Netherlands)
Laure Vieu (IRIT-Toulouse, France) (TBC)
Renata Wasserman (U São Paulo, Brazil)
Anna Zamansky (U Haifa, Israel)

STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz.

ORGANISING COMMITTEE
Daniel Leivant (Indiana U) (Local co-chair)
Larry Moss (Indiana U) (Local co-chair)
Anjolina G. de Oliveira (U Fed Pernambuco) 
Ruy de Queiroz (U Fed Pernambuco) (co-chair)

FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.

WEB PAGE


_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Klaus Havelund | 26 Oct 15:26 2014
Picon
Picon

[fm-announcements] NFM 2015 - final call for papers


CALL FOR PAPERS

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 – 29 April 2015
Pasadena, California, USA

Paper Submission: *** 10 Nov 2014 ***


THEME

The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA such systems include for example autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as property-based design, code generation, and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other mission- and safety-critical systems in all design life-cycle stages. We encourage submissions on cross-cutting approaches marrying formal verification techniques with advances in critical system development, such as requirements generation, analysis of aerospace operational concepts, and formal methods integrated in early design stages and carrying throughout system development.


TOPICS

Topics of interest include, but are not limited to:

Model checking
Theorem proving
SAT and SMT solving
Symbolic execution
Static analysis
Runtime verification
Program refinement
Compositional verification
Modeling and specification formalisms
Model-based development
Model-based testing
Requirement engineering
Formal approaches to fault tolerance
Security and intrusion detection
Applications of formal methods to aerospace systems
Applications of formal methods to cyber-physical systems
Applications of formal methods to human-machine interaction analysis


INVITED SPEAKERS

Dino Distefano
Software Engineer at Facebook, California, USA and Professor at Queen Mary University of London, UK.

Viktor Kuncak
Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.

Rob Manning
Chief Engineer at NASA/JPL.


IMPORTANT DATES

Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium:   27 – 29 April 2015


LOCATION AND COST

The symposium will take place at the Hilton Hotel, Pasadena, California, USA, April 27-29, 2015.

There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.


SUBMISSION DETAILS

There are two categories of submissions:

- Regular papers describing fully developed work and complete results (15 pages)
- Short papers describing tools, experience reports, or descriptions of work in progress with preliminary results  
 (6 pages)

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by members of the Programme Committee. Papers will appear in a volume of Springer’s Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Papers should be submitted in PDF format.


PC CHAIRS

Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory


PROGRAMME COMMITTEE

Erika Abraham, RWTH Aachen University, Germany
Julia Badger, NASA Johnson Space Center, USA
Christel Baier, Technische Universität Dresden, Germany
Saddek Bensalem, VERIMAG/UJF, France
Dirk Beyer, University of Passau, Germany
Armin Biere, Johannes Kepler University, Austria
Nikolaj Bjorner, Microsoft Research, USA
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Leonardo de Moura, Microsoft Research, USA
Ewen Denney, NASA Ames Research Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Dawson Engler, Stanford University, USA
Jean-Christophe Filliatre, Université Paris-Sud, France
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Susanne Graf, VERIMAG, France
Alex Groce, Oregon State University, USA
Radu Grosu, Vienna University of Technology, Austria
John Harrison, Intel Corporation, USA
Mike Hinchey, University of Limerick/Lero, Ireland
Bart Jacobs, University of Leuven, Belgium
Sarfraz Khurshid, The University of Texas at Austin, USA
Gerwin Klein, NICTA, Australia
Daniel Kroening, Oxford University, UK
Orna Kupferman, Hebrew University Jerusalem, Israel
Kim Larsen, Aalborg University, Denmark
Rustan Leino, Microsoft Research, USA
Martin Leucker, University of Lubeck, Germany
Rupak Majumdar, Max Planck Institute, Germany
Pete Manolios, Northeastern University, USA
Peter Mueller, ETH Zurich, Switzerland
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Doron Peled, Bar Ilan University, Israel
Suzette Person, NASA Langley Research Center, USA
Andreas Podelski, University of Freiburg, Germany
Grigore Rosu, University of Illinois, USA
Kristin Yvonne Rozier, NASA Ames Research Center, USA
Natarajan Shankar, SRI International, USA
Natasha Sharygina, University of Lugano, Switzerland
Scott Smolka, Stony Brook University, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Mike Whalen, University of Minnesota, USA
Jim Woodcock, University of York, UK


STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center
Ewen Denney, NASA Ames Research Center
Ben Di Vito, NASA Langley Research Center
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Cesar Munoz, NASA Langley Research Center
Corina Pasareanu, NASA Ames Research Center
Suzette Person, NASA Langley Research Center
Kristin Yvonne Rozier, NASA Ames Research Center

---
---
To opt-out from this mailing list, send an email to

fm-announcements-request@...

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner@... 
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Lawrence Paulson | 22 Oct 13:33 2014
Picon
Picon

MetiTarski 2.4 released!

MetiTarski is an automatic theorem prover based on a combination of resolution and computer algebra
technology. It is designed to prove theorems involving real-valued special functions such as ln, exp,
sin, cos, arctan and sqrt. All variables are assumed to range over the real numbers.

MetiTarski can be downloaded from 

	http://www.cl.cam.ac.uk/~lp15/papers/Arith/download.html

You will be asked to leave your name and e-mail address so that we can have an idea how many users there are. You
will not receive regular e-mails from us.

Version 2.4 includes improved documentation, the nth-root function and experimental support for Bessel
functions of the first kind. We have added over 30,000 problems arising from William Denman's Ph.D. research.

We continue to provide a binary distribution (64-bit Linux and OSX).

Please note that MetiTarski is experimental research software. Feedback is welcome!!

Larry Paulson
S B Cooper | 22 Oct 22:42 2014
Picon

CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015

1st CALL FOR PAPERS:
      COMPUTABILITY IN EUROPE 2015: Evolving Computability
                   Bucharest, Romania
                    June 29 - July 3
             http://fmi.unibuc.ro/CiE2015/

IMPORTANT DATES:

Submission Deadline for LNCS:                 11 January 2015
Notification of authors:                         9 March 2015
Deadline for final revisions:                    6 April 2015

CiE 2015 is the 11th 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), Milan (2013) and Budapest (2014).

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges.  From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises.  The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.

In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.

We particularly invite papers that build bridges between
different parts of the research community.

For topics covered by the conference, please visit
        http://fmi.unibuc.ro/CiE2015/topics.html

TUTORIAL SPEAKERS

  * John Reif (Duke Unversity)
  * Steve Simpson (Pennsylvania State University)

CONFIRMED PLENARY SPEAKERS

  * Ann Copestake (University of Cambridge)
  * Mircea Dumitru (University of Bucharest, Public Lecture)
  * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
  * Julia Knight (University of Notre Dame)
  * Anca Muscholl (Universite Bordeaux)
  * Gheorghe Paun (Romanian Academy)
  * Alexander Razborov (University of Chicago
       and Steklov Mathematical Institute)
  * Vlatko Vedral (University of Oxford)

SPECIAL SESSIONS on

  * Representing streams
     (Organizers: Joerg Endrullis and Dimtri Hendriks)
  * Automata, logic and infinite games
     (Organizers: Dietmar Berwanger and Ioana Leustean)
  * Reverse mathematics
     (Organizers: Damir Dzhafarov and Alberto Marcone)
  * Classical computability theory
     (Organizers: Marat Arslanov and Steffen Lempp)
  * Bio-inspired computation
     (Organizers: Andrei Paun and Petr Sosik)
  * History and philosophy of computing
     (Organizers: Christine Proust and Marco Benini)

The PROGRAMME COMMITTEE consists of:

  * Marat Arslanov (Kazan)           * Jeremy Avigad (Pittsburgh)
  * Veronica Becher (Buenos Aires)   * Arnold Beckmann (Swansea)
  * Laurent Bienvenu (Paris)         * Alessandra Carbone (Paris)
  * Gabriel Ciobanu (Iasi)           * S Barry Cooper (Leeds)
  * Laura Crosilla (Leeds)           * Liesbeth De Mol (Ghent)
  * Walter Dean (Warwick)            * Volker Diekert (Stuttgart)
  * Damir Dzhafarov (Storrs, Connecticut)
  * Peter van Emde Boas (Amsterdam)  * Rachel Epstein (Harvard)
  * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
  * Joel David Hamkins (New York)    * Rosalie Iemhoff (Utrecht)
  * Emmanuel Jeandel (LORIA)         * Natasha Jonoska (Tampa, FL)
  * Antonina Kolokolova (St.John's, NL)
  * Antonin Kucera (Prague)          * Oliver Kutz (Magdeburg)
  * Benedikt Loewe (Hamburg & Amsterdam)
  * Jack Lutz (Ames, IA)             * Florin Manea (Kiel)
  * Alberto Marcone (Udine)          * Radu Mardare (Aalborg)
  * Joe Miller (Madison, WI)
  * Russell Miller (Flushing, NY)    * Mia Minnes (La Jolla, CA)
  * Victor Mitrana (Bucharest, co-chair)
  * Ian Pratt-Hartmann (Manchester)  * Dag Normann (Oslo)
  * Mehrnoosh Sadrzadeh (London)     * Anne Smith (St Andrews)
  * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
  * Paul Spirakis (Patras & Liverpool)
  * Jacobo Toran (Ulm)               * Marius Zimand (Towson, MD)

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 2015.

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

For submission instructions consult
    http://fmi.unibuc.ro/CiE2015/submission.html

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

____________________________________________________________________

CiE 2015 http://fmi.unibuc.ro/CiE2015/

ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
S B Cooper | 22 Oct 22:42 2014
Picon

CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015

1st CALL FOR PAPERS:
      COMPUTABILITY IN EUROPE 2015: Evolving Computability
                   Bucharest, Romania
                    June 29 - July 3
             http://fmi.unibuc.ro/CiE2015/

IMPORTANT DATES:

Submission Deadline for LNCS:                 11 January 2015
Notification of authors:                         9 March 2015
Deadline for final revisions:                    6 April 2015

CiE 2015 is the 11th 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), Milan (2013) and Budapest (2014).

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges.  From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises.  The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.

In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.

We particularly invite papers that build bridges between
different parts of the research community.

For topics covered by the conference, please visit
        http://fmi.unibuc.ro/CiE2015/topics.html

TUTORIAL SPEAKERS

  * John Reif (Duke Unversity)
  * Steve Simpson (Pennsylvania State University)

CONFIRMED PLENARY SPEAKERS

  * Ann Copestake (University of Cambridge)
  * Mircea Dumitru (University of Bucharest, Public Lecture)
  * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
  * Julia Knight (University of Notre Dame)
  * Anca Muscholl (Universite Bordeaux)
  * Gheorghe Paun (Romanian Academy)
  * Alexander Razborov (University of Chicago
       and Steklov Mathematical Institute)
  * Vlatko Vedral (University of Oxford)

SPECIAL SESSIONS on

  * Representing streams
     (Organizers: Joerg Endrullis and Dimtri Hendriks)
  * Automata, logic and infinite games
     (Organizers: Dietmar Berwanger and Ioana Leustean)
  * Reverse mathematics
     (Organizers: Damir Dzhafarov and Alberto Marcone)
  * Classical computability theory
     (Organizers: Marat Arslanov and Steffen Lempp)
  * Bio-inspired computation
     (Organizers: Andrei Paun and Petr Sosik)
  * History and philosophy of computing
     (Organizers: Christine Proust and Marco Benini)

The PROGRAMME COMMITTEE consists of:

  * Marat Arslanov (Kazan)           * Jeremy Avigad (Pittsburgh)
  * Veronica Becher (Buenos Aires)   * Arnold Beckmann (Swansea)
  * Laurent Bienvenu (Paris)         * Alessandra Carbone (Paris)
  * Gabriel Ciobanu (Iasi)           * S Barry Cooper (Leeds)
  * Laura Crosilla (Leeds)           * Liesbeth De Mol (Ghent)
  * Walter Dean (Warwick)            * Volker Diekert (Stuttgart)
  * Damir Dzhafarov (Storrs, Connecticut)
  * Peter van Emde Boas (Amsterdam)  * Rachel Epstein (Harvard)
  * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
  * Joel David Hamkins (New York)    * Rosalie Iemhoff (Utrecht)
  * Emmanuel Jeandel (LORIA)         * Natasha Jonoska (Tampa, FL)
  * Antonina Kolokolova (St.John's, NL)
  * Antonin Kucera (Prague)          * Oliver Kutz (Magdeburg)
  * Benedikt Loewe (Hamburg & Amsterdam)
  * Jack Lutz (Ames, IA)             * Florin Manea (Kiel)
  * Alberto Marcone (Udine)          * Radu Mardare (Aalborg)
  * Joe Miller (Madison, WI)
  * Russell Miller (Flushing, NY)    * Mia Minnes (La Jolla, CA)
  * Victor Mitrana (Bucharest, co-chair)
  * Ian Pratt-Hartmann (Manchester)  * Dag Normann (Oslo)
  * Mehrnoosh Sadrzadeh (London)     * Anne Smith (St Andrews)
  * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
  * Paul Spirakis (Patras & Liverpool)
  * Jacobo Toran (Ulm)               * Marius Zimand (Towson, MD)

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 2015.

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

For submission instructions consult
    http://fmi.unibuc.ro/CiE2015/submission.html

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

____________________________________________________________________

CiE 2015 http://fmi.unibuc.ro/CiE2015/

ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
Liu Yang (Asst Prof | 17 Oct 11:45 2014
Picon

ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation

16th International Conference on Formal Engineering Methods
ICFEM 2014, Luxembourg, 3-7 November 2014

Last Call for Participation

http://icfem2014.uni.lu
----------------------------------------
The 16th International Conference on Formal Engineering Methods (ICFEM
2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from
3rd November to 7 November 2014. Since 1997, ICFEM has been serving as
an international forum for researchers and practitioners who have been
seriously applying formal methods to practical applications.

Highlights:
----------------------------------------
+ Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel
Briand (University of Luxembourg) and Vincent Danos (University of
Edinburgh)
+ The conference is now available http://icfem2014.uni.lu/program.php
+ Panel discussion on November 4th: Are Formal Engineering Methods and Agile Methods Friend or Enemy?
+ Two affiliated workshops FTSCS 2014 and SOFL+MSVL.

PC Chairs
----------------------------------------
+ Stephan Merz (INRIA, France)
+ Jun Pang (University of Luxembourg, Luxembourg)
________________________________
CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or
privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or
disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.
Michael Winter | 20 Oct 21:19 2014
Picon

CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)


                           CALL FOR PAPERS

 
                  15th International Conference on
    Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

            28 September to 1 October 2015, Braga, Portugal
                  URL:  http://ramics2015.di.uminho.pt
         PDF: http://ramics2015.di.uminho.pt/RAMiCS15-CFP.pdf

 
 Scope
 -----

 We invite submissions in the general area of Relational and Algebraic 
 Methods  in Computer Science. Special focus will lie on formal methods 
 for software engineering, logics of programs and links with neighbouring 
 disciplines.

 Particular topics of interest for the conference cover,
 but are not limited to:

 * Algebraic approaches to
   - specification, development, verification, and analysis of programs
     and algorithms
   - computational logic, in particular logics of programs, modal and
     dynamic logics, interval and temporal logics
   - semantics of programming languages

 * Applications in fields such as
   - relational formal methods such as B or Z, tabular methods
   - information systems
   - graph theory and combinatorial optimisation
   - games, automata and language theory
   - spatio-temporal reasoning, knowledge acquisition
   - preference and scaling methods, computational social choice,
     social software

 * Theoretical foundations and supporting tools, including
   - mechanised and automated reasoning, decision procedures
   - process algebras, fixed point calculi, idempotent semirings,
     quantales, allegories
   - dynamic algebras, cylindric algebras and their applications in 
     computing

 
 History
 -------

 Since 1994, the RelMiCS meetings on Relational Methods in Computer 
 Science have been a main forum for researchers who use the calculus of 
 relations and similar algebraic formalisms as methodological and 
 conceptual tools. The AKA workshop series on Applications of Kleene 
 algebra started with a Dagstuhl seminar in 2001 and was co-organised 
 with the RelMiCS conference until 2009. Since 2011, joint RAMiCS 
 conferences continue to encompass the scope of both RelMiCS and AKA.

 The predecessors of this conference were held in Dagstuhl (January 
 1994), Parati (September 1995), Hammamet (January 1997), Warsaw 
 (September 1998), Quebec (January 2000), Dagstuhl (February 2001), 
 Oisterwijk (October 2001), Malente (April 2003), St. Catharines 
 (January 2005), Manchester (September 2006), Frauenwoerth (April 2008), 
 Doha (November 2009), Rotterdam (June 2011), Cambridge UK (September 
 2012) and Marienstatt im Westerwald (April 2014).

 
 Student Program
 ---------------

 The conference will be accompanied by a PhD training program. Details 
 will be published in due time in a special call and on the conference 
 website.

 
 Proceedings and Submission
 --------------------------

 All papers will be formally reviewed. We plan to publish the
 proceedings in the series Lecture Notes in Computer Science ready at
 the conference. Submissions must be in English, in Postscript or PDF
 format, and provide sufficient information to judge their merits.
 They must be unpublished and not submitted for publication elsewhere. 
 They should not exceed 16 pages in Springer LNCS style (accepted
 papers must be produced with LaTeX). Additional material may be
 provided by a clearly marked appendix or a reference to a manuscript
 on a website. This may be considered at the discretion of the PC.
 Deviation from these requirements may cause immediate rejection.
 One author of each accepted paper is expected to present the paper
 at the conference.

 Submission is via EasyChair at the following address:
    https://www.easychair.org/conferences/?conf=ramics2015
 Formatting instructions and the LNCS styled files can be obtained via:
    http://springer.de/comp/lncs/authors.html

 As for the earlier conferences of this series, it is also intended to
 publish a selection of the best papers in revised and extended form in
 a special issue of the Journal of Logic and Algebraic Methods in
 Programming (JLAMP).

 
 Important Dates
 ---------------

     Title and abstract submission:                 March 18 2015
     Submission of full papers:                     March 26 2015
     Notification:                                  June  05 2015
     Final versions due (firm deadline):            July  10 2015

     Conference:                   September 28 - October 01 2015

 
 Programme Committee
 -------------------

     Rudolf Berghammer     (Kiel, Germany)
     Jules Desharnais      (Laval U., Canada)
     Marcelo Frias         (Buenos Aires, Argentina)
     Stephen Givant        (Mills College, USA)
     Hitoshi Furusawa      (Kagoshima, Japan)
     Timothy G. Griffin    (Cambridge, UK)
     Walter Guttmann       (Canterbury, New Zealand)
     Robin Hirsch          (London, UK)
     Peter Hoefner         (NICTA, Australia; Publicity chair)
     Ali Jaoua             (Doha, Qatar)
     Peter Jipsen          (Chapman U., USA)
     Wolfram Kahl          (McMaster U., Canada)
     Rodger Maddux         (Iowa State U., USA)
     Ali Mili              (NJIT, U. Heights, USA)
     Bernhard Moeller      (U. Augsburg, Germany)
     Martin E. Mueller     (U. Augsburg, Germany)
     Jose N. Oliveira      (U. Minho, Portugal; General chair)
     Ewa Orlowska          (Warsaw, Poland)
     Agnieszka Rusinowska  (Univ. Paris 1, France)
     Gunther Schmidt       (Munich, Germany)
     Renate Schmidt        (Manchester, UK)
     Isar Stubbe           (U. Littoral-Cote-d'Opale, France)
     Michael Winter        (Brock U., Canada; PC chair)

 

 Steering Committee
 ------------------

     Rudolf Berghammer  (Kiel, Germany)
     Jules Desharnais   (Laval U., Canada)
     Ali Jaoua          (Doha, Qatar)
     Peter Jipsen       (Chapman U., USA)
     Bernhard Moeller   (U. Augsburg, Germany)
     Jose N. Oliveira   (U. Minho, Portugal)
     Ewa Orlowska       (Warsaw, Poland)
     Gunther Schmidt    (Munich, Germany)
     Michael Winter     (Brock U., Canada)

 

 Organising Committee
 --------------------

     Jose N. Oliveira    (U. Minho, Portugal; General chair)
     Michael Winter      (Brock U., Canada; PC chair)
     Luis S. Barbosa     (U. Minho, Portugal)
     Manuel A. Cunha     (U. Minho, Portugal)
     Antonio N. Ribeiro  (U. Minho, Portugal)
COMPAGNA, Luca | 16 Oct 17:19 2014
Picon

[CfP] ESSOS 2015: demo session - deadline: Oct 24th

[Apologies for multiple copies of this announcement]

 

This year we are planning to include a demonstration session in the ESSOS symposium. If you are working on practical solutions to industrial-relevant problems in key areas of ESSOS, consider disseminating about your experience at our demonstration session.

 

If you are interested please send me an email (Luca Compagna, luca.compagna-y6kNeMnOB+c@public.gmane.org) with a short description of the demo you would like to present. Details can be found on the ESSOS call-for-papers (https://distrinet.cs.kuleuven.be/events/essos/2015/calls-papers.html). Below I report the main guidelines. Deadline is October 24th. If you have any question/comment, please feel free to come back to me.

 

Demo presentation (short description, max 4 pages, not published in ESSOS proceedings) - May shortly describe (i) the overall problem, (ii) the architecture underlying the system demonstrated, and (iii) one or more use case scenarios that present how the audience will gain an understanding of the underlying technology. Submissions will be evaluated based on the motivation of the work behind the use of the system to be demonstrated and its novelty. Demo presentations will not be included in the formal proceeding of ESSOS.

 

Looking forward to receiving your proposals.

Best regards,

luca

 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Luca | 16 Oct 08:06 2014
Picon

TLCA: 1st CALL for PAPERS


			FIRST CALL FOR PAPERS
		Thirteenth International Conference on
	  TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA 2015)

		 1 July - 3 July 2015, Warsaw, Poland
	    (co-located with RTA 2015 as part of RDP 2015)
		      http://rdp15.mimuw.edu.pl/

The 13th International Conference on Typed Lambda Calculi
and Applications (TLCA 2015) is a forum for original
research in the theory and applications of typed lambda
calculus, broadly construed.
Suggested, but not exclusive, list of topics for submission are:

- Proof-theory: natural deduction, sequent calculi, cut elimination
   and normalization, propositions as types, linear logic and proof
   nets, type-theoretic aspects of computational complexity
- Semantics: denotational semantics, game semantics, realisability,
    domain theory, categorical models, higher order semantics of
    natural language
- Types: subtypes, dependent types, polymorphism, inductive,
    coinductive and recursive types, intersection types and related
    approaches, type inference and type checking, types in program
    analysis and verification, types in proof assistants, homotopy type
    theory
- Programming: foundational aspects of functional programming,
    object-oriented programming and other programming paradigms,
    calculi for higher order concurrency (e.g. pi-calculus),
    flow analysis of higher-type computation, program equivalence,
    program transformation and optimization
- Typed lambda calculi in education, proof systems based on lambda
    calculus to teach mathematics, lambda calculi as a unified notation
    in scientific education

SUBMISSION GUIDELINES

We solicit submissions of research papers, which must:
- be in English and not exceed 15 pages (including figures and
   bibliography). Additional material intended for the reviewers
   but not for publication in the final version - for example
   details of proofs - may be placed in a clearly marked appendix
   that is not included in the page limit. Reviewers will be told
   that they may choose to ignore the appendix.
- present original research which is unpublished and not submitted
    elsewhere (conferences, journals, books, etc.)
- use LIPIcs latex style
   http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/
- be submitted electronically in PDF via theEasyChair TLCA
   2015 Submission Webpage (will open nearer the deadline).

Submissions deviating from these instructions may be rejected without
review. A condition of submission is that, if accepted, one of the
authors must attend the conference to give the presentation.  The
proceedings will be published as an electronic volume in the Leibniz
International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.
Note that LIPIcs is open access and hence publications automatically
satisfy the requirements many research councils impose on
publications.

Any questions regarding the submission guidelines should be directed
to the Programme Committee Chair prior to submitting.

COLOCATED EVENTS

TLCA 2015 is organized as part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP 2015), together with
the International Conference on Rewriting Techniques and
Applications (RTA 2015) and several related events. Details on
workshops affiliated with RDP 2015 will be available at the web
site in due course.

IMPORTANT DATES
Abstract Deadline:		30 January 2015
Submission Deadline:	6 February 2015
Notification:		  	2 April 2015
Camera-Ready:		17 April 2015

PROGRAMME CHAIR

Thorsten Altenkirch (U Nottingham)
tlca2015@... <at> easychair.org

PROGRAMME COMMITTEE

Steve Awodey				(Carnegie Mellon U)
Stefano Berardi 			(U Torino)
James Chapman 			(TU Tallinn)
Gilles Dowek				(INRIA)
Peter Dybjer 				(Chalmers U)
Silvia Ghilezan 			(U Novi Sad)
Mauro Jaskelioff 			(U Rosario)
Chantal Keller 				(MSR Cambridge)
Paul Levy 				(U Birmingham)
Ralph Matthes 			(IRIT, CNRS  U Toulouse)
Keiko Nakata 				(TU Tallinn)
Damian Niwinski			(U Warsaw)
Valeria de Paiva			(Nuance Communications)
Matthieu Sozeau 			(INRIA)
Wouter Swierstra 			(U Utrecht)

CONFERENCE CHAIR

Aleksy Schubert (U Warsaw)

TLCA STEERING COMMITTEE

Sandra Alves (U Porto)
Steve Awodey, (CMU)
Pierre-Louis Curien (CNRS/U Paris Diderot)
Ugo Dal Lago (U Bologna)
Gilles Dowek (INRIA)
Masahito Hasegawa (U Kyoto)
Hugo Herbelin (U Denis Diderot)
Martin Hofmann (LMU Munchen)
Luke Ong (U Oxford)
Michele Pagani (U Denis Diderot)
Jens Palsberg  (UCLA)
Jakob Rehof (U Dortmund)
Pawel Urzyczyn (U Warsaw), chair
Philip Wadler (U Edinburgh)

TLCA HONORARY ADVISOR

Samson Abramsky (U Oxford)
Henk Barendregt (U Nijmegen)
Mariangiola Dezani (U Torino)
  Roger Hindley (Swansea U)
Simona Ronchi Della Rocca (U Torino)

TLCA PUBLICITY CHAIR

Luca Paolini (U Torino)

Gmane