4,068 results · clear filters Sort: newest oldest name

1. Engineering Applications of Neural Networks (EANN)
   2001-01-01 · Cagliari, Italy
   Computer and information sciences
   e12jm9h
2. European Conference on Numerical Mathematics and Advanced Applications (ENUMATH)
   2001-01-01 · Ischia Porto, Italy
   Computer and information sciences
   e12jt3q
3. Fixed Points in Computer Science (FICS)
   2001-01-01 · Florence, Italy
   Computer and information sciences
   e12k3xq
4. Workshop on Foundations of Models and Languages for Data and Objects (FMLDO) (FMLDO)
   2001-01-01 · Italy
   Computer and information sciences
   e12k4tw
5. Foundations of Security Analysis and Design (FOSAD)
   2001-01-01 · Bertinoro, Italy
   Computer and information sciences
   e12k53a
6. First Order Theorem Proving (FTP) (FTP)
   2001-01-01 · Siena, Italy
   Computer and information sciences
   e12k61d
7. Fun with Algorithms (FUN)
   2001-01-01 · Italy
   Computer and information sciences
   e12k68z
8. iStar (ISTAR)
   2001-01-01 · Trento, Italy
   Computer and information sciences
   e12mfda
9. Knowledge Management in Electronic Government (KMGOV)
   2001-01-01 · Siena, Italy
   Computer and information sciences
   e12mnnk
10. Parallel Computing (PARCO) (PARCO)
    2001-01-01 · Naples, Italy
    Computer and information sciences
    e12n78t
11. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12nzn7
12. First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001
    2001 · Florence, Italy
    Computer and information sciences
    e10s35y
13. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
    2001 · Siena, Italy
    Computer and information sciences
    e10tg3k
14. First Workshop on Language Descriptions, Tools and Applications, LDTA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7, 2001
    2001 · Genoa, Italy
    Computer and information sciences
    e11gssg
15. Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001
    2001 · Siena, Italy
    Computer and information sciences
    e11hnwc
16. 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems (MSWiM 2001)
    2001 · Rome, Italy
    Computer and information sciences
    e11kemz
17. Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001
    2001 · Florence, Italy
    Computer and information sciences
    e11phjt
18. First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001
    2001 · Genoa, Italy
    Computer and information sciences
    e11q38v
19. Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001
    2001 · Florence, Italy
    Computer and information sciences
    e11qnv2
20. 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers
    2001 · Siena, Italy
    Computer and information sciences
    e11we0p
21. Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001
    2001 · Genoa, Italy
    Computer and information sciences
    e11xpqx
22. Proceedings of the 12th Italian Workshop on Neural Nets, WIRN VIETRI 2001, Vietri sul Mare, Salerno, Italy, May 17-19, 2001
    2001 · Vietri sul Mare, Italy
    Computer and information sciences
    e11zm7w
23. Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001
    2001 · Udine, Italy
    Computer and information sciences
    e120prn
24. Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy (FORTE)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e113t5k
25. Protocol Specification, Testing and Verification (PSTV)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e12nbvf

As JSON: https://labs.confref.org/api/search?country=IT&page=148