Olá, lista,
sempre tive dificuldades de compreender como é possível uma semântica
paraconsistente.
Li o artigo http://www.cfh.ufsc.br/~principi/p133-1.pdf e confesso
que, do meu
ponto de vista, o problema ainda persiste. Em outras palavras, a
meta-linguagem
utilizada ao escrever o artigo possui uma semântica clássica.
Por exemplo, se eu partir do pressuposto que minha metalinguagem
não é clássica,
como eu posso sequer diferenciar as teorias "ZFU" e "ZF", ou os
conceitos
"quasi-set" e "set", ou também "m-object" de "object" (ou até "lógica
não-clássica" e "lógica clássica")?
Ou seja, nesse caso, não importa a teoria que eu apresento, mas sim
a maneira
como eu a apresento, e essa maneira ainda é clássica.
Tem algo aí que não estou vendo?
Abraços,
Júlio César A. Custódio
-------------- Próxima Parte ----------
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100806/e03da5d1/attachment-0001.htm
------------------------------
Message: 2
Date: Sat, 7 Aug 2010 01:10:03 -1200
From: Walter Carnielli <[email protected]>
Subject: [Logica-l] ICDCIT 2011: India, 9-12 Feb 2011
To: [email protected]
Message-ID:
<[email protected]>
Content-Type: text/plain; charset=windows-1252
Caros colegas,
estou repassando esta msg a pedido do Raja Natarajan de Mumbai,
India,
abs,
Walter
===================================
Dear Walter,
How are you doing?
I am the programme committee co-chair for the forthcoming
Seventh International Conference on Distributed Computing
and Internet Technology (ICDCIT 2011),
to be held in Bhubaneshwar, India during February 09-12, 2011.
The conference webpage is at
http://www.icdcit.ac.in/
I request you to kindly encourage your interested colleagues to
submit papers to this conference.
I have also appended the "Call for papers" to this email.
Thank you
Best Regards
Raja
---------------------------------------------------------------------------
Raja Natarajan | E-Mail: [email protected]
School of Technology & Computer Science | Tel: +91-22-22782312
Tata Institute of Fundamental Research | Fax: +91-22-22804610
Mumbai 400 005, INDIA | http://www.tcs.tifr.res.in/~raja
---------------------------------------------------------------------------
-------------------------------------------------------------------
CALL FOR PAPERS
ICDCIT -- 2011
The Seventh International Conference on
Distributed Computing and Internet Technology
http://www.icdcit.ac.in
09 - 12 February 2011,
Bhubaneswar, India
-------------------------------------------------------------------
IMPORTANT DATES
Submission Deadline - 15 August 2010
Decision Notification - 01 October 2010
Final Submission - 01 November 2010
Conference Dates - 09--12 February 2011
CONTACT URL: http://www.icdcit.ac.in
---------------------------------------------------------------------
INVITED SPEAKERS
Jos Baeten, Eindhoven University of Technology, The Netherlands
Yves Deswarte, LAAS-CNRS, France
Kohei Honda, Queen Mary & Westfield College, UK
Vaughan Pratt, Stanford University, USA
Maria Wimmer, University of Koblenz, Germany
---------------------------------------------------------------------
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 7th International Conference on Distributed Computing and
Internet
Technologies (ICDCIT - 2011) will take place in Bhubaneswar during
9 -
12 February 2011. It will be co-organized by KIIT University,
Bhubaneswar, India and Centre for Electronic Governance, UNU-IIST,
Macao. Like the last six editions, the proceedings are expected to be
published by Springer in the series of Lecture Notes in Computer
Science.
---------------------------------------------------------------------
2. PAPER SUBMISSION
---------------------------------------------------------------------
ICDCIT - 2011 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 the last six editions of the conference have been
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 and Service Grid Allocations and 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-Health Applications
E-Learning & Web 2.0
---------------------------------------------------------------------
4. COMMITTEES
---------------------------------------------------------------------
PATRONS
Achyuta Samanta, KIIT, India
ADVISORY COMMITTEE
Maurice Herlihy, Brown University, USA
Gérard Huet, INRIA, France
Tomasz Janowski, UNU-IIST, Macao
A.S.Kolaskar, KIIT, India
David Peleg, WIS, Israel
R.K. Shyamasundar, TIFR, India
GENERAL CHAIRS
H. Mohanty, University of Hyderabad, India
Vivek Sarkar, Rice University, USA
PROGRAM CO-CHAIRS
Raja Natarajan, TIFR, India
Adegboyega Ojo, UNU-IIST, Macao
ORGANIZING CHAIR
Animesh Tripathy, KIIT, India
FINANCE CHAIR
Samaresh Mishra, KIIT, India
PUBLICITY CHAIR
Prachet Bhuyan, KIIT, India
PROGRAM COMMITTEE
Purandar Bhaduri, IIT Guwahati, India
Nikolaj Bjorner, Microsoft, USA
Elizabeth Buchanan, Univ of Wisconsin-Milwaukee,U SA
Antonio Cerone, UNU--IIST, Macao
Venkatesh Choppella, IIIT Hyderabad, India
Van Hung Dang, Vietnam National Univ, Vietnam
Elsa Estevez, UNU--IIST, Macau
Pablo Fillottrani, Universidad Nacional del Sur, Argentina
Veena Goswami, KIIT, India
Chittaranjan Hota, BITS Pilani, India
Paul Humphreys, University of Virginia, USA
Aditya Kanade, IISc, India
Delia Kesner, Univ of Paris, France
Paddy Krishnan, Bond Univ, Australia
Lakshmanan Kuppusamy, VIT, India
Sanjay Madria, Missouri Univ, USA
Rupak Majumdar, MPI, Germany
Tulika Mitra, NUS, Singapore
Debajyoti Mukhopadhyay, CBS, India
G.B.Mund, KIIT, India
Brajendra Panda, Univ of Arkansas, USA
N. Parimala, JNU, India
Ankur Narang, IBM, India
Rajdeep Niyogi, IIT Roorkee, India
Manas Ranjan Patra, Berhampur University, India
Dana Petcu, West Univ of Timisoara, Romania
G. Michele Pinna, Univ of Cagliari, Italy
P. Radha Krishna, Infosys, India
Srini Ramaswamy, ABB Corporate Research, India
Benoit Razet, TIFR, India
Ashutosh Saxena, Infosys, India
Manoj Saxena, Univ of Delhi, India
Jaydip Sen, TCS, India
Hardeep Singh, GNDU, India
Arcot Sowmya, UNSW, Australia
Manuel Serrano, INRIA, France
Hideyuki Takahashi, Tohoku University, Japan
Nobuko Yoshida, Imperial College London, UK
ORGANIZERS
KIIT University
UNU-IIST Centre for Electronic Governance, Macao
Submission Deadline -- 15 August 2010
CONTACT URL: http://www.icdcit.ac.in
------------------------------------------
--
+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science ? CLE
State University of Campinas ?UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6515
Fax: (+55) (19) 3289-3269
e-mail: [email protected]
Website: http://www.cle.unicamp.br/prof/carnielli
------------------------------
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Fim da Digest Logica-l, volume 54, assunto 9
********************************************
