From taatgen at cmu.edu Sat Jan 7 19:13:29 2006 From: taatgen at cmu.edu (Niels Taatgen) Date: Sat, 07 Jan 2006 19:13:29 -0500 Subject: [ACT-R-users] ACT-R summer school 2006 announcement Message-ID: <58F14B0B-C5CE-43F4-B0F1-8BADECD2D766@cmu.edu> THIRTEENTH ANNUAL ACT-R SUMMER SCHOOL Carnegie Mellon University July 15-20, 2006 ACT-R is a cognitive theory and simulation system for developing cognitive models for tasks that vary from simple reaction time to air traffic control. The most recent advances of the ACT-R theory were detailed in a recent paper (Anderson, J. R., Bothell, D., Byrne, M. D., Douglass, S., Lebiere, C., & Qin, Y . (2004). An integrated theory of the mind. Psychological Review 111, (4). 1036-1060, available online: http://act-r.psy.cmu.edu/publications/pubinfo.php? id=526) Each year, a summer school is held to train researchers in the use of the ACT-R system. The summer school will be followed by a three day workshop (July 21-23) during which ACT-R researchers will meet and present their work. Details of this workshop will be announced later. The summer school will take place from Saturday July 15 to Thursday July 20. This intensive 6-day course is designed to train researchers in the use of ACT-R for cognitive modeling. It is structured as a set of six units, with each unit lasting a day and involving a morning theory lecture, a web-based tutorial, an afternoon discussion session and a homework assignment which participants are expected to complete during the day and evening. Computing facilities will be provided. To provide an optimal learning environment, admission is limited to a dozen participants, who must submit by April 14 an application consisting of a curriculum vitae and a statement of purpose. Demonstrated experience with a modeling formalism similar to ACT-R will strengthen the application. Applicants will be notified of admission by May 4. Admission to the summer school is free. Housing will be provided in the CMU dormitories for approximately $50/day (single) or $25/day (shared). More information, including papers published by the ACT-R community, can be found on the ACT-R web site (http://act-r.psy.cmu.edu/). A registration form is appended below. Additional information (detailed schedule, etc.) will appear on the ACT-R Web site: http:// act-r.psy.cmu.edu ________________________________________________________ Thirteenth Annual ACT-R Summer School July 15 to 20, 2006 at Carnegie Mellon University in Pittsburgh REGISTRATION ============ Name: .............................................................. .... Address: .............................................................. .... .............................................................. .... .............................................................. .... Tel/ Fax: .................................................................. Email: .............................................................. .... Summer School (July 15 to 20) ============================= Applications are due April 14. Acceptance will be notified by May 4. Applicants MUST include a curriculum vitae and a short statement of purpose. Demonstration of experience with a modeling formalism similar to ACT-R, such as a completed model, should also be included in the application. Send this form to (email or regular mail): 2006 ACT-R Summer School and Workshop Psychology Department Niels Taatgen Baker Hall 345E Fax: +1 (412) 268-2844 Carnegie Mellon University Tel: +1 (412) 268-2815 Pittsburgh, PA 15213-3890 Email: taatgen at cmu.edu =================================================== Niels Taatgen - Carnegie Mellon University, Psychology, BH 345E Also (but not now): University of Groningen, Artificial Intelligence web: http://www.ai.rug.nl/~niels email: taatgen at cmu.edu Telephone: +1 412-268-2815 =================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From rwilson+ at pitt.edu Mon Jan 9 09:58:33 2006 From: rwilson+ at pitt.edu (Roy Wilson) Date: Mon, 09 Jan 2006 09:58:33 -0500 Subject: [ACT-R-users] Advice In-Reply-To: <58F14B0B-C5CE-43F4-B0F1-8BADECD2D766@cmu.edu> References: <58F14B0B-C5CE-43F4-B0F1-8BADECD2D766@cmu.edu> Message-ID: <200601090958.34158.rwilson@pitt.edu> Hi, I am interested in modeling a situation in which the problem solver P alternates between work on two unrelated types of task. P works on task A until given task B by supervisor S, returns a result to S, and resumes work on task B. I wish to do this where P is modeled using ACT-R, S is modeled using Java, and each is run as an independent process. Is this any easier in ACT-R 6 than in 4/5, and can someone point to a study where it has been done? -- Roy Wilson, Ph.D. Learning Research Development Center Room 820 University of Pittsburgh email: rwilson at pitt.edu webpage: www.pitt.edu/~rwilson From carletoncourses at yahoo.ca Mon Jan 9 22:06:41 2006 From: carletoncourses at yahoo.ca (Bill) Date: Mon, 9 Jan 2006 22:06:41 -0500 (EST) Subject: [ACT-R-users] ACT-R/PM movement styles Message-ID: <20060110030641.92147.qmail@web60411.mail.yahoo.com> Hello: >From a paper on "ACT-R/PM", I follow that there is a set of four movement styles {punch, peck, peck-recoil, ply}. Does this set cover all possible movement styles: for example, does it cover the style where a user is moving a TV remote to select a menu item on an interactive TV screen? or does it cover the style where a user is using remote input devices like GyroPoint to select graphic items on a computer screen? Bill __________________________________________________________ Find your next car at http://autos.yahoo.ca From rsun at rpi.edu Mon Jan 9 17:56:54 2006 From: rsun at rpi.edu (Professor Ron Sun) Date: Mon, 9 Jan 2006 17:56:54 -0500 Subject: [ACT-R-users] Reminder: submission deadline for CogSci 2006 is Feb. 1st Message-ID: CogSci 2006 The Twenty-Eighth Annual Conference of the Cognitive Science Society July 27-30, 2006 Tutorials/workshops day: July 26 [in cooperation with the 5th International Conference on Cognitive Science (Asia-Pacific)] Sheraton Vancouver Wall Centre Vancouver, Canada See the following Website for submission details: http://www.cogsci.rpi.edu/~rsun/cogsci2006/ We invite submissions to the Twenty-Eighth Annual Conference of the Cognitive Science Society, the premier series of conferences in cognitive science. Each year, in addition to submitted papers, we invite speakers who help to highlight some aspects of cognitive science. This year, we highlight Learning: Tackling Both Implicit and Explicit Processes. Plenary speakers will include: 1. Robert Siegler (CMU) 2. Daniel Schacter (Harvard) 3. Rumelhart Prize Winner: Roger Shepard (Stanford) Invited symposia will provide more explorations of the topics: 1. The Synergy between Implicit and Explicit Learning Processes 2. The Emerging Learning Sciences Conference General Chairs: Ron Sun (Rensselaer Polytechnic Institute) Naomi Miyake (Chukyo University) Important Dates: Paper Submissions due: February 1, 2006 Acceptance notifications: April 15, 2006 Camera-ready copies due: May 15, 2006 ======================================================== Professor Ron Sun Cognitive Science Department Rensselaer Polytechnic Institute 110 Eighth Street, Carnegie 302A Troy, NY 12180, USA phone: 518-276-3409 fax: 518-276-3017 email: rsun at rpi.edu web: http://www.cogsci.rpi.edu/~rsun ======================================================= From db30 at andrew.cmu.edu Tue Jan 10 13:57:59 2006 From: db30 at andrew.cmu.edu (Dan Bothell) Date: Tue, 10 Jan 2006 13:57:59 -0500 Subject: [ACT-R-users] Advice Message-ID: --On Monday, January 09, 2006 9:58 AM -0500 Roy Wilson wrote: > Hi, > > I am interested in modeling a situation in which the problem solver P > alternates between work on two unrelated types of task. P works on task A > until given task B by supervisor S, returns a result to S, and resumes > work on task B. > > I wish to do this where P is modeled using ACT-R, S is modeled using > Java, and each is run as an independent process. Is this any easier in > ACT-R 6 than in 4/5, and can someone point to a study where it has been > done? > I can't really point you to any specific studies (at least not any with available code), but I've worked on interfacing ACT-R with a bunch of external (outside of Lisp) systems and can offer some general observations. If you're using the perceptual/motor modules of ACT-R, then the "device interface" which they use to interact with the "world" is essentially the same in ACT-R 6 as it was in ACT-R 5. So at that level, things are going to be the same. One thing that may make things a little easier in ACT-R 6 is that there is only one event queue for the model (whereas ACT-R 5 had one for the perceptual/motor system and one for the cognitive system) and there are more options available on how to progress through it that may help. [See the framework-API.doc included with ACT-R 6 for the run-* functions and in particular, run-until-condition may be useful.] Often, it's the constraints of the external system that determine how easy/hard things will be. Some things to consider: - Is the model going to have to directly manipulate GUI elements? - Is there already an existing interface to the system you must use (TCP/IP, UDP, RS232, etc)? - Is there a fixed API for the communications that are sent/received? - Is the system running in a real or virtual time scale? - Do you have the ability to modify/extend the external code? - Would it be possible to just reimplement/simulate the system on the Lisp side? The answers to those can really lead to different solutions being necessary to hook things up. Thus, unless someone has a very similar situation to yours, example code from existing systems may not be of much use anyway. Hope that helps, Dan PS Something else to note, since you explicitly mention Java, is that the features for Allegro Common Lisp list "Java Tool Suite: Package applications as Java Beans or Servlets, directly call Java methods from Lisp methods and vice versa, and dynamically generate Java byte codes to run on JVMs". I've never actually used those features, but if you have source control over your Java supervisor, then using that may make things easier to interface. I don't know to what extent other Lisps offer such features, so there may be equally good or better solutions in other Lisp applications as well, but that's the only one I've seen mention direct Lisp<->Java functionality. From esslli06 at loa-cnr.it Thu Jan 12 10:30:46 2006 From: esslli06 at loa-cnr.it (FOCA at ESSLLI) Date: Thu, 12 Jan 2006 16:30:46 +0100 Subject: [ACT-R-users] CFP: FOCA @ ESSLLI06 Message-ID: <518d288dbef7b3581dfc12c67a869621@loa-cnr.it> ********* APOLOGIES FOR MULTIPLE POSTINGS ********* ************************************************************************ ****************** FIRST CALL FOR PAPERS ************************************************************************ ****************** Formal Ontologies for Communicating Agents (FOCA) http://www.loa-cnr.it/esslli06/ July 31 - August 4, 2006 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2006 http://esslli2006.lcc.uma.es/ July 31 - August 11, 2006 in Malaga ************************************************************************ ****************** WORKSHOP ORGANIZERS: Roberta Ferrario (ferrario at loa-cnr.it) Nicola Guarino (guarino at loa-cnr.it) Laurent Prevot (prevotlaurent at gmail.com) ************************************************************************ ****************** WORKSHOP PURPOSE: In recent years lots of efforts have been devoted to formal studies of human and artificial agent communication. Research advancements have been achieved along three main lines: (i) agent's internal states and dynamics, (ii) social interaction and conventional communicative patterns, (iii) semantics-pragmatics interface - especially in the dialogue context (i.e. the interplay between the semantic content of messages and the communicative acts themselves). There is a recent trend of studies trying to integrate these approaches in many ways. On the other hand, formal ontology has been consecrated as a good solution for comparing and integrating information and thus its application to this specific domain is very promising . More precisely, an ontological analysis of the fundamental ingredients of interaction and communication will make explicit the hidden ontological assumptions underlying all these proposals. Ontology has also proven to be a very powerful means to address issues related to the exchange of meaningful communication across autonomous entities, which can organize and use information heterogeneously. The purpose of the workshop is therefore to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents. ********************************************************* WORKSHOP TOPICS We encourage contributions concerning the two main areas listed below with a particular attention to explore the interplay between ontological analysis and its applications in practical cases. * Ontological aspects of interaction and communication - Ontological analysis of interaction and communication - Studies on the structure and coherence of interaction - Logical models for communicative acts - Primitives of interaction and communication - Formal semantics of dialogue *Semantic coordination through formal ontologies - Dialogue semantics and formal ontology - Dynamic ontology sharing - Ontological primitives for meaning negotiation, ontological alignment and semantic interoperability ??? - Ontology evolution through communication ? - Concrete problems and experiences in terminological disambiguation and integration ************************************************************************ ****************** SUBMISSION DETAILS: Authors are invited to submit an extended abstract describing original contributions to the workshop topics. Submissions should range between 3 and 5 pages. The following formats are accepted: .doc, .tex, .pdf (please, always include source files). Please send your submission electronically to the following email address: esslli06 at loa-cnr.it by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final version will be .pdf. A selection of the best papers accepted at the workshop will be considered for publication in the international journal 'Applied Ontology' (http://www.applied-ontology.org/). ************************************************************************ ****************** WORKSHOP FORMAT: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. ************************************************************************ ****************** IMPORTANT DATES: Submissions : March 8, 2006 Notification : April 21, 2006 Full paper deadline: May 1st, 2006 Final programme : June 21, 2006 Workshop Dates : July 31 - August 4, 2006 ************************************************************************ ****************** WORKSHOP PROGRAM COMMITTEE: (tentative) Thomas ADDIS (University of Portsmouth) http://www.tech.port.ac.uk/staffweb/addist/tom.html Nicholas ASHER (University of Texas, Austin, USA) http://www.utexas.edu/cola/depts/philosophy/faculty/asher/ main.html John BATEMAN (University of Bremen, Germany) http://www-user.uni-bremen.de/~bateman/ Paolo BOUQUET (University of Trento, Italy) http://dit.unitn.it/~bouquet/ Herbert CLARK (Stanford University, USA) http://www-psych.stanford.edu/~herb/ Marco COLOMBETTI (Politecnico di Milano, Italy) http://www.elet.polimi.it/people/colombet Scott FARRAR (University of Bremen, Germany) http://www.u.arizona.edu/~farrar/ Roberta FERRARIO (LOA-ISTC, CNR, Trento, Italy) http://www.loa-cnr.it/ferrario.html Aldo GANGEMI (LOA-ISTC, CNR, Roma, Italy) http://www.loa-cnr.it/gangemi.html Nicola GUARINO (LOA-ISTC, CNR, Trento, Italy) http://www.loa-cnr.it/guarino.html Andreas HERZIG (IRIT-CNRS, Toulouse, France) http://www.irit.fr/ACTIVITES/LILaC/Pers/Herzig/ Joris HULSTIJN (Utrecht University, the Nehterlands) http://www.cs.vu.nl/~joris/ Kepa KORTA (Universidad del Pais Vasco, Spain) http://www.sc.ehu.es/ylwkocak/kepa.html Laurent PREVOT (Academia Sinica, Taipei, Taiwan) http://www.loa-cnr.it/prevot.html Matt PURVER (CSLI, Stanford, USA) http://www.stanford.edu/~mpurver/ William RAPAPORT (University of Buffalo, USA) http://www.cse.buffalo.edu/~rapaport/ Johan VAN BENTHEM (University of Amsterdam, the Netherlands) http://staff.science.uva.nl/~johan/ Rogier VAN EIJK (Utrecht University, the Netherlands) http://www.cs.uu.nl/people/rogier/ Laure VIEU (IRIT-CNRS, Toulouse, France) http://www.irit.fr/ACTIVITES/LILaC/Pers/Vieu/ ************************************************************************ ****************** LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants might be made available by the local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs or accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities of a grant. ************************************************************************ ****************** FURTHER INFORMATION: About the workshop: http://www.loa-cnr.it/esslli06/ About ESSLLI: http://esslli2006.lcc.uma.es/ From tkelley at arl.army.mil Wed Jan 18 15:29:12 2006 From: tkelley at arl.army.mil (Kelley, Troy (Civ,ARL/HRED)) Date: Wed, 18 Jan 2006 15:29:12 -0500 Subject: [ACT-R-users] BRIMS Conference Deadline Message-ID: The BRIMS conference deadline is fast approaching. Hope to see everyone there!! Troy Suspense for BRIMS Submissions: 13 Feb 2006 http://www.sisostds.org/ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~ 15th Conference on Behavior Representation in Modeling & Simulation ~ BRIMS ~ Sheraton Inner Harbor Hotel Baltimore, MD 15-18 May 2006 You are invited to participate in the 15th Conference on Behavior Representation in Modeling and Simulation (BRIMS). This annual event provides a forum for scientific and technical exchange on research in human behavior representation and on the application to the behavior representation challenges faced by the modeling and simulation community. The conference enables modeling and simulation research scientists, engineers, application users, and technical communities to meet, share ideas and experiences, identify gaps in current capabilities, discuss new research directions, highlight promising technologies, and showcase applications. The BRIMS Conference Program Committee invites papers, posters, demos, symposia, panel discussions, and tutorials on topics related to the representation of individuals, groups, teams and organizations in models and simulations. All submissions are peer-reviewed and considered for selection by the Program Committee. All submissions due 13 Feb 2006. See http://www.sisostds.org/ - then select BRIMS from the Conference List for the full call for papers and conference details. From taha at cs.queensu.ca Thu Jan 19 14:48:53 2006 From: taha at cs.queensu.ca (Abd-Elhamid M. Taha) Date: Thu, 19 Jan 2006 14:48:53 -0500 (EST) Subject: [ACT-R-users] 23rd Biennial Symposium on Communications Message-ID: <002701c61d31$1ae758d0$8d3e0f82@delengat> The Twenty-Third Biennial Symposium on Communications http://www.ece.queensu.ca/symposium/? will be held in historic Kingston, Ontario, Canada, May 30-June 1, 2006, with a welcoming reception on the evening of May 29, 2006. Original papers are encouraged in all areas related to communications systems and networks. Published papers will be available online through IEEE Explore. Topics include, but are not limited to: - Communication Theory - Information Theory and Coding - Smart Antennas, MIMO Systems and Space-Time Coding - Signal Processing for Communications - Cooperative Transmission and Reception - Multimedia Communications and Security - Audio, Image and Video Processing - Wireless Networks - Adhoc and Sensor Networks - Ultrawideband Systems - Computer Communication - Optical Communication and Networks - Mobile Computing and Networks - Communications over Powerlines - Multiuser Multimedia Communication Authors wishing to have papers considered for the Symposium should electronically submit their 4-page full papers in PDF format by January 25, 2006, through EDAS at http://edas.info/index.php Important Dates: - Four-page Full Paper Submission Due: January 25, 2006 - Notification of Acceptance: March 10, 2006 - Camera-Ready Paper Due: March 31, 2006 Plenary Speakers: - Philip A. Chou, Senior Researcher, Microsoft Research - Sumi Helal, Professor, Computer and Information Science and Engineering Department, University of Florida - Hamid Jafarkhani, Associate Professor, Electrical Engineering and Computer Science, University of California, Irvine Symposium Chair: Steven Blostein, Electrical and Computer Engineering, Queen's University Technical Program Co-Chairs: Geoffrey Chan, Electrical and Computer Engineering, Queen's University Hossam Hassanein, School of Computing, Queen's University Publications Chair: Fady Alajaji, Mathematics and Statistics, Queen's University Local Arrangements Chair: Peter McLane, Electrical and Computer Engineering, Queen's University ? Technical Program Committee: Emad Aboelela (Univ. of Massachusetts Dartmouth) Raviraj Adve (University of Toronto) Sofi?ne Affes (INRS-EMT, Universit? du Qu?bec) Sonia Aissa (INRS-EMT, Universit? du Qu?bec) Jan Bajcsy (McGill University) Amir Banihashemi (Carleton University) Norman Beaulieu (University of Alberta) Abderrahim Benslimane (Universit? d'Avignon) Holger Boche (Heinrich-Hertz-Institut) Azzedine Boukerche (University of Ottawa) Joseph Jean Boutros (ENST, Paris) John Cartledge (Queen's University) Lawrence Chen (McGill University) Jinho Choi (UNSW) Timothy Davidson (McMaster University) Randa El-Marakby (University of Windsor) Ehab Elmallah (University of Alberta) Mohamed Eltoweissy (Virginia Tech) Paul Fortier (Universit? Laval) Matthias Frank (University of Bonn) Ling Guan (Ryerson University) Amr Helmy (University of Toronto) Pin-Han Ho (University of Waterloo) Hamid Jafarkhani (University of California, Irvine) Muhammad Jaseemuddin (Ryerson University) Navin Kashyap (Queen's University) Amir K. Khandani (University of Waterloo) Il-Min Kim (Queen's University) Frank Kschischang (University of Toronto) Shiva Kumar (McMaster University) Thomas Kunz (Carleton University) Fabrice Labeau (McGill University) Tho Le-Ngoc (McGill University) Baochun Li (University of Toronto) Ben Liang (University of Toronto) Dave Lie (University of Toronto) Teng Joon Lim (University of Toronto) Tam?s Linder (Queen's University) Ellen Liu (University of Manitoba) Ashraf Matrawy (Carleton University) Ali Miri (University of Ottawa) Jelena Misic (University of Manitoba) Nidal Nasser (University of Guelph) Ioanis Nikolaidis (University of Alberta) Ioannis Psaromiligkos (McGill University) Sebastien Roy (Laval University) Robert Schober (University of British Columbia) Abdallah Shami (University of Western Ontario) From lrma at gwu.edu Fri Jan 20 14:42:23 2006 From: lrma at gwu.edu (Liran Ma) Date: Fri, 20 Jan 2006 14:42:23 -0500 Subject: [ACT-R-users] CFP: The International Conference on Wireless Algorithms, Systems, and Applications (WASA'06) Message-ID: <004001c61df9$a311e900$c816a8c0@lirancs> We apologize if you receive multiple copies of this message. The following CFP is also available at http://wasa.cybersphere.net/ ------------------------------------------------------------------------------------------------------------ The International Conference on Wireless Algorithms, Systems, and Applications (WASA'06) August 15 -18, 2006 Xi'an, China http://wasa.cybersphere.net/ Recent advances in cutting-edge wireless communication and computing technologies have paved the way for the proliferation of ubiquitous infrastructure and infrastructureless wireless networks. These emerging networks are enabling a broad range of applications ranging from?critical infrastructure protection and security, to environment monitoring, health care and quality of life. The need to deal with the complexity and ramifications of the ever growing mobile users and services, however, is intensifying the interest in the development of sound fundamental principles, novel algorithmic approaches, rigorous and repeatable design methodologies, and systematic evaluation frameworks for next generation wireless networks. The objective of WASA is to address the research and development efforts of various issues in the area of algorithms, systems and applications for current and next generation infrastructure and infrastructureless wireless networks. The conference is structured to provide a forum for researchers and practitioners, from the academic, industrial and governmental sectors, with a unique opportunity to discuss and express their views on the current trends, challenges, and state of the art solutions addressing various issues related to current and next generation wireless networks. This call is to solicit original technical papers, describing previously unpublished research work, visionary approaches, and future research directions dealing with effective and efficient state-of-the-art algorithm design and analysis, reliable and secure system development and implementations, experimental study and test bed validation, and new application exploration in wireless networks. Specific topics of interest include, but are not limited to, the following: * Theoretical frameworks and analysis of fundamental design issues, including coverage, connectivity, lifetime and power, etc. * Distributed and localized algorithm design and analysis * Localization and location verification * Mobility and mobility management models and model validation * Topology control and coverage * Security and privacy * PHY/MAC/Routing frameworks and protocols * QoS and fault-tolerance issues * Information processing and data management * Programmable service interfaces * Energy-aware frameworks, systems and protocol design * Operating system and middleware support * Cross-layer design frameworks and protocols * Software-defined radio, reconfigurable radio networks * Pervasive and ubiquitous computing * Local area and personal wireless networks * Applications of ad hoc and sensor networks * Experimental test-beds, models and case studies This conference will feature several keynote speeches, given by leading researchers and practitioners in the areas of algorithms, systems, and applications in wireless networks. All submissions will be handled electronically through the conference website and must be in PDF or PostScript. Papers must not exceed 15 pages (US "Letter" size, 8.5 x 11 inches) including text, figures and references in single-column, single-space format. The font size must be at least 10 points. Questions about the submission process should be directed to any Program Chairs. All papers will go through a rigorous review process during which three reviews will be sought. Accepted papers will be published in the conference proceedings, which will be published as Springer-LNCS series and distributed at the conference. Selected papers from the conference will be fast-tracked to one of three Special Issues of international Journals. IMPORTANT DATES Paper Submission Deadline: March 12th, 2006 Notification of Acceptance: April 30th, 2006 Camera Ready Copy: May 21st, 2006 ORGANIZING COMMITTEE General Chairs:?? Dingzhu Du, University of Texas at Dallas Xian Jiaotong University E-mail: dxd056000 at utdallas.edu Wei Zhao, Texas A&M University National Science Foundation/CNS E-mail: zhao at cs.tamu.edu Program Chairs:???? Xiuzhen Susan Cheng The George Washington University E-mail: cheng at gwu.edu Wei Li, The University of Toledo E-mail: wli at eecs.utoledo.edu Taieb Znati, The University of Pittsburgh E-mail: znati at cs.pitt.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From pavel at dit.unitn.it Mon Jan 23 02:56:44 2006 From: pavel at dit.unitn.it (pavel) Date: Mon, 23 Jan 2006 08:56:44 +0100 Subject: [ACT-R-users] 2nd CfP: ECAI'06 workshop on Contexts and Ontologies: Theory, Practice and Applications (C&O-2006) Message-ID: <006501c61ff2$c78533a0$5aeaa8c0@alphaekts5r299> Apologies for cross-postings ---------------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------------- The Second International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&O-2006) http://www.c-and-o.net/ August 28, 2006, ECAI Workshop Program, Riva del Grada, Italy OBJECTIVES The goal of the workshop is to bring together people from the context and ontology communities and to discuss the approaches they use for information integration. Therefore, the workshop will push the cross-fertilization and exchange of ideas (e.g., which of the methods from the ontology community can be successfully adopted in the context community, and vice versa), and, hence, make their meeting mutually beneficial. TOPICS of interest include, but are not limited to: Foundations: Information interoperability and reuse via multiple contexts and ontologies; Coordination of multiple contexts and ontologies; Languages for combination of multiple contexts and ontologies; Logics for combination of multiple contexts and ontologies. Theory & Practice: Techniques and tools for matching contexts and ontologies; Techniques and tools for merging contexts and ontologies; Techniques and tools for transforming contexts and ontologies; Techniques and tools for translating contexts and ontologies; Techniques and tools for reconciling contexts and ontologies; Techniques for query answering based on multiple contexts and ontologies; Evaluation of tools for combination of contexts and ontologies; Scalability of techniques for combination of contexts and ontologies; Comparison of uses of contexts and ontologies. Applications: Semantic Web; Information Retrieval; E-commerce; Knowledge management solutions for large organizations; Computer graphics and multimedia; Grid and P2P; Pervasive computing and ambient intelligence. INVITED TALKS: 1. Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands. 2. Selene Makarios, Stanford University, USA. FORMAT, ATTENDANCE AND SUBMISSIONS The schedule assumes a one day workshop. The workshop will consist of the following components: keynote presentations, technical presentations, posters, and general discussion. The audience is assumed to consist of both academia and industry. Thus, the workshop can improve academic awareness of industrial needs, and therefore direct research towards those needs. Simultaneously, the workshop will serve to inform industry representatives about existing research efforts that may meet their business needs. Contributions to the workshop can be made in terms of technical papers or statements of interest. Technical papers should be not longer than 5 pages using the ECAI'06 Style(http://ecai2006.itc.it/cda/aree/index.php?section=33&area=10). Statements of interest should not exceed 2 pages and should be handled according to the guidelines for technical papers. Please make clear if your paper is meant to be a statement of interest. All contributions should be prepared in PDF format and should be sent (no later than April 15, 2006) by email to Pavel Shvaiko at: pavel at dit.unitn.it Contributions will be refereed by the Program Committee. Accepted papers and statements of interest will be published in the workshop proceedings. Also authors of the best technical papers will be invited to submit an extended versions of their papers for possible publication in a special issue on "Contexts and Ontologies: Theory, Practice and Applications" in the Knowledge Engineering Review Journal", http://www.cambridge.org/uk/journals/journal_catalogue.asp?historylinks=ALPHA&mnemonic=KER IMPORTANT DATES April 15, 2006: Deadline for the submissions. May 10, 2006: Notification of acceptance/rejection. May 24, 2006: Deadline for the receipt of camera-ready papers. Aug 28, 2006: C&O-2006, Riva del Grada, Italy. ORGANIZING COMMITTEE 1.Jerome Euzenat INRIA Rhone-Alpes 2.Alain Leger France Telecom R&D Rennes 3.Deborah L. McGuinness Stanford University 4.Pavel Shvaiko (Chair) University of Trento e-mail: pavel at dit.unitn.it 5.Holger Wache Vrije Universiteit Amsterdam PROGRAM COMMITTEE Raffaele de Amicis, GraphiTech, Italy Alex Borgida, Rutgers University, USA Patrick Brezillon, University Paris, France Anind Dey, Carnegie Mellon University, USA Avigdor Gal, Technion, Israel Jerome Euzenat, INRIA Rhone-Alpes, France Richard Fikes, Stanford University, USA Aykut Firat, Notheastern University, USA Fausto Giunchiglia, University of Trento, Italy Frank van Harmelen, Vrije Universiteit Amsterdam, Netherlands Michael Huhns, University of South Carolina, USA Yannis Kalfoglou, University of Southampton, UK Vipul Kashyap, Clinical Informatics R&D, USA Ruediger Klein, DaimlerChrysler, Germany David Leake, Indiana University, USA Alain Leger, France Telecom R&D, France Selene Makarios, Stanford University, USA Maurizio Marchese, University of Trento, Italy Deborah L. McGuinness, Stanford University, USA Natalya Noy, Stanford University, USA Leo Obrst, MITRE, USA Dimitris Plexousakis, University of Crete, Greece Fano Ramparany, France Telecom R&D, France Chantal Reynaud, Universite Paris-Sud, France David Robertson, University of Edinburgh, UK Aviv Segev, Technion, Israel Pavel Shvaiko, University of Trento, Italy Heiner Stuckenschmidt, University of Mannheim, Germany York Sure, AIFB, University of Karlsruhe, Germany Holger Wache, Vrije Universiteit Amsterdam, Netherlands Christopher Welty, IBM Research, USA ------------------------------------------------------- Download C&O-2006 flyer: http://www.c-and-o.net/Pictures/C&O2006-flyer.pdf ------------------------------------------------------- ------------------------------------------------------- Pavel Shvaiko University of Trento Dept. of Information and Communication Technology Sommarive 14, POVO, 38050, TRENTO, ITALY Tel: +39 (0461) 883386; Fax: +39 (0461) 882093 Web: http://www.dit.unitn.it/~pavel/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From breslow at aic.nrl.navy.mil Wed Jan 25 18:20:37 2006 From: breslow at aic.nrl.navy.mil (breslow) Date: Wed, 25 Jan 2006 18:20:37 -0500 Subject: [ACT-R-users] device.lisp for LispWorks for Windows Message-ID: <43D807C5.3050406@aic.nrl.navy.mil> Does anyone have an ACT-R v6 device.lisp file for LispWorks for Windows? Thanks! From trlab.queensu at gmail.com Wed Jan 25 17:52:55 2006 From: trlab.queensu at gmail.com (trlab@queensu) Date: Wed, 25 Jan 2006 14:52:55 -0800 (PST) Subject: [ACT-R-users] CFP: 23rd Biennial Symposium on Communications (deadline extended!) Message-ID: <002901c62202$14331990$ea3e0f82@delengat> (Apologies for multiple copies) Please note that the deadline has been extended to February 1, 2006. The Twenty-Third Biennial Symposium on Communications http://www.ece.queensu.ca/symposium/? will be held in historic Kingston, Ontario, Canada, May 30-June 1, 2006, with a welcoming reception on the evening of May 29, 2006. Original papers are encouraged in all areas related to communications systems and networks.? Published papers will be available online through IEEE Explore. Topics include, but are not limited to: - Communication Theory - Information Theory and Coding - Smart Antennas, MIMO Systems and Space-Time Coding - Signal Processing for Communications - Cooperative Transmission and Reception - Multimedia Communications and Security - Audio, Image and Video Processing - Wireless Networks - Adhoc and Sensor Networks - Ultrawideband Systems - Computer Communication - Optical Communication and Networks - Mobile Computing and Networks - Communications over Powerlines - Multiuser Multimedia Communication Authors wishing to have papers considered for the Symposium should electronically submit their 4-page full papers in PDF format by January 25, 2006, through EDAS at http://edas.info/index.php Important Dates: - Four-page Full Paper Submission Due:? February 1, 2006 (Extended) - Notification of Acceptance:? March 10, 2006 - Camera-Ready Paper Due:? March 31, 2006 Plenary Speakers: - Philip A. Chou, Senior Researcher, Microsoft Research - Sumi Helal, Professor, Computer and Information Science and Engineering Department, University of Florida - Hamid Jafarkhani, Associate Professor, Electrical Engineering and Computer Science, University of California, Irvine Symposium Chair: Steven Blostein, Electrical and Computer Engineering, Queen's University Technical Program Co-Chairs: Geoffrey Chan, Electrical and Computer Engineering, Queen's University Hossam Hassanein, School of Computing, Queen's University Publications Chair: Fady Alajaji, Mathematics and Statistics, Queen's University Local Arrangements Chair: Peter McLane, Electrical and Computer Engineering, Queen's University Technical Program Committee Emad Aboelela (Univ. of Massachusetts Dartmouth) Raviraj Adve (University of Toronto) Sofi?ne Affes (INRS-EMT, Universit? du Qu?bec) Sonia Aissa (INRS-EMT, Universit? du Qu?bec) Jan Bajcsy (McGill University) Amir Banihashemi (Carleton University) Norman Beaulieu (University of Alberta) Abderrahim Benslimane (Universit? d'Avignon) Holger Boche (Heinrich-Hertz-Institut) Azzedine Boukerche (University of Ottawa) Joseph Jean Boutros (ENST, Paris) John Cartledge (Queen's University) Lawrence Chen (McGill University) Jinho Choi (UNSW) Timothy Davidson (McMaster University) Randa El-Marakby (University of Windsor) Ehab Elmallah (University of Alberta) Mohamed Eltoweissy (Virginia Tech) Paul Fortier (Universit? Laval) Matthias Frank (University of Bonn) Ling Guan (Ryerson University) Amr Helmy (University of Toronto) Pin-Han Ho (University of Waterloo) Hamid Jafarkhani (University of California, Irvine) Muhammad Jaseemuddin (Ryerson University) Navin Kashyap (Queen's University) Amir K. Khandani (University of Waterloo) Il-Min Kim (Queen's University) Frank Kschischang (University of Toronto) Shiva Kumar (McMaster University) Thomas Kunz (Carleton University) Fabrice Labeau (McGill University) Tho Le-Ngoc (McGill University) Baochun Li (University of Toronto) Ben Liang (University of Toronto) Dave Lie (University of Toronto) Teng Joon Lim (University of Toronto) Tam?s Linder (Queen's University) Ellen Liu (University of Manitoba) Ashraf Matrawy (Carleton University) Ali Miri (University of Ottawa) Jelena Misic (University of Manitoba) Nidal Nasser (University of Guelph) Ioanis Nikolaidis (University of Alberta) Ioannis Psaromiligkos (McGill University) Sebastien Roy (Laval University) Robert Schober (University of British Columbia) Abdallah Shami (University of Western Ontario) From stocco at cmu.edu Fri Jan 27 09:02:21 2006 From: stocco at cmu.edu (Andrea Stocco) Date: Fri, 27 Jan 2006 09:02:21 -0500 (EST) Subject: [ACT-R-users] :: ICCM-2006 :: Best Poster Awards Message-ID: <50286.71.253.26.177.1138370541.squirrel@71.253.26.177> Apologies for multiple postings... CALL FOR ABSTRACTS ICCM-2006: The 7th International Conference on Cognitive Modeling Trieste, Italy, 5 - 8 April 2006 The International Conference on Cognitive Modeling provides an international forum that allows cognitive scientists pursuing computational modeling to present, discuss and evaluate their models, to compare different architectural approaches, and to further the development, accumulation and integration of cognitive theories. The goal of ICCM-2006 is to foster the development of models of human cognition based on a principled integration of analytical, experimental and computational tools capable of providing theoretical accounts of phenomena spanning different levels of analysis, from the behavioral to the neuronal ones. ICCM-2006 invites the submission of abstracts, to be presented at the conference as posters, covering the whole scope of modeling approaches including, but not restricted to,symbolic, connectionist, hybrid, neural, Bayesian, statistical and mathematical models. Invited Speakers: - Dario Floreano (Ecole Polytechnique Federal de Lausanne, Lausanne, Switzerland) - Wayne D. Gray (Rensselaer Polytechnic Institute, Troy, NY) - Boicho Kokinov (New Bulgarian University, Sofia, Bulgaria) - Tom M. Mitchell (Carnegie Mellon University, Pittsburgh, PA) - Richard L. Lewis (University of Michigan, Ann Arbour, MI) Program Committee - Erik M. Altmann (Michigan State University, East Lansing, MI) - John R. Anderson (Carnegie Mellon University, Pittsburgh, PA) - Annamaria Borghi (University of Bologna, Bologna, Italy) - Mike D. Byrne (Rice University, Houston, TX) - Cristiano Castelfranchi (National Research Council CNR, Roma, Italy - Tatiana Chernigovskaya (St.Petersburg State University, St.Petersburg, Russia) - Axel Cleeremans (Free University of Brussels, Brussels, Belgium) - Richard P. Cooper (Birkbeck University of London, London, UK) - Dietrich Doerner (Otto-Friedrich University, Bamberg, Germany) - Stefano Ghirlanda (University of Bologna, Italy) - Kevin A. Gluck (Air Force Research Laboratory, Mesa, AZ) - Wayne D. Gray (Rensselaer Polytechnic Institute, Troy, NY) - Glenn F. Gunzelmann (Air Force Research Laboratory, Mesa, AZ) - Boicho N. Kokinov (New Bulgarian University, Sophia, Bulgaria) - John Laird (University of Michigan, Ann Arbor, MI) - Christian Lebiere (Micro Analysis and Design, Pittsburgh, PA) - Frank J. Lee (Drexel University, Philadelphia, PA) - Richard L. Lewis (University of Michigan, Ann Arbor, MI) - Marsha C. Lovett (Carnegie Mellon University, Pittsburgh, PA) - Stellan Ohlsson (University of Illinois at Chicago, Chicago, IL) - Frank E. Ritter (Penn State University, University Park, PA) - Dario Salvucci (Drexel University, Philadelphia, PA) - Lael J. Schooler (Max Planck Institute for Human Development, Berlin, Germany) - Christian D. Schunn (University of Pittsburgh, PA) - Tim Shallice (International School for Advanced Studies SISSA, Trieste, Italy) - Ron Sun (Rensselaer Polytechnic Institute, Troy, NY) - Niels Taatgen (University of Groningen, Groningen, The Netherlands) - Werner Tack (Saarland University, Saarbruecken, Germany) - Alessandro Treves (International School for Advanced Studies SISSA, Trieste, Italy) - Hedderik van Rijn (University of Groningen, Groningen, The Netherlands) - Boris M. Velichkovsky (Dresden University of Technology, Dresden, Germany) - Ipke Wachsmuth (University of Bielefeld, Bielefeld, Germany) - Richard M. Young (University College London, London, UK) Submission Categories: - Papers: scientific contribution ranging in length from 4 to a maximum of 6 pages. - Abstracts: short scientific contribution (up to 2 pages) Submission Deadlines: Papers: (CLOSED) Abstracts: 10 February 2006 Notification of submission acceptance: 20 February 2006 Submission Formats: All submissions must be camera-ready pdf files named in the format "firstAuthorName.pdf". The files should be readable by a standard Acrobat Reader (version 6.0 or superior), and must be editable by people other than the author. Special non-standard fonts must be included within the submitted file. Templates for the files could be downloaded from the conference website: http://iccm2006.units.it. Page length:Submitted papers can be from 4 up to 6 pages long. Papers accepted for publication will appear in the proceedings, and will either be presented as a talk or as a poster at the conference. Abstracts are 2 pages long and will be presented only as a poster. Please note: As an issue of fairness, submissions that are over these lengths will be rejected without review. Similarly, submission files that are not readable or editable will be rejected without review. All submissions must be sent to: iccm2006 at theoffice.it Poster Awards: Three poster awards (first prize: $1000, second prize $500, third prize 200) will be conferred during the conference to contributions outstanding for content, graphical and oral presentation. ------------------------------------------------------------------------------------ Organizing Committee: Danilo Fum (University of Trieste) Andrea Stocco (Carnegie Mellon University) Fabio Del Missier (University of Trento) Contacts: website: iccm2006.units.it email: iccm2006 at units.it. ------------------------------------------------------------------------------------ Organizing secretariat: The Office www.theoffice.it/iccm2006 From esslli06 at loa-cnr.it Mon Jan 30 06:38:01 2006 From: esslli06 at loa-cnr.it (FOCA at ESSLLI) Date: Mon, 30 Jan 2006 12:38:01 +0100 Subject: [ACT-R-users] 2nd CFP: FOCA@ESSLLI 2006 Message-ID: <98963997ea2df3a5c9f32320c403cfe2@loa-cnr.it> Apologies for multiple postings ************************************************************************ ****************** CALL FOR PAPERS ************************************************************************ ****************** Formal Ontologies for Communicating Agents http://www.loa-cnr.it/esslli06/ July 31 - August 4, 2006 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2006 http://esslli2006.lcc.uma.es/ July 31 - August 11, 2006 in Malaga ************************************************************************ ****************** WORKSHOP ORGANIZERS: Roberta Ferrario (ferrario at loa-cnr.it) Nicola Guarino (guarino at loa-cnr.it) Laurent Prevot (prevotlaurent at gmail.com) ************************************************************************ ****************** WORKSHOP PURPOSE: In recent years lots of efforts have been devoted to formal studies of human and artificial agent communication. Research advancements have been achieved along three main lines: (i) agent's internal states and dynamics, (ii) social interaction and conventional communicative patterns, (iii) semantics-pragmatics interface - especially in the dialogue context (i.e. the interplay between the semantic content of messages and the communicative acts themselves). There is a recent trend of studies trying to integrate these approaches in many ways. On the other hand, formal ontology has been consecrated as a good solution for comparing and integrating information and thus its application to this specific domain is very promising . More precisely, an ontological analysis of the fundamental ingredients of interaction and communication will make explicit the hidden ontological assumptions underlying all these proposals. Ontology has also proven to be a very powerful means to address issues related to the exchange of meaningful communication across autonomous entities, which can organize and use information heterogeneously. The purpose of the workshop is therefore to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents. ********************************************************* WORKSHOP TOPICS We encourage contributions concerning the two main areas listed below with a particular attention to explore the interplay between ontological analysis and its applications in practical cases. * Ontological aspects of interaction and communication - Ontological analysis of interaction and communication - Studies on the structure and coherence of interaction - Logical models for communicative acts - Primitives of interaction and communication - Formal semantics of dialogue *Semantic coordination through formal ontologies - Dialogue semantics and formal ontology - Dynamic ontology sharing - Ontological primitives for meaning negotiation, ontological alignment and semantic interoperability ??? - Ontology evolution through communication ? - Concrete problems and experiences in terminological disambiguation and integration ************************************************************************ ****************** SUBMISSION DETAILS: Authors are invited to submit an extended abstract describing original contributions to the workshop topics. Submissions should range between 3 and 5 pages. The following formats are accepted: .doc, .tex, .pdf (please, always include source files). Please send your submission electronically to the following email address: esslli06 at loa-cnr.it by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final version will be .pdf. A selection of the best papers accepted at the workshop will be considered for publication in the international journal 'Applied Ontology' (http://www.applied-ontology.org/). ************************************************************************ ****************** WORKSHOP FORMAT: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. ************************************************************************ ****************** IMPORTANT DATES: Submissions : March 8, 2006 Notification : April 21, 2006 Full paper deadline: May 1st, 2006 Final programme : June 21, 2006 Workshop Dates : July 31 - August 4, 2006 ************************************************************************ ****************** WORKSHOP PROGRAM COMMITTEE: (tentative) Thomas ADDIS (University of Portsmouth) http://www.tech.port.ac.uk/staffweb/addist/tom.html Nicholas ASHER (University of Texas, Austin, USA and IRIT-CNRS, Toulouse, France) http://www.utexas.edu/cola/depts/philosophy/faculty/asher/ main.html John BATEMAN (University of Bremen, Germany) http://www-user.uni-bremen.de/~bateman/ Guido BOELLA (University of Torino, Italy) http://www.di.unito.it/~guido/ Paolo BOUQUET (University of Trento, Italy) http://dit.unitn.it/~bouquet/ Scott FARRAR (University of Bremen, Germany) http://www.u.arizona.edu/~farrar/ Roberta FERRARIO (LOA-ISTC, CNR, Trento, Italy) http://www.loa-cnr.it/ferrario.html Aldo GANGEMI (LOA-ISTC, CNR, Roma, Italy) http://www.loa-cnr.it/gangemi.html Nicola GUARINO (LOA-ISTC, CNR, Trento, Italy) http://www.loa-cnr.it/guarino.html Andreas HERZIG (IRIT-CNRS, Toulouse, France) http://www.irit.fr/ACTIVITES/LILaC/Pers/Herzig/ Joris HULSTIJN (Utrecht University, the Nehterlands) http://www.cs.vu.nl/~joris/ Kepa KORTA (Universidad del Pais Vasco, Spain) http://www.sc.ehu.es/ylwkocak/kepa.html Nicolas MAUDET (University of Paris Dauphine, France) http://l1.lamsade.dauphine.fr/~maudet/ Massimo POESIO (University of Essex, UK and University of Trento, Italy) http://cswww.essex.ac.uk/staff/poesio/ Laurent PREVOT (Academia Sinica, Taipei, Taiwan) http://www.loa-cnr.it/prevot.html Matt PURVER (CSLI, Stanford, USA) http://www.stanford.edu/~mpurver/ Johan VAN BENTHEM (University of Amsterdam, the Netherlands) http://staff.science.uva.nl/~johan/ Rogier VAN EIJK (Utrecht University, the Netherlands) http://www.cs.uu.nl/people/rogier/ Laure VIEU (IRIT-CNRS, Toulouse, France) http://www.loa-cnr.it/vieu.html ************************************************************************ ****************** LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants might be made available by the local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs or accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities of a grant. ************************************************************************ ****************** FURTHER INFORMATION: About the workshop: http://www.loa-cnr.it/esslli06/ About ESSLLI: http://esslli2006.lcc.uma.es/