From jc.augusto at ulster.ac.uk Fri Feb 1 12:55:26 2008 From: jc.augusto at ulster.ac.uk (Juan Carlos Augusto) Date: Fri, 1 Feb 2008 17:55:26 -0000 Subject: [ACT-R-users] 3rd Workshop on AI Techniques for Ambient Intelligence Message-ID: <033301c864fb$ea1765f0$5c943dc1@juanLKV0Y41XCZ> Call for Papers 3rd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'08) - Patras, Greece. 21-22 July 2008 Co-located event of ECAI 2008 ( www.ece.upatras.gr/ecai2008/calls.htm ) Background and Goals: Imagine a future where human environments respond to human preferences and needs. In this world, devices equipped with simple intelligence and the abilities to sense, communicate, and act will be unremarkable features of our world. We will expect the car to warn us of hazards, track our location and provide timely route advice. We will speak to simple machines and hold conversations with more complex systems, such as intelligent homes that will help us monitor conditions, track routine tasks, and program the behaviour of the heat, the lights, the garden watering and the entertainment centre. Analogous systems at work will make simple decisions in our stead ranging from scheduling meetings to negotiating for common services over the web. Such systems will also acquire, and adapt to our preferences over time. In sum, we will come to view simple software intelligence as an ambient feature of our environment. The infrastructure for ambient intelligence is fast coming on line. Computational resources are cheap and becoming cheaper, while ubiquitous network access has started to appear. Market forces will soon produce applications. We take the view that ambient intelligence is imminent and inevitable, and that the time is ripe to take stock. This workshop will provide that opportunity by gathering researchers in a variety of AI subfields together with representatives of commercial interests to explore the technology and applications for ambient intelligence. This workshop will complement related events, such as the International Conference on Smart Homes and Telecare, and the European Conference on Ambient Intelligence. This workshop differs in that it will focus on the special relevance of Artificial Intelligence techniques to the goals of Ambient Intelligence, and on the most likely avenues for practical application. AITAmI'08 will provide an open forum based on a variety of presentations: research papers, keynotes, panels and industrial demos. This event will build up on the topics discussed during the two previous successful editions: AITAmI'06 held during ECAI'06 and AITAmI'07 held during IJCAI'07. Important Dates: April 10th: submission deadline May 10th: notification of evaluation May 24th: camera ready submission Web page: www.infj.ulst.ac.uk/~jcaug/aitami08.htm Sponsors: This event is sponsored by the following companies: Philips, Siemens, Nokia Attendance: The workshop is open to all members of the ECAI community but the number of participants will be restricted by the room size. Preference will be given to participants which have an accepted paper and the rest of the participants will be selected according to background and order of registration. Invited Speakers: As in previous editions of this event distinguished speakers will share their experiences and provide their insights on the current trends of the field. Organization: this event will be Co-located with the 18th European Conference in Artificial Intelligence, ECAI 2008: www.ece.upatras.gr/ecai2008/calls.htmAreas of interest: include, but are not limited to, the following: - agent-based approach to AmI - interaction with autonomous systems - individual/group emotional status - individual/group preferences - mediating conflicting interests - intelligent interactive systems - multi-modal interfaces (voice, image and video, bio-signals, handwriting, etc.) - modelling complex environments (smart homes, hospitals, museums, transportation, classrooms, etc.) - non invasive sensing and interaction - context awareness - cognitive modelling of users - applications (health, industry, teaching, supporting group collaboration, etc.) - innovative applications of AI to Ambient Intelligence - responsive/active architecture - traditional relevant areas of AI (KR, reasoning about actions, spatio-temporal reasoning, CBR, planning, uncertainty, learning, belief revision, vision, decision- making, etc.) Special Session on Vision-based Reasoning: this edition will have a session devoted to the use of networks of video cameras as intelligent sensors enabling smart environments. Contact the chair of the session Hamid Aghajan (Stanford University, USA) aghajan 'at' stanford.edu for further inquiry or visit http://wsnl.stanford.edu/AITAmI_08_VbR.pdf for paper submission instructions. Submission Details: Authors wishing to participate as speakers in this event should format their papers following the same formatting guidelines than for the main conference: http://www.ece.upatras.gr/ecai2008/substyles.htm More details of the submission process will be given in the web page of the event. Publications: all papers accepted will be published in the proceedings of the event. Related post-workshop publications will be pursued. Ph.D. Grants: The organizers of this event will offer partial funding to Ph.D. students with accepted papers at our event. The quality of the submission and the financial situation of the student will be part of the selection criteria. Co-Chairs: J.C. Augusto (U. of Ulster, UK) jc.augusto 'at' ulster.ac.uk D. Shapiro (Applied Reactivity Inc.) dgs 'at' appliedreactivity.com Program Committee E. Aarts (Philips Res. Eindhoven) H. Aghajan (Stanford U., USA) R. Bergmann (U. of Trier, Germany) M. B?hlen (State Univ. of NY, USA) A. Butz (Univ. of Munich, Germany) V. Callaghan (Univ. of Essex, UK) A. Cesta (ISTC-CNR, Italy) D. Cook (Washington State U., USA) A.K. Dey (Carnegie Mellon U., USA) M. Divitini (NUS, Norway) M. Freed, (SRI Internacional, USA) S. Giroux (U. of Sherbrooke, Canada) B. Gottfried (Univ.Bremen, Germany) H. Guesgen (Massey Univ., NZ) S. Helal (U. of Florida, USA) D. Heylen (U. of Twente, Netherlands) P. Huuskonen (Nokia) A. Kameas (CTI., Greece) J. Krumm (Microsoft Research, USA) J. Ma, (Hosei University, Japan) R. Lopez de M?ntaras (CSIC, Spain) W. Minker (U. of Ulm - Germany) J. Plomp (VTT Electronics) H. Raffler (Siemens AG) C. Ramos (Polyt. of Porto, Portugal) F. Sadri (Imperial College, UK) M. Sasikumar (CDAC Mumbai, India) K. Stathis (R.H. Univ. of London, UK) J. Treur (Vrije U.,The Netherlands) R. Wichert (Fraunhofer, Germany) T. Yamazaki (NICT, Japan) From Santosh.Mathan at honeywell.com Mon Feb 4 01:04:37 2008 From: Santosh.Mathan at honeywell.com (Mathan, Santosh (Redmond, WA)) Date: Mon, 4 Feb 2008 01:04:37 -0500 Subject: [ACT-R-users] Research Scientist Opening at Honeywell Labs Message-ID: <1DDD86A8800919459ECB2E1CA73F7AAB5EE369@DE08EV802.global.ds.honeywell.com> Here is a job opportunity for researchers whose interests lie at the intersection of Cognitive Science and Human Computer Interaction -Santosh Mathan Human Factors Research Scientist-00082796 Job Description Honeywell Laboratories, based in Minneapolis, Minnesota, is a world class research and development center that fuels Honeywell's organic growth through technology development. Our goal is to conduct a broad range of strategic R&D to advance key technologies that have potential as market discriminators for Honeywell business units. One of the hottest of these technologies involves integrating advanced engineering and modern psychology, which entails the study of human physiological responses in high workload environments. Research in this domain requires an understanding of human attention, information processing and biological signal processing. Research and development in this area requires expertise in conducting workload assessments, identifying tasks that are appropriate for automation, and developing new and effective human interfaces for high workload environments. The successful candidate will work as part of the Human Centered Systems Research Group in the Aerospace Advanced Technology Organization. Projects range from government-funded basic research to applied technology implementations into aerospace products, services, and solutions. Key attributes for success include: * broad set of skills in human factors and human centered design; * ability to work in team environments (both as a contributor and a leader); * focused business acumen, including generating new research and development ideas and writing proposals; and * enthusiasm in contributing to a variety of challenging and diverse research and development projects. The candidate will conduct research in neurotechnology and augmented cognition, and will perform all aspects of human centered research, including: * requirements analyses (function, task, and cognitive analyses); * system interface design, including design of human-centered functions and functional logic; * development of new human interface devices for information transmission or to task automation; * empirical evaluation, from informal focus groups to rigorous controlled experiments Responsibilities include: * planning research programs, * writing proposals and pursuing research funding, * developing new system concepts, * designing and conducting research studies, conducting statistical analyses and reporting results, and * working with business unit personnel to facilitate technology transfer. Qualifications Minimum Qualifications: * Master's Degree in either of the following AND a minimum of three (3) years of industry experience, or a Ph.D. Degree in either of the following: --Cognitive Psychology with work in Augmented Cognition and/or Neurophysiological research with brain signals processing --Aviation Psychology --Computer Science with experience/work in Human Computer Interaction * Excellent verbal and written communication skills are required, including the ability to make technical presentations and conduct technical discussions in scientific conferences. * Due to export control requirements, the candidate must be a U.S. Citizen or a Permanent Resident. * Ability to travel up to 10%. Preferred Qualifications: * Ph.D. Degree in either of the following --Cognitive Psychology or Experimental Psychology with focus on Attention or Augmented Cognition and/or Neurophysiological research with brain signals processing; --Aviation Psychology; --Computer Science with experience/work in Human Computer Interaction; AND * Five (5) years or more industry experience in some or all of the following: --Augmented Cognition and/or Neurophysiological research into brain signals processing relating to functional tasks; --Design of Aircraft Cockpit Display, with considerations on pilot behavior; --Functional Task Analysis. Please note: We are NOT looking for Human Computer Interface practitioners who have focused on website design, NOR for Scientists with backgrounds in Biological Research. As an Equal Opportunity Employer, we are committed to a diverse workforce. Click here to apply online -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeedward at yahoo.com Tue Feb 5 14:40:53 2008 From: jeedward at yahoo.com (John Edward) Date: Tue, 5 Feb 2008 11:40:53 -0800 (PST) Subject: [ACT-R-users] Draft paper submission deadline is extended: AIPR-08 Message-ID: <233491.40318.qm@web45911.mail.sp1.yahoo.com> Dear Colleagues and Friends Kindly share the announcement below with those who may be interested: thank you in advance. Sincerely John Edward AIPR-08 draft paper submission deadline is extended The 2008 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08) (website: www.PromoteResearch.org ) will be held during July 7-10 2008 in Orlando, FL, USA. We invite draft paper submissions and the submission deadline is extended until February 19 2008 due to several requests from the authors. The conference will be held at the same time and place where several major events (please see below) are taking place. The website contains more details. Sincerely John Edward ? International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08) ? International Conference on Automation, Robotics and Control Systems (ARCS-08) ? International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-08) ? International Conference on Enterprise Information Systems and Web Technologies (EISWT-08) ? International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-08) ? International Conference on Software Engineering Theory and Practice (SETP-08) ? International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) --------------------------------- Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. -------------- next part -------------- An HTML attachment was scrubbed... URL: From idoroll at cmu.edu Mon Feb 11 16:40:20 2008 From: idoroll at cmu.edu (Ido Roll) Date: Mon, 11 Feb 2008 16:40:20 -0500 Subject: [ACT-R-users] CFP: Metacognition and Self-Regulated Learning in Educational Technology Message-ID: :~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~: CALL FOR PAPERS *The 3rd Workshop on Metacognition and Self-Regulated Learning in Educational Technology* in Intelligent Tutoring Systems (ITS) 2008, June 23-27, Montreal http://andrew.cmu.edu/~iroll/workshops/its08 Submission deadline: April 20 :~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~: While educational technology has been shown to be effective at the domain, cognitive level, similar success has not been achieved yet with regard to tutoring better metacognitive and self regulation skills. A key question is whether instructional technology can be as effective in fostering metacognitive skills. The aim of the workshop, 3rd in a series, is to improve our understanding of the design of goals, instruction, and assessment of tutoring metacognition and self-regulated learning using educational technology. We hope to spur in-depths discussion as well as foster a community built around these topics. :~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~: While all relevant submissions are welcome, authors are encouraged to discuss aspects of measurement of metacognition and SRL in educational technologies. Such aspects include, but are not limited to, the following: - Capturing, recording, or extracting metacognitive aspects of students' learning processes - Interpreting and assessing metacognitive behavior - Evaluating the effect of metacognitive feedback and interventions - Designing tasks for metacognitive assessment - Measuring metacognition over time or in changing contexts - Qualitative vs quantitative methods to measure meta-cognitive behavior - Modeling metacognition - Assessing metacognition in educational technologies compared to the classroom or lab - Relation between metacognitive measures and measures of learning, motivation, and other measures of interest. :~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~: IMPORTANT DATES: ? Submission deadline: April 20 ? Reviews back to authors: May 19 ? Camera ready deadline: May 23 ? Workshop: June 23/24 :~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~:~: SUBMISSION GUIDELINES: We invite work at all stages of development. Papers can describe applied systems, empirical results or theoretically grounded positions, and can tackle any aspect of metacognitive goals, instruction, and assessment. All papers are expected to follow the general ITS 2008 submission guidelines (http://gdac.dinfo.uqam.ca/its2008/). Papers must comply with the LNCS formatting instructions ( http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0), and should not to exceed 5000 words. Papers will be peer reviewed by the workshop organizing committee. Accepted papers will be included in the workshop proceedings and will be published on the workshop webpage. Please send your paper via email (only .odt, .doc, .rtf or .pdf format, please) to Ido Roll, idoroll at cmu.edu. Thank you, Workshop organizers: ? Ido roll, Carnegie Mellon University ? Vincent Aleven, Carnegie Mellon University Orgnizing committee: ? Allan Collins, Northwestern University ? Bracha Kramarski, Bar-Ilan University ? Cristina Conati, University of British Colombia ? Gautam Biswas, Vanderbilt University ? Phil Winne, Simon Fraser University ? Roger Azevedo, University of Memphis ? Rose Luckin, University of Sussex ? Ryan S.J.d. Baker, Carnegie Mellon University ? Tanja Mitrovic, Canterbury University External Advisors ? Alan Schoenfeld, University of California Berkeley ? Asher Koriat, Haifa University, ? David Klahr, Carnegie Mellon University ? Morre Goldsmith, Haifa University -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeedward at yahoo.com Mon Feb 11 20:38:19 2008 From: jeedward at yahoo.com (John Edward) Date: Mon, 11 Feb 2008 17:38:19 -0800 (PST) Subject: [ACT-R-users] AIPR-08 draft paper submission deadline is few days from now Message-ID: <794230.67205.qm@web45916.mail.sp1.yahoo.com> Dear Colleagues and Friends Kindly share the announcement below with those who may be interested: thank you in advance. Sincerely John Edward AIPR-08 draft paper submission deadline is extended The 2008 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08) (website: www.PromoteResearch.org ) will be held during July 7-10 2008 in Orlando, FL, USA. We invite draft paper submissions and the submission deadline is extended until February 19 2008 due to several requests from the authors. The conference will be held at the same time and place where several major events (please see below) are taking place. The website contains more details. Sincerely John Edward ? International Conference on Artificial Intelligence and Pattern Recognition (AIPR-08) ? International Conference on Automation, Robotics and Control Systems (ARCS-08) ? International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-08) ? International Conference on Enterprise Information Systems and Web Technologies (EISWT-08) ? International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-08) ? International Conference on Software Engineering Theory and Practice (SETP-08) ? International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) --------------------------------- Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. -------------- next part -------------- An HTML attachment was scrubbed... URL: From tkelley at arl.army.mil Fri Feb 15 14:47:28 2008 From: tkelley at arl.army.mil (Kelley, Troy (Civ,ARL/HRED)) Date: Fri, 15 Feb 2008 14:47:28 -0500 Subject: [ACT-R-users] Call for papers (UNCLASSIFIED) In-Reply-To: <45F83254B248C0B13787400D@DHL8KLC1.psy.cmu.edu> References: <45F83254B248C0B13787400D@DHL8KLC1.psy.cmu.edu> Message-ID: <2D30123DFDFF1046B3A9CF64B6D9AC902A370F@ARLABML03.DS.ARL.ARMY.MIL> Classification: UNCLASSIFIED Caveats: NONE CALL FOR PAPERS Journal of Cognitive Engineering and Decision Making Special Section on: Developing and Understanding Computational Models of Macrocognition A growing number of cognitive modelers and computer scientists are directing their efforts toward understanding and representing macrocognitive processes. Consequently, the literature across a wide variety of disciplines-Human Factors, Cognitive Psychology, Human Behavior Representation, Artificial Intelligence, Operations Research, Human Computer Interaction, to name only a few-is now teeming with discussions of novel computational architectures. There are references to computational models of situation awareness, to naturalistic decision making architectures, to intelligent, context-sensitive adaptation and planning mechanisms, and even to expert systems that purport to operate on more "meaningful" knowledge representations. While many might see this as an interesting departure from the application of AI techniques to classic experimental paradigms in cognitive psychology, this turn also raises a host of interesting issues. For instance, research in macrocognition embraces phenomena and methods that might seem abstract or imprecise to those coming from a more traditional background in computational cognitive modeling. Conversely, to the macrocognitive researcher, computational cognitive models are likely to be seen as couched at too fine a grain scale-exactly at the "micro" level to which the macrocognitive researcher is reacting. While there is no reason to assume that these micro and macro views are incommensurable, a good deal of work needs to be done to show how these views are best reconciled. The goal of this Special Section of the JCEDM is to begin this work by soliciting manuscripts from researchers across various disciplines who are developing computational representations of macrocognitive processes directly or are contributing to this body of work by theory, experimentation, or practice. To encourage the ongoing exchange of ideas across disciplines, our aim with this special section will not be to justify or reaffirm the importance of a macrocognitve perspective, nor will it be to establish priority among various computational architectures. Rather, taking macrocognition as a starting point, we seek manuscripts that detail how various aspects of the theory have begun to find expression in computational architectures. Suggested paper topics will include: * Presentations of new and innovative architectures representing specific macrocognitive processes (e.g., recognitional decision making, actionable models of situation awareness, problem detection) and their application to real world problems * Discussion of the correspondence between conceptual and computational models, of the relationship between macro- and microcognitive models of cognition. * Methods for measuring and evaluating computational models of macrocognitive processes * Methods for validating both conceptual and computational models of macrocognition The closing date for submissions is 27 June, 2008. Prepare manuscripts according to the JCEDM guidelines which follow the Publication Manual of the American Psychological Association (5th ed.). Manuscripts should not exceed 25 pages in length. Manuscripts should be submitted electronically to cedm.journal at satechnologies.com, with emails entitled "Submission for Special Issue on Computational Models of Macrocognition" Special Section Co-Editors: Walter Warwick MA&D Operation, Alion Science and Technology wwarwick at alionscience.com Laurel Allender Army Research Laboratory Human Research and Engineering Directorate lallende at arl.army.mil John Yen School of Information Sciences and Technology, The Pennsylvania State University jyen at ist.psu.edu Troy D. Kelley AMSRD-HR-SE Army Research Laboratory Human Research and Engineering Directorate (HRED) Aberdeen Proving Ground, Aberdeen MD 21005-5425 voice: 410-278-5869 fax: 410-278-9523 Classification: UNCLASSIFIED Caveats: NONE From zhang at cis.uab.edu Fri Feb 15 23:58:49 2008 From: zhang at cis.uab.edu (Chengcui Zhang) Date: Fri, 15 Feb 2008 22:58:49 -0600 (CST) Subject: [ACT-R-users] Deadline Extended: Call for Papers: IEEE IRI-2008 Message-ID: *** Due to many requests, the following deadline has been extended *** Paper submission deadline: March 18, 2008 (FIRM) [Apologies if you received multiple copies because of cross-posting] ----------------------------------------------------------------- The 2008 IEEE International Conference on Information Reuse and Integration (IEEE IRI-2008) Sponsored by: The IEEE Systems, Man and Cybernetics Society July 13-15, 2008 Hilton Hotel, Las Vegas, USA http://iri2008.cpsc.ucalgary.ca/ ----------------------------------------------------------------- The increasing volumes and dimensions of information have dramatic impact on effective decision-making. To remedy this situation, Information Reuse and Integration (IRI) seeks to maximize the reuse of information by creating simple, rich, and reusable knowledge representations and consequently explores strategies for integrating this knowledge into legacy systems. IRI plays a pivotal role in the capture, representation, maintenance, integration, validation, and extrapolation of information; and applies both information and knowledge for enhancing decision-making in various application domains. This conference explores three major tracks: information reuse, information integration, and reusable systems. Information reuse considers optimizing representation methodologies; information integration studies strategies for creatively applying models in novel domains; and reusable systems focus on ontological opportunities for deploying models and corresponding processes. The IEEE IRI conference serves as a forum for researchers and practitioners from academia, industry, and government to present, discuss, and exchange ideas that address real-world problems with real-world solutions. The conference feature contributed and invited papers. Theoretical and applied papers are both included. The conference program will include special sessions, open forum workshops, and keynote speeches. A forum will be conducted with the intent of bridging IRI and Systems of Systems and why the future of intelligent computing - including computing applications - will lie at the juxtaposition of these two topical areas. The best papers from IRI 2008 will be invited to submit extended versions to a special issue of the Integrated Computer-Aided Engineering Journal. The conference includes, but is not limited to, the areas listed below: - Large Scale Data and System Integration - Component-Based Design and Reuse - Unifying Data Models (UML, XML, etc.) and Ontologies - Database Integration - Structured/Semi-structured Data - Middleware & Web Services - Reuse in Software Engineering - Data Mining and Knowledge Discovery - Sensory and Information Fusion - Reuse in Modeling & Simulation - Automation, Integration and Reuse across Various Applications - Information Security & Privacy - Survivable Systems & Infrastructures - AI & Decision Support Systems - Heuristic Optimization and Search - Knowledge Acquisition and Management - Fuzzy and Neural Systems - Soft Computing - Evolutionary Computing - Case-Based Reasoning - Natural Language Understanding - Knowledge Management and E-Government - Command & Control Systems (C4ISR) - Human-Machine Information Systems - Space and Robotic Systems - Biomedical & Healthcare Systems - Homeland Security & Critical Infrastructure Protection - Manufacturing Systems & Business Process Engineering - Multimedia Systems - Service-Oriented Architecture - Autonomous Agents in Web-based Systems - Information Integration in Grid Computing Environments - Information Integration in Mobile Computing Environments - Information Integration in Ubiquitous Computing Environments - Systems of Systems - Semantic Web and Emerging Applications - Information Reuse, Integration and Sharing in Collaborative Environments Instructions for Authors: ------------------------- Papers reporting original and unpublished research results pertaining to the above and related topics are solicited. Full paper manuscripts must be in English of length 4 to 6 pages (using the IEEE two-column template). Submissions should include the title, author(s), affiliation(s), e-mail address(es), tel/fax numbers, abstract, and postal address(es) on the first page. Papers should be submitted at the conference web site: http://iri2008.cpsc.ucalgary.ca/. If web submission is not possible, manuscripts should be sent as an attachment via email to either of the Program Chairs (mailing address available on the conference website) on or before the deadline date of March 18, 2008. The attachment must be in .pdf (preferred) or word.doc format. The subject of the email must be IEEE IRI 2008 Submission. Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Authors should certify that their papers represent substantially new work and are previously unpublished. Paper submission implies the intent of at least one of the authors to register and present the paper, if accepted. Important Dates: ---------------- February 4, 2008 Workshop/Special session proposal March 18, 2008 New paper submission deadline (FIRM) TBA Notification of acceptance TBA Camera-ready paper due TBA Presenting author registration due June 9, 2008 Advance (discount) registration for general public and other co-author June 30, 2008 Hotel reservation (special discount rate) closing date July 13-15, 2008 Conference events Orgizing Committee: ------------------- Honorary General Chair Lotfi Zadeh Univ. of California, Berkeley, USA zadeh at cs.berkeley.edu General Chairs Stuart Rubin SPAWAR Systems Center, USA stuart.rubin at navy.mil Shu-Ching Chen Florida International University, USA chens at cs.fiu.edu Program Chairs Kang Zhang University of Texas at Dallas, USA kzhang at utd.edu Reda Alhajj University of Calgary, Canada alhajj at ucalgary.ca Program Vice-Chairs Mei-Ling Shyu University of Miami, USA shyu at miami.edu Gary D. Boetticher University of Houston Clear Lake boetticher at uhcl.edu Workshop Chairs Du Zhang California State University, USA zhangd at ecs.csus.edu Taghi M. Khoshgoftaar Florida Atlantic University, USA taghi at cse.fau.edu Eric Grgoire Universit d'Artois, France gregoire at cril.univ-artois.fr Publicity Chairs Chengcui Zhang UAB, USA zhang at cis.uab.edu James B. D. Joshi University of Pittsburgh, USA jjoshi at mail.sis.pitt.edu Finance/Registration/Local Arrangement Chair Suresh Vadhva California State University, USA vadhva at ecs.csus.edu Publications Chair Min-Yuh Day NTU, Taiwan, R.O.C. myday at iis.sinica.edu.tw Asian Liaison Wen-Lian Hsu Academia Sinica, Taiwan, R.O.C. hsu at iis.sinica.edu.tw Althea Liang Qianhui SMU, Singapore althealiang at smu.edu.sg Industry/Canadian Liaison, Editor June R. Massoud Genesis Consulting Inc., Canada junermassoud at hotmail.com Entertainment Chair Louellen McCoy SPAWAR Systems Center, USA louellen.mccoy at navy.mil Webmaster Reda Alhajj University of Calgary, Canada alhajj at ucalgary.ca --------------------------- Chengcui Zhang Ph.D. Assistant Professor Department of Computer and Information Sciences University of Alabama at Birmingham Birmingham, USA 35294 _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors From ss.dtvcs at gmail.com Sat Feb 16 12:57:18 2008 From: ss.dtvcs at gmail.com (ss DTVCS) Date: Sat, 16 Feb 2008 17:57:18 +0000 Subject: [ACT-R-users] CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems In-Reply-To: References: Message-ID: Apologies for any multiple copies received. We would appreciate it if you could distribute the following call for papers to any relevant mailing lists you know of. CALL FOR PAPERS ============================================================================ Special Session: Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems DTVCS 2008 August 18-20, 2008 (Kailua-Kona, Hawaii, USA) http://digilander.libero.it/systemcfl/dtvcs ============================================================================= Special Session in the IASTED International Conference on Circuits and Systems (CS 2008) ------------------------------------------------------------------------------------------------------------------------------------- The IASTED International Conference on Circuits and Systems (CS 2008) will take place in Kailua-Kona, Hawaii, USA, August 18-20, 2008. URL: http://www.iasted.org/conferences/cfp-625.html. Aims and Scope ------------------------- The main target of the Special Session DTVCS is to bring together engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to the areas of design, testing and formal verification techniques for integrated circuits and systems. Contributions on UML and formal paradigms based on process algebras, petri-nets, automaton theory and BDDs in the context of design, testing and formal verification techniques for integrated circuits and systems are also encouraged. Topics ---------- Topics of interest include, but are not limited to, the following: * digital, analog, mixed-signal and RF test * built-in self test * ATPG * theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic methods * applications of formal methods: equivalence checking, CSP applications and transaction-level verification * verification through hybrid techniques * verification methods based on hardware description/system-level languages (e.g. VHDL, SystemVerilog and SystemC) * testing and verification applications: tools, industrial experience reports and case studies Industrial Collaborators and Sponsors ------------------------------------------------------ This special session is partnered with: * CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing", University College Cork, Ireland (http://www.ceol.ucc.ie) * International Software and Productivity Engineering Institute, USA ( http://www.intspei.com) * Intelligent Support Ltd., United Kingdom (http://www.isupport-ltd.co.uk) * Minteos, Italy (http://www.minteos.com) * M.O.S.T., Italy (http://www.most.it) * Electronic Center, Italy (http://www.el-center.com) * Legale Fiscale, Italy (http://www.legalefiscale.it) This special session is sponsored by: * LS Industrial Systems, South Korea (http://eng.lsis.biz) * Solari, Hong Kong (http://www.solari-hk.com/) Technical Program Committee -------------------------------------------- * Prof. Vladimir Hahanov, Kharkov National University of Radio Electronics, Ukraine * Prof. Paolo Prinetto, Politecnico di Torino, Italy * Prof. Alberto Macii, Politecnico di Torino, Italy * Prof. Joongho Choi, University of Seoul, South Korea * Prof. Wei Li, Fudan University, China * Prof. Michel Schellekens, University College Cork, Ireland * Prof. Franco Fummi, University of Verona, Italy * Prof. Jun-Dong Cho, Sung Kyun Kwan University, South Korea * Prof. AHM Zahirul Alam, International Islamic University Malaysia, Malaysia * Dr. Emanuel Popovici, University College Cork, Ireland * Dr. Jong-Kug Seon, System LSI Lab., LS Industrial Systems Co. Ltd., South Korea * Dr. Umberto Rossi, STMicroelectronics, Italy * Dr. Graziano Pravadelli, University of Verona, Italy * Dr. Vladimir Pavlov, International Software and Productivity Engineering Institute, USA * Dr. Jinfeng Huang, Philips & LiteOn Digital Solutions Netherlands, Advanced Research Centre, The Netherlands * Dr. Thierry Vallee, Georgia Southern University, Statesboro, Georgia, USA * Dr. Menouer Boubekeur, University College Cork, Ireland * Dr. Ana Sokolova, University of Salzburg, Austria * Dr. Sergio Almerares, STMicroelectronics, Italy * Ajay Patel (Director), Intelligent Support Ltd, United Kingdom * Monica Donno (Director), Minteos, Italy * Alessandro Carlo (Manager), Research and Development Centre of FIAT, Italy * Yui Fai Lam (Manager), Microsystems Packaging Institute, Hong Kong University of Science and Technology, Hong Kong Important Dates --------------------------- April 1, 2008: Deadline for submission of completed papers May 15, 2008: Notification of acceptance/rejection to authors Please visit our web-site for further information on the hosting conference of DTVCS, submission guidelines, proceedings and publications. Best regards, General Chair of DTVCS: Dr. K.L. Man (University College Cork, Ireland) and Organising Chairs: Miss Maria O'Keeffe (University College Cork, Ireland) and: Mr. Michele Mercaldi (M.O.S.T., Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From zhang at cis.uab.edu Mon Feb 25 02:27:51 2008 From: zhang at cis.uab.edu (IEEE-IRI-Publicity) Date: Mon, 25 Feb 2008 01:27:51 -0600 (CST) Subject: [ACT-R-users] Call for Papers: The 2008 IEEE International Conference on Information Reuse and Integration Message-ID: *** Paper submission deadline: March 18, 2008 (FIRM) [Apologies if you received multiple copies because of cross-posting] ----------------------------------------------------------------- The 2008 IEEE International Conference on Information Reuse and Integration (IEEE IRI-2008) Sponsored by: The IEEE Systems, Man and Cybernetics Society July 13-15, 2008 Hilton Hotel, Las Vegas, USA http://iri2008.cpsc.ucalgary.ca/ ----------------------------------------------------------------- The increasing volumes and dimensions of information have dramatic impact on effective decision-making. To remedy this situation, Information Reuse and Integration (IRI) seeks to maximize the reuse of information by creating simple, rich, and reusable knowledge representations and consequently explores strategies for integrating this knowledge into legacy systems. IRI plays a pivotal role in the capture, representation, maintenance, integration, validation, and extrapolation of information; and applies both information and knowledge for enhancing decision-making in various application domains. This conference explores three major tracks: information reuse, information integration, and reusable systems. Information reuse considers optimizing representation methodologies; information integration studies strategies for creatively applying models in novel domains; and reusable systems focus on ontological opportunities for deploying models and corresponding processes. The IEEE IRI conference serves as a forum for researchers and practitioners from academia, industry, and government to present, discuss, and exchange ideas that address real-world problems with real-world solutions. The conference feature contributed and invited papers. Theoretical and applied papers are both included. The conference program will include special sessions, open forum workshops, and keynote speeches. A forum will be conducted with the intent of bridging IRI and Systems of Systems and why the future of intelligent computing - including computing applications - will lie at the juxtaposition of these two topical areas. The best papers from IRI 2008 will be invited to submit extended versions to a special issue of the Integrated Computer-Aided Engineering Journal. The conference includes, but is not limited to, the areas listed below: - Large Scale Data and System Integration - Component-Based Design and Reuse - Unifying Data Models (UML, XML, etc.) and Ontologies - Database Integration - Structured/Semi-structured Data - Middleware & Web Services - Reuse in Software Engineering - Data Mining and Knowledge Discovery - Sensory and Information Fusion - Reuse in Modeling & Simulation - Automation, Integration and Reuse across Various Applications - Information Security & Privacy - Survivable Systems & Infrastructures - AI & Decision Support Systems - Heuristic Optimization and Search - Knowledge Acquisition and Management - Fuzzy and Neural Systems - Soft Computing - Evolutionary Computing - Case-Based Reasoning - Natural Language Understanding - Knowledge Management and E-Government - Command & Control Systems (C4ISR) - Human-Machine Information Systems - Space and Robotic Systems - Biomedical & Healthcare Systems - Homeland Security & Critical Infrastructure Protection - Manufacturing Systems & Business Process Engineering - Multimedia Systems - Service-Oriented Architecture - Autonomous Agents in Web-based Systems - Information Integration in Grid Computing Environments - Information Integration in Mobile Computing Environments - Information Integration in Ubiquitous Computing Environments - Systems of Systems - Semantic Web and Emerging Applications - Information Reuse, Integration and Sharing in Collaborative Environments Instructions for Authors: ------------------------- Papers reporting original and unpublished research results pertaining to the above and related topics are solicited. Full paper manuscripts must be in English of length 4 to 6 pages (using the IEEE two-column template). Submissions should include the title, author(s), affiliation(s), e-mail address(es), tel/fax numbers, abstract, and postal address(es) on the first page. Papers should be submitted at the conference web site: http://iri2008.cpsc.ucalgary.ca/. If web submission is not possible, manuscripts should be sent as an attachment via email to either of the Program Chairs (mailing address available on the conference website) on or before the deadline date of March 18, 2008. The attachment must be in .pdf (preferred) or word.doc format. The subject of the email must be IEEE IRI 2008 Submission. Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Authors should certify that their papers represent substantially new work and are previously unpublished. Paper submission implies the intent of at least one of the authors to register and present the paper, if accepted. Important Dates: ---------------- February 4, 2008 Workshop/Special session proposal March 18, 2008 New paper submission deadline (FIRM) TBA Notification of acceptance TBA Camera-ready paper due TBA Presenting author registration due June 9, 2008 Advance (discount) registration for general public and other co-author June 30, 2008 Hotel reservation (special discount rate) closing date July 13-15, 2008 Conference events Orgizing Committee: ------------------- Honorary General Chair Lotfi Zadeh Univ. of California, Berkeley, USA zadeh at cs.berkeley.edu General Chairs Stuart Rubin SPAWAR Systems Center, USA stuart.rubin at navy.mil Shu-Ching Chen Florida International University, USA chens at cs.fiu.edu Program Chairs Kang Zhang University of Texas at Dallas, USA kzhang at utd.edu Reda Alhajj University of Calgary, Canada alhajj at ucalgary.ca Program Vice-Chairs Mei-Ling Shyu University of Miami, USA shyu at miami.edu Gary D. Boetticher University of Houston Clear Lake boetticher at uhcl.edu Workshop Chairs Du Zhang California State University, USA zhangd at ecs.csus.edu Taghi M. Khoshgoftaar Florida Atlantic University, USA taghi at cse.fau.edu Eric Grgoire Universit d'Artois, France gregoire at cril.univ-artois.fr Publicity Chairs Chengcui Zhang UAB, USA zhang at cis.uab.edu James B. D. Joshi University of Pittsburgh, USA jjoshi at mail.sis.pitt.edu Finance/Registration/Local Arrangement Chair Suresh Vadhva California State University, USA vadhva at ecs.csus.edu Publications Chair Min-Yuh Day NTU, Taiwan, R.O.C. myday at iis.sinica.edu.tw Asian Liaison Wen-Lian Hsu Academia Sinica, Taiwan, R.O.C. hsu at iis.sinica.edu.tw Althea Liang Qianhui SMU, Singapore althealiang at smu.edu.sg Industry/Canadian Liaison, Editor June R. Massoud Genesis Consulting Inc., Canada junermassoud at hotmail.com Entertainment Chair Louellen McCoy SPAWAR Systems Center, USA louellen.mccoy at navy.mil Webmaster Reda Alhajj University of Calgary, Canada alhajj at ucalgary.ca --------------------------- Chengcui Zhang Ph.D. Assistant Professor Department of Computer and Information Sciences University of Alabama at Birmingham Birmingham, USA 35294 _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors _______________________________________________ ieeeauthors mailing list ieeeauthors at cis.uab.edu http://crier.cis.uab.edu/mailman/listinfo/ieeeauthors From hejibo at gmail.com Mon Feb 25 22:10:07 2008 From: hejibo at gmail.com (He Jibo) Date: Mon, 25 Feb 2008 21:10:07 -0600 Subject: [ACT-R-users] CAPI Message-ID: Hi, I hope to create a GUI of an ATM, and a cognitive model for ATM transaction. My friend told me that CAPI may help for my task. Could anyone give me more information about it? If there is a tutorial of CAPI, that would be great! Or if I use other GUI creating tool, such as wxPython, how can I link these GUI with ACT-R? Thanks! Have a good night! :-) Jibo -- Best Regards, He Jibo jibohe2 at cyrus.psych.uiuc.edu hejibo at gmail.com --------------------------- He Jibo Department of Psychology, Beckman Institute for Advanced Science and Technology University of Illinois, Urbana Champaign, 603 East Daniel St., Champaign, IL 61820 Tel: 217-244-4461(office) 217-244-6763(lab) Email: hejibo at gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From bruno.emond at nrc-cnrc.gc.ca Tue Feb 26 07:05:47 2008 From: bruno.emond at nrc-cnrc.gc.ca (Bruno Emond) Date: Tue, 26 Feb 2008 07:05:47 -0500 Subject: [ACT-R-users] CAPI In-Reply-To: References: Message-ID: Jibo, CAPI is a Lispworks specific package for defining user interface. A CAPI interface will run on Windows, Linux and MacOS. It contains a very high level set of classes, methods and macro to define your user interface. On MacOS it is also very well integrated with Cocoa and Objective-C. http://www.lispworks.com/products/capi.html http://www.lispworks.com/documentation/lw50/CAPRM/html/capiref.htm As far as I know no one has build a perceptual interface for CAPI similar to what you have with Allegro CL and MCL. Bruno On 25-Feb-08, at 22:10 , He Jibo wrote: > Hi, > I hope to create a GUI of an ATM, and a cognitive model for ATM > transaction. My friend told me that CAPI may help for my task. Could > anyone give me more information about it? If there is a tutorial of > CAPI, that would be great! > Or if I use other GUI creating tool, such as wxPython, how can I > link these GUI with ACT-R? > > Thanks! Have a good night! :-) > > Jibo > > > -- > Best Regards, > > ???????? He Jibo > ???????jibohe2 at cyrus.psych.uiuc.edu > hejibo at gmail.com > > > --------------------------- > He Jibo > Department of Psychology, > Beckman Institute for Advanced Science and Technology > University of Illinois, Urbana Champaign, > 603 East Daniel St., > Champaign, IL 61820 > Tel: 217-244-4461(office) > 217-244-6763(lab) > Email: hejibo at gmail.com > _______________________________________________ > ACT-R-users mailing list > ACT-R-users at act-r.psy.cmu.edu > http://act-r.psy.cmu.edu/mailman/listinfo/act-r-users -- Bruno Emond. Ph.D. Research Officer | Agent de Recherche Tel. | T?l. 1.613.991.5471 Facsimile | T?l?copieur 1.613.952.0215 bruno.emond at nrc-cnrc.gc.ca Institute for Information Technology | Institut de technologie de l'information http://iit-iti.nrc-cnrc.gc.ca National Research Council Canada | Conseil National de Recherches Canada 1200 Montreal Rd., M50, Ottawa, ON K1A 0R6 Government of Canada | Gouvernement du Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From db30 at andrew.cmu.edu Tue Feb 26 09:19:07 2008 From: db30 at andrew.cmu.edu (Dan Bothell) Date: Tue, 26 Feb 2008 09:19:07 -0500 Subject: [ACT-R-users] CAPI In-Reply-To: References: Message-ID: --On Monday, February 25, 2008 9:10 PM -0600 He Jibo wrote: > Hi, > I hope to create a GUI of an ATM, and a cognitive model for ATM > transaction. My friend told me that CAPI may help for my task. Could > anyone give me more information about it? If there is a tutorial of CAPI, > that would be great! > Or if I use other GUI creating tool, such as wxPython, how can I link > these GUI with ACT-R? > > Thanks! Have a good night! :-) > > Jibo > I would suggest working through the ACT-R tutorial and reading the auxiliary texts which accompany the units. There is a simple set of GUI construction tools built into ACT-R which allow one to create basic interfaces with which a model can interact and they are described in those auxiliary unit texts. Those tools work with ACL, MCL and LispWorks as well as through the ACT-R environment in other Lisps which don't have a native GUI. It only provides some basic elements, text, buttons and lines, by default, but it can be extended or replaced with your own interface to some other system if you need to do so. One advantage of the built in ACT-R tools is that the model can also interact with them in a virtual fashion i.e. the same interface without a real window, which will usually run much faster if you are looking to collect data from many simulated experimental runs. If you would like to create your own interface for ACT-R what you will need to do is create what is called a "device" for the model to interact with. There is a set of slides in the docs directory of ACT-R 6 called "extending-actr.ppt" which covers the basics of what one needs to do to create a device. Hope that helps, and if you have any specific questions on the tools please feel free to ask. Dan From db30 at andrew.cmu.edu Tue Feb 26 09:22:52 2008 From: db30 at andrew.cmu.edu (Dan Bothell) Date: Tue, 26 Feb 2008 09:22:52 -0500 Subject: [ACT-R-users] CAPI In-Reply-To: References: Message-ID: <56AB3F0D077E143B07066797@DHL8KLC1.psy.cmu.edu> The current version of ACT-R 6 does include essentially the same device interface for CAPI as it does for ACL and MCL thanks to the work of the folks at the CogWorks Lab at RPI. Dan --On Tuesday, February 26, 2008 7:05 AM -0500 Bruno Emond wrote: > Jibo, > CAPI is a Lispworks specific package for defining user interface. A CAPI > interface will run on Windows, Linux and MacOS. > It contains a very high level set of classes, methods and macro to define > your user interface. On MacOS it is also very well integrated with Cocoa > and Objective-C. > http://www.lispworks.com/products/capi.html > http://www.lispworks.com/documentation/lw50/CAPRM/html/capiref.htm > As far as I know no one has build a perceptual interface for CAPI similar > to what you have with Allegro CL and MCL. > Bruno > > > > On 25-Feb-08, at 22:10 , He Jibo wrote: > > Hi, > I hope to create a GUI of an ATM, and a cognitive model for ATM > transaction. My friend told me that CAPI may help for my task. Could > anyone give me more information about it? If there is a tutorial of CAPI, > that would be great! > Or if I use other GUI creating tool, such as wxPython, how can I link > these GUI with ACT-R? > > Thanks! Have a good night! :-) > > Jibo > > > -- > Best Regards, > > ???????? He Jibo > ???????jibohe2 at cyrus.psych.uiuc.edu > hejibo at gmail.com > > > --------------------------- > He Jibo > Department of Psychology, > Beckman Institute for Advanced Science and Technology > University of Illinois, Urbana Champaign, > 603 East Daniel St., > Champaign, IL 61820 > Tel: 217-244-4461(office) > 217-244-6763(lab) > Email: hejibo at gmail.com _______________________________________________ > ACT-R-users mailing list > ACT-R-users at act-r.psy.cmu.edu > http://act-r.psy.cmu.edu/mailman/listinfo/act-r-users > > > > > > > -- > Bruno Emond. Ph.D. > Research Officer | Agent de Recherche > Tel. | T?l. 1.613.991.5471 Facsimile | T?l?copieur 1.613.952.0215 > bruno.emond at nrc-cnrc.gc.ca > > > Institute for Information Technology | Institut de technologie de > l'information > http://iit-iti.nrc-cnrc.gc.ca > > > National Research Council Canada | Conseil National de Recherches Canada > 1200 Montreal Rd., M50, Ottawa, ON K1A 0R6 > Government of Canada | Gouvernement du Canada > > >