gmane.comp.mathematics.reliable-computing

[Reliable Computing] FW: USD 2009: mark your calendars

Kreinovich, Vladik — 2008-08-28T21:44:00

Forwarding. Vladik -----Original Message----- From: Graeme Manson [mailto:graeme.manson-1V21x8GFL1deXsq7+8kxVA< at >public.gmane.org] After the success of the first conference last year in Sheffield, we have decided to host the 2nd International Conference on Uncertainty in Structural Dynamics at the University of Sheffield, UK between 15th and 17th June. We hope to make the conference slightly bigger than first time round whilst retaining the friendly, relaxed and focussed atmosphere. We will be sending out the flyers soon. Thanks very much and best wishes, Graeme.

[Reliable Computing] FW: interval session at NAFIPS'09: preliminary CFP

Kreinovich, Vladik — 2008-08-18T19:36:46

Dear Friends, As usual, Nafips would welcome an interval-related session. Please let me know ASAP if you are interested, we need to submit a proposal by November 1. -----Original Message----- NAFIPS'09 28th North American Fuzzy Information Processing Society Annual Conference University of Cincinnati Cincinnati, Ohio, USA June 14-17, 2009 the webpage http://nafips2009.ewu.edu/ will be set up soon Dear Colleague, You are cordially invited to participate in the 28th North American Fuzzy Information Processing Society Annual Conference, NAFIPS'09, to be held at the University of Cincinnati in Cincinnati, Ohio on June 14-17, 2009. NAFIPS'09 aims to bring together researchers, engineers and practitioners to present the latest achievements and innovations in the area of fuzzy information processing, to discuss thought-provoking developments and challenges, and to consider potential future directions. Topics of Interest include, but are not Limited to: Fuzzy sets methodology/Algorithms/Mathematics Computational Intelligence/Learning Fuzzy modeling/Intelligent data analysis Pattern recognition/Image processing Data mining/Databases Human-centric interfaces/Visualization Neuro-fuzzy systems/Evolutionary optimization Adaptive systems/Uncertainty management Control/Robotics/Computer vision Bioinformatics/Software engineering/Intelligent agents Applications/Computational experiments/Case studies Hybrid architectures Paper Submission Authors are invited to prepare papers of no more than six (6) pages in IEEE style (see the NAFIPS'09 web site for details) including results, figures, and references. The papers should be submitted online. Detailed information will be provided on the NAFIPS'09 web site http://nafips2009.ewu.edu/ We strongly encourage students to submit papers. Special best paper awards are to be presented at the conference banquet to recognize the accomplishments of students. To qualify, a student or a group of students must be the primary author(s) of the paper. The paper will be judged based on both manuscript content and presentation. NAFIPS 2009 will be held in Cincinnati, Ohio, one of the unique cities in the world. It has been a hub of commerce and culture at the midpoint of the Ohio River for more than 200 years. And from historical museums to modern sporting actions, it provides a unique and stimulating environment for NAFIPS 2009. Between the plenty of things to see and to do in the city and surrounding area, Cincinnati is an ideal location for a few extra days of pre- or post-conference recreation. Important Dates Special session proposals: November 1, 2008 Papers due: December 20, 2008 Notification of acceptance of papers: February 20, 2009 Final paper submission and Early Registration: April 1, 2009 For further details, please contact: Atsushi Inoue, atsushi.inoue-OJu3kX/SiRQ< at >public.gmane.org Vladik Kreinovich, vladik-KrEYnkgXKxc< at >public.gmane.org Honorary Conference Chair Lotfi Zadeh, University of California, Berkeley Organizing Committee Members General Chair: Anca Ralescu Program Co-Chairs: Atsushi Inoue Vladik Kreinovich Sponsorship and Publicity Team: Asli Celikyilmaz (Chair) Christian Servin

[Reliable Computing] FW: FW: RSKT2009 Call for papers

Kreinovich, Vladik — 2008-08-16T17:11:53

Forwarding. Please notice that reliable computing (in our sense) is explicitly mentioned. ****************************************************************** From: Tianrui Li [mailto:trli30-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org] Call for Papers The Fourth International Conference on Rough Sets and Knowledge Technology (RSKT2009) July 14-16, 2009, Gold Coast, Australia (http://www.usq.edu.au/rskt2009) Rough set theory is closely related to knowledge technology in a variety of forms such as knowledge discovery, approximate reasoning, intelligent and multi-agent system design, knowledge intensive computations, cognitive science and medicine. The cutting-edge knowledge technologies have great impact on learning, pattern recognition, machine intelligence, automation, transformation, communication, exploration and exploitation of knowledge. A principal break-through of such technologies is the utilization of methodologies that facilitate knowledge processing. The major objectives of the conference are to present the state-of-the-art scientific results, encourage academic and industrial interaction, and promote collaborative research in rough sets and knowledge technology worldwide. The 4th International Conference on Rough Sets and Knowledge Technology will be held in Gold Coast, Australia, July 14-16, 2009. Previously, we have successfully organised the RSKT'08 (Chengdu, China), JRS'07 (RSKT'07 together with RSFDGrC'07) (Toronto, Canada) and RSKT'06 (Chongqing, China). Important dates: Full paper submission: December 1, 2008 Acceptance notification: February 1, 2009 Final paper submission + Registration + Copyright: March 15, 2009 Submission procedure: Electronic version of full paper (not exceeding 8 pages including figures and tables) should be submitted online at: http://www.usq.edu.au/rskt2009 (all submissions must be in PDF format). Publication: All accepted papers will be published in the conference proceedings by Springer-Verlag in the series of Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (LNCS/LNAI, pending). Extensions of selected papers from the RSKT2009 proceedings will be considered for publication in special issues of Fundamental Informatics (FI, SCI indexed) and International Journal of Computational Intelligence Systems (IJCIS). For further information, please contact: RSKT 2009 Secretariat (to Dr Paul Wen) Faculty of Engineering and Surveying University of Southern Queensland Toowoomba 4350, QLD, Australia A/Prof. Yuefeng Li Faculty of Information Technology Queensland University of Technology Brisbane 4001, QLD, Australia Email: rskt09-wl3jWGbiDJ8QrrorzV6ljw< at >public.gmane.org, or pengwen-5vneWE2wkdsQrrorzV6ljw< at >public.gmane.org Tel: 0061-7-46312586, 31318 1921 ; Fax: 0061-7-46312526 Topics (included, but are not limited to): Rough Sets and Computing Theory Autonomy-oriented Computing Evolutionary Computing Fuzzy Sets and Computing Granular Computing Grid and Cooperative Computing Intelligent Computing Molecular and Quantum Computing Neural Computing Reliable Computing Rough Sets and Computing Soft Computing Knowledge Technology Automated Reasoning Concept Formation and Learning Conceptual Maps Data Mining Formal Concept Analysis Intelligent Data Analysis Knowledge Engineering Knowledge Retrieval Knowledge Theory Logics Machine Learning Cognitive Neuroscience and Technology Imaging Modalities for Cognition Technologies for Human Vision Brain-machine Interfaces Clinical Monitoring EEG, TMS etc Cybernetics Bio-statistics and Data Mining Systems Biology Genomics and Proteomics Novel Biosensing Modalities Micro- and Nano-biosensors Imaging Neuroscience Neurology and Signal Processing Theoretical and Computational Neuroscience Neural Control and Rehabilitation Computing Intelligence Computer Vision and Perception Intelligent Agents and Multiagents Intelligent Control and Modelling Pattern Recognition Robotics Speech Recognition Intelligent Information Processing Artificial Intelligence Artificial Life Bioinformatics Brain Informatics Cognitive Informatics Cognitive Information Processing Intelligence Science Natural Intelligence Neural Informatics Natural Language Processing Web Intelligence Applications Digital City and Digital Interactivity Intelligent Agriculture Intelligent Bio-Medical Intelligent CAD Intelligent Communications Intelligent Education Intelligent Environmental Engineering Intelligent Games Intelligent Information Security Intelligent Management Intelligent Manufacture and Automation Intelligent Power Intelligent Telecommunications Intelligent Transportation Artificial Intelligence in Medicine Science Medical Web Intelligence and telemedicine Medical Knowledge Networks and Management Data Mining in Medicine Image Reconstruction Image Segmentation and Analysis

[Reliable Computing] FW: MCS special issue: call for papers

Kreinovich, Vladik — 2008-08-15T15:21:24

FTI. Real computation is very much what we do. -----Original Message----- From: G. Vegter [mailto:gert-6NlTNAH2Jlw5M2T75dP4jw< at >public.gmane.org] Call for Papers for a Special Issue of Mathematics in Computer Science on Algorithms and Complexity at the Interface of Mathematics and Computer Science Guest Editors: Gert Vegter and Chee Yap Theoretical algorithms and their complexity are central in foundational research at the interface between mathematics and computer science. This will be the focus of this special issue of Mathematics in Computer Science (MCS). There are many current challenges at the interface of continuous and discrete computation. For instance, how can we faithfully and efficiently discretize a continuous geometric object, or a continuous problem? Efficient new algorithmic techniques must be developed and analyzed. The inherent complexity of such problems needs to be characterized. Such considerations are central to current research areas such as: * robust geometric algorithms * the surface-surface intersection (SSI) challenge in geometric modeling * mesh generation with topological guarantees * the development of a theory of real computation * the emerging field of numeric-algebraic computation The deadline for submission is September 30, 2008 See http://www.cs.rug.nl/~gert/content/mcs-cfp.html forfurther details. The journal website is http://www.cc4cm.org/mcs/

[Reliable Computing]

Kreinovich, Vladik — 2008-08-13T21:05:51

There is Arnold Neumaier's webpage http://www.mat.univie.ac.at/~neum/glopt.html which has a large number of links, There are numerous books, the latest is "Global Optimization Using Internal Analysis, by E. R. Hansen and G. W. Walster, MIT Press, Cambridge, Massachusetts, 2004. Just googling "interval global optimization" returns many good links ************************************************************************ ********** From: owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org [mailto:owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org] On Behalf Of Dr.M.V.Rama Rao Sent: Wednesday, August 13, 2008 1:04 PM To: reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org Subject: [Reliable Computing] Interval global optimisation Dear friends, I looking for information on "Interval global optimisation" . I am planning to use this concept in the application of interval analysis to solid mechanics problems. Can you please help me with research papers, reports and software.. Cheers Rama Rao ======================= Dr.M.V.Rama Rao Postdoctoral Fellow Departement Computerwetenschappen Katholieke Universiteit Leuven 200 a, Celestijnenlaan, Heverlee B 3001 BELGIUM Webpage http://cwisdb.kuleuven.be/persdb-bin/persdb?lang=E&oproep=persoon&fnaam= u0059420&detail=1&ingelogd=

[Reliable Computing] Interval global optimisation

Dr.M.V.Rama Rao — 2008-08-13T19:04:02

Dear friends, I looking for information on "Interval global optimisation" . I am planning to use this concept in the application of interval analysis to solid mechanics problems. Can you please help me with research papers, reports and software.. Cheers Rama Rao ======================= Dr.M.V.Rama Rao Postdoctoral Fellow Departement Computerwetenschappen Katholieke Universiteit Leuven 200 a, Celestijnenlaan, Heverlee B 3001 BELGIUM Webpage http://cwisdb.kuleuven.be/persdb-bin/persdb?lang=E&oproep=persoon&fnaam=u0059420&detail=1&ingelogd=

[Reliable Computing] Merging of Rules by combining values of variables

Raghavendrareddy Y — 2008-08-11T11:59:13

Hello Everyone, I am Raghavendra. I have a small problem which I think can be posed as an interval problem. I am not sure if this kind of problem was investigated earlier. If it is please refer me to the research. Problem: There are some rules defined in conjunctive form. The rule output is true if all conditions are satisfied. I would like to reduce the number of rules by combining the ranges of values of the variables. This is the place where I think interval calculus could help me. I'll explain the problem using an example which is described below: Input: Rule1 : ROutput :- v1 [ 1,2 ], v2, [ 1,3 ] values in brackets are the intervals of the corresponding variables.(i.e v1>=1, v1<=2, v2>=1, v2<=3) Rule2 : ROutput :- v1 [ 3,5 ], v2, [ 5,6 ] Rule3 : ROutput :- v1 [ 4,6 ], v2, [ 2,4 ] Rule4 : ROutput :- v1 [ 7,8 ], v2, [ 6,7 ] Rule5 : ROutput :- v1 [ 9,10 ], v2, [ 9.10 ] Rule6 : ROutput :- v1 [ 11,12 ], v2, [ 11,12 ] The desired rules after combining the variables intervals are Output: oRule1: (After combining Rule1 to Rule4) ROutput1:- v1[ 1,8 ], v2[ 1,7 ] oRule2: (After combining Rule5 and Rule6) ROutput2:- v1[ 9,12 ], v2[ 9,12 ] Note: v1 has a continuos range [1,12] if v2 was not constrained Question: How do I combine the values of multiple dependant variables ? Thanks to all of you for your time and valuable suggestions. Regards, Raghavendra Tata Consultancy Services ____________________________________________ Experience certainty. IT Services Business Solutions Outsourcing ____________________________________________ ForwardSourceID:NT00002EDA =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

[Reliable Computing] reliable_computing automated subscription bug fixed

R. Baker Kearfott — 2008-08-10T21:18:21

Dear colleagues, Vladik has just discovered a bug in the form for subscribing to the reliable_computing list, at http://interval.louisiana.edu/mailing_list_form.html The code for subscribing to that list and the code for subscribing to the globsol list were crossed. I have fixed this, so it should be working now. Unfortunately, the problem may have been around for quite some time. If you know someone who has tried to subscribe to the list during the past year or so through the form, they may need to try again. Of course, one can always subscribe directly (not through the form) by sending an email to majordomo-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org with the single line subscribe reliable_computing in the body. (Be sure to send the message as "plain text.") That action will subscribe the address from which you sent the message to reliable_computing. You can subscribe another email address < at >. to the list as above, but with the body of the message consisting of subscribe reliable_computing < at >. In the latter case, the subscription request will come to me for approval. Sincerely, Baker

[Reliable Computing] FW: FUZZ-IEEE'09

Kreinovich, Vladik — 2008-08-09T22:00:56

Forwarding, FUZZ-IEEE conferences usually welcome interval-related contributions. -----Original Message----- CALL FOR PAPERS 17th IEEE International Conference on Fuzzy Systems FUZZ-IEEE 2009 Jeju Island, Korea August 20-24, 2009 http://www.fuzz-ieee2009.org The Annual IEEE International Conference on Fuzzy Systems, well known as FUZZ-IEEE, is one of the premier international conferences in the field of fuzzy sets and systems. FUZZ-IEEE 2009 (17th in its series) will be held on Jeju Island, Korea, which is one of the most beautiful islands in Asia with a historical wealth of cultural and tourist attractions. The conference venue will be at the newly built "ocean view" Jeju International Convention Center. The conference will cover the whole range of research and applications in fuzzy systems and soft computing, including but not limited to: * Fuzzy control and robotics, sensors, fuzzy hardware, fuzzy architectures * Soft computing and hybrid systems - adaptive, hierarchical, evolutionary, neural and nature-inspired systems * Fuzzy image, speech and signal processing, vision and multimedia * Fuzzy data analysis - clustering and classifiers, pattern recognition, bio-informatics * Mathematical foundations of fuzzy systems * Knowledge discovery, learning, reasoning, agents, knowledge representation * Fuzzy information processing - information extraction and retrieval, fusion, text mining * Computing with words granular computing, rough sets, fuzzy human computer interaction * Fuzzy systems and the internet - semantic web, ontologies, searching, networks and routing, intrusion detection * Fuzzy optimization and design, decision analysis and support * Fuzzy systems modeling, identification, fault detection * Industrial, financial, and medical applications In addition to regular oral and poster presentations, the conference will include a full program of tutorials, specialist workshops and panel sessions together with keynote talks from several well known leaders in the field. Submissions for oral and poster presentation are invited from researchers, practitioners, and students worldwide. Proposals for Special Sessions are highly welcomed. Each proposal should give a description of the session topic and the names of the contributors plus their paper titles. Papers submitted to special sessions will go through the normal reviewing process. Proposals for Tutorials are also highly welcomed. An outline for each tutorial should be submitted and any pre-requisites for the intended audience. Further details of the submission process will be posted on the conference website in the near future. Information Contact: Prof. Frank Chung-Hoon Rhee School of Electrical and Computer Engineering Hanyang University, KOREA Email: frhee-qHyw558ZKe5c5qvlKmYc//tlr8jbLJk3< at >public.gmane.org Phone: +82 31 400 5296 Fax: +82 31 501 7502 Key dates: Tutorials/special sessions TBA Acceptance of Tutorials/special sessions TBA Paper submission February 1, 2009 Notification of acceptance March 15, 2009 Camera ready copy due May 1, 2009 Tutorials August 20, 2009 Conference August 20-24, 2009

[Reliable Computing] mark your calendars: WCCI'2010

Kreinovich, Vladik — 2008-08-09T21:35:11

Dear Friends, The 6th IEEE World Congress on Computational Intelligence WCCI'2010 will be held on July 18-23, 2010 in Barcelona, Spain http://www.wcci2010.org This conference usually encourages interval-related submissions. Mark your calendars!

[Reliable Computing] interval standardization group at SCAN 2008

R. Baker Kearfott — 2008-08-08T13:56:01

Reliable Computing colleagues (and Bob Davis FYI), The IEEE New Standards Committee has approved formation of a working group to complete a stand-alone standard for interval arithmetic. This project grew out of Professor Kulisch's working group to include interval arithmetic in the latest revision of the IEEE 754 standard for floating point arithmetic. (The results of that working group "missed the boat," so to speak, due to the impracticality of reaching a consensus both within the interval community and between the working group and members of the IEEE 754 committee at large, within very short time constraints.) We will be holding organizational meetings for our working group (officially: IEEE 1788) at SCAN 2008. This includes a catered lunch meeting and a finalization meeting later in the week. During this meeting, a minimum focus should be: 1. election of officers 2. determination of balloting procedures 3. submission, cataloging, and access to documents The acting officers at present are: Nathalie Revol, chair, me (R. Baker Kearfott) and John Pryce as vice-chairs. For proper functioning of the committee, we will also need a secretary, an archivist, and a webmaster. Any nominations or volunteers for these positions will be greatly appreciated. (Nathalie has agreed to serve as chair, if elected, and John and I have agreed to serve as co-chairs, if elected. Due to family obligations, Nathalie will be unable to make it to SCAN 2008, so I will guide the organizational meeting.) We do not foresee a need for a treasurer at present, since we have no plans to collect or disburse money. The balloting procedures are important, since everyone who has a stake in the standard should have ample opportunity to voice their thoughts and participate in the decision process. (That is the only way that the standard will be widely accepted, and actually be a "standard.") In particular, we need to decide how email ballots are to be conducted, what constitutes a quorum, and how long we should allow for people to reply to email ballots.) Regarding the issue of documents, we are envisioning some kind of wiki, or else an archivist's volunteer work. This is more of a "technical" rather than "political" aspect of the project, but we do need reliable volunteers. I have attached a PDF document with initial thoughts that Nathalie, John and I have organized. Please participate in the organizational meeting, if at all possible. If we can resolve the organizational issues well, we can start on the "interesting" part (alternate models, various technical aspects). Best regards, Baker

reliable_computing -> gcmr-reliable_computing-Uylq5CNFT+jYtjvyW6yDsg< at >public.gmane.org subscription verification msg

Subscription Verification Robot — 2008-08-03T16:22:53

unsubscribe reliable_computing gcmr-reliable_computing-Uylq5CNFT+jYtjvyW6yDsg< at >public.gmane.org in mail to majordomo-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org will unsubscribe you from this mailing list. If you wish to remain subscribed, DO NOTHING. Just discard this message.

[Reliable Computing] FW: CFP - Special Session on "Intuitionistic Fuzzy Sets: Recent Advances"

Kreinovich, Vladik — 2008-08-01T15:51:29

Forwarding; apologies for multiple copies. ****************************************************** From: IFS2009 [mailto:ifs2009-phak2BaC3vEikSQxFvdfzg< at >public.gmane.org] C A L L F O R P A P E R S Special Session on "Intuitionistic Fuzzy Sets: Recent Advances" June 9-12, 2009, Palermo, Italy International Workshop on Fuzzy Logic and Applications - WILF 2009 http://mri.ee.auth.gr/ifs2009 Dear Colleague, On June 9-12, 2009, the "International Workshop on Fuzzy Logic and Applications - WILF 2009" will take place in Palermo, Italy. We have the pleasure to announce a Special Session on "Intuitionistic Fuzzy Sets: Recent Advances" as part of WILF 2009. Given your expertise in fuzzy sets theory, you are kindly invited to participate in this Special Session. A detailed Call-for-Papers is attached to this email. Additional information related to the aforementioned event, as well as to WILF 2009, can be found at http://mri.ee.auth.gr/ifs2009. Please feel free to propagate this Call-for-Papers among your colleagues, universities, institutes, or organizations. INVITATION ________________________________________ The Special Session aims at bringing together researchers working in the field of fuzzy sets, as well as their higher-order extensions, and especially intuitionistic fuzzy sets. Intuitionistic fuzzy sets theory provides a flexible, yet solid, mathematical framework to cope with imperfect or/and imprecise information often present in real-world situations. From recent publications, it seems that the area of intuitionistic fuzzy sets theory is beginning to shift from theory to applications. Consequently, it is expected that the proposed special session will serve as a fertile ground for creative discussion to researchers working in this field. TOPICS OF INTEREST ________________________________________ This Special Session will focus on recent theoretical and applied advances on intuitionistic fuzzy sets and their application in diverse domains. We welcome state-of-the-art contributions, related to, but not limited to, the following topics: - Intuitionistic Fuzzy Sets Theory - Intuitionistic Fuzzy Similarity Measures - Intuitionistic Fuzzy Entropy Measures - Intuitionistic Fuzzy Inclusion Measures - Intuitionistic Fuzzy Correlation Measures - Intuitionistic Fuzzy Logic Systems - Operators on Intuitionistic Fuzzy Sets - ... and their application to - Image Processing - Medical Imaging - Signal Processing - Pattern Recognition - Decision Making - Information Retrieval - Control - Robotics - ... PAPER SUBMISSION ________________________________________ Authors are invited to submit their work, presenting original theoretical or applied results in the field of intuitionistic fuzzy sets theory, by September 15, 2008 in PDF format. Please note that the required paper length is eight pages in Springer format. Moreover, authors will have to submit editable LaTeX files at the end of the review process (see the Springer web site to find out about the files required). All contributions must be original, should not have been published elsewhere and should not be intended to be published elsewhere during the review period. Manuscripts should be prepared in LaTeX according to the Springer LNCS/LNAI series format, following the guidelines for "Proceedings and Other Multi-Author Volumes" described at http://www.springer.com. Prospective authors should submit their manuscripts electronically to the session chairs at ifs2009-phak2BaC3vFDkxi74o7TXw< at >public.gmane.org Important note: Submission implies the willingness of at least one author per paper to register, attend the workshop, and present the paper. PROCEEDINGS ________________________________________ The conference proceedings will be published by Springer as part of the LNCS/LNAI series. All papers will be blind peer-reviewed by at least two independent reviewers on the basis of originality, technical contents, and relevance. Selected papers will be further peer-reviewed for publication in an edited book or a special issue of an international journal! IMPORTANT DATES ________________________________________ Prospective authors are kindly asked to follow the timetable provided below: - Expression of interest: Now - Full-paper submission: September 15, 2008 - Acceptance notification: December 15, 2008 - Camera-ready-paper submission: January 31, 2009 - Workshop: June 9-12, 2009 Important note: Authors who are interested in contributing a paper for this special session are kindly asked to send a short email to ifs2009-phak2BaC3vEikSQxFvdfzg< at >public.gmane.org, containing a preliminary title of their work, as soon as possible! This will facilitate the planning of the review process. Kind regards, Ioannis K. Vlachos and George D. Sergiadis Aristotle University of Thessaloniki Faculty of Technology Department of Electrical & Computer Engineering Telecommunications Division Signal Processing & Biomedical Technology Unit University Campus, GR-54124 Thessaloniki, GREECE Email: ifs2009-phak2BaC3vEikSQxFvdfzg< at >public.gmane.org P.S.: Our apologies if you receive multiple copies of this Call-for-Papers.

[Reliable Computing] FW: ISIPTA '09 - CALL FOR PAPERS

Kreinovich, Vladik — 2008-07-31T23:45:25

Forwarding. Vladik -----Original Message----- From Matthias Troffaes ======================================================================== ===== ISIPTA '09 - CALL FOR PAPERS ======================================================================== ===== Your help with circulating this announcement locally is much appreciated. Apologies for multiple postings. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ +++++ ISIPTA '09 6th International Symposium on Imprecise Probability: Theories and Applications Tuesday 14 to Saturday 18 July 2009 Durham University, Department of Mathematical Sciences Durham, United Kingdom http://www.sipta.org/isipta09 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ +++++ The ISIPTA meetings are the primary international forum to present and discuss new results on the theories and applications of imprecise probability. Imprecise probability is a generic term for the many mathematical and statistical models and methods, allowing us to measure chance or uncertainty without the restriction of sharp probabilities. These models include lower and upper expectations or previsions, interval-valued probabilities, convex sets of probability measures, belief functions, Choquet capacities, comparative probability orderings, fuzzy measures, possibility measures, plausibility measures, and sets of desirable gambles. Imprecise probability models are needed in inference and decision problems where the relevant information is scarce, vague or conflicting, and where preferences may be incomplete. Symposium format ---------------- It is a tradition of the ISIPTA meetings that we try to avoid parallel sessions. Each accepted paper is to be presented both (i) in a plenary session, where we ask for a short introduction and sketch of the context and relevance of the paper; and (ii) in a poster session, where ample opportunity and time is given for detailed explanation and discussion. For the 2009 meeting, we also invite posters without a paper. We hope to attract people who wish to present and discuss their work within the framework of the conference but whose results are not yet finalized, for instance, for practitioners who wish to discuss possibilities for applications in their field using imprecise probabilities, or for starting students. If you wish to present a poster without paper, you are invited to submit a one-page abstract of the work you intend to present. These abstracts will be made available at the conference and online. Themes of the symposium ----------------------- The symposium is open to contributions on all aspects of imprecise probability. But we particularly welcome contributions on imprecise probability in statistical inference and decision making. Topics of interest include, but are not limited to: - models of coherent imprecise assessments - convex sets of probability measures (credal sets) - interval-valued probabilities - upper and lower expectations or previsions - non-additive set functions, and in particular Choquet capacities (and Choquet integration), fuzzy measures, possibility measures, belief and plausibility measures - random sets - rough sets - comparative probability orderings - qualitative reasoning about uncertainty - imprecision in utilities and expected utilities - limit laws for imprecise probabilities - physical models of imprecise probability - philosophical foundations for imprecise probabilities - psychological models for imprecision and indeterminacy in probability assessments - elicitation techniques for imprecise probabilities - robust statistics - probabilistic bounding analysis - data mining with imprecise probabilities - dealing with missing data - estimation and learning of imprecise probability models - decision making with imprecise probabilities - ambiguity aversion and economic models of imprecise probability - uncertainty in financial markets - algorithms for manipulating imprecise probabilities - Dempster-Shafer theory - information algebras and probabilistic argumentation systems - probabilistic logic, propositional and first-order - credal networks and other graphical models - credal classification - applications in statistics, economics, finance, management, engineering, computer science and artificial intelligence, psychology, philosophy and related fields. Location -------- ISIPTA '09 will be held at Durham University, Collingwood College, in Durham, United Kingdom. Collingwood College provides onsite ensuite accommodation. More information about Collingwood College can be found on this website: http://www.dur.ac.uk/collingwood/ Important dates --------------- Paper submission deadline: January 15 2009 Abstract (for posters without paper) submission deadline: January 15 2009 Notification of acceptance: March 15 2009 Deadline for revised papers: April 15 2009 Symposium: July 14-18 2009 Submissions ----------- Details on format will be announced later (submission will be electronic at the web site). Programme Committee Board ------------------------- Thomas Augustin (Ludwig-Maximilians University, Germany) Frank Coolen (Durham University, UK) Serafin Moral (Universidad de Granada, Spain) Matthias Troffaes (Durham University, UK) Steering Committee ------------------ Thomas Augustin (Ludwig-Maximilians University, Germany) Frank Coolen (Durham University, UK) Gert de Cooman (Universiteit Gent, Belgium) Serafin Moral (Universidad de Granada, Spain) Teddy Seidenfeld (Carnegie Mellon University, USA) Matthias Troffaes (Durham University, UK) Further details --------------- For further details about (pre)registration, paper submission, scientific and cultural programme, programme committee, please consult the ISIPTA '09 web site at http://www.sipta.org/isipta09/. Details about previous ISIPTA meetings can be found at http://www.sipta.org/isipta/. More information about SIPTA, the international organisation responsible for organizing both the ISIPTA meetings and the SIPTA Schools on Imprecise Probabilities, please consult the SIPTA web site at http://www.sipta.org. Questions --------- If you have any questions about the symposium, please contact the Steering Committee preferably by email (frank.coolen-VlwAjOFxKoqFxr2TtlUqVg< at >public.gmane.org or matthias.troffaes-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org), or at the following address: Frank Coolen / Matthias Troffaes Department of Mathematical Sciences Durham University Science Laboratories, South Road Durham, DH1 3LE, ENGLAND

(unknown)

2008-07-25T16:59:25

[72.14.220.152]) by interval.louisiana.edu (8.14.1/8.14.1/ull-interval-math-server-1.6) with ESMTP id m6O3WiKp011109 for public.gmane.org>; Wed, 23 Jul 2008 22:32:49 -0500 (CDT) Received: by fg-out-1718.google.com with SMTP id d23so1979437fga.14 for public.gmane.org>; Wed, 23 Jul 2008 20:32:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:x-enigmail-version:content-type :sender; bh=s0L3tRhDVr4lM3afolw83+3wjW/EmXXaKAFsI8baA04=; b=CsPUtBlPJMCluFlJGFVkEw3Y4mu1dAWrda+MAwAx2OODp6e8YDy1ucI/ZTtluYSe2V pCz2KRAXBMxNablhJtllysEAjv4+tE8oyjk61gk5WehBa+Mm98bGrC20tkdlaJnyrxer CVgYMa0QhxWkAKKHfC4gZPUNenlHJfVICZ8n8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject :x-enigmail-version:content-type:sender; b=fHvpkVU5PF1Nnx2igNz1CwS5Z4tiRJuuN1I7UCI6gW5nYvTrY5Efxj7dA9yGFVjFzo 6pUk5n/RuSG0VEY378/FtyBWZdlqOh2s+2xjwaxIH6+48lk4ZcTr+65uUsAPjKXomzH2 BZgVwiQ43MIvuQE7ytl08dfh5i75MGGJ3Nb2Y= Received: by 10.103.206.12 with SMTP id i12mr399038muq.33.1216870362598; Wed, 23 Jul 2008 20:32:42 -0700 (PDT) Received: from ?192.168.0.49? ( [86.202.80.134]) by mx.google.com with ESMTPS id u26sm22923404mug.4.2008.07.23.20.32.39 (version=SSLv3 cipher=RC4-MD5); Wed, 23 Jul 2008 20:32:41 -0700 (PDT) Message-ID: <4887F7D1.70603-J3HerwJfv+UE9HRsTBSACg< at >public.gmane.org> Date: Thu, 24 Jul 2008 05:32:33 +0200 From: Marc Daumas public.gmane.org> User-Agent: Thunderbird 2.0.0.14 (Windows/20080421) MIME-Version: 1.0 To: reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org Subject: [Reliable Computing] CFP: Special issue on Real Numbers and Computers X-Enigmail-Version: 0.95.6 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigE4BF8C3677AA21BC55F7BD99" Sender: owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org Precedence: bulk This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigE4BF8C3677AA21BC55F7BD99 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Dear Colleagues and Friends, Please find below the Call For Paper for the Special Issue on Real Numbers and Computers of the journal Information and Computation following the 8th Conference on Real Numbers and Computers. We would be grateful if you can distribute it with our apologies for the multiple deliveries that cannot be prevented. Best regards. ----------- CALL FOR PAPERS ---------- Special issue of the journal INFORMATION AND COMPUTATION http://iandc.csail.mit.edu/ on REAL NUMBERS AND COMPUTERS Guest editors: Marc Daumas & Javier Bruguera IMPORTANT DATES (tentative planning): - Deadline for submissions of manuscripts: Dec 1st 2008 (full papers only; extended abstracts will be rejected) - Notification of acceptance/rejection: Mar 1st 2009 - Deadline for reception of final papers: May 1th 2009 Efficient manipulation of real numbers in computers is still a challenge. Many theoretical and algorithmic problems are linked with that topic and belong to quite distant fields such as computer science, number theory, numerical analysis, computer algebra and logics. Several special issues on real numbers and computers have been previously published in journals as follow-up to the RNC meetings. The last meeting was RNC8. It took place in Santiago de Compostella, Spain, in July 2008, see http://www.ac.usc.es/rnc8/ However, this call for papers is open to authors who did not attend RNC8. TOPICS Scientists working on questions related to real computer arithmetic are encouraged to present the theoretical or algorithmic aspects of their results, even if they did not attend the RNC8 conference. Survey and tutorial articles may be suitable if clearly identified as such. Topics include (but are not restricted to) the following list: * Foundation and properties of number systems * Computability and complexity * Formal aspects and automatic proof checking * Links with number theory and automata theory * Basic arithmetic operations * Implementation of the standard and special functions * Symbolic manipulation of numbers * Accuracy and reliability for applications and industry * Robust geometric algorithms and exact geometric computation * Hardware design support and implementations HOW TO SUBMIT The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. Submissions must contain not substantially duplicate work published or submitted for publication elsewhere. Prepare a PostScript or PDF version of your full paper preferably following Elsevier recommendations for the journal Information and Computation (http://www.elsevier.com/latex). The file should be uploaded to EasyChair system using the link below before December 1st, 2008. http://www.easychair.org/conferences?conf=3Dicrnc8 Make sure that your PostScript or PDF file can be printed on a standard printer. Language: English. --=20 Marc Daumas, Professeur des Universit=E9s ELIAUS - 52, avenue Paul Alduy - F66860 Perpignan cedex Phone: (+33) 4 68 66 21 25 - Fax: (+33) 4 68 66 22 87 marc.daumas-vYW+cPY1g1pg9hUCZPvPmw< at >public.gmane.org - //eliaus.univ-perp.fr/~daumas PGP: BF80 0417 035B 0E00 A0BA AE9D BB5F 1F47 1730 491C --------------enigE4BF8C3677AA21BC55F7BD99 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Cygwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkiH99IACgkQu18fRxcwSRxbRgCeJlhhy1g9A1pq9Ryk1BOEyzbp GX8An1litL026s4+86z+W4iZ5iTkntf2 =EaRk -----END PGP SIGNATURE----- --------------enigE4BF8C3677AA21BC55F7BD99--

[Reliable Computing] FW: numerical methods of transport optimization

Kreinovich, Vladik — 2008-07-17T23:17:51

Forwarding. Vladik -----Original Message----- From: Andrei Sobolevskii [mailto:ansobol-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org] ... With French colleagues we currently have a project on optimal transport (a subject created by Monge, recreated by Kantorovich and put into present shape by many people including e.g. Brenier in France and Evans, Gangbo and McCann in the US). The emphasis is on numerics and aplications to cosmology and image processing. Our web site is at http://www.mccme.ru/~ansobol/otarie/ In the framework of this project we are organizing a workshop at Technion, Haifa, on March 22-26, 2009. The workshop will be half- cosmology, half-appplied math, and I am responsible for the latter. The main thrust should be on efficient algorithms capable of handling enourmous data in cosmology and image processing fast. There is also an issue of good, controlled approximate methods, which to my knowledge has received almost no attention yet. A first announcement is attached. ... E.g., I have been thinking, without much progress, about a meaningful setting of the assignment problem with interval data ... The meeting is rather off-topic for the interval community but those who are interested in transport optimization are very much welcome. Best wishes, A. -- Andrei Sobolevskii Associate Professor Physics Dept M.V. Lomonosov Moscow State University Leninskie gory 119992 Moscow, Russia ****************************************************************************** Dear Colleague: This is the first announcement of the multidisciplinary workshop At the interface of dynamical and statistical cosmology and transport optimization Technion - Haifa, Israel, March 22-26, 2009 Sponsored by the Lewiner Institute of Theoretical Physics, Technion and the French National Research Agency (ANR) through the OTARIE project (http://www.mccme.ru/~ansobol/otarie/) Two apparently unrelated fields, both very fast moving, have recently started developing interactions. COSMOLOGY has entered the age of high precision with large redshift surveys, cosmic microwave background measurements and cosmological 21 cm radio-astronomical surveys of neutral hydrogen at high redshifts. As a consequence our view of the evolving Universe has changed dramatically, regarding for example the role of dark matter and of dark energy. An important issue has become the dynamical and statistical reconstruction of the early (or high-redshift) Universe from present-epoch (zero-redshift) data. OPTIMAL TRANSPORT is nearly as old as Kant's first speculations on galaxies. In 1781 Gaspard Monge investigated how one should optimally move earth from one place to another, knowing only its initial and final spatial distributions, the cost being a prescribed function of the distance travelled by 'molecules' of earth. The present understanding of this optimal transportation problem is due to the founder of the modern optimization theory Leonid Kantorovich who showed in 1942 that it was an instance of the linear programming problem. Over the last decade optimal transport was evolving into an efficient numerical method applied to fields as diverse as meteorology, bioinformatics, and image retrieval and processing. One of the important inroads has been made into cosmological reconstruction of both low-redshift (peculiar velocities of galaxies) and high-redshift (initial conditions) features of the Universe from zero-redshift observational data. One of the goals of this multidisciplinary workshop is to bring together experts from the fields of cosmology, applied mathematics, and image processing and give them an opportunity to discuss OPTIMIZATION METHODS FOR ANALYZING VERY LARGE DATA SETS, such as those arising from cosmological observations. Among other focus topics are: * large-scale galaxy surveys, cosmic microwave background and implications for cosmological models; * high- and low-redshift applications of the least action and optimal transport methods to observational data; * optimal transport in mathematical physics: the Euler, Euler-Poisson, Vlasov, and Burgers equations; * image processing techniques based on optimal transport; * discrete and continuous strategies of numerical transport optimization; * fast and controlled approximation of optimal transport. The meeting will be divided roughly equally into more formal talks and less formal discussions/brainstorming sessions. In the talks part we plan to have 4-5 survey talks of 45' each, intended to give a state-of-the-art account of the main topics of the meeting to specialists in other fields, and about 20 regular talks of 30' presenting current research of participants. We are following here the layout of a successful series of workshops at the interface of applied mathematics, nonlinear dynamics and cosmology, with optimal transport as one prominent topic, held under the name of the Nonlinear Cosmology Program in Nice in 2003, 2004, 2006 and in Marseille in 2005 (see http://www.oca.eu/etc7/ncp06/ and links at that web site). We expect the meeting to be a point of fruitful encounter between these fields and also plan to attract specialists from related fields, such as nonlinear problems in astronomy, computational geometry, network optimization, and bioinformatics. We are currently investigating sources of financing that would allow to partially support participants coming from abroad. We hope very much that you will be able to participate in the workshop. Best regards, Adi Nusser (Technion, Haifa; email: adi-JAjqph6Yjy9X1Lzru6iKC3pq4uU6ET6l< at >public.gmane.org) Uriel Frisch (Observatoire de la Côte d'Azur, Nice) Andrei Sobolevskii (Moscow State University & UMI 2615 "Laboratoire J.-V. Poncelet", Moscow)

[Reliable Computing] SCAN'2008

Kreinovich, Vladik — 2008-07-17T17:32:48

Tentative program is posted on the conference website http://www.scan2008.com There is program at a glance, detailed program, and program by name. Martine and Vladik

(unknown)

2008-07-11T18:11:00

[137.158.153.103]) by interval.louisiana.edu (8.14.1/8.14.1/ull-interval-math-server-1.6) with ESMTP id m6BDtGTk016570 for public.gmane.org>; Fri, 11 Jul 2008 08:55:22 -0500 (CDT) Received: from gwiasmtp.uct.ac.za ([137.158.153.85]) by srvbsdsmt001.uct.ac.za with esmtp (Exim 4.63 (FreeBSD)) (envelope-from public.gmane.org>) id 1KHJ5e-000DLZ-Ep for reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org; Fri, 11 Jul 2008 15:55:14 +0200 Received: from UCTGWIAS-MTA by gwiasmtp.uct.ac.za with Novell_GroupWise; Fri, 11 Jul 2008 15:55:12 +0200 Message-Id: <4877825A020000F200016972-mrjZp2upCzAVpiU7bfweM1Zq95QhYFEm< at >public.gmane.org> X-Mailer: Novell GroupWise Internet Agent 7.0.2 HP Date: Fri, 11 Jul 2008 15:55:06 +0200 From: "Vasco Brattka" public.gmane.org> To: public.gmane.org>, public.gmane.org>, public.gmane.org>, public.gmane.org>, public.gmane.org>, public.gmane.org>, public.gmane.org>, public.gmane.org> Subject: [Reliable Computing] CCA 2008: Call for Participation Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Sender: owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org Precedence: bulk ______________________________________________________________ Call for Participation Fifth International Conference on Computability and Complexity in Analysis 2008 (CCA 2008) Held in Honor of Klaus Weihrauch=27s 65th Birthday August 21-24, 2008, Hagen, Germany Early registration deadline: July 14, 2008 ______________________________________________________________ Invited Speakers * Andrej Bauer (Ljubljana, Slovenia) * Douglas Bridges (Christchurch, New Zealand) * Martin Escardo (Birmingham, UK) * Peter Hertling (Neubiberg, Germany) * Ker-I Ko (Stony Brook, USA) * Sebastiaan Terwijn (Vienna, Austria) * Xizhong Zheng (Cincinnati, USA & Cottbus, Germany) * Jeffery Zucker (Hamilton, Canada) Contributed Talks * Jens Blanck, Viggo Stoltenberg-Hansen and John Tucker Stability for effective algebras * Volker Bosserhoff On the Effective Existence of Schauder Bases * Manuel Campagnolo and Kerry Ojakian Characterizing Computable Analysis with Differential Equations =20 * Pieter Collins Computability and Representations of the Fixed-Point Set =20 * Ruth Dillhage and Vasco Brattka Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces * Willem Fouche An algorithmic construction of quantum circuits of high descriptive complexity * Christine Ga=C3=9Fner On Relativizations of the P =3D? NP Question for Several Structures * Guido Gherardi and Alberto Marcone How much incomputable is the Hahn-Banach theorem? =20 * Daniel Graca and Pieter Collins Effective Computability of Solutions of Ordinary Differential Equations - The Thousand Monkeys Approach * Zvonko Iljazovic Weakly Computable Sets in Euclidean Space * Margarita Korovina and Oleg Kudinov Towards Computability over Effectively Enumerable Topological * Timothy McNicholl, Valentin Andreev and Dale Daniel Technical report: computation on the extended complex plane and conformal mapping of multiply-connected domains * Takakazu Mori, Mariko Yasugi and Yoshiki Tsujii Integral of two-dimensional Fine-computable functions =20 * Wouter M. Koolen and Martin Ziegler Kolmogorov Complexity Theory over the Reals =20 * Davorin Lesnik Constructive Urysohn=E2=80=99s Universal Metric * Joeran Mielke Refined Bounds on Kolmogorov Complexity of omega-Languages =20 * Norbert Mueller and Xishun Zhao Jordan Areas and Grids =20 * Arno Pauly Representing Measurement Results * Petrus H. Potgieter Sets deemed recursive in Euclidean space * Robert Rettinger Lower Bounds on the Continuation of Holomorphic Functions =20 * Robert Rettinger, Klaus Weihrauch and Ning Zhong The Complexity of Blowup Problems =20 * Matthias Schroeder An Effective Tietze-Urysohn Theorem for QCB-Spaces =20 * Svetlana Selivanova and Victor Selivanov Computing Solutions of Symmetric Hyperbolic Systems of PDE=27s = =20 * Victor Selivanov On the Difference Hierarchy in Countably Based T_0-Spaces =20 * Dimiter Skordev The number e is lower elementary computable * Dieter Spreen Effectivity and Effective Continuity of Multifunctions * Ludwig Staiger What is the true epsilon-randomness? =20 * Hideki Tsuiki and Shuji Yamada On Finite-time Computability Preserving Conversions =20 Scientific Program Committee * Vasco Brattka, chair (Cape Town, South Africa) * Douglas Bridges (Christchurch, New Zealand) * Manuel Campagnolo (Lisbon, Portugal) * Pieter Collins (Amsterdam, The Netherlands) * Peter Hertling (Neubiberg, G ermany) * Jack H. Lutz (Ames, USA) * Josep * Nathalie Revol (Lyon, France) * Matthias Schroeder (Neubiberg, Germany) * Bas Spitters (Eindhoven, The Netherlands) * Paul Taylor (London, UK) * Hideki Tsuiki (Kyoto, Japan) * John V. Tucker (Swansea, UK) * Ning Zhong (Cincinnati, USA) * Martin Ziegler (Paderborn, Germany) Organizing Committee * Ruth Dillhage (Hagen, Germany) * Tanja Grubba (Hagen, Germany) * Klaus Weihrauch, chair (Hagen, Germany) Venue & Accommodation The venue for CCA 2008 is the conference center Arcadeon, Lennestrasse 91, 58093 Hagen. Further information on accommodation is available here: http://cca-net.de/cca2008/accommodation.html Registration Fees * Euro 200 until July 14, 2008 (standard fee) * Euro 240 after July 14, 2008 (late fee) Further information on registration is available here: http://cca-net.de/cca2008/registration.html Programme The programme is supposed to start on Thursday early morning and to end on Sunday afternoon. Proceedings Fully accepted papers will be published as CCA 2008 proceedings in Electronic Notes in Theoretical Computer Science (ENTCS). In addition, a printed version (as a technical report) will be available at the conference. It is planned to publish a special issue of some journal dedicated to CCA 2008 after the conference. Conference Web Page http://cca-net.de/cca2008/ ______________________________________________________________=20

(unknown)

2008-07-11T18:15:27

with ESMTP id m6BEoONj016672 for public.gmane.org>; Fri, 11 Jul 2008 09:50:30 -0500 (CDT) Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id 36C4712AD67; Fri, 11 Jul 2008 16:50:20 +0200 (CEST) Received: from macp-arno.univ-orleans.fr (unknown [192.168.80.169]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 79B2D36E60; Fri, 11 Jul 2008 16:50:22 +0200 (CEST) Message-ID: <487773C4.3080302-7Gpg/I2gjxJXke3fktIsHg< at >public.gmane.org> Date: Fri, 11 Jul 2008 16:52:52 +0200 From: Arnaud Lallouet public.gmane.org> User-Agent: Thunderbird 2.0.0.14 (Macintosh/20080421) MIME-Version: 1.0 To: destinataires inconnus: ; Subject: [Reliable Computing] QiCP'08 Wks on Quantification in Constraint Programming: extended deadline Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-reliable_computing-ndL8ECQ03iZGXWuEzt0j4VBd07bTekyB< at >public.gmane.org Precedence: bulk [Apologies for multiple receipts] Important: Extended deadline for submission: July 18, 2008. -----------------------------------------------------

[Reliable Computing] FW: PhD scholarship and Post Doctoral position

Kreinovich, Vladik — 2008-07-10T16:05:00

Forwarding. -----Original Message----- From: Michel Rueher [mailto:michel.rueher-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org] please post the following announcement Best regards, Michel --------------------------------------------------------------------------------------- The CeP team (University of Nice Sophia Antipolis) has an open PhD scholarship on "Design and implementation of a constraint solver over the floating point numbers for software validation and verification". Please, see http://www.polytech.unice.fr/~rueher/CEP/en/index.html for further details. Note that, though this position is open as PhD scholarship, applications for a Post Doctoral position on this subject are welcome. ----- Michel Rueher http://www.polytech.unice.fr/~rueher/ Tél: 33(4)92965154 Fax: 33(4)92965055 Université de Nice Sophia Antipolis Dépt. SI, BP 145 06903 Sophia Antipolis France

[Reliable Computing] Congratulations to Yuri Matiyasevich

Kreinovich, Vladik — 2008-07-08T20:13:15

Dear Friends, I have just learned that earlier this year, Yuri Matiyasevich was elected a full member of the Russian Academy of Sciences. Yuri is mostly known for his 1970 solution to the 10th Hilbert problem, but he also has a strong interest in interval computations. He has published several pioneering papers and he encouraged many others (including me and Slava Nesterov) to go into this field of research. Congratulations to Yuri!