Majzik István

Külföldi tanulmányutak

• 2000: Formalware Engineering: Advanced Course on Formal Methods for Enginering of Software, ("Formális módszerek a szoftverfejlesztésben" képzés), CISM International Centre for Sciences, Udine, Olaszország
• 1998: CNR-NATO Kutatói Ösztöndíj, CNR-CNUCE, Pisa, Olaszország
• 1996: Vendégkutatói meghívás (3 hónap), CNR-CNUCE, Pisa, Olaszország
• 1994: TEMPUS ösztöndíj (3 hónap), Pisai Egyetem, Pisa, Olaszország
• 1993: TEMPUS ösztöndíj (6 hónap), Friedrich-Alexander Egyetem, Erlangen, Németország

Bírálói munka folyóiratoknál

• Formal Aspects of Computing (FAC)
• IEEE Transactions on Software Engineering (ToSE)
• IEEE Transactions on Computing (ToC)

Tudományos élet

Program bizottsági tagság

• 2011:
  • IEEE IFIP Int. Conf. on Dependable Systems and Networks - Performance and Dependability Symposium (DSN PDS),
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2010:
  • Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS)
• 2009:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • Int. Conference on Quantitative Evaluation of Systems (QEST), 
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Int. Conference on Dependability (DEPEND),
  • European Workshop on Dependable Computing (EWDC)
• 2008:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • European Dependable Computing Conference (EDCC),
  • Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2007:
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
  • Workshop on Architecting Dependable Systems (WADS)
• 2006:
  • Int. Conference on Dependability of Computer Systems (DepCoS),
  • Workshop on Architecting Dependable Systems (WADS),
  • Int. Conference on Distributed Computing Systems (ICDCS),
  • Workshop on Engineering of Fault Tolerant Systems (EFTS)
• 2005:
  • Dependable Computing and Communications Symposium (DSN DCCS),
  • European Dependable Computing Conference (EDCC),
  • ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
• 2004:
  • Workshop on Scientific Engineering of Distributed Java Applications (FIDJI)
• 2003:
  • Int. Symposium on Autonomous Decentralized Systems (ISADS)
• 2002:
  • European Dependable Computing Conference (EDCC)
• 2000:
  • IEEE Symposium on Reliable Distributed Systems (SRDS),
  • European Workshop on Dependable Computing (EWDC),
  • Workshop on Object-Oriented Reliable Distributed Systems (WORDS)
• 1999:
  • European Dependable Computing Conference (EDCC)

Tagságok

• 2001: A Magyar Tudományos Akadémia Veszprémi Területi Bizottság "Formális módszerek az informatikában" munkabizottság tagja