[TYPES/announce] CFP: UNIVERSAL LOGIC Vichy, 2018 DEADLINE EXTENSION: OCT 5, 2017

[N. Raja]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The 6th WORLD CONGRESS ON UNIVERSAL LOGIC
will take place in Vichy, France, June 21-26, 2018
after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013
and Istanbul 2015:
http://www.uni-log.org/vichy2018

Extended deadline to submit an abstract is October 5, 2017
You can either submit an abstract to the general organization at
unilog2...@yandex.com
or to the organizers of a specific workshop, see details in the website.

There will be about 20 workshops within UNILOG'2018:
- Proof Theory
- Model Theory
- The Logic of Social Practices
- Around Peirce
- Logical Geometry
- Logic and Music
- Logical Correctness
- Reflections on Paraconsistency
- Naming Logic(s) II
- The Lvov-Warsaw School: Past, Present and Future
- Logics and Metalogics
- Categories and Logics
- Hintikka’s Logical Thought
- Homo Logicus III
- Practices of Writing and Reading in Logic
- Logic, Probability and their Generalizations
- Logic for Children
- Logic for Dynamic Real-World Information

UNILOG is a logic event in a broad sense. It gathers people from many
horizons
(philosophy, mathematics, linguistics, computer science, semiotics,
cognitive science ...)
and the idea is to promote interaction between all these people.
For this edition there will be the award of Logic Prizes from more than 10
countries:
http://www.uni-log.org/logic-prize-world
Before the congress, June 16-20, 2018, there will be a school with 30
tutorials.

Vichy is a charming relaxing thermal city at the middle of France,
developed by Napoleon III in the second half of the 19th century, who in
particular created beautiful parks with species of trees from all over
the world. Vichy, in the Duchy of Bourbon, a region full of castles,
is a small city, where it is possible to go everywhere just by walking.
The event will take place at the university campus nearby the Celestins
spring,
the banks of the Allier river (where it is possible to swim) and the city
center.
June is a very nice time to be in Vichy, there are lots of animations,
including on June 21 a very lively musical day celebrating summertime.
https://www.vichy-destinations.fr/la-destination/

Looking forward to seeing you in Vichy in June 2018
Jean-Yves Beziau (University of Brazil, Rio de Janeiro and Ecole Normale
Supérieure, Paris)
Christophe Rey (University Clermont Auvergne, CNRS, LIMOS)
Organizers of UNILOG'2018

---
U N I L O G - World Congress and School on Universal Logic - U N I LO G
Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018
http://www.uni-log.org

[TYPES/announce] CFP: 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

[N. Raja]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Papers:

The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC
will take place in Vichy, France, June 16-26, 2018
after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio
2013 and  Istanbul 2015:
http://www.uni-log.org/vichy2018

Along these years UNILOG has been a leading international logical event
with the participation of many famous logicians such as Wilfrid Hodges,
Daniele Mundici, Saul Kripke, Jaakko Hintikka, Dov Gabbay, Arnon Avron,
Benedikt Löwe, David Makinson, Yde Venema, Newton da Costa, Mike Dunn,
Val Goranko,  Yuri Gurevich,  Janusz Czelakowski, Stephen Read, Sara Negri,
Arnold Koslow, Peter Schröder-Heister, Gila Sher, Hiroakira Ono, John
Corcoran,
Hartry Field, Gerhard Jaeger, Ernest Lepore, Marcus Kracht, Melvin Fitting,
Luciano Floridi,  Patrick Blackburn, Jan Wolenski, Krister Segerberg,
Dale Jacquette, Sun-Joo Shin, Jouko Väänänen, John Woods and many
more.

UNILOG is a logic event in a broad sense. It gathers people from many
horizons
(philosophy,  mathematics, linguistics, computer science, semiotics,
 cognitive science ...)
and the idea is to promote interaction between all these people.

The previous  edition in Istanbul gathered more than  400 logicians from
about 50 different countries.
For the 6th edition we will follow a similar format:
- A school of logic of 5 days with 30 tutorials
- A congress of 6 days with about 30 sessions/workshops
- Award of Logic Prizes from about 10 countries
- A secret speaker (speaker whose identity is revealed only at the time
of her / its / his speech).

Vichy is a charming relaxing thermal city at the middle of France,
developed by Napoleon III in the second half of the 19th century, who in
particular created beautiful parks with species of trees from all over
the world.  Vichy, in the Duchy of Bourbon, a region full of castles,
is a  small city,  where  it is possible to go everywhere just by walking.
The event will take place at the university campus nearby the Celestins
spring,
the banks of the Allier river (where it is possible to swim) and the city
center.
June is a very nice time to be in Vichy with lots of animations,
including  on June 21 a very lively musical day celebrating summertime.

Deadline to submit an abstract: September 15, 2017

Looking forward to seeing you in Vichy in June 2018
Jean-Yves Beziau (University of Brazil, Rio de Janeiro and Ecole Normale
Supérieure, Paris)
Christophe Rey (University Clermont Auvergne, CNRS, LIMOS)
Organizers of UNILOG'2018

---
U N I L O G  -  World Congress and School on Universal Logic -  U N I LO G
Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018
http://www.uni-log.org/vichy2018

UNILOG 2018 Vichy 
www.uni-log.org
The event will take place at Vichy University Campus - 1 Avenue des
Célestins - 03200 Vichy, France

[TYPES/announce] ICDCIT -- 2014, Bhubaneswar, India, Call for papers

[N. Raja]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

---
CALL FOR PAPERS

ICDCIT -- 2014
The Tenth International Conference on
Distributed Computing and Internet Technology:
http://www.icdcit.ac.in
06 - 09 February 2014,
Bhubaneswar, India
---
IMPORTANT DATES

Submission Deadline - 06 September 2013
Decision Notification   - 28 October 2013
Camera Ready Version- 07 November 2013
Conference Dates- 06--09 February 2014
CONTACT URL: http://www.icdcit.ac.in
-
INVITED SPEAKERS

Gérard Berry, Collège de France
Vivek Shripad Borkar, IIT Bombay
Elizabeth Buchanan, University of Wisconsin-Stout
Anupam Datta, Carnegie Mellon University
François Fages, INRIA Paris-Rocquencourt
Bud Mishra, Courant Institute of Mathematical Sciences
-
1. INTRODUCTION
-
Established in 2004, the ICDCIT conference series has become a
platform for Computer Science researchers from India and all over the
world to exchange research results and ideas on the foundations and
applications of Distributed Computing and Internet Technologies.
Increasingly, such technologies enable individuals and organizations
to jointly engage in the production, processing and dissemination of
knowledge.

The 10th International Conference on Distributed Computing and Internet
Technologies (ICDCIT - 2014) will take place in Bhubaneswar during 06 -
09 February 2014. It will be co-organized by KIIT University,
Bhubaneswar, India. Like the last nine editions, the proceedings will
be published by Springer in the series of Lecture Notes in Computer
Science.
-
2. PAPER SUBMISSION
-
ICDCIT - 2014 invites submissions of research papers containing
original contributions to the foundations and applications of
Distributed Computing and Internet Technology. The papers must not be
published or being considered for publication by any other conference
or journal. All submitted papers will be reviewed by the Program
Committee. In order to appear in the conference proceedings, accepted
papers must be presented at the conference by one of the authors.

Papers must be written in English and should not exceed 12 pages,
prepared according to the LNCS style in LaTeX or Word and submitted
electronically in PDF format through the conference submission portal
at EasyChair. Submissions received after the due date, exceeding
length limit, or not structured according to the provided templates
may not be considered for review.

The proceedings of ICDCIT-2014 will be published by Springer in the
Lecture Notes on Computer Science series.
-
3. SCOPE
-
The list of topics addressed by ICDCIT includes, but is not limited to:

DISTRIBUTED COMPUTING
Distributed Algorithms
Concurrency and Parallelism
Performance Analysis
Domain-Specific Architectures  Languages
Secure Computing and Communication
Data, Service Grid Allocations  Computations
Cloud and P2P Systems
Location-Based Computing
Formal Methods
Bio Inspired Computing

INTERNET TECHNOLOGIES
Semantic Web
Service Oriented Architecture
Web Search  Mining
Information Retrieval
Multi-media Systems
QoS Analysis
Business Processing
Monitoring and Service Delivery
Bidding and Negotiation
Reputation and Trust

SOCIETAL APPLICATION
IT Infrastructures
Social Networking
Co-operative Problem Solving
Participatory Governance
Environmental Resource Management
Culture and Heritage Management
Entertainment Systems
Applications in Governance
E-Healthy Applications
E-Learning  Web 2.0
-
4. COMMITTEES
-
ADVISORY COMMITTEE
Gérard Huet, INRIA, France
Tomasz Janowski, UNU-IIST, Macao
P. P. Mathur, KIIT, India
H. Mohanty, University of Hyderabad, India
David Peleg, WIS, Israel
R. K. Shyamasundar, TIFR, Mumbai, India

GENERAL CHAIR
Maurice Herlihy, Brown University, USA

PROGRAM CHAIR
Raja Natarajan, TIFR, India

PROGRAM COMMITTEE
Sanjeev K. Aggarwal, IIT Kanpur
Shivali Agarwal IBM, India Research Lab
Sowmya Arcot, UNSW, Australia
Natasha Alechina, University of Nottingham, U.K.
Suman Bhattacharya, Tata Consultancy Services
Ajay K. Bisoi, KIIT University
Gautam Barua, IIT Guwahati
Nikolaj Bjorner, Microsoft Research, U.S.A.
Anwitaman Datta, NTU, Singapore
Meenakshi D'Souza, IIIT Bangalore
Van Hung Dang, Vietnam National University, Vietnam
Elsa Estevez, UNU - IIST, Macau

[TYPES/announce] Contest: how to combine logics?

[N. Raja]

[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

How to combine logics?

This will be the contest for Universal Logic 2010
Prize offered by Birkhäuser at the
World Congress on Universal Logic III
Lisbon, Portugal, April 22-25, 2010
http://www.uni-log.org

When we have two logics, we may want to put them together.
For example on the one hand we have a temporal logic and on the other hand
we have a deontic logic, how then to put them together to produce a
temporal deontic logic in which we can deal with sentences such as
Sometimes it is allowed to eat chocolate?

This is a very interesting question in the engineering of logic. People
have been working in the subject since about 15 years. But there are still
some fundamental problems not completely solved. These problems are
connected to the very nature of what a logical system is. One may wonder
if the intuitive definition of combination of logics as the smallest
conservative extension of two given logics really works, and also if it is
always possible to combine two logics.

If you want to take part to this contest send a short paper (10 to 15
pages) to unilog2...@gmail.com before November 15th, 2009. The best ones
will be selected for presentation at a special session during the congress
and a jury will then decide who is the winner.

[TYPES/announce] World Congress and School of Universal Logic, Lisbon 2010

[N. Raja]

[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.

There will be:
10 invited speakers, among them: Hartry Field, Yuri Gurevich, Gehrard
Jaeger, Dana Scott
10 special sessions, among them: logic diagrams, substructural logics,
non-classical mathematics
21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic
Logics, Truth-values
1 contest: How to combine logics?

Submission deadline for contributed talks is October 15, 2009

UNILOG'2010
World Congress and School on Universal Logic III
April 18-25, 2010, Lisbon, Portugal
http://www.uni-log.org

[TYPES/announce] Papers on Interactive Theorem Proving

[N. Raja]

[ The Types Forum (announcements only), 
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

I would like to announce a recent special issue of the journal
Sadhana -- published by the Indian Academy of Sciences --
on Interactive Theorem Proving and Verification,
which may be of interest to some members of this list.

The following papers which comprise the entire
Special Issue of Sadhana: Volume 34 (1), February 2009,
are accessible online either by following the link
on Back Issues from the web page
   http://www.ias.ac.in/sadhana
or directly on the link:
  http://www.ias.ac.in/sadhana/bi2009Feb.htm

Contents:

1. Proof assistants: History, ideas and future
by Herman Geuvers.

2. Operating system verification—An overview
by Gerwin Klein.

3. A compact kernel for the calculus of inductive constructions
by A.Asperti, W.Ricciotti, C.Sacerdoti Coen and E.Tassi.

4. Proving the correctness of client/server software
by Eyad Alkassar, Sebastian Bogan and  Wolfgang J. Paul

5. Formalizing Arrow’s theorem
by Freek Wiedijk


Best Wishes
Raja