最新リスト / show all lists

スクリーンショットなし	バリアフリープレゼンテーション法  説明：・色盲の人にもわかるバリアフリープレゼンテーション法: http://www.nig.ac.jp/color/gen/index.html こんなサイトを見つけました。 既にご存じの方もいらっしゃるかもしれませんが、僭越ながら周知までに。 折角のユニバーサルデザインも取り扱う研究室ですので、Webサイトのみならず、 学会発表やゼミのプレゼンでも活かせたらよいのではないでしょうか。 ・赤は見づらいので、朱色を用いる ・黄色と黄緑は同じに見えるので黄色のみにする ・段階的な色は、色彩を固定して明度を変える など誰にでもできる話ばかりで、なるほどと思う部分も多々あります。 緑のプレゼンポインタなんてのもあっておもしろいです。 アウトラインもあります。 Email: 最終更新日: 2007-4-9 9:31 ヒット数: 270 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	Mizar Links  説明：全HTML/PDFリストのWiki Email: 最終更新日: 2007-4-2 21:59 ヒット数: 338 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	Mizarプロジェクト関係トップ  説明：Mizarプロジェクト関係 2007-02-17 20:07:07 / レポート プロジェクト本部(ポーランド･ビアリストク大学) Ｍｉｚａｒプロジェクト紹介記事 Ｍｉｚａｒプロジェクトの各種データ 日本の参加者の貢献 QED Project 紹介 QED Project　ＷＥＢページ 他のプルーフチェッカー Citeseer Citeseer とは Email: 最終更新日: 2007-2-19 19:31 ヒット数: 413 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	論文の構成  説明：修士論文を書き始める方々へ 師玉です。 この時期になると、　修士論文の書き方で悩まれ相談のメイルを頂くことが多いですが： (少なくとも、　理工学系の)　修士論文や博士論文は　文学作品ではありません。　　名文や格調高い文書は一切不要です。　何をどの様にされたのか　を　誰が読んでも理解できるように、書いて頂ければそれで結構です。 どうしても　適切な表現の仕方が思いつかなければ　箇条書きにしたって構いません。 http://ysserve.int-univ.com/INFO/drecipe/node19.html などを参考にして　兎に角、書いてみてください。 【案ずるより生むが易し】 Email: 最終更新日: 2006-11-30 12:29 ヒット数: 311 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	科学技術論文の書き方（早稲田大学・岡田先生）  説明：教員各位にあっては，学生に論文を書かせる時に，「まずこれを読め」といっておくと，きっと頭痛が緩和されるでしょう．学生諸君にあっては，まずこれを読んで反映させてから論文を先生に見せに行くと，きっとお小言が減るでしょう． Email: 最終更新日: 2006-11-30 12:23 ヒット数: 388 評価: 10.00 (投票数 1) このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	One Red PaperClip  説明：わらしべ長者。 Email: 最終更新日: 2006-8-9 12:38 ヒット数: 358 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	sw-lab : 師玉研  説明：信州大学IT院・師玉研究室のサイトトップです。 Email: yam.staff@int-univ.com 最終更新日: 2006-7-16 11:04 ヒット数: 711 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	ESM2006  説明： From: Philippe.Geril@biomath.UGent.be Subject: (PN) CFP: Petri Net Workshop at ESM2006, October 23-25, LAAS, Toulouse, France Date: 2006年4月7日 22:07:41:JST To: petrinet@informatik.uni-hamburg.de Reply-To: Philippe.Geril@biomath.UGent.be CALL FOR PAPERS ESM2006 The 2006 European Simulation and Modelling Conference Toulouse, France October 23-25, 2006 MODELLING AND SIMULATION 2006 Methodology and Tools Simulation and AI High Performance and Large Scale Computing Simulation in Education and Graphics Visualization Simulation Simulation in the Environment, Ecology, Biology and Medicine Analytical and Numerical Modelling Techniques Web Based Simulation Agent Based Simulation Workshop Simulation with Petri Nets Modelling and Simulation with Bondgraphs DEVS Workshop Fluid Flow Simulation Modelling Workshop SIMULA Workshop Complex Systems and Self-Organization Modelling Tutorials Student Papers, Poster Sessions Partners for Projects Sessions Exhibition Organised by EUROSIS and Sponsored by The European Technology Institute Hosted by LAAS-CNRS www.laas.fr For latest information see: www.eurosis.org or http://biomath.ugent.be/~eurosis/conf/esm/esm2006/ AIM OF ESM 2006 The ESM 2006 (European Simulation and Modelling Conference) is the original European international conference concerned with state of the art technology in modelling and simulation. ESM 2006 aims to provide an overview of academic research in the field of computer simulation. A number of major tracks of simulation research are presented next to specific workshops, which capture the art and science of present-day simulation research All submissions will be peer reviewed by at least three members of the International Program Committee. Accepted papers will be published in the conference Proceedings (both print and electronic format on the web), that will be copyrighted and widely disseminated. All talks and tutorials, must be accompanied by a paper of between three to eight Proceedings pages. Contributions to the technical program are solicited in the following general areas; METHODOLOGY AND TOOLS METHODOLOGY Continuous, discrete and hybrid simulation methodology, Simulation environments, Multi-paradigm simulation, Simulation uncertainty, Simulation visualisation, Integration of simulation and geographical information systems, Object-oriented programming and Languages, Multi-paradigm Languages, Software comparisons. Numerical Methods for Simulation, Mathematical Analysis in Simulation, Parallel Simulation Methodology, Discrete Event Simulation, Simulation Fidelity and Performance Evaluation, Advanced Training and Simulation Concepts for Education, Multiparameter Sequential Optimization Methods in Simulation, Verification, Validation, and Control in Complex Systems Simulation, Distributed and Parallel Systems Simulation, Combined Continuous and Discrete Event Models, Symbol Analysis and Manipulation of Equation-Based Models, Simultaneous vs Modular Simulation Methods, Standardization Issues Object orientation and Re-use Object-Oriented Modelling Languages, Modularity, Model Structuring, Inheritance, Model Re-use, Organization of Model Libraries TOOLS Simulation Tools, Statistical Output Evaluation Tools, Optimization Tools, Special Purpose Simulation Languages and Tools, Simulator Development Environments, Interfaces for Coupling with External Tools SIMULATION AND AI AI Based Simulation Languages, Special Architectures, Graphical Simulation Environments and Simulation Software Tools, Intelligent Simulation Environments, Parallel Processing Environments for Simulation, User Friendly Software Tools, Advanced Man-Machine Interfaces, Graphical Model Editors, Browsing Facilities, Database Management of Models and Results, Architecture of Modelling and Simulation Environments AI and Expert Systems Expert Controllers and Genetic Algorithms in Simulation, Knowledge Based Simulation Tools, AI and Expert Systems in Simulation AI and Neural Networks Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre- treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as: Hybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development), Neural nets for simulation: modelling of parts (components) of the system simulated by neural networks, evaluation of simulation models using neural nets, decision support in simulation models by neural nets; Simulation of neural nets: systems of pre-designed neural networks, techniques and tools for simulation and programming of neural networks. AI and fuzzy Systems Fuzzy Qualitative simulation, fuzzy rules and fault models. Classification, Data analysis, Fault tolerance, Forecasting, Knowledge acquisition, Economics and Finance, Planning, Pre-treatment of data, Process control, Robotics, Speech and image recognition, Web intelligence, involving methodologies such as:ÿHybrid systems (GA, fuzzy, symbolic representation), Methods or tools for evaluating ANN performance, Reinforcement Learning, Simulation tools (research, education, development). HIGH PERFORMANCE AND LARGE SCALE COMPUTING This track invites contributions on efficient Modelling and Simulation Algorithms and Computer-intensive Simulation Projects on High-performance Large Scale Computers and Distributed Platforms. Methods and techniques for parallel simulation (scheduling, synchronisation, load balancing), Performance of parallel and distributed simulation (experimental and comparative studies, performance models, benchmarks), High Level Architecture (HLA) and related standards (time management, model semantics, implementation issues), High Performance and Large Scale Systems for Computational Science (biological, chemical, physical, etc.) Application of parallel and distributed simulation (computer systems, manufacturing systems, etc.), Parallelisation of simulations (numerical methods, (Quasi-Monte-Carlo simulation), Simulation in Cluster, Multicluster, and Grid Computing, Simulation in Pervasive and Ubiquitous Computing (wireless, mobile, wearable, invisible) SIMULATION IN EDUCATION AND GRAPHICS VISUALIZATION SIMULATION This track covers; Simulation and e-learning, - Role Strategies) Management Games, Simulation with "man in the loop", Virtual Reality Systems, Realistic Presentation of Simulation, Results, Simulation for Training and Education, Web-based Simulation, Multi-site Group Simulation, Special Purpose Simulation Languages and Tools, Simulation Environments, Simulator Development Environments, Visual Modelling Tools, Multimedia, Visualisation and Animation Tools, Interfaces for Coupling with External Tools SIMULATION IN ENVIRONMENT, ECOLOGY, BIOLOGY AND MEDICINE The main goal is to enhance the trans-disciplinarity and to facilitate contacts and dialogs between computer scientists and specialists of Environmental Sciences. Since 10 years the modelling process took benefits from recent (and less recent) techniques of computer science : Object-Oriented Languages, Discrete Event Simulation, Concepts of Agent and Actor, Fuzzy Logic, UML, model - GIS interface, Web-based simulation, environment management, predictive models of forest growth, fishing, climate and other biological processes. Papers dealing with ecological modelling (in a wider sense) are welcome in the areas of: Applications: Environment managing, Waste managing, Ecosystem dynamics (terrestrial and oceanographic ecology) Population dynamics (diseases & epidemics, changes in biodiversity, genome, predator-prey relationships, fishing...), Population behaviour, Individual behaviour, involving methodologies such as: Artificial Intelligence, Distributed Interactive Simulation, High-Performance Computing, Languages, Modelling Techniques, Simulation Methodologies & Tools, Synthetic Environment, Virtual Reality, Petri nets, DEVS and Bond Graphs. Modelling and simulation have an important role in structuring biological, medical and ecological systems. The intrinsic complexity and non-linearity of these types of systems need continuous and discrete simulation methodology, soft computing methodology in order to handle the different degrees of uncertainty, as well as virtual reality methodology describing the time and space dependent complexity. Topics are biological systems, medical systems and ecosystems with the domain specific topics such as molecular modelling, genetic algorithms in biosystems, fuzzy sets and neural nets in biosystems, physiology, cardiology, anesthesia, cancer, circulatory system, respiratory system, renal system, biomechanics, agricultural production, simulation of global change, ecotechnology and eco- engineering, GIS, population dynamics, etc Simulation of Patient Care,Quality of Service, Hospital Logistics, Simulation of Disease Proliferation, Virtual Reality in Surgical Procedures, Simulating Biological Phenomena and Organs, Simulation as a Tool for Diagnosis, Simulation of Emergency Procedures (Disaster Gaming), General Medical Simulations, Pharmacometric Modelling, Physiological Simulations Simulation in Biology, Medicine and Health Care Management Health Care Management Strategic Management & Resource Planning in Health Care, Operational Management in Health Care, Decision Support in Health Care, Disease Management and Emergency and Disaster Organization, Case Studies: Success Stories and Failures Hospital Logistics Healthcare Networks, Modelling of Clinical Environments, Clinical Information Flows, Patient Flows in Hospitals, Wards Planning, Drugs Inventory Management, Logistics Flow, Long and Short Time Tables of Personnel, Utility and Case Analysis of Helicopter Usage, Information and Surveillance Systems ANALYTICAL AND NUMERICAL MODELLING TECHNIQUES Contributions based on exact and approximate methods as well as applications are encouraged but not restricted to the following topics: Techniques and Algorithms, Stochastic Petri Net Models, Queuing Systems and Network Models, Markov Models, Performance Optimization, Stochastic Process Algebras, Stochastic Precedence Graphs, Bounds and Theoretical Properties, Interconnection Networks, Evaluation Studies of Analytical and Numerical Modelling, Computer Systems, Manufacturing Systems, Workflow Management Systems, Communication Systems (LANs and Distributed Systems, ATM Switches, Mobile Radio,...), Workload modelling and Characterisation, Operating Systems, Client-Server Systems, Multimedia Systems, Measurements and Hybrid Techniques, Software Performance and Software Tools for Analytical and Numerical Modelling WBE BASED SIMULATION Web-based Simulation Environments (WSE), Web-based Distributed Interactive Simulation (WDIS) Sharing and reuse of simulation models and tools in WSE , Techniques and Standards for model integration, Communication interoperability in WSE and WDIS, WSE and WDIS applications to education, training and learning. , Simulation visualization/animation in WSE and WDIS, Web-based Distributed Simulation (distributed modelling via the Web, Java based, Federated, and so on) AGENT BASED SIMULATION Agent Based Simulation covers, Basic Methodologies, Agent Architectures, Model Specification and Languages, Mobile Agents, Multi Agent System Communication and Cooperation, Multi-Level Simulation and Emergence, decision making and Strategies, plus applications in Ecology and Environment (environment management, resource management, social and political impact on the environment, computer aided decision making, socio-eco systems modelling), psychology, Cognitive Science and AI, Economics and Market Systems, Business Process Management, Industry, Manufacturing and Logistics and Transport(control of Industrial Systems, scheduling, Planning, Supply Chain) and Health Care with the emphasis on simulation and modelling. WORKSHOP SIMULATION WITH PETRI NETS Petri nets were introduced by C.A. Petri as a "finitary combinatorial model of event topology which, is in close correspondence with the models of modern physics, is capable of describing total information flow, and has proven superior to some conventional models both in construction and in analysis of systems of complex organization". Although many other models of concurrent and distributed systems have been developed, Petri nets are still considered "a central model for concurrent systems with respect to both the theory and the applications" due to the natural way they allow to represent reasoning on concurrent active objects which share resources and their changing states. The huge amount of work invested in making the modelling power of Petri nets formalism more and more intensive, led to a continuous evolution of this area, such that "Petri nets" is currently a generic name for a whole class of models divided into three main layers (ranging from Elementary Net Systems and Place/Transition nets to traditional High Level nets and High Level nets with abstract data types). For the performance evaluation of the modelled system, time execution and/or stochastic processes have also been considered, leading to important extensions to the above general Petri nets classification: Timed and Stochastic Petri nets. Petri nets are widely considered as an operational (rather than denotational) formalism for Discrete Event Systems. They have proven to be useful in solving difficult discrete-event problems in a variety of application domains such as in software engineering, operating systems, databases, communication and co-operation protocols in distributed systems, manufacturing systems, defence command and control, business processes and telecommunications, etc. As investigations in this area show, Petri nets also cover a large number of currently active research areas. Despite the great amount of work and achievements, much effort is still to be done to meet the applications requirements. This workshop is intended to provide a forum for the presentation and discussion of original ideas, recent results and achievements by researchers, students and system developers on issues and challenges related to the above domain. We invite to submit original contributions addressing, but not limited to one of the following topics: -- Simulation using Petri Net Systems, -- Place/Transition nets, -- High-level Petri nets, -- Timed and Stochastic Petri nets, -- Temporal and real-time logics with respect to Petri nets, -- Analysis methods of High Level nets and their time extensions, -- Modular Petri nets, -- Object-oriented Petri nets (OOPNs), -- Computer tools based on OOPNs, -- Applications of OOPNs. WORKSHOP MODELLING AND SIMULATION WITH BONDGRAPHS The Bond Graph Workshop will bring experts together for the purpose of discussing new concepts, methods, techniques, tools and applications of this energy-based modelling methodology. Papers dealing with all aspects of the use of bond graphs in system design, analysis, and control are welcome. The workshop will provide a forum for the presentation and discussion of recent research and applications of the Bond Graph methodology. Research papers are welcome in the following categories of presentation: Tutorials, Panel Discussions, Software and Tools, Bond Graph Theory, Advanced Bond Graph Methodology, Bond Graphs and Block Diagrams, Computer Graphics and Bond Graph Modelling, Qualitative Modelling, Mechatronics Systems, Mechanical Systems and Robotics, Electrical and Power Systems, Control Systems, Thermal and Chemical Systems, Biomechanics and Prosthetics, Ecological Systems, Biological and Medical Systems, Social and Economic Systems, Industrial Applications, Large, Nonlinear Models DEVS WORKSHOP The DEVS Workshop will cover: Extensions to the DEVS formalism, DEVS and Distributed DEVS frameworks, DEVS-based next generation VHDL, DEVS standardization, DEVS applications FLUID FLOW SIMULATION MODELLING WORKSHOP Papers are solicited in: Conventional fluid dynamics New developments in boundary tracking, adaptive multiscale meshes, algorithm stability, turbulence Atomistic methods Ab-initio and classical molecular dynamics, direct simulation Monte Carlo. Mesoscopic methods Lattice gases, lattice-Boltzmann, smoothed particle dynamics, dissipative particle dynamics, discrete simulation automata, etc. Hybrid methods Atomistic-mesoscopic and mesoscopic-continuum: direct simulation Monte Carlo, adaptive-mesh dissipative-particle dynamics, etc. Multidisciplinary and industrial applications Chemical and biomedical engineering, automotive, oil extraction and aeronautic industry, flow in porous media, Fluid Dynamics Simulation, Fluid Dynamics Simulation in Turbomachinery Flow Analysis of Pump Turbines, Water, air, vibration analysis through fluid flow modelling, Electromagnetic Field Simulation, Virtual Wind Tunnels, Structural analysis Statics (Stress, Deformation), Dynamics (Vibration), Eigen value, Fatigue, Thermal load Electric power plants, General plant components Computational fluid dynamics Compressible flow, Incompressible flow, Heat transfer, Multiphase/multi component flow, Combustion, Reaction,, Noise (Flow- induced sound) Gas turbines/Steam turbines,Combustors, Nuclear plant components, Hydro turbines, Pumps, Heat exchangers, Piping systems Computational electro-magnetics Static elecromagnetics, Eddy current, Electromagnetic wave, Electric circuit Nuclear fusion reactor, Transformers, Switch gear, Rotating machinery, Inverters/Converters Coupled problems Fluid-structure coupled analysis, (Flow-induced vibration), Fluid-electric field coupled analysis, (Insulation) Heat exchangers, Electric power transmission components SIMULA Workshop: "SIMULA past, present and future" SIMULA is the first OOP language and with the exception of Beta programming language, other broadly used OOP languages are conceptual subsets of SIMULA. The standard was defined in 1967, that's why the language used to be called SIMULA 67. The basic ideas were presented at the IFIP Working Conference "Simulation Programming Languages" in Oslo in 1967, the proceedings were published 35 years ago in 1968. SIMULA (SIMple Universal LAnguage) as such is a general object-oriented language. Its system classes Simset and Simulation add the knowledge of linked lists and time processes making SIMULA a process-oriented simulation language. The workshop would concentrate on the SIMULA's advanced OOP features that cannot be found in other OOP languages and on its simulation capabilities. The so-called main classes (nested classes that contain other local classes) that can be further specialized represent modularity achieved by using the OOP capabilities of the language. The system class Simulation will be enhanced to contain classes supporting transparent statistics and classes oriented to the simulation of queueing networks. SIMULA implementation for PC computers is now freely available, so the participants of the workshop will get tools and knowledge to create fast their own simulation models. Special track on COMPLEX SYSTEMS AND SELF-ORHGANIZATION MODELLING - Ant systems modelization - Cognitive sciences modeling - - Modern computer algebra TUTORIALS Tutorials can be proposed in the following three categories: T1- Introductory tutorials T2- State of the Art Tutorials T3- Software and Modelware Tutorials Tutorial proposals should be emailed to Philippe.Geril@biomath.ugent.be POSTER SESSION The poster session only features work in progress. Next to the actual poster presentation, these submissions also feature as short papers in the Proceedings. STUDENTS SESSION This session is for students who want to present their work in progress or part of their doctoral thesis as a paper. Student papers are denoted by the fact that only the name of the student appears on the paper as an author. They are published as short papers in the Proceedings. DIVERSE ACTIVITIES For demonstrations or video sessions, please contact EUROSIS. Special session will be set up for vendor presentations in co- ordination with the scientific program. User Group meetings for simulation languages and tools can be organised the day before the conference. If you would like to arrange a meeting, please contact the Conference Chairs. We will be happy to provide a meeting room and other necessary equipment. Partners for projects session(s) will be organised by EUROSIS to give potential project teams or individuals the opportunity to present their research in order to link up with fellow researchers for future research projects. Those wishing to participate in this session need to send a proposal to EUROSIS. A EUROSIS TC Meeting and an EU Project update meeting COMPANY VISIT A company visit is envisaged to Airbus to see the A380 Production line : www.airbus.com On the second day of the conference. EXHIBITION A special exhibition will be held during the conference focused on simulation tools. For more information please contact EUROSIS for further details. Email: Philippe.Geril@biomath.ugent.be DEADLINES AND REQUIREMENTS Send all submissions in an ELECTRONIC FORM ONLY in uuencoded, zipped Microsoft Word format, PDF or Postscript format indicating the designated track and type of submission (full paper or an extended abstract) to the EUROSIS (Philippe.Geril@biomath.ugent.be). Please provide your name, affiliation, full mailing address, telephone / fax number and Email address on all submissions as well. For submissions please put in the subject of your Email the following indications: ESM2006 and designated track or USE THE ABSTRACT SUBMISSION PAGE!! Only original papers, which have not been published elsewhere, will be accepted for publication REGISTRATION FEES Registration Fees Author EUROSIS Other Members Participants Pre-reg before 485 EURO 485 EURO 545 EURO September. 30th 2006 Registration after Pre-registration 545 EURO 595 EURO September 30th '2006 required The registration fee includes one copy of the Conference Proceedings, coffee and tea during the breaks, all lunches, a welcome cocktail a conference dinner and the company visit to AIRBUS PAPER SUBMISSION TYPES FULL PAPER (including abstract, conclusions, diagrams, references) During review, the submitted full papers can be accepted as a regular 5 page paper. If excellent, full papers can be accepted by the program committee as an extended (8-page) paper. Each submission will be reviewed by at least three members of the International Program Committee. EXTENDED ABSTRACT (at least five pages) Participants may also submit a 5 page extended abstract for a regular (5 pages) or short (3 pages) paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2006 Conference Proceedings. SHORT ABSTRACT (at least three pages) Participants may also submit a 3 page abstract for a short paper or poster, which will be reviewed by the International Program Committee. All accepted papers will be published in the ESM 2006 Conference Proceedings. ONE PAGE ABSTRACTS ARE NOT ACCEPTED. CORRESPONDENCE ADDRESS Philippe Geril Ghent University Faculty of Engineering Dept. of Industrial Management Technologiepark 803 B-9062 Ghent-Zwijnaarde, Belgium Tel: +32 9 2645509 Fax: + 32 9 2645824 Email: philippe.geril@biomath.ugent.be OUTSTANDING PAPER AWARD The 2006 European Simulation and Modelling Conference Committee will select the Outstanding Paper of the Conference. The author of this paper will be awarded a free registration for a EUROSIS conference. Only papers SUBMITTED AS FULL papers will be eligible for the Outstanding Paper Award. Selected papers are published in the following journal: International Journal of Computational Science and Engineering (IJCSE) to be published by InderScience: http://www.inderscience.com/catalogue/c/ijcse/indexijcse.html LANGUAGE The official conference language for all papers and presentations is English IMPORTANT DEADLINES EARLY BIRD SUBMISSION DEADLINE: JUNE 15TH, 2006 SUBMISSION DEADLINE: JULY 1ST June 15 - July 1, 2006: Submit contributed full-papers (5 to 8 proceedings pages) not previously published. These submissions, when accepted will be published as regular or extended papers, depending on their quality. June 15 - July 1, 2006: Submit extended abstracts (5 abstract pages) or short papers (3 abstract pages), reports of scientific projects and summaries of posters. These submissions, when accepted will be published as regular, of up to 5 proceedings page papers. June 15 - July 1, 2006: Submit one -to -three page proposals to present tutorials, to organise and chair panel sessions, to organise user meetings, vendor sessions or to exhibit software July 1, 2006: Submit abstracts for student and poster session LATE SUBMISSION DEADLINE AUGUST 15TH 2006 September 1, 2006: Notification of Acceptance or Rejection October 5, 2006: Authors provide camera-ready manuscript October 23-26, 2006: Conference VENUE: LAAS, CNRS, Toulouse, France www.laas.fr REPLY CARD First Name: Surname: Occupation and/or Title: Affiliation: Mailing Address Zip code: City: Country. Telephone: Fax: E-Mail: Yes, I intend to attend the ESM 2006: [ ] Presenting a paper, by submitting a full paper [ ] Presenting a short paper (by submitting an extended abstract) [ ] Participating in the industrial program [ ] Organizing a vendor session [ ] Proposing a panel discussion (please mention names of panellists) [ ] Contributing to the exhibition [ ] Without presenting a paper The provisional title of my paper / exhibited tool is: With the following highlights: The paper belongs to the category (please tick only one): [ ] Methodology and Tools [ ] Simulation in AI [ ] High Performance and Large Scale Computing [ ] Simulation in Education and Graphics Visualization Simulation [ ] Simulation in the Environment, Ecology, Biology and Medicine [ ] Analytical and Numerical Modelling Techniques [ ] Web Based Simulation [ ] Agent Based Simulation [ ] Simulation with Petri Nets [ ] Modelling and Simulation with Bondgraphs [ ] DEVS Workshop [ ] Fluid Flow Simulation Modelling [ ] SIMULA Workshop [ ] Complex Systems and Self-Organization Modelling [ ] Poster session [ ] Student Session Other colleague(s) interested in the topics of the conference is/are: Name: Address: Name: Address: -- Philippe Geril Tel: +32.9.264.55.09 EUROSIS -ETI Fax: +32.9.264.58.25 Ghent University E-mail: Philippe.Geril@biomath.ugent.be Dept.of Industrial Mgmt. E-mail: pgeril@yahoo.co.uk Technologiepark 903 E-mail: philippe.geril@eurosis.org Campus Ardoyen URL: http://www.eurosis.org B-9052 Ghent-Zwijnaarde URL: http://biomath.ugent.be/~eurosis Belgium URL: http://www.sim-center.net ********************************************************************* * Your Scientific information site on * * Computer Simulation - Concurrent Engineering - Multimedia- Games * * WWW.EUROSIS.ORG * ********************************************************************* **** DISCLAIMER **** "This e-mail and any attachments thereto may contain information which is confidential and/or protected by intellectual property rights and are intended for the sole use of the recipient(s) named above. Any use of the information contained herein (including, but not limited to, total or partial reproduction, communication or distribution in any form) by persons other than the designated recipient(s) is prohibited. If you have received this e-mail in error, please notify the sender either by telephone or by e-mail and delete the material from any computer. Thank you for your cooperation." ======================================================================= This email is sent out to all those on the EUROSIS-ETI database.If you want to be removed from this database or want to update your address details, please send an email to Philippe.Geril@biomath.ugent.be ======================================================================= ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]] Email: 最終更新日: 2006-4-17 9:36 ヒット数: 393 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	FMCAD 2006  説明： From: manolios@cc.gatech.edu Subject: (PN) FMCAD 2006 Second Call for Papers Date: 2006年4月5日 11:48:40:JST To: petrinet@informatik.uni-hamburg.de FMCAD 2006 International Conference on Formal Methods in Computer-Aided Design Sponsored by IEEE, CEDA (Council on Electronic Design Automation) http://fmcad.org/2006 CALL FOR PAPERS November 12-16, 2006, San Jose, California (Note: ICCAD also takes place in San Jose the previous week, Nov. 5-9) IMPORTANT DATES ======================================================================== Submission deadline: April 24, 2006 Acceptance notification: June 23, 2006 Final version due: July 28, 2006 SCOPE OF CONFERENCE ======================================================================== FMCAD 2006 is the sixth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. In addition to the technical program, FMCAD will offer a full day of tutorials on model checking, theorem proving, decision procedures, and the application of such methods in industry. FMCAD will also include panels and affiliated workshops. Topics of interest for the technical program include, but are not limited to: + Foundations: model checking, theorem proving, abstraction and refinement techniques, compositional methods, decision procedures, SAT-based methods, combining deductive methods with decision procedures, and probabilistic methods in verification. + Applications of formal methods in design: assertion-based verification, equivalence checking, transaction-level verification, semi-formal verification, runtime verification, simulation and testcase generation, coverage analysis, microcode verification, embedded systems, software verification, concurrent systems, timing verification, and formal approaches to performance and power. + Model-based approaches: modeling and specification languages, hardware/software co-design and verification, design derivation and transformation, and correct-by-construction methods. + Formal methods for the design and verification of emerging and novel technologies: nano, quantum, biological, video, gaming, and multimedia applications. + Verification applications: tools, industrial experience reports, and case studies. PAPER SUBMISSIONS ======================================================================== Submissions must be made electronically in PDF format through the FMCAD Web site, http://fmcad.org/2006. There are two categories of papers: A. Regular papers. Authors are invited to submit papers of up to 8 pages using the IEEE Transactions format on letter-size paper with a 10-point font size (see http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html). A double-blind review process will be used, therefore, submissions must not identify the authors in any way. We recommend that self-citations be written in the third person. Submitted papers must contain original research that has not been concurrently submitted to any other conference and that has not previously been published elsewhere. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. If experimental results are reported, authors are encouraged to provide enough access to their data so that results can be independently verified. Papers should contain a short abstract of approximately 150 words clearly stating the contribution of the submission. Finally, a small number of the accepted papers will be considered for a distinguished paper award. B. Short papers. The page limit is 2 pages using the same format as for regular papers. Short papers can describe applications, case studies, industrial experience reports, emerging results, or implemented tools with novel features. A demonstration will be required for accepted tool papers. ORGANIZATION ======================================================================== Chairs: Aarti Gupta, NEC Labs America Panagiotis Manolios, Georgia Tech Local Arrangements: Jeremy Levitt, Mentor Graphics Vigyan Singhal, Oski Technology Panels: Andreas Kuehlmann, Cadence Tutorials: Leonardo de Moura, SRI Webmasters: Sudarshan Srinivasan, Georgia Tech Daron Vroon, Georgia Tech Workshops: Ganesh Gopalakrishnan, Univ. Utah TUTORIALS ======================================================================== Jason Baumgartner, IBM Corporation Edmund M. Clarke, Carnegie Mellon University Leonardo de Moura, SRI J Strother Moore, University of Texas at Austin PROGRAM COMMITTEE ======================================================================== Clark Barrett, New York University, USA Jason Baumgartner, IBM Corporation, USA Valeria Bertacco, University of Michigan, USA Dominique Borrione, Grenoble University, France Supratik Chakraborty, Indian Institute of Technology Bombay, India Alessandro Cimatti, Istituto per la Ricerca Scientifica e Tecnologica, Italy Edmund M. Clarke, Carnegie Mellon University, USA Leonardo de Moura, SRI International, USA Rolf Drechsler, University of Bremen, Germany Malay K. Ganai, NEC Laboratories America, USA Ganesh Gopalakrishnan, University of Utah, USA Susanne Graf, VERIMAG, France Orna Grumberg, Technion - Israel Institute of Technology, Israel Aarti Gupta, NEC Laboratories America, USA Alan J. Hu, University of British Columbia, Canada Warren Hunt, University of Texas, USA Andreas Kuehlmann, Cadence Laboratories, USA Panagiotis Manolios, Georgia Institute of Technology, USA Andy Martin, IBM Research Division, USA Ken McMillan, Cadence Labs, USA John O'Leary, Intel Corp., USA Wolfgang Paul, Saarland University, Germany Carl Pixley, Synopsys Inc., USA Amir Pnueli, NYU, USA Natarajan Shankar, SRI International, USA Mary Sheeran, Chalmers University of Technology, Sweden Eli Singerman, Intel Corp., Israel Vigyan Singhal, Oski Technology, Inc., USA Anna Slobodova, Intel Corp., USA Fabio Somenzi, University of Colorado at Boulder, USA Richard Trefler, University of Waterloo, Canada Matthew Wilding, Rockwell Collins Inc., USA Yaron Wolfsthal, IBM, Israel ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]] Email: 最終更新日: 2006-4-17 9:36 ヒット数: 430 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介
スクリーンショットなし	HyLo 2006  説明： From: Carlos.Areces@loria.fr Subject: (PN) CFP: International Workshop on Hybrid Logic 2006 Date: 2006年4月14日 1:49:06:JST To: petrinet@informatik.uni-hamburg.de ******************************************************************* SECOND CALL FOR PAPERS International Workshop on Hybrid Logic 2006 (HyLo 2006) Affiliated with LICS 2006 August 11, 2006, Seattle, USA ******************************************************************* AIMS AND SCOPE: Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, because of the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant,and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals --- atomic symbols true at a unique point --- together with extra modalities to exploit them) often actually improves the behavior of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is not available in orthodox modal logic. Hybrid logic is now a mature field, therefore a theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?" However, submissions in all areas of hybrid logic are welcome. The workshop HyLo 2006 is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic, for example the LICS-affiliated HyLo 2002 (http://floc02.diku.dk/HYLO) which was held as part of FLoC 2002, Copenhagen, Denmark. If you are unsure whether your work is of relevance to the workshop, please do not hesitate to contact the workshop organizers for more information. Contact details are given below. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). INVITED SPEAKERS: Patrick Blackburn (INRIA Lorraine, France) Valeria de Paiva (PARC, USA) Ian Horrocks (University of Manchester, UK) PROGRAM COMMITTEE: Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark) Torben Braüner (Roskilde University, Denmark) --- Chair Valeria de Paiva (PARC, USA) Melvin Fitting (Lehman College, New York, USA) Balder ten Cate (University of Amsterdam, The Netherlands) Jørgen Villadsen (Roskilde University, Denmark) SUBMISSIONS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. The revised version of accepted papers will be published online in an Elsevier ENTCS (http://www.elsevier.com/locate/entcs/) volume devoted to FLoC 2006 satellite workshops. A preliminary version of the proceedings will also be distributed at the workshop. One author for each accepted paper must attend the workshop in order to present the paper. Please use the HyLo 2006 submission page (http://www.easychair.org/HyLo2006/), handled by the EasyChair conference system, to submit papers. Papers should not exceed 15 pages including references. Authors are strongly encouraged to prepare their submissions according to the ENTCS guidelines (http://www.entcs.org/). IMPORTANT DATES: Deadline for submissions: May 26, 2006 Notification of acceptance: June 23, 2006 Deadline for final versions: July 21, 2006 CONTACT DETAILS: See the workshop homepage (http://hylomol.ruc.dk/HyLo2006) for further information. Please send all correspondence regarding the workshop to the organizers: Patrick Blackburn http://www.loria.fr/~blackbur/ Thomas Bolander http://www.imm.dtu.dk/~tb/ Torben Braüner --- Chair http://www.ruc.dk/~torben/ Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ Jørgen Villadsen http://www.ruc.dk/~jv/ ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]] Email: 最終更新日: 2006-4-17 9:23 ヒット数: 320 このサイトを評価する | 修正 | リンク切れ報告 | 友達に紹介